1547109036.812 * [misc]progress:  [Phase 1 of 3] Setting up.
1547109036.814 * * * [misc]progress:  [1/2] Preparing points
1547109036.814 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547109037.412 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109037.412 * * * * [misc]points:  Sampling 188 additional inputs, on iter 1 have 68 / 256
1547109037.671 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109037.671 * * * * [misc]points:  Sampling 131 additional inputs, on iter 2 have 125 / 256
1547109037.830 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109037.830 * * * * [misc]points:  Sampling 89 additional inputs, on iter 3 have 167 / 256
1547109038.000 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.000 * * * * [misc]points:  Sampling 71 additional inputs, on iter 4 have 185 / 256
1547109038.086 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.086 * * * * [misc]points:  Sampling 56 additional inputs, on iter 5 have 200 / 256
1547109038.175 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.175 * * * * [misc]points:  Sampling 39 additional inputs, on iter 6 have 217 / 256
1547109038.205 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.205 * * * * [misc]points:  Sampling 29 additional inputs, on iter 7 have 227 / 256
1547109038.256 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.256 * * * * [misc]points:  Sampling 20 additional inputs, on iter 8 have 236 / 256
1547109038.317 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.317 * * * * [misc]points:  Sampling 16 additional inputs, on iter 9 have 240 / 256
1547109038.334 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.334 * * * * [misc]points:  Sampling 10 additional inputs, on iter 10 have 246 / 256
1547109038.351 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.351 * * * * [misc]points:  Sampling 7 additional inputs, on iter 11 have 249 / 256
1547109038.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.367 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 252 / 256
1547109038.369 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.370 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 253 / 256
1547109038.375 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.375 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1547109038.376 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.376 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 255 / 256
1547109038.381 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109038.382 * * * * [exit]points:  Sampled 256 points with exact outputs
1547109038.382 * * * [misc]progress:  [2/2] Setting up program.
1547109038.387 * [misc]progress:  [Phase 2 of 3] Improving.
1547109038.387 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547109038.388 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.389 * * [misc]simplify:  iters left: 5 (7 enodes)
1547109038.393 * * [misc]simplify:  iters left: 4 (13 enodes)
1547109038.395 * * [misc]simplify:  iters left: 3 (16 enodes)
1547109038.397 * * [misc]simplify:  iters left: 2 (18 enodes)
1547109038.401 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.401 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.406 * * [misc]progress:  iteration 1 / 4
1547109038.406 * * * [misc]progress:  picking best candidate
1547109038.409 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547109038.409 * * * [misc]progress:  localizing error
1547109038.446 * * * [misc]progress:  generating rewritten candidates
1547109038.446 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1547109038.448 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1547109038.452 * * * [misc]progress:  generating series expansions
1547109038.452 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1547109038.478 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109038.478 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109038.479 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109038.481 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.481 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109038.481 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.482 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.482 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.482 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.482 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.482 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.482 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.482 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.482 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.483 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109038.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109038.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109038.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.483 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.483 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.483 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.484 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.484 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.484 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109038.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.485 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109038.485 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109038.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.485 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109038.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.486 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.486 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.486 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.486 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.486 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.486 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.486 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109038.486 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1547109038.486 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.486 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547109038.486 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547109038.486 * [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)))
1547109038.487 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547109038.487 * [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)))
1547109038.487 * [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)))
1547109038.487 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.487 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.487 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.487 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.487 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.487 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.487 * [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)))
1547109038.488 * [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))))
1547109038.488 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547109038.488 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547109038.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))))
1547109038.488 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547109038.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))))
1547109038.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))))
1547109038.488 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.488 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.489 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.489 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.489 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.489 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.489 * [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)))
1547109038.489 * [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))))
1547109038.489 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547109038.489 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547109038.490 * [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))))
1547109038.490 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547109038.490 * [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))))
1547109038.490 * [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))))
1547109038.490 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.490 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.490 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.490 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.490 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.490 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.491 * [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)))
1547109038.491 * * * [misc]progress:  simplifying candidates
1547109038.491 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1547109038.491 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1547109038.492 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1547109038.492 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547109038.492 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547109038.492 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547109038.492 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547109038.492 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547109038.492 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1547109038.492 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.492 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.492 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.494 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.497 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.498 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.498 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.498 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.498 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.499 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.503 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.503 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.503 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.503 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.503 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.504 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.508 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.508 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.508 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.508 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.508 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109038.510 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109038.515 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109038.519 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109038.523 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.523 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.524 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.524 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.524 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109038.526 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109038.530 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109038.534 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109038.538 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.538 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.538 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.539 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.539 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109038.541 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109038.545 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109038.549 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109038.554 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.554 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.554 * * * [misc]progress:  adding candidates to table
1547109038.848 * * [misc]progress:  iteration 2 / 4
1547109038.849 * * * [misc]progress:  picking best candidate
1547109038.867 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1547109038.867 * * * [misc]progress:  localizing error
1547109038.889 * * * [misc]progress:  generating rewritten candidates
1547109038.889 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1547109038.889 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1547109038.893 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547109038.895 * * * [misc]progress:  generating series expansions
1547109038.895 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1547109038.896 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109038.896 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109038.896 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109038.896 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.896 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109038.896 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.896 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.896 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.896 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.896 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.896 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.896 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.896 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.896 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.897 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.897 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109038.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109038.897 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109038.897 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.897 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.897 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.897 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.897 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.897 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.897 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.897 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109038.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.898 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109038.898 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109038.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.898 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109038.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.898 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.899 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.899 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.899 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.899 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.899 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.899 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109038.899 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1547109038.899 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1547109038.899 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109038.899 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109038.899 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.899 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109038.899 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.900 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.900 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.900 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.900 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.900 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.900 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.900 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.900 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109038.900 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.900 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109038.900 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109038.900 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.901 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109038.901 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.901 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109038.901 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.901 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.901 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.901 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.901 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.901 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109038.902 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.902 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109038.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109038.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109038.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109038.903 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.903 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.903 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.903 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.903 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.903 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109038.903 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547109038.903 * [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)))
1547109038.903 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547109038.903 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547109038.904 * [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)))
1547109038.904 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547109038.904 * [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)))
1547109038.904 * [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)))
1547109038.904 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.904 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.904 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.904 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.904 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.904 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.904 * [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)))
1547109038.904 * [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))))
1547109038.904 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547109038.904 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547109038.904 * [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))))
1547109038.904 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547109038.904 * [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))))
1547109038.905 * [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))))
1547109038.905 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.905 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.905 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.905 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.905 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.905 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.905 * [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)))
1547109038.905 * [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))))
1547109038.905 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547109038.905 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547109038.905 * [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))))
1547109038.905 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547109038.905 * [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))))
1547109038.906 * [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))))
1547109038.906 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.906 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.906 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.906 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.906 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.906 * [misc]backup-simplify:  Simplify 0 into 0
1547109038.906 * [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)))
1547109038.906 * * * [misc]progress:  simplifying candidates
1547109038.906 * * * * [misc]progress:  [ 1 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 2 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 3 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 4 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 5 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 6 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 7 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1547109038.906 * * * * [misc]progress:  [ 8 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.906 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1547109038.906 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109038.908 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109038.910 * * [misc]simplify:  iters left: 4 (19 enodes)
1547109038.912 * * [misc]simplify:  iters left: 3 (21 enodes)
1547109038.915 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1547109038.915 * [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))))
1547109038.915 * * * * [misc]progress:  [ 9 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.915 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1547109038.915 * * [misc]simplify:  iters left: 6 (7 enodes)
1547109038.916 * * [misc]simplify:  iters left: 5 (13 enodes)
1547109038.918 * * [misc]simplify:  iters left: 4 (16 enodes)
1547109038.920 * * [misc]simplify:  iters left: 3 (18 enodes)
1547109038.922 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1547109038.923 * [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))))
1547109038.923 * * * * [misc]progress:  [ 10 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547109038.923 * [enter]simplify:  Simplifying (log 1)
1547109038.923 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109038.924 * [exit]simplify:  Simplified to 0
1547109038.924 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1547109038.924 * * * * [misc]progress:  [ 11 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547109038.924 * * * * [misc]progress:  [ 12 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547109038.924 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1547109038.924 * * [misc]simplify:  iters left: 4 (5 enodes)
1547109038.925 * * [misc]simplify:  iters left: 3 (11 enodes)
1547109038.926 * * [misc]simplify:  iters left: 2 (14 enodes)
1547109038.928 * * [misc]simplify:  iters left: 1 (16 enodes)
1547109038.930 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1547109038.930 * [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))))
1547109038.930 * * * * [misc]progress:  [ 13 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.930 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547109038.930 * * [misc]simplify:  iters left: 4 (5 enodes)
1547109038.931 * * [misc]simplify:  iters left: 3 (11 enodes)
1547109038.933 * * [misc]simplify:  iters left: 2 (14 enodes)
1547109038.934 * * [misc]simplify:  iters left: 1 (16 enodes)
1547109038.936 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547109038.936 * [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))))
1547109038.936 * * * * [misc]progress:  [ 14 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1547109038.936 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1547109038.936 * * [misc]simplify:  iters left: 3 (4 enodes)
1547109038.937 * * [misc]simplify:  iters left: 2 (10 enodes)
1547109038.938 * * [misc]simplify:  iters left: 1 (13 enodes)
1547109038.941 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.941 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1547109038.941 * * * * [misc]progress:  [ 15 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1547109038.941 * * * * [misc]progress:  [ 16 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547109038.941 * [enter]simplify:  Simplifying (cosh a)
1547109038.941 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109038.942 * [exit]simplify:  Simplified to (cosh a)
1547109038.942 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.942 * * * * [misc]progress:  [ 17 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.942 * * * * [misc]progress:  [ 18 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.942 * * * * [misc]progress:  [ 19 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.942 * * * * [misc]progress:  [ 20 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.942 * * * * [misc]progress:  [ 21 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109038.942 * * * * [misc]progress:  [ 22 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547109038.943 * * * * [misc]progress:  [ 23 / 39 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1547109038.943 * * * * [misc]progress:  [ 24 / 39 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1547109038.943 * * * * [misc]progress:  [ 25 / 39 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547109038.943 * * * * [misc]progress:  [ 26 / 39 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547109038.943 * * * * [misc]progress:  [ 27 / 39 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547109038.943 * * * * [misc]progress:  [ 28 / 39 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547109038.943 * * * * [misc]progress:  [ 29 / 39 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547109038.943 * * * * [misc]progress:  [ 30 / 39 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1547109038.943 * * * * [misc]progress:  [ 31 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547109038.943 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.943 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.945 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.948 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.948 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547109038.948 * * * * [misc]progress:  [ 32 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547109038.948 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.948 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.950 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.953 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.953 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547109038.953 * * * * [misc]progress:  [ 33 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547109038.953 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.953 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.955 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.961 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.961 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547109038.961 * * * * [misc]progress:  [ 34 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.962 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.962 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.963 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.966 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.966 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.966 * * * * [misc]progress:  [ 35 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.967 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.967 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.968 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.971 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.971 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.971 * * * * [misc]progress:  [ 36 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.972 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109038.972 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109038.974 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109038.976 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109038.976 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.976 * * * * [misc]progress:  [ 37 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.976 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.976 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109038.977 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109038.979 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109038.981 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109038.983 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.983 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.983 * * * * [misc]progress:  [ 38 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.983 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.983 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109038.984 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109038.986 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109038.988 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109038.990 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.991 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.991 * * * * [misc]progress:  [ 39 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109038.991 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109038.991 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109038.992 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109038.994 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109038.996 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109038.998 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109038.998 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109038.998 * * * [misc]progress:  adding candidates to table
1547109039.492 * * [misc]progress:  iteration 3 / 4
1547109039.492 * * * [misc]progress:  picking best candidate
1547109039.553 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.553 * * * [misc]progress:  localizing error
1547109039.580 * * * [misc]progress:  generating rewritten candidates
1547109039.581 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1547109039.581 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1547109039.581 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1547109039.584 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1547109039.585 * * * [misc]progress:  generating series expansions
1547109039.585 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1547109039.585 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109039.585 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109039.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.586 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109039.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.586 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.587 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109039.587 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.587 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109039.587 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1547109039.587 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109039.587 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109039.587 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.588 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109039.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109039.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.589 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109039.589 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109039.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.589 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109039.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.589 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.589 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.589 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.589 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.589 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.589 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109039.589 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1547109039.589 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.589 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1547109039.589 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547109039.589 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109039.589 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.590 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.590 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.590 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547109039.590 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109039.590 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109039.590 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.590 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.590 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.590 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.592 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.592 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.592 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.592 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.593 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.593 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.593 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.593 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.594 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547109039.594 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.594 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.594 * [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))))
1547109039.594 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1547109039.594 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547109039.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109039.595 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.595 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547109039.595 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.595 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547109039.595 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109039.595 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109039.595 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547109039.595 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.595 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547109039.595 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.596 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.596 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.596 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.596 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.597 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.597 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.597 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.597 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.598 * [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
1547109039.598 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.598 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.598 * [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))))
1547109039.598 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1547109039.598 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547109039.598 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109039.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.598 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547109039.598 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.598 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547109039.598 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109039.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109039.599 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547109039.599 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.599 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547109039.599 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.600 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.600 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.600 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.600 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.600 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.600 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.601 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547109039.601 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.601 * [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
1547109039.601 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1547109039.602 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1547109039.602 * [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)))
1547109039.602 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547109039.602 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547109039.602 * [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)))
1547109039.602 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547109039.602 * [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)))
1547109039.602 * [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)))
1547109039.602 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.602 * [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)))
1547109039.603 * [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))))
1547109039.603 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547109039.603 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547109039.603 * [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))))
1547109039.603 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547109039.603 * [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))))
1547109039.603 * [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))))
1547109039.603 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.603 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.603 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.603 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.603 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.603 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.603 * [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)))
1547109039.604 * [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))))
1547109039.604 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547109039.604 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547109039.604 * [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))))
1547109039.604 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547109039.604 * [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))))
1547109039.605 * [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))))
1547109039.605 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.605 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.605 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.605 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.605 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.605 * [misc]backup-simplify:  Simplify 0 into 0
1547109039.605 * [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)))
1547109039.605 * * * [misc]progress:  simplifying candidates
1547109039.605 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1547109039.605 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.606 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.606 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547109039.607 * * [misc]simplify:  iters left: 6 (9 enodes)
1547109039.609 * * [misc]simplify:  iters left: 5 (17 enodes)
1547109039.613 * * [misc]simplify:  iters left: 4 (20 enodes)
1547109039.618 * * [misc]simplify:  iters left: 3 (22 enodes)
1547109039.624 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547109039.624 * [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))))
1547109039.624 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.624 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547109039.625 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109039.627 * * [misc]simplify:  iters left: 5 (14 enodes)
1547109039.631 * * [misc]simplify:  iters left: 4 (17 enodes)
1547109039.635 * * [misc]simplify:  iters left: 3 (19 enodes)
1547109039.640 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547109039.640 * [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))))
1547109039.640 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547109039.640 * [enter]simplify:  Simplifying (log 1)
1547109039.641 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109039.642 * [exit]simplify:  Simplified to 0
1547109039.642 * [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))))
1547109039.642 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547109039.642 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547109039.642 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1547109039.642 * * [misc]simplify:  iters left: 5 (6 enodes)
1547109039.644 * * [misc]simplify:  iters left: 4 (12 enodes)
1547109039.647 * * [misc]simplify:  iters left: 3 (15 enodes)
1547109039.651 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.656 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1547109039.656 * [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))))
1547109039.656 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547109039.656 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1547109039.656 * * [misc]simplify:  iters left: 5 (6 enodes)
1547109039.663 * * [misc]simplify:  iters left: 4 (12 enodes)
1547109039.667 * * [misc]simplify:  iters left: 3 (15 enodes)
1547109039.671 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.676 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1547109039.677 * [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))))
1547109039.677 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.677 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1547109039.677 * * [misc]simplify:  iters left: 5 (6 enodes)
1547109039.679 * * [misc]simplify:  iters left: 4 (12 enodes)
1547109039.682 * * [misc]simplify:  iters left: 3 (15 enodes)
1547109039.686 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.691 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1547109039.691 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109039.691 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1547109039.691 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547109039.691 * * [misc]simplify:  iters left: 4 (5 enodes)
1547109039.693 * * [misc]simplify:  iters left: 3 (11 enodes)
1547109039.696 * * [misc]simplify:  iters left: 2 (14 enodes)
1547109039.699 * * [misc]simplify:  iters left: 1 (16 enodes)
1547109039.703 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547109039.703 * [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))))
1547109039.703 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.704 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1547109039.704 * * [misc]simplify:  iters left: 5 (6 enodes)
1547109039.705 * * [misc]simplify:  iters left: 4 (12 enodes)
1547109039.709 * * [misc]simplify:  iters left: 3 (15 enodes)
1547109039.712 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.714 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1547109039.714 * [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))))
1547109039.714 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1547109039.714 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547109039.714 * * [misc]simplify:  iters left: 4 (5 enodes)
1547109039.715 * * [misc]simplify:  iters left: 3 (11 enodes)
1547109039.717 * * [misc]simplify:  iters left: 2 (14 enodes)
1547109039.718 * * [misc]simplify:  iters left: 1 (16 enodes)
1547109039.720 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547109039.720 * [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))))
1547109039.720 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1547109039.721 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547109039.721 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1547109039.721 * * [misc]simplify:  iters left: 3 (4 enodes)
1547109039.721 * * [misc]simplify:  iters left: 2 (10 enodes)
1547109039.723 * * [misc]simplify:  iters left: 1 (13 enodes)
1547109039.724 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.725 * [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))))
1547109039.725 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.725 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.725 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.725 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.725 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109039.725 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547109039.725 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1547109039.725 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1547109039.725 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547109039.725 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547109039.725 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547109039.725 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547109039.725 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547109039.725 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1547109039.725 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1547109039.725 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109039.725 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109039.726 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109039.728 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.728 * [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))))
1547109039.728 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1547109039.728 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109039.728 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109039.729 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109039.730 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.730 * [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))))
1547109039.730 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1547109039.730 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109039.730 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109039.731 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109039.733 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.733 * [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))))
1547109039.733 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.733 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109039.733 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109039.734 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109039.735 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.735 * [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))))
1547109039.735 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.736 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109039.736 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109039.737 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109039.739 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.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))))
1547109039.739 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547109039.739 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109039.739 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109039.740 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109039.741 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109039.742 * [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))))
1547109039.742 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547109039.742 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547109039.742 * * [misc]simplify:  iters left: 3 (6 enodes)
1547109039.743 * * [misc]simplify:  iters left: 2 (12 enodes)
1547109039.744 * * [misc]simplify:  iters left: 1 (15 enodes)
1547109039.746 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547109039.746 * [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))))
1547109039.746 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547109039.746 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547109039.746 * * [misc]simplify:  iters left: 3 (6 enodes)
1547109039.747 * * [misc]simplify:  iters left: 2 (12 enodes)
1547109039.749 * * [misc]simplify:  iters left: 1 (15 enodes)
1547109039.751 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547109039.751 * [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))))
1547109039.751 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547109039.751 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547109039.751 * * [misc]simplify:  iters left: 3 (6 enodes)
1547109039.752 * * [misc]simplify:  iters left: 2 (12 enodes)
1547109039.753 * * [misc]simplify:  iters left: 1 (15 enodes)
1547109039.755 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547109039.755 * [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))))
1547109039.755 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109039.756 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109039.756 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109039.757 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109039.759 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.761 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109039.763 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109039.763 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109039.763 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109039.764 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109039.764 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109039.765 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109039.767 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.769 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109039.772 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109039.772 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109039.772 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547109039.772 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547109039.772 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109039.773 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109039.775 * * [misc]simplify:  iters left: 2 (17 enodes)
1547109039.777 * * [misc]simplify:  iters left: 1 (19 enodes)
1547109039.779 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109039.779 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547109039.779 * * * [misc]progress:  adding candidates to table
1547109040.654 * * [misc]progress:  iteration 4 / 4
1547109040.654 * * * [misc]progress:  picking best candidate
1547109040.713 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.713 * * * [misc]progress:  localizing error
1547109040.757 * * * [misc]progress:  generating rewritten candidates
1547109040.757 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
1547109040.758 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1 1)
1547109040.758 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1 1)
1547109040.758 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1)
1547109040.759 * * * [misc]progress:  generating series expansions
1547109040.759 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
1547109040.759 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109040.759 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109040.759 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.759 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.759 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.760 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.760 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.760 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.760 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.760 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.760 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.760 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.760 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.760 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.760 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.761 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.761 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.761 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.761 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.761 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.761 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109040.762 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.762 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.762 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.762 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.762 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.762 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.762 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.762 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.762 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.762 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.762 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.762 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.762 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.763 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109040.763 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1 1 1)
1547109040.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109040.763 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109040.763 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.763 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.763 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.763 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.763 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.764 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.764 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.764 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.764 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.764 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.764 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.764 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.765 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.765 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.765 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.765 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.765 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.765 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109040.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.765 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.765 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.765 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.766 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.766 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.766 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.766 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.766 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.766 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.766 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.766 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109040.767 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1 1 1)
1547109040.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109040.767 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109040.767 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.767 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.767 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.767 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.767 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.767 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.768 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.768 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.768 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.768 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.768 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.768 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.769 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.769 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.769 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.769 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.769 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.769 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109040.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.769 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.770 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.770 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.770 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.770 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.770 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.770 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109040.770 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1)
1547109040.770 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547109040.771 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547109040.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.771 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547109040.771 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.771 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.771 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.771 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.771 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.771 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.771 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.771 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.771 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547109040.771 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.772 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.772 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.772 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547109040.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547109040.772 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.772 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.772 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.772 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.772 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.772 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547109040.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.773 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547109040.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547109040.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547109040.773 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.773 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.774 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.774 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.774 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.774 * [misc]backup-simplify:  Simplify 0 into 0
1547109040.774 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547109040.774 * * * [misc]progress:  simplifying candidates
1547109040.774 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))))) (log1p a))))>
1547109040.774 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547109040.774 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547109040.774 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547109040.774 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547109040.774 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547109040.774 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (exp (log (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (* 1 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1)))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (exp (log (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.775 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (* 1 (fmod (cosh a) (* a a)))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.776 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547109040.776 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.777 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.778 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.781 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.781 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.781 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547109040.782 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.782 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.783 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.786 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.786 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.786 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547109040.787 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.787 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.788 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.792 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.792 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.792 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.792 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.792 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.793 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.802 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.802 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.802 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.802 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.802 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.803 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.806 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.806 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.806 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.807 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.807 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.808 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.811 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.811 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.811 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.812 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.812 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.813 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.816 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.816 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.816 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.816 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.817 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.818 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.821 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.821 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.821 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.821 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.821 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.823 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.825 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.825 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.825 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.826 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.826 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.827 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.830 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.830 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.830 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.830 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.830 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.831 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.834 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.834 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.834 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547109040.834 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547109040.834 * * [misc]simplify:  iters left: 2 (5 enodes)
1547109040.836 * * [misc]simplify:  iters left: 1 (11 enodes)
1547109040.838 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547109040.839 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547109040.839 * * * [misc]progress:  adding candidates to table
1547109041.620 * [misc]progress:  [Phase 3 of 3] Extracting.
1547109041.620 * * [misc]regime:  Finding splitpoints for: (#<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) (- (/ PI 2) (asin (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 (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1547109041.623 * * * [misc]regime-changes:  Trying 2 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)))
1547109041.623 * * * * [misc]regimes:  Trying to branch on a from (#<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) (- (/ PI 2) (asin (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 (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1547109041.712 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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) (- (/ PI 2) (asin (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 (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1547109041.834 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1547109041.835 * [enter]simplify:  Simplifying (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))
1547109041.835 * * [misc]simplify:  iters left: 6 (20 enodes)
1547109041.837 * * [misc]simplify:  iters left: 5 (23 enodes)
1547109041.840 * [exit]simplify:  Simplified to (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))
1547109041.840 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547109054.241 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109054.242 * * * * [misc]points:  Sampling 6037 additional inputs, on iter 1 have 1963 / 8000
1547109063.048 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109063.049 * * * * [misc]points:  Sampling 4531 additional inputs, on iter 2 have 3469 / 8000
1547109069.604 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109069.606 * * * * [misc]points:  Sampling 3466 additional inputs, on iter 3 have 4534 / 8000
1547109074.629 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109074.630 * * * * [misc]points:  Sampling 2598 additional inputs, on iter 4 have 5402 / 8000
1547109078.758 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109078.759 * * * * [misc]points:  Sampling 1991 additional inputs, on iter 5 have 6009 / 8000
1547109081.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109081.475 * * * * [misc]points:  Sampling 1486 additional inputs, on iter 6 have 6514 / 8000
1547109083.887 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109083.887 * * * * [misc]points:  Sampling 1151 additional inputs, on iter 7 have 6849 / 8000
1547109085.516 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109085.516 * * * * [misc]points:  Sampling 865 additional inputs, on iter 8 have 7135 / 8000
1547109086.848 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109086.849 * * * * [misc]points:  Sampling 638 additional inputs, on iter 9 have 7362 / 8000
1547109087.661 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109087.661 * * * * [misc]points:  Sampling 481 additional inputs, on iter 10 have 7519 / 8000
1547109088.312 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109088.312 * * * * [misc]points:  Sampling 365 additional inputs, on iter 11 have 7635 / 8000
1547109088.764 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109088.764 * * * * [misc]points:  Sampling 278 additional inputs, on iter 12 have 7722 / 8000
1547109089.161 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109089.161 * * * * [misc]points:  Sampling 210 additional inputs, on iter 13 have 7790 / 8000
1547109089.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109089.514 * * * * [misc]points:  Sampling 152 additional inputs, on iter 14 have 7848 / 8000
1547109089.705 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109089.705 * * * * [misc]points:  Sampling 105 additional inputs, on iter 15 have 7895 / 8000
1547109089.844 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109089.844 * * * * [misc]points:  Sampling 81 additional inputs, on iter 16 have 7919 / 8000
1547109089.951 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109089.951 * * * * [misc]points:  Sampling 57 additional inputs, on iter 17 have 7943 / 8000
1547109090.041 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.041 * * * * [misc]points:  Sampling 43 additional inputs, on iter 18 have 7957 / 8000
1547109090.123 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.124 * * * * [misc]points:  Sampling 30 additional inputs, on iter 19 have 7970 / 8000
1547109090.180 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.180 * * * * [misc]points:  Sampling 26 additional inputs, on iter 20 have 7974 / 8000
1547109090.199 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.199 * * * * [misc]points:  Sampling 22 additional inputs, on iter 21 have 7978 / 8000
1547109090.228 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.228 * * * * [misc]points:  Sampling 17 additional inputs, on iter 22 have 7983 / 8000
1547109090.252 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.252 * * * * [misc]points:  Sampling 15 additional inputs, on iter 23 have 7985 / 8000
1547109090.267 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.267 * * * * [misc]points:  Sampling 12 additional inputs, on iter 24 have 7988 / 8000
1547109090.278 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.278 * * * * [misc]points:  Sampling 11 additional inputs, on iter 25 have 7989 / 8000
1547109090.293 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.293 * * * * [misc]points:  Sampling 8 additional inputs, on iter 26 have 7992 / 8000
1547109090.302 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.302 * * * * [misc]points:  Sampling 5 additional inputs, on iter 27 have 7995 / 8000
1547109090.311 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.311 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7996 / 8000
1547109090.314 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.314 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7996 / 8000
1547109090.320 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.320 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7997 / 8000
1547109090.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.324 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7997 / 8000
1547109090.326 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.326 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7998 / 8000
1547109090.334 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109090.334 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547109092.534 * [misc]regime-testing:  Baseline error score: 59.29376926169008
1547109092.535 * [misc]regime-testing:  Oracle error score: 59.147878673001955
1547109092.538 * [misc]regime-testing:  End program error score: 59.29376926169008