1547630948.446 * [misc]progress:  [Phase 1 of 3] Setting up.
1547630948.447 * * * [misc]progress:  [1/2] Preparing points
1547630948.448 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547630948.852 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630948.853 * * * * [misc]points:  Sampling 188 additional inputs, on iter 1 have 68 / 256
1547630949.118 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630949.118 * * * * [misc]points:  Sampling 150 additional inputs, on iter 2 have 106 / 256
1547630949.715 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630949.715 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 143 / 256
1547630949.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630949.873 * * * * [misc]points:  Sampling 82 additional inputs, on iter 4 have 174 / 256
1547630949.987 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630949.987 * * * * [misc]points:  Sampling 61 additional inputs, on iter 5 have 195 / 256
1547630950.086 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.086 * * * * [misc]points:  Sampling 46 additional inputs, on iter 6 have 210 / 256
1547630950.134 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.134 * * * * [misc]points:  Sampling 37 additional inputs, on iter 7 have 219 / 256
1547630950.188 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.188 * * * * [misc]points:  Sampling 29 additional inputs, on iter 8 have 227 / 256
1547630950.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.225 * * * * [misc]points:  Sampling 22 additional inputs, on iter 9 have 234 / 256
1547630950.251 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.252 * * * * [misc]points:  Sampling 20 additional inputs, on iter 10 have 236 / 256
1547630950.291 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.291 * * * * [misc]points:  Sampling 16 additional inputs, on iter 11 have 240 / 256
1547630950.319 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.319 * * * * [misc]points:  Sampling 11 additional inputs, on iter 12 have 245 / 256
1547630950.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.333 * * * * [misc]points:  Sampling 6 additional inputs, on iter 13 have 250 / 256
1547630950.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.341 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
1547630950.346 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.346 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
1547630950.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.349 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1547630950.350 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.350 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
1547630950.372 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630950.372 * * * * [exit]points:  Sampled 257 points with exact outputs
1547630950.373 * * * [misc]progress:  [2/2] Setting up program.
1547630950.380 * [misc]progress:  [Phase 2 of 3] Improving.
1547630950.380 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547630950.382 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.384 * * [misc]simplify:  iters left: 5 (7 enodes)
1547630950.391 * * [misc]simplify:  iters left: 4 (13 enodes)
1547630950.394 * * [misc]simplify:  iters left: 3 (16 enodes)
1547630950.400 * * [misc]simplify:  iters left: 2 (18 enodes)
1547630950.406 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.407 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.417 * * [misc]progress:  iteration 1 / 4
1547630950.417 * * * [misc]progress:  picking best candidate
1547630950.424 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547630950.424 * * * [misc]progress:  localizing error
1547630950.463 * * * [misc]progress:  generating rewritten candidates
1547630950.464 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1547630950.465 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1547630950.469 * * * [misc]progress:  generating series expansions
1547630950.470 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1547630950.476 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630950.476 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630950.477 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630950.479 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.479 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630950.479 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.480 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.480 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.480 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.480 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.480 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.480 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.480 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.480 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.481 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.481 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630950.481 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630950.481 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.481 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630950.481 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.481 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.481 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.481 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.481 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.481 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.481 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.482 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.482 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630950.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.483 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630950.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630950.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630950.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.483 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.483 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.483 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.484 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.484 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.484 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630950.484 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1547630950.484 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.484 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547630950.484 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547630950.484 * [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)))
1547630950.484 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547630950.485 * [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)))
1547630950.485 * [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)))
1547630950.485 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.485 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.485 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.485 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.485 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.485 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.485 * [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)))
1547630950.485 * [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))))
1547630950.485 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547630950.485 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547630950.486 * [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))))
1547630950.486 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547630950.486 * [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))))
1547630950.486 * [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))))
1547630950.486 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.486 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.486 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.486 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.486 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.487 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.487 * [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)))
1547630950.487 * [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))))
1547630950.487 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547630950.487 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547630950.487 * [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))))
1547630950.487 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547630950.487 * [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))))
1547630950.488 * [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))))
1547630950.488 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.488 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.488 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.488 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.488 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.488 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.488 * [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)))
1547630950.488 * * * [misc]progress:  simplifying candidates
1547630950.488 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
1547630950.488 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
1547630950.488 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1547630950.488 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1547630950.488 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1547630950.488 * * * * [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))))>
1547630950.488 * * * * [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))))>
1547630950.488 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547630950.488 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1547630950.488 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547630950.488 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547630950.488 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1547630950.489 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1547630950.489 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547630950.489 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547630950.489 * * * * [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))))))>
1547630950.489 * * * * [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))))))>
1547630950.489 * * * * [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))))))>
1547630950.489 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1547630950.489 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.489 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.489 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.490 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.491 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.491 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.491 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.491 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.491 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.492 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.494 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.494 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.494 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.494 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.494 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.494 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.496 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.496 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.496 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.496 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.496 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630950.497 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630950.499 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630950.501 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630950.503 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.503 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.503 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.503 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.503 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630950.505 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630950.506 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630950.510 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630950.515 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.515 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.515 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.515 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.515 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630950.518 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630950.521 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630950.525 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630950.540 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.540 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.540 * * * [misc]progress:  adding candidates to table
1547630950.799 * * [misc]progress:  iteration 2 / 4
1547630950.799 * * * [misc]progress:  picking best candidate
1547630950.835 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1547630950.835 * * * [misc]progress:  localizing error
1547630950.852 * * * [misc]progress:  generating rewritten candidates
1547630950.852 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1547630950.853 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1547630950.855 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547630950.856 * * * [misc]progress:  generating series expansions
1547630950.856 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1547630950.856 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630950.856 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630950.856 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630950.856 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.856 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630950.856 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.856 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.856 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.857 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630950.857 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.857 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.857 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.857 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.857 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.857 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.857 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.857 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.857 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630950.857 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.857 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630950.857 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.858 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630950.858 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1547630950.858 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1547630950.858 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630950.858 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630950.858 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.858 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630950.858 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.858 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.858 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630950.859 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.859 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630950.859 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630950.859 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.859 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630950.859 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.859 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630950.859 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.859 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.859 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.859 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.859 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.859 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.859 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630950.859 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.859 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630950.859 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630950.859 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.859 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630950.859 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.860 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630950.860 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547630950.860 * [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)))
1547630950.860 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547630950.860 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547630950.860 * [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)))
1547630950.860 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547630950.860 * [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)))
1547630950.860 * [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)))
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.860 * [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)))
1547630950.861 * [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))))
1547630950.861 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547630950.861 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547630950.861 * [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))))
1547630950.861 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547630950.861 * [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))))
1547630950.861 * [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))))
1547630950.861 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.861 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.861 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.861 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.861 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.861 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.861 * [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)))
1547630950.862 * [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))))
1547630950.862 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547630950.862 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547630950.862 * [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))))
1547630950.862 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547630950.862 * [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))))
1547630950.862 * [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))))
1547630950.862 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.862 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.862 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.862 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.862 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.862 * [misc]backup-simplify:  Simplify 0 into 0
1547630950.862 * [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)))
1547630950.862 * * * [misc]progress:  simplifying candidates
1547630950.862 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.862 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.862 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1547630950.862 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.863 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.863 * * * * [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))))>
1547630950.863 * * * * [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))))>
1547630950.863 * * * * [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))))>
1547630950.863 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1547630950.863 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.863 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.863 * * * * [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))))>
1547630950.863 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1547630950.863 * * [misc]simplify:  iters left: 6 (8 enodes)
1547630950.864 * * [misc]simplify:  iters left: 5 (16 enodes)
1547630950.866 * * [misc]simplify:  iters left: 4 (19 enodes)
1547630950.869 * * [misc]simplify:  iters left: 3 (21 enodes)
1547630950.871 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1547630950.871 * [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))))
1547630950.871 * * * * [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))))>
1547630950.872 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1547630950.872 * * [misc]simplify:  iters left: 6 (7 enodes)
1547630950.873 * * [misc]simplify:  iters left: 5 (13 enodes)
1547630950.874 * * [misc]simplify:  iters left: 4 (16 enodes)
1547630950.878 * * [misc]simplify:  iters left: 3 (18 enodes)
1547630950.883 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1547630950.883 * [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))))
1547630950.883 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547630950.883 * [enter]simplify:  Simplifying (log 1)
1547630950.884 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630950.886 * [exit]simplify:  Simplified to 0
1547630950.886 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1547630950.886 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547630950.886 * * * * [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))))>
1547630950.886 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1547630950.886 * * [misc]simplify:  iters left: 4 (5 enodes)
1547630950.888 * * [misc]simplify:  iters left: 3 (11 enodes)
1547630950.891 * * [misc]simplify:  iters left: 2 (14 enodes)
1547630950.896 * * [misc]simplify:  iters left: 1 (16 enodes)
1547630950.900 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1547630950.900 * [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))))
1547630950.900 * * * * [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))))>
1547630950.900 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547630950.900 * * [misc]simplify:  iters left: 4 (5 enodes)
1547630950.902 * * [misc]simplify:  iters left: 3 (11 enodes)
1547630950.905 * * [misc]simplify:  iters left: 2 (14 enodes)
1547630950.909 * * [misc]simplify:  iters left: 1 (16 enodes)
1547630950.912 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547630950.912 * [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))))
1547630950.912 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1547630950.912 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1547630950.912 * * [misc]simplify:  iters left: 3 (4 enodes)
1547630950.913 * * [misc]simplify:  iters left: 2 (10 enodes)
1547630950.914 * * [misc]simplify:  iters left: 1 (13 enodes)
1547630950.916 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.916 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1547630950.916 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1547630950.916 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547630950.916 * [enter]simplify:  Simplifying (cosh a)
1547630950.916 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630950.917 * [exit]simplify:  Simplified to (cosh a)
1547630950.917 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.917 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.917 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630950.917 * * * * [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))))>
1547630950.917 * * * * [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))))>
1547630950.917 * * * * [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))))>
1547630950.917 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547630950.917 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547630950.917 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547630950.917 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1547630950.917 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1547630950.917 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547630950.917 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547630950.917 * * * * [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))))))>
1547630950.917 * * * * [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))))))>
1547630950.917 * * * * [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))))))>
1547630950.917 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1547630950.917 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547630950.917 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.917 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.918 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.922 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.922 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547630950.922 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547630950.922 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.922 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.923 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.924 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.925 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547630950.925 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547630950.925 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.925 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.926 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.927 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.927 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547630950.927 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.927 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.927 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.928 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.930 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.930 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.930 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.930 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.930 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.931 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.932 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.932 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.932 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.932 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630950.932 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630950.933 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630950.934 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630950.934 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.934 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.935 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.935 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630950.936 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630950.938 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630950.940 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630950.942 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.942 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.942 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.942 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.942 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630950.943 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630950.947 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630950.951 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630950.954 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.954 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.954 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630950.954 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630950.954 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630950.955 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630950.957 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630950.959 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630950.962 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630950.962 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630950.962 * * * [misc]progress:  adding candidates to table
1547630951.556 * * [misc]progress:  iteration 3 / 4
1547630951.557 * * * [misc]progress:  picking best candidate
1547630951.601 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547630951.601 * * * [misc]progress:  localizing error
1547630951.617 * * * [misc]progress:  generating rewritten candidates
1547630951.617 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1547630951.617 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1547630951.618 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1547630951.623 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1547630951.626 * * * [misc]progress:  generating series expansions
1547630951.626 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1547630951.626 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630951.626 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630951.626 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630951.626 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.626 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630951.626 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.626 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.626 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.627 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.627 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.627 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.627 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.627 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.627 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.627 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630951.627 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630951.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.627 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630951.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.628 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.628 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.628 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.628 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.628 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.628 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630951.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.628 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630951.628 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630951.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.628 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630951.629 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.629 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.629 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.629 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.629 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.629 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.629 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.629 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.629 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630951.629 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1547630951.629 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630951.629 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630951.629 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630951.630 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630951.630 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.630 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.630 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.630 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.630 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.630 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.630 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.630 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.630 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.630 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.630 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630951.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630951.631 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.631 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630951.631 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.631 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.631 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.631 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.631 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.631 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.631 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.631 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.631 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630951.632 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.632 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630951.632 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630951.632 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.632 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630951.632 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.632 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.632 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.632 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.632 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.632 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.632 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.632 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.633 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630951.633 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1547630951.633 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.633 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1547630951.633 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547630951.633 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630951.633 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.633 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.634 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.634 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547630951.634 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630951.634 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630951.634 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.634 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.634 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.634 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.637 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.637 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.637 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.638 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.638 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.638 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.639 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.639 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.640 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630951.640 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.640 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.640 * [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))))
1547630951.640 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1547630951.640 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547630951.641 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630951.641 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.641 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547630951.641 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.641 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547630951.641 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630951.641 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630951.641 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547630951.642 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.642 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547630951.642 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.643 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.643 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.643 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.643 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.644 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.644 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.644 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.644 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.645 * [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
1547630951.645 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.645 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.645 * [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))))
1547630951.645 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1547630951.645 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547630951.645 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630951.645 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.645 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547630951.645 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.645 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547630951.646 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630951.646 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630951.646 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547630951.646 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.646 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547630951.646 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.647 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.647 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.647 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.647 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.647 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.647 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.648 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630951.648 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.648 * [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
1547630951.648 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630951.649 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1547630951.649 * [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)))
1547630951.649 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547630951.649 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547630951.649 * [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)))
1547630951.649 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547630951.649 * [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)))
1547630951.649 * [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)))
1547630951.649 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.649 * [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)))
1547630951.650 * [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))))
1547630951.650 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547630951.650 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547630951.650 * [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))))
1547630951.650 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547630951.650 * [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))))
1547630951.650 * [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))))
1547630951.650 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.650 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.650 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.650 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.650 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.650 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.650 * [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)))
1547630951.651 * [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))))
1547630951.651 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547630951.651 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547630951.651 * [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))))
1547630951.651 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547630951.651 * [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))))
1547630951.651 * [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))))
1547630951.651 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.651 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.651 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.651 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.651 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.651 * [misc]backup-simplify:  Simplify 0 into 0
1547630951.651 * [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)))
1547630951.651 * * * [misc]progress:  simplifying candidates
1547630951.651 * * * * [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))))>
1547630951.651 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * * * * [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))))>
1547630951.652 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630951.652 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630951.654 * * [misc]simplify:  iters left: 5 (17 enodes)
1547630951.656 * * [misc]simplify:  iters left: 4 (20 enodes)
1547630951.658 * * [misc]simplify:  iters left: 3 (22 enodes)
1547630951.661 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630951.661 * [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))))
1547630951.661 * * * * [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))))>
1547630951.661 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547630951.661 * * [misc]simplify:  iters left: 6 (8 enodes)
1547630951.662 * * [misc]simplify:  iters left: 5 (14 enodes)
1547630951.664 * * [misc]simplify:  iters left: 4 (17 enodes)
1547630951.666 * * [misc]simplify:  iters left: 3 (19 enodes)
1547630951.669 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547630951.669 * [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))))
1547630951.669 * * * * [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))))>
1547630951.669 * [enter]simplify:  Simplifying (log 1)
1547630951.669 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630951.670 * [exit]simplify:  Simplified to 0
1547630951.670 * [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))))
1547630951.670 * * * * [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))))>
1547630951.670 * * * * [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))))>
1547630951.670 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1547630951.670 * * [misc]simplify:  iters left: 5 (6 enodes)
1547630951.671 * * [misc]simplify:  iters left: 4 (12 enodes)
1547630951.673 * * [misc]simplify:  iters left: 3 (15 enodes)
1547630951.675 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.677 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1547630951.677 * [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))))
1547630951.677 * * * * [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))))>
1547630951.677 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1547630951.680 * * [misc]simplify:  iters left: 5 (6 enodes)
1547630951.681 * * [misc]simplify:  iters left: 4 (12 enodes)
1547630951.682 * * [misc]simplify:  iters left: 3 (15 enodes)
1547630951.686 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.689 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1547630951.689 * [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))))
1547630951.689 * * * * [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))))>
1547630951.689 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1547630951.689 * * [misc]simplify:  iters left: 5 (6 enodes)
1547630951.690 * * [misc]simplify:  iters left: 4 (12 enodes)
1547630951.692 * * [misc]simplify:  iters left: 3 (15 enodes)
1547630951.694 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.696 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1547630951.696 * [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))))
1547630951.696 * * * * [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))))>
1547630951.696 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547630951.696 * * [misc]simplify:  iters left: 4 (5 enodes)
1547630951.697 * * [misc]simplify:  iters left: 3 (11 enodes)
1547630951.698 * * [misc]simplify:  iters left: 2 (14 enodes)
1547630951.700 * * [misc]simplify:  iters left: 1 (16 enodes)
1547630951.702 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547630951.702 * [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))))
1547630951.702 * * * * [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))))>
1547630951.702 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1547630951.702 * * [misc]simplify:  iters left: 5 (6 enodes)
1547630951.703 * * [misc]simplify:  iters left: 4 (12 enodes)
1547630951.705 * * [misc]simplify:  iters left: 3 (15 enodes)
1547630951.706 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.708 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1547630951.708 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630951.709 * * * * [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))))>
1547630951.709 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547630951.709 * * [misc]simplify:  iters left: 4 (5 enodes)
1547630951.709 * * [misc]simplify:  iters left: 3 (11 enodes)
1547630951.711 * * [misc]simplify:  iters left: 2 (14 enodes)
1547630951.713 * * [misc]simplify:  iters left: 1 (16 enodes)
1547630951.714 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547630951.715 * [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))))
1547630951.715 * * * * [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))))>
1547630951.715 * * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547630951.715 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1547630951.715 * * [misc]simplify:  iters left: 3 (4 enodes)
1547630951.715 * * [misc]simplify:  iters left: 2 (10 enodes)
1547630951.717 * * [misc]simplify:  iters left: 1 (13 enodes)
1547630951.718 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.718 * [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))))
1547630951.718 * * * * [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))))>
1547630951.719 * * * * [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))))>
1547630951.719 * * * * [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))))>
1547630951.719 * * * * [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))))>
1547630951.719 * * * * [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))))>
1547630951.719 * * * * [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))))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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)))))>
1547630951.719 * * * * [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))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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))))))>
1547630951.719 * * * * [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)))))>
1547630951.719 * * * * [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))))>
1547630951.719 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630951.719 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630951.721 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630951.724 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.724 * [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))))
1547630951.724 * * * * [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))))>
1547630951.725 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630951.725 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630951.726 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630951.729 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.729 * [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))))
1547630951.729 * * * * [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))))>
1547630951.730 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630951.730 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630951.731 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630951.734 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.734 * [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))))
1547630951.734 * * * * [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))))>
1547630951.735 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630951.735 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630951.736 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630951.739 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.739 * [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))))
1547630951.739 * * * * [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))))>
1547630951.740 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630951.740 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630951.741 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630951.745 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.745 * [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))))
1547630951.745 * * * * [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))))>
1547630951.745 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630951.746 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630951.747 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630951.750 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630951.750 * [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))))
1547630951.750 * * * * [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))))>
1547630951.751 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547630951.751 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630951.752 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630951.756 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630951.760 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547630951.760 * [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))))
1547630951.760 * * * * [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))))>
1547630951.760 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547630951.760 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630951.762 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630951.765 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630951.770 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547630951.770 * [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))))
1547630951.770 * * * * [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))))>
1547630951.771 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547630951.771 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630951.773 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630951.776 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630951.781 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547630951.781 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1547630951.781 * * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630951.781 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630951.781 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630951.783 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630951.787 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.792 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630951.798 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630951.798 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630951.798 * * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630951.799 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630951.799 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630951.801 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630951.805 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.810 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630951.815 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630951.815 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630951.815 * * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547630951.815 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547630951.815 * * [misc]simplify:  iters left: 4 (8 enodes)
1547630951.818 * * [misc]simplify:  iters left: 3 (14 enodes)
1547630951.822 * * [misc]simplify:  iters left: 2 (17 enodes)
1547630951.827 * * [misc]simplify:  iters left: 1 (19 enodes)
1547630951.832 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547630951.832 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547630951.832 * * * [misc]progress:  adding candidates to table
1547630952.721 * * [misc]progress:  iteration 4 / 4
1547630952.721 * * * [misc]progress:  picking best candidate
1547630952.794 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630952.794 * * * [misc]progress:  localizing error
1547630952.834 * * * [misc]progress:  generating rewritten candidates
1547630952.834 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
1547630952.834 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1)
1547630952.835 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1547630952.835 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 2)
1547630952.840 * * * [misc]progress:  generating series expansions
1547630952.840 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
1547630952.840 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630952.840 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630952.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.840 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.840 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.840 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.840 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.840 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.840 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.841 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.841 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.841 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.841 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.841 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630952.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.841 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.841 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.841 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.842 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.842 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.842 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630952.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.842 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630952.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630952.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630952.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.842 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.843 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.843 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.843 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.843 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.843 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630952.843 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1 1)
1547630952.843 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630952.843 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630952.843 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.843 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.843 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.843 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.844 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.844 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.844 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.844 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.844 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.844 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.844 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.844 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.844 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630952.844 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.844 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.845 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.845 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.845 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.845 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.845 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.845 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630952.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.845 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630952.845 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630952.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.845 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630952.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.846 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.846 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630952.846 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1547630952.846 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547630952.846 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547630952.846 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.846 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.846 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.846 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.846 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.846 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.847 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.847 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630952.847 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.847 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.847 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.847 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.847 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.847 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.848 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.848 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.848 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.848 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547630952.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.848 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547630952.848 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630952.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.848 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630952.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630952.849 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.849 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.849 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.849 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.849 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.849 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.849 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547630952.849 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 2)
1547630952.849 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630952.849 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in (a) around 0
1547630952.849 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a
1547630952.849 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a
1547630952.849 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a
1547630952.849 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547630952.849 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.849 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.849 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630952.850 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.850 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2))))
1547630952.850 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))
1547630952.852 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1547630952.852 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.853 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630952.853 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a
1547630952.853 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a
1547630952.853 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a
1547630952.853 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547630952.853 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547630952.853 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547630952.853 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547630952.853 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.853 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2))))
1547630952.853 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))
1547630952.854 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1547630952.855 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.855 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630952.855 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630952.856 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 1) into 0
1547630952.856 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.859 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.861 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630952.862 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.864 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 2) into 0
1547630952.864 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.865 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.868 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547630952.869 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.873 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 6) into 0
1547630952.873 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.874 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.879 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630952.880 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.886 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 24) into 0
1547630952.886 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.887 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.895 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547630952.896 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.904 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 120) into 0
1547630952.904 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.905 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547630952.917 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630952.919 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547630952.931 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 720) into 0
1547630952.931 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.931 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630952.931 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547630952.932 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in (a) around 0
1547630952.932 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
1547630952.932 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1547630952.932 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1547630952.932 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547630952.932 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.932 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.932 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547630952.932 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630952.932 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
1547630952.933 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
1547630952.934 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547630952.934 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630952.934 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547630952.934 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
1547630952.934 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1547630952.934 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1547630952.934 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547630952.934 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547630952.935 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547630952.935 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547630952.935 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630952.935 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
1547630952.935 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
1547630952.936 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547630952.937 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630952.937 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547630952.937 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547630952.938 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0
1547630952.938 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.939 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630952.941 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630952.942 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630952.943 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0
1547630952.943 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.944 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630952.947 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547630952.948 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630952.951 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0
1547630952.951 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.952 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630952.957 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630952.958 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630952.964 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0
1547630952.964 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.964 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547630952.972 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547630952.973 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630952.981 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0
1547630952.981 * [misc]backup-simplify:  Simplify 0 into 0
1547630952.983 * [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
1547630952.996 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630952.997 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.004 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0
1547630953.004 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.005 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630953.005 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547630953.005 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in (a) around 0
1547630953.005 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
1547630953.005 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1547630953.005 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1547630953.005 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547630953.005 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630953.005 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630953.005 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547630953.005 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630953.005 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
1547630953.005 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
1547630953.006 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547630953.006 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.007 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547630953.007 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
1547630953.007 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1547630953.007 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1547630953.007 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547630953.007 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547630953.007 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547630953.007 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547630953.007 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630953.007 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
1547630953.007 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
1547630953.008 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547630953.008 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.008 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547630953.008 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547630953.009 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0
1547630953.009 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.009 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630953.011 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630953.011 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.012 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0
1547630953.012 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.013 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630953.014 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547630953.015 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.017 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0
1547630953.017 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.017 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630953.020 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630953.021 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.024 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0
1547630953.024 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.025 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547630953.031 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547630953.031 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.038 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0
1547630953.038 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.039 * [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
1547630953.047 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547630953.048 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547630953.056 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0
1547630953.056 * [misc]backup-simplify:  Simplify 0 into 0
1547630953.056 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630953.056 * * * [misc]progress:  simplifying candidates
1547630953.056 * * * * [misc]progress:  [ 1 / 57 ] 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 (log1p (expm1 (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 2 / 57 ] 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 (expm1 (log1p (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 3 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 4 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 5 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 6 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 7 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 8 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 9 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 10 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 11 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 12 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 13 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.056 * * * * [misc]progress:  [ 14 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 15 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 16 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 17 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 18 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 19 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log1p (expm1 (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))))>
1547630953.057 * * * * [misc]progress:  [ 20 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (expm1 (log1p (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))))>
1547630953.057 * * * * [misc]progress:  [ 21 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 22 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 23 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 24 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 25 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 26 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 27 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 28 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p (expm1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 29 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (expm1 (log1p (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.057 * * * * [misc]progress:  [ 30 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.057 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1547630953.057 * * [misc]simplify:  iters left: 6 (10 enodes)
1547630953.059 * * [misc]simplify:  iters left: 5 (18 enodes)
1547630953.061 * * [misc]simplify:  iters left: 4 (21 enodes)
1547630953.064 * * [misc]simplify:  iters left: 3 (23 enodes)
1547630953.067 * [exit]simplify:  Simplified to (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1547630953.067 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547630953.067 * * * * [misc]progress:  [ 31 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.067 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1547630953.067 * * [misc]simplify:  iters left: 6 (10 enodes)
1547630953.069 * * [misc]simplify:  iters left: 5 (17 enodes)
1547630953.071 * * [misc]simplify:  iters left: 4 (20 enodes)
1547630953.074 * * [misc]simplify:  iters left: 3 (22 enodes)
1547630953.077 * [exit]simplify:  Simplified to (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630953.077 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547630953.077 * * * * [misc]progress:  [ 32 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.077 * [enter]simplify:  Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630953.077 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630953.079 * * [misc]simplify:  iters left: 5 (15 enodes)
1547630953.081 * * [misc]simplify:  iters left: 4 (18 enodes)
1547630953.084 * * [misc]simplify:  iters left: 3 (20 enodes)
1547630953.087 * [exit]simplify:  Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630953.087 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547630953.087 * * * * [misc]progress:  [ 33 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt 1)) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547630953.087 * [enter]simplify:  Simplifying (log (sqrt 1))
1547630953.087 * * [misc]simplify:  iters left: 2 (3 enodes)
1547630953.088 * * [misc]simplify:  iters left: 1 (5 enodes)
1547630953.089 * [exit]simplify:  Simplified to 0
1547630953.089 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1547630953.089 * * * * [misc]progress:  [ 34 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.089 * [enter]simplify:  Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630953.089 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630953.090 * * [misc]simplify:  iters left: 5 (15 enodes)
1547630953.093 * * [misc]simplify:  iters left: 4 (18 enodes)
1547630953.097 * * [misc]simplify:  iters left: 3 (20 enodes)
1547630953.103 * [exit]simplify:  Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547630953.103 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547630953.103 * * * * [misc]progress:  [ 35 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log 1) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547630953.103 * [enter]simplify:  Simplifying (log 1)
1547630953.103 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630953.104 * [exit]simplify:  Simplified to 0
1547630953.104 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1547630953.105 * * * * [misc]progress:  [ 36 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1/2 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.105 * * * * [misc]progress:  [ 37 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547630953.105 * * * * [misc]progress:  [ 38 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (pow (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1))) (log1p a))))>
1547630953.105 * * * * [misc]progress:  [ 39 / 57 ] 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))))>
1547630953.105 * [enter]simplify:  Simplifying (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
1547630953.105 * * [misc]simplify:  iters left: 6 (7 enodes)
1547630953.107 * * [misc]simplify:  iters left: 5 (13 enodes)
1547630953.111 * * [misc]simplify:  iters left: 4 (16 enodes)
1547630953.115 * * [misc]simplify:  iters left: 3 (18 enodes)
1547630953.120 * [exit]simplify:  Simplified to (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
1547630953.120 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.120 * * * * [misc]progress:  [ 40 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (exp (log (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.120 * * * * [misc]progress:  [ 41 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.120 * * * * [misc]progress:  [ 42 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* (* (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.120 * * * * [misc]progress:  [ 43 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (* (* (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.120 * * * * [misc]progress:  [ 44 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* (sqrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (sqrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547630953.120 * * * * [misc]progress:  [ 45 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547630953.120 * * * * [misc]progress:  [ 46 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547630953.120 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.120 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.122 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.125 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.125 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.125 * * * * [misc]progress:  [ 47 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547630953.125 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.125 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.127 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.130 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.130 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.130 * * * * [misc]progress:  [ 48 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547630953.130 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.131 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.132 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.135 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.135 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.135 * * * * [misc]progress:  [ 49 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.135 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.135 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.137 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.141 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.141 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.141 * * * * [misc]progress:  [ 50 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.141 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.141 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.142 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.145 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.146 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.146 * * * * [misc]progress:  [ 51 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.146 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.146 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.148 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.151 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.151 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.151 * * * * [misc]progress:  [ 52 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.151 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.151 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.153 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.156 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.156 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.156 * * * * [misc]progress:  [ 53 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.156 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.156 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.158 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.161 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.161 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.161 * * * * [misc]progress:  [ 54 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547630953.161 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547630953.161 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630953.163 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630953.164 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547630953.165 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.165 * * * * [misc]progress:  [ 55 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547630953.165 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630953.165 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630953.166 * * [misc]simplify:  iters left: 5 (15 enodes)
1547630953.168 * * [misc]simplify:  iters left: 4 (18 enodes)
1547630953.170 * * [misc]simplify:  iters left: 3 (20 enodes)
1547630953.173 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547630953.173 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.173 * * * * [misc]progress:  [ 56 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547630953.173 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630953.173 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630953.174 * * [misc]simplify:  iters left: 5 (15 enodes)
1547630953.176 * * [misc]simplify:  iters left: 4 (18 enodes)
1547630953.178 * * [misc]simplify:  iters left: 3 (20 enodes)
1547630953.181 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547630953.181 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.181 * * * * [misc]progress:  [ 57 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547630953.181 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547630953.181 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630953.182 * * [misc]simplify:  iters left: 5 (15 enodes)
1547630953.184 * * [misc]simplify:  iters left: 4 (18 enodes)
1547630953.186 * * [misc]simplify:  iters left: 3 (20 enodes)
1547630953.189 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547630953.189 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547630953.189 * * * [misc]progress:  adding candidates to table
1547630954.115 * [misc]progress:  [Phase 3 of 3] Extracting.
1547630954.115 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<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))))))> #<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) (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))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (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 (+ (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))))>)
1547630954.118 * * * [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))))
1547630954.118 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<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))))))> #<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) (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))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (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 (+ (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))))>)
1547630954.178 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<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))))))> #<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) (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))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (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 (+ (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))))>)
1547630954.277 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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))))))> #<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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
1547630954.310 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<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))))))> #<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) (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))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (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 (+ (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))))>)
1547630954.402 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))))> #<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))))))>)
1547630954.445 * * * [misc]regime:  Found split indices: #<option (#s(si 4 256))>
1547630954.446 * [enter]simplify:  Simplifying (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a)))
1547630954.446 * * [misc]simplify:  iters left: 6 (16 enodes)
1547630954.448 * * [misc]simplify:  iters left: 5 (18 enodes)
1547630954.450 * [exit]simplify:  Simplified to (acos (pow (* (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))
1547630954.450 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547630966.293 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630966.294 * * * * [misc]points:  Sampling 6008 additional inputs, on iter 1 have 1992 / 8000
1547630975.210 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630975.211 * * * * [misc]points:  Sampling 4527 additional inputs, on iter 2 have 3473 / 8000
1547630981.637 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630981.638 * * * * [misc]points:  Sampling 3346 additional inputs, on iter 3 have 4654 / 8000
1547630986.896 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630986.896 * * * * [misc]points:  Sampling 2497 additional inputs, on iter 4 have 5503 / 8000
1547630990.908 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630990.908 * * * * [misc]points:  Sampling 1873 additional inputs, on iter 5 have 6127 / 8000
1547630993.617 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630993.618 * * * * [misc]points:  Sampling 1429 additional inputs, on iter 6 have 6571 / 8000
1547630995.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630995.491 * * * * [misc]points:  Sampling 1071 additional inputs, on iter 7 have 6929 / 8000
1547630997.165 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630997.166 * * * * [misc]points:  Sampling 802 additional inputs, on iter 8 have 7198 / 8000
1547630998.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630998.367 * * * * [misc]points:  Sampling 595 additional inputs, on iter 9 have 7405 / 8000
1547630999.240 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630999.240 * * * * [misc]points:  Sampling 453 additional inputs, on iter 10 have 7547 / 8000
1547630999.954 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630999.954 * * * * [misc]points:  Sampling 334 additional inputs, on iter 11 have 7666 / 8000
1547631000.397 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631000.398 * * * * [misc]points:  Sampling 248 additional inputs, on iter 12 have 7752 / 8000
1547631000.824 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631000.824 * * * * [misc]points:  Sampling 194 additional inputs, on iter 13 have 7806 / 8000
1547631001.144 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.144 * * * * [misc]points:  Sampling 144 additional inputs, on iter 14 have 7856 / 8000
1547631001.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.338 * * * * [misc]points:  Sampling 113 additional inputs, on iter 15 have 7887 / 8000
1547631001.553 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.553 * * * * [misc]points:  Sampling 81 additional inputs, on iter 16 have 7919 / 8000
1547631001.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.665 * * * * [misc]points:  Sampling 63 additional inputs, on iter 17 have 7937 / 8000
1547631001.753 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.753 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1547631001.826 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.826 * * * * [misc]points:  Sampling 31 additional inputs, on iter 19 have 7969 / 8000
1547631001.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.909 * * * * [misc]points:  Sampling 24 additional inputs, on iter 20 have 7976 / 8000
1547631001.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.941 * * * * [misc]points:  Sampling 15 additional inputs, on iter 21 have 7985 / 8000
1547631001.964 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.964 * * * * [misc]points:  Sampling 12 additional inputs, on iter 22 have 7988 / 8000
1547631001.975 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.975 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1547631001.995 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631001.995 * * * * [misc]points:  Sampling 8 additional inputs, on iter 24 have 7992 / 8000
1547631002.008 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.008 * * * * [misc]points:  Sampling 5 additional inputs, on iter 25 have 7995 / 8000
1547631002.018 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.018 * * * * [misc]points:  Sampling 5 additional inputs, on iter 26 have 7995 / 8000
1547631002.028 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.028 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1547631002.029 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.029 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1547631002.035 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.035 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1547631002.042 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.042 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7999 / 8000
1547631002.051 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.051 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7999 / 8000
1547631002.056 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547631002.056 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547631003.884 * [misc]regime-testing:  Baseline error score: 59.09916397734675
1547631003.885 * [misc]regime-testing:  Oracle error score: 58.97371886750402
1547631003.890 * [misc]regime-testing:  End program error score: 59.09916397734675