1554301806.550 * [misc]progress:  [Phase 1 of 3] Setting up.
1554301806.571 * * * [misc]progress:  [1/2] Preparing points
1554301808.273 * * * [misc]progress:  [2/2] Setting up program.
1554301808.277 * [misc]progress:  [Phase 2 of 3] Improving.
1554301808.277 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1554301808.278 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301808.279 * * [misc]simplify:  iters left: 5 (7 enodes)
1554301808.284 * * [misc]simplify:  iters left: 4 (27 enodes)
1554301808.289 * * [misc]simplify:  iters left: 3 (40 enodes)
1554301808.301 * * [misc]simplify:  iters left: 2 (44 enodes)
1554301808.313 * * [misc]simplify:  iters left: 1 (46 enodes)
1554301808.320 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.321 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.321 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.321 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301808.321 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301808.321 * * [misc]simplify:  Extracting #5: cost 9 inf + 919
1554301808.321 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301808.322 * * [misc]simplify:  Extracting #7: cost 3 inf + 3160
1554301808.322 * * [misc]simplify:  Extracting #8: cost 0 inf + 3643
1554301808.322 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301808.337 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.343 * * [misc]progress:  iteration 1 / 4
1554301808.343 * * * [misc]progress:  picking best candidate
1554301808.349 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1554301808.349 * * * [misc]progress:  localizing error
1554301808.388 * * * [misc]progress:  generating rewritten candidates
1554301808.388 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1554301808.390 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1554301808.395 * * * [misc]progress:  generating series expansions
1554301808.395 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1554301808.401 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554301808.401 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301808.402 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301808.404 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.404 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301808.404 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.405 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.405 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.405 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.406 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.406 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.406 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.406 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.406 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.406 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.406 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301808.406 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301808.406 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.406 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301808.406 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.407 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.407 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.407 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.407 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.407 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.407 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.407 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.407 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301808.408 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.408 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301808.408 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301808.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.409 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301808.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.409 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.409 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.409 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.409 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.409 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.409 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301808.410 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1554301808.410 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301808.410 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554301808.410 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301808.410 * [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)))
1554301808.410 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301808.410 * [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)))
1554301808.410 * [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)))
1554301808.410 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.410 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.410 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.410 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.410 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.411 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.411 * [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)))
1554301808.411 * [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))))
1554301808.411 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554301808.411 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301808.411 * [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))))
1554301808.411 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301808.412 * [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))))
1554301808.412 * [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))))
1554301808.412 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.412 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.412 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.412 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.412 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.412 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.412 * [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)))
1554301808.413 * [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))))
1554301808.413 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554301808.413 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301808.413 * [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))))
1554301808.413 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301808.413 * [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))))
1554301808.413 * [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))))
1554301808.413 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.413 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.413 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.413 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.413 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.413 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.413 * [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)))
1554301808.414 * * * [misc]progress:  simplifying candidates
1554301808.414 * * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 4 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 5 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 6 / 27 ] 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))))>
1554301808.414 * * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 8 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.414 * * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554301808.414 * * * * [misc]progress:  [ 12 / 27 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554301808.414 * * * * [misc]progress:  [ 13 / 27 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1554301808.414 * * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1554301808.414 * * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554301808.414 * * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554301808.414 * * * * [misc]progress:  [ 17 / 27 ] 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))))))>
1554301808.414 * * * * [misc]progress:  [ 18 / 27 ] 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))))))>
1554301808.414 * * * * [misc]progress:  [ 19 / 27 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554301808.414 * * * * [misc]progress:  [ 20 / 27 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1554301808.414 * * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554301808.414 * * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301808.415 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301808.415 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.416 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.420 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.420 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.420 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301808.420 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301808.420 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301808.420 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301808.420 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301808.420 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301808.420 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.420 * * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301808.421 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301808.421 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.422 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.426 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.426 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.426 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301808.426 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301808.426 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301808.426 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301808.426 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301808.426 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301808.427 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.427 * * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301808.427 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301808.427 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.428 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.432 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.432 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.432 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301808.432 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301808.432 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301808.432 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301808.432 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301808.432 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301808.433 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.433 * * * * [misc]progress:  [ 25 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301808.433 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301808.433 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301808.435 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301808.442 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301808.454 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301808.480 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.480 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.480 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.480 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301808.480 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301808.480 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301808.481 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301808.481 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301808.482 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301808.483 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301808.483 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301808.483 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.484 * * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301808.484 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301808.484 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301808.488 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301808.497 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301808.509 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301808.522 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.522 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.522 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.523 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301808.523 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301808.523 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301808.523 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301808.524 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301808.524 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301808.525 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301808.526 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301808.526 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.526 * * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301808.526 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301808.526 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301808.531 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301808.540 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301808.552 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301808.565 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.565 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.565 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.565 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301808.566 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301808.566 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301808.566 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301808.567 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301808.567 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301808.568 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301808.568 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301808.569 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301808.569 * * * [misc]progress:  adding candidates to table
1554301808.880 * * [misc]progress:  iteration 2 / 4
1554301808.880 * * * [misc]progress:  picking best candidate
1554301808.933 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1554301808.933 * * * [misc]progress:  localizing error
1554301808.956 * * * [misc]progress:  generating rewritten candidates
1554301808.956 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1554301808.956 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1554301808.961 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1554301808.970 * * * [misc]progress:  generating series expansions
1554301808.970 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1554301808.970 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554301808.971 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301808.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301808.971 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301808.971 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.971 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.971 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.972 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301808.972 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301808.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.972 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301808.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301808.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.973 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301808.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301808.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301808.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.974 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301808.974 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1554301808.974 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1554301808.974 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301808.974 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301808.974 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.974 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301808.974 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.975 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.975 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.975 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.975 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.975 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.975 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.975 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.975 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301808.975 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.975 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301808.975 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301808.975 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.975 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301808.976 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.976 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301808.976 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.976 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.976 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.976 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.976 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.976 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.976 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301808.977 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.977 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301808.977 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301808.977 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.977 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301808.977 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.977 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301808.977 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.977 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.977 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.977 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.977 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.977 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.978 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301808.978 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1554301808.978 * [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)))
1554301808.978 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554301808.978 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301808.978 * [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)))
1554301808.978 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301808.978 * [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)))
1554301808.979 * [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)))
1554301808.979 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.979 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.979 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.979 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.979 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.979 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.979 * [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)))
1554301808.979 * [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))))
1554301808.979 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554301808.979 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301808.980 * [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))))
1554301808.980 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301808.980 * [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))))
1554301808.980 * [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))))
1554301808.980 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.980 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.980 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.980 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.980 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.980 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.981 * [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)))
1554301808.981 * [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))))
1554301808.981 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554301808.981 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301808.981 * [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))))
1554301808.981 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301808.982 * [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))))
1554301808.982 * [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))))
1554301808.982 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.982 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.982 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.982 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.982 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.982 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.982 * [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)))
1554301808.983 * * * [misc]progress:  simplifying candidates
1554301808.983 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 6 / 48 ] 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))))>
1554301808.983 * * * * [misc]progress:  [ 7 / 48 ] 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))))>
1554301808.983 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301808.983 * * * * [misc]progress:  [ 13 / 48 ] 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))))>
1554301808.984 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1554301808.984 * * [misc]simplify:  iters left: 6 (8 enodes)
1554301808.987 * * [misc]simplify:  iters left: 5 (32 enodes)
1554301808.998 * * [misc]simplify:  iters left: 4 (47 enodes)
1554301809.012 * * [misc]simplify:  iters left: 3 (51 enodes)
1554301809.026 * * [misc]simplify:  iters left: 2 (53 enodes)
1554301809.041 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #4: cost 11 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #5: cost 14 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #6: cost 19 inf + 0
1554301809.041 * * [misc]simplify:  Extracting #7: cost 20 inf + 2
1554301809.042 * * [misc]simplify:  Extracting #8: cost 18 inf + 543
1554301809.042 * * [misc]simplify:  Extracting #9: cost 12 inf + 1580
1554301809.042 * * [misc]simplify:  Extracting #10: cost 1 inf + 4471
1554301809.043 * * [misc]simplify:  Extracting #11: cost 0 inf + 4857
1554301809.043 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1554301809.043 * [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))))
1554301809.043 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.043 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1554301809.044 * * [misc]simplify:  iters left: 6 (7 enodes)
1554301809.045 * * [misc]simplify:  iters left: 5 (27 enodes)
1554301809.049 * * [misc]simplify:  iters left: 4 (40 enodes)
1554301809.056 * * [misc]simplify:  iters left: 3 (44 enodes)
1554301809.062 * * [misc]simplify:  iters left: 2 (46 enodes)
1554301809.069 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.069 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301809.069 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301809.069 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554301809.070 * * [misc]simplify:  Extracting #4: cost 10 inf + 0
1554301809.070 * * [misc]simplify:  Extracting #5: cost 15 inf + 0
1554301809.070 * * [misc]simplify:  Extracting #6: cost 16 inf + 2
1554301809.070 * * [misc]simplify:  Extracting #7: cost 14 inf + 433
1554301809.070 * * [misc]simplify:  Extracting #8: cost 7 inf + 1446
1554301809.071 * * [misc]simplify:  Extracting #9: cost 0 inf + 3133
1554301809.071 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1554301809.071 * [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))))
1554301809.072 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1554301809.072 * [enter]simplify:  Simplifying (log 1)
1554301809.072 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301809.075 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.075 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301809.075 * [exit]simplify:  Simplified to 0
1554301809.075 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1554301809.075 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1554301809.075 * * * * [misc]progress:  [ 17 / 48 ] 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))))>
1554301809.075 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1554301809.075 * * [misc]simplify:  iters left: 4 (5 enodes)
1554301809.077 * * [misc]simplify:  iters left: 3 (21 enodes)
1554301809.084 * * [misc]simplify:  iters left: 2 (34 enodes)
1554301809.094 * * [misc]simplify:  iters left: 1 (38 enodes)
1554301809.108 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.108 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301809.108 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301809.108 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301809.108 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301809.109 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554301809.109 * * [misc]simplify:  Extracting #6: cost 5 inf + 1069
1554301809.109 * * [misc]simplify:  Extracting #7: cost 0 inf + 1909
1554301809.110 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1554301809.110 * [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))))
1554301809.110 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.110 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554301809.111 * * [misc]simplify:  iters left: 4 (5 enodes)
1554301809.113 * * [misc]simplify:  iters left: 3 (21 enodes)
1554301809.120 * * [misc]simplify:  iters left: 2 (34 enodes)
1554301809.130 * * [misc]simplify:  iters left: 1 (38 enodes)
1554301809.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.142 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301809.142 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301809.142 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301809.143 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301809.143 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554301809.143 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554301809.144 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554301809.144 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301809.144 * [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))))
1554301809.144 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1554301809.145 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1554301809.145 * * [misc]simplify:  iters left: 3 (4 enodes)
1554301809.147 * * [misc]simplify:  iters left: 2 (18 enodes)
1554301809.153 * * [misc]simplify:  iters left: 1 (31 enodes)
1554301809.163 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.163 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.163 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.163 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.163 * * [misc]simplify:  Extracting #4: cost 7 inf + 599
1554301809.164 * * [misc]simplify:  Extracting #5: cost 5 inf + 712
1554301809.164 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.164 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.164 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1554301809.165 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1554301809.165 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1554301809.165 * [enter]simplify:  Simplifying (cosh a)
1554301809.165 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301809.166 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.166 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554301809.166 * * [misc]simplify:  Extracting #2: cost 5 inf + 2
1554301809.166 * * [misc]simplify:  Extracting #3: cost 3 inf + 185
1554301809.166 * * [misc]simplify:  Extracting #4: cost 0 inf + 558
1554301809.166 * [exit]simplify:  Simplified to (cosh a)
1554301809.167 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.167 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.167 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.167 * * * * [misc]progress:  [ 24 / 48 ] 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))))>
1554301809.167 * * * * [misc]progress:  [ 25 / 48 ] 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))))>
1554301809.167 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.167 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1554301809.167 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.167 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554301809.167 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554301809.167 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1554301809.167 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1554301809.167 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554301809.167 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554301809.167 * * * * [misc]progress:  [ 35 / 48 ] 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))))))>
1554301809.167 * * * * [misc]progress:  [ 36 / 48 ] 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))))))>
1554301809.168 * * * * [misc]progress:  [ 37 / 48 ] 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))))))>
1554301809.168 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1554301809.168 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554301809.168 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554301809.168 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301809.168 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.171 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.175 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.175 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.175 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.175 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.176 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301809.176 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301809.176 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.176 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.176 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1554301809.176 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554301809.177 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301809.177 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.178 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.182 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.182 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.182 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.182 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.182 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301809.182 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301809.182 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.183 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.183 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1554301809.183 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554301809.183 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301809.183 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.184 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.188 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.188 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.188 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.188 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.188 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301809.188 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301809.188 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.188 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.188 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1554301809.189 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301809.189 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301809.189 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.190 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.194 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.194 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.194 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.194 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.194 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301809.194 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301809.194 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.194 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.194 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.195 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301809.195 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301809.195 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.196 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.200 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.200 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.200 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.200 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.200 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301809.200 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301809.200 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.200 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.200 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.200 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301809.201 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301809.201 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.202 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.205 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.205 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.206 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301809.206 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301809.206 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301809.206 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301809.206 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301809.206 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301809.206 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.206 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301809.206 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301809.207 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301809.208 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301809.218 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301809.230 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301809.242 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.242 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301809.242 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301809.242 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301809.242 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301809.242 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301809.243 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301809.243 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301809.243 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301809.244 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301809.244 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301809.244 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.244 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301809.244 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301809.244 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301809.246 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301809.251 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301809.257 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301809.264 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.264 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301809.264 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301809.264 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301809.264 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301809.264 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301809.264 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301809.265 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301809.265 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301809.266 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301809.267 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301809.267 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.267 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301809.267 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301809.267 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301809.271 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301809.281 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301809.293 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301809.304 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.304 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301809.304 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301809.304 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301809.304 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301809.304 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301809.305 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301809.305 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301809.305 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301809.305 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301809.306 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301809.306 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301809.306 * * * [misc]progress:  adding candidates to table
1554301809.870 * * [misc]progress:  iteration 3 / 4
1554301809.870 * * * [misc]progress:  picking best candidate
1554301809.924 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.924 * * * [misc]progress:  localizing error
1554301809.950 * * * [misc]progress:  generating rewritten candidates
1554301809.950 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1554301809.950 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1554301809.951 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1554301809.954 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1554301809.955 * * * [misc]progress:  generating series expansions
1554301809.956 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554301809.956 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301809.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.956 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.956 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.956 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.956 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.956 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.956 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.956 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301809.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301809.956 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.957 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301809.957 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.957 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.957 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301809.958 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554301809.958 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301809.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.958 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301809.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301809.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.959 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301809.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.959 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.960 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.960 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301809.960 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1554301809.960 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.960 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1554301809.960 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554301809.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301809.960 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.960 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.960 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.960 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554301809.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301809.960 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301809.960 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.960 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.961 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.961 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.963 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.963 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.963 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.963 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.963 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.963 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.964 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.964 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.964 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301809.964 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.964 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.965 * [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))))
1554301809.965 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554301809.965 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554301809.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301809.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.965 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554301809.965 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.965 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554301809.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301809.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301809.965 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554301809.965 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.965 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554301809.965 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.966 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.966 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.966 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.966 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.967 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.967 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.967 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.967 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.968 * [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
1554301809.968 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.968 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.968 * [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))))
1554301809.968 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554301809.968 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554301809.968 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301809.968 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.968 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554301809.968 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.968 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554301809.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301809.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301809.969 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554301809.969 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.969 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554301809.969 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.970 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.970 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.970 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.970 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.970 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.970 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.971 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301809.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.971 * [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
1554301809.971 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301809.972 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1554301809.972 * [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)))
1554301809.972 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554301809.972 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301809.972 * [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)))
1554301809.972 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301809.972 * [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)))
1554301809.972 * [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)))
1554301809.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.972 * [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)))
1554301809.973 * [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))))
1554301809.973 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554301809.973 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301809.973 * [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))))
1554301809.973 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301809.973 * [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))))
1554301809.973 * [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))))
1554301809.973 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.973 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.973 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.973 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.973 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.973 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.973 * [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)))
1554301809.974 * [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))))
1554301809.974 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554301809.974 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301809.974 * [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))))
1554301809.974 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301809.974 * [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))))
1554301809.974 * [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))))
1554301809.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.974 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.974 * [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)))
1554301809.975 * * * [misc]progress:  simplifying candidates
1554301809.975 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 6 / 64 ] 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))))>
1554301809.975 * * * * [misc]progress:  [ 7 / 64 ] 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))))>
1554301809.975 * * * * [misc]progress:  [ 8 / 64 ] 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))))>
1554301809.975 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 16 / 64 ] 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))))>
1554301809.975 * * * * [misc]progress:  [ 17 / 64 ] 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))))>
1554301809.975 * * * * [misc]progress:  [ 18 / 64 ] 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))))>
1554301809.975 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log1p (expm1 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (expm1 (log1p (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301809.975 * * * * [misc]progress:  [ 23 / 64 ] 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))))>
1554301809.976 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554301809.976 * * [misc]simplify:  iters left: 6 (9 enodes)
1554301809.978 * * [misc]simplify:  iters left: 5 (35 enodes)
1554301809.988 * * [misc]simplify:  iters left: 4 (50 enodes)
1554301809.998 * * [misc]simplify:  iters left: 3 (54 enodes)
1554301810.014 * * [misc]simplify:  iters left: 2 (56 enodes)
1554301810.030 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #4: cost 11 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #5: cost 13 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #6: cost 16 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #7: cost 21 inf + 0
1554301810.031 * * [misc]simplify:  Extracting #8: cost 22 inf + 2
1554301810.031 * * [misc]simplify:  Extracting #9: cost 22 inf + 211
1554301810.032 * * [misc]simplify:  Extracting #10: cost 11 inf + 1858
1554301810.033 * * [misc]simplify:  Extracting #11: cost 2 inf + 4777
1554301810.034 * * [misc]simplify:  Extracting #12: cost 0 inf + 5669
1554301810.035 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554301810.035 * [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))))
1554301810.035 * * * * [misc]progress:  [ 24 / 64 ] 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))))>
1554301810.035 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554301810.036 * * [misc]simplify:  iters left: 6 (8 enodes)
1554301810.039 * * [misc]simplify:  iters left: 5 (30 enodes)
1554301810.048 * * [misc]simplify:  iters left: 4 (43 enodes)
1554301810.062 * * [misc]simplify:  iters left: 3 (47 enodes)
1554301810.077 * * [misc]simplify:  iters left: 2 (49 enodes)
1554301810.091 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #5: cost 12 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #6: cost 17 inf + 0
1554301810.091 * * [misc]simplify:  Extracting #7: cost 18 inf + 2
1554301810.091 * * [misc]simplify:  Extracting #8: cost 17 inf + 377
1554301810.092 * * [misc]simplify:  Extracting #9: cost 10 inf + 1400
1554301810.092 * * [misc]simplify:  Extracting #10: cost 0 inf + 3785
1554301810.093 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554301810.093 * [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))))
1554301810.093 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1554301810.094 * [enter]simplify:  Simplifying (log 1)
1554301810.094 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301810.096 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.096 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301810.096 * [exit]simplify:  Simplified to 0
1554301810.096 * [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))))
1554301810.096 * * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1554301810.096 * * * * [misc]progress:  [ 27 / 64 ] 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))))>
1554301810.097 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1554301810.097 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301810.099 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301810.107 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301810.118 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.131 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301810.144 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.144 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.144 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301810.144 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301810.144 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301810.144 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301810.144 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301810.144 * * [misc]simplify:  Extracting #7: cost 6 inf + 1410
1554301810.144 * * [misc]simplify:  Extracting #8: cost 1 inf + 2180
1554301810.145 * * [misc]simplify:  Extracting #9: cost 0 inf + 2401
1554301810.145 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1554301810.145 * [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))))
1554301810.145 * * * * [misc]progress:  [ 28 / 64 ] 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))))>
1554301810.145 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1554301810.145 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301810.147 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301810.151 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301810.157 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.163 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301810.169 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.169 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.169 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301810.169 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301810.169 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301810.169 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301810.169 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301810.170 * * [misc]simplify:  Extracting #7: cost 6 inf + 1490
1554301810.170 * * [misc]simplify:  Extracting #8: cost 1 inf + 2260
1554301810.170 * * [misc]simplify:  Extracting #9: cost 0 inf + 2481
1554301810.171 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1554301810.171 * [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))))
1554301810.171 * * * * [misc]progress:  [ 29 / 64 ] 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))))>
1554301810.171 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301810.171 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301810.172 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301810.176 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301810.182 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.188 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301810.195 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.195 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.195 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301810.195 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301810.195 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301810.195 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301810.195 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301810.195 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554301810.196 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554301810.196 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554301810.196 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301810.196 * [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))))
1554301810.196 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1554301810.197 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554301810.197 * * [misc]simplify:  iters left: 4 (5 enodes)
1554301810.198 * * [misc]simplify:  iters left: 3 (21 enodes)
1554301810.201 * * [misc]simplify:  iters left: 2 (34 enodes)
1554301810.207 * * [misc]simplify:  iters left: 1 (38 enodes)
1554301810.215 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.216 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.216 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.216 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.216 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301810.216 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554301810.216 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554301810.217 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554301810.217 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301810.217 * [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))))
1554301810.217 * * * * [misc]progress:  [ 31 / 64 ] 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))))>
1554301810.218 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301810.218 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301810.220 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301810.228 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301810.241 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.254 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301810.268 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.268 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.268 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301810.268 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301810.268 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301810.268 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301810.268 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301810.269 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554301810.269 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554301810.270 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554301810.270 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301810.270 * [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))))
1554301810.271 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1554301810.271 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554301810.271 * * [misc]simplify:  iters left: 4 (5 enodes)
1554301810.273 * * [misc]simplify:  iters left: 3 (21 enodes)
1554301810.281 * * [misc]simplify:  iters left: 2 (34 enodes)
1554301810.291 * * [misc]simplify:  iters left: 1 (38 enodes)
1554301810.302 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.302 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.302 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.302 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.302 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301810.303 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554301810.303 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554301810.303 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554301810.304 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301810.304 * [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))))
1554301810.304 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1554301810.304 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1554301810.304 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1554301810.305 * * [misc]simplify:  iters left: 3 (4 enodes)
1554301810.306 * * [misc]simplify:  iters left: 2 (18 enodes)
1554301810.313 * * [misc]simplify:  iters left: 1 (31 enodes)
1554301810.322 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.322 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.322 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.322 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.323 * * [misc]simplify:  Extracting #4: cost 7 inf + 599
1554301810.323 * * [misc]simplify:  Extracting #5: cost 5 inf + 712
1554301810.323 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.324 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.324 * [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))))
1554301810.324 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301810.324 * * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301810.324 * * * * [misc]progress:  [ 37 / 64 ] 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))))>
1554301810.324 * * * * [misc]progress:  [ 38 / 64 ] 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))))>
1554301810.324 * * * * [misc]progress:  [ 39 / 64 ] 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))))>
1554301810.324 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1554301810.324 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554301810.324 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301810.324 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301810.325 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1554301810.325 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1554301810.325 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301810.325 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301810.325 * * * * [misc]progress:  [ 48 / 64 ] 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))))))>
1554301810.325 * * * * [misc]progress:  [ 49 / 64 ] 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))))))>
1554301810.325 * * * * [misc]progress:  [ 50 / 64 ] 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))))))>
1554301810.325 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1554301810.325 * * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301810.325 * * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1554301810.325 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301810.325 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301810.328 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301810.335 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.336 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.336 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.336 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.336 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301810.336 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301810.337 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.337 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.337 * [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))))
1554301810.337 * * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1554301810.337 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301810.338 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301810.340 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301810.347 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.347 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.347 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.347 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.347 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301810.348 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301810.348 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.349 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.349 * [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))))
1554301810.349 * * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1554301810.349 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301810.349 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301810.352 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301810.359 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.359 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.359 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.359 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.360 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301810.360 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301810.360 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.361 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.361 * [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))))
1554301810.361 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301810.361 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301810.361 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301810.365 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301810.372 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.372 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.372 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.372 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.372 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301810.372 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301810.373 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.373 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.373 * [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))))
1554301810.374 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301810.374 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301810.374 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301810.377 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301810.384 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.385 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.385 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.385 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.385 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301810.385 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301810.386 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.386 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.386 * [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))))
1554301810.386 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554301810.386 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301810.387 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301810.390 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301810.397 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.397 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301810.397 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301810.397 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301810.397 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301810.397 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301810.397 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301810.397 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301810.397 * [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))))
1554301810.398 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554301810.398 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554301810.398 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301810.400 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301810.405 * * [misc]simplify:  iters left: 1 (35 enodes)
1554301810.411 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.411 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.411 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.411 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.411 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301810.411 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554301810.411 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554301810.411 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554301810.412 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554301810.412 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301810.412 * [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))))
1554301810.412 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554301810.412 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554301810.412 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301810.415 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301810.423 * * [misc]simplify:  iters left: 1 (35 enodes)
1554301810.434 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.434 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.434 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.434 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.434 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301810.434 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554301810.435 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554301810.435 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554301810.435 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554301810.436 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301810.436 * [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))))
1554301810.436 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554301810.436 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554301810.437 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301810.440 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301810.448 * * [misc]simplify:  iters left: 1 (35 enodes)
1554301810.459 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.460 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.460 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.460 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.460 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301810.460 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554301810.460 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554301810.461 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554301810.461 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554301810.462 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301810.462 * [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))))
1554301810.462 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301810.462 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301810.462 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301810.466 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301810.478 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.493 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301810.506 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.507 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.507 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.507 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.507 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301810.507 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301810.507 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301810.508 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301810.508 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301810.509 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301810.510 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301810.510 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301810.510 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301810.510 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301810.510 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301810.514 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301810.524 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.531 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301810.537 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.537 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.537 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.537 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.537 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301810.537 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301810.538 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301810.538 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301810.538 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301810.538 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301810.539 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301810.539 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301810.539 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554301810.539 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301810.539 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301810.541 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301810.547 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301810.553 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301810.563 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301810.564 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301810.564 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301810.564 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301810.564 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301810.564 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301810.564 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301810.564 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301810.564 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301810.565 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301810.565 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301810.565 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301810.565 * * * [misc]progress:  adding candidates to table
1554301811.363 * * [misc]progress:  iteration 4 / 4
1554301811.363 * * * [misc]progress:  picking best candidate
1554301811.445 * * * * [misc]pick:  Picked  #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.445 * * * [misc]progress:  localizing error
1554301811.461 * * * [misc]progress:  generating rewritten candidates
1554301811.461 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1)
1554301811.461 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
1554301811.461 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1554301811.465 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554301811.467 * * * [misc]progress:  generating series expansions
1554301811.467 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1 1 2 1 1 1)
1554301811.467 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554301811.467 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301811.467 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301811.467 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.467 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301811.467 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.467 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.467 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.467 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.467 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.467 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.467 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.467 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.467 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.468 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301811.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.468 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.468 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.468 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.468 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.468 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.468 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.468 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301811.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301811.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301811.469 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554301811.469 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554301811.469 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.469 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.469 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.470 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301811.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.470 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.470 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.470 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.470 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.470 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.470 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.470 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554301811.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301811.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.471 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.471 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.471 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.471 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.471 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.471 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.471 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.471 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554301811.471 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1554301811.471 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.471 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1554301811.471 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554301811.471 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301811.471 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.471 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.471 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.471 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554301811.471 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554301811.471 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554301811.471 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.471 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.472 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.472 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.472 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.472 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.473 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.473 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.473 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.473 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.474 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.474 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.474 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554301811.474 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.474 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.474 * [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))))
1554301811.474 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554301811.475 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554301811.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301811.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.475 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554301811.475 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.475 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554301811.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554301811.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554301811.475 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554301811.475 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.475 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554301811.475 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.476 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.476 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.476 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.476 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.477 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.477 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.477 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.477 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.478 * [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
1554301811.478 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.478 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.478 * [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))))
1554301811.478 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554301811.478 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554301811.478 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301811.478 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.478 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554301811.478 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.478 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554301811.479 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554301811.479 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554301811.479 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554301811.479 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.479 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554301811.479 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.480 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.480 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.480 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.480 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.480 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.481 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.481 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554301811.481 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.481 * [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
1554301811.481 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554301811.482 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554301811.482 * [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)))
1554301811.482 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554301811.482 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301811.482 * [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)))
1554301811.482 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554301811.482 * [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)))
1554301811.482 * [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)))
1554301811.482 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.482 * [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)))
1554301811.483 * [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))))
1554301811.483 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554301811.483 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301811.483 * [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))))
1554301811.483 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554301811.483 * [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))))
1554301811.483 * [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))))
1554301811.483 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.483 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.483 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.483 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.483 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.483 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.483 * [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)))
1554301811.484 * [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))))
1554301811.484 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554301811.484 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301811.484 * [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))))
1554301811.484 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554301811.484 * [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))))
1554301811.484 * [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))))
1554301811.484 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.484 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.484 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.484 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.484 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.484 * [misc]backup-simplify:  Simplify 0 into 0
1554301811.484 * [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)))
1554301811.485 * * * [misc]progress:  simplifying candidates
1554301811.485 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.485 * * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.485 * * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.485 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.485 * * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.485 * * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.485 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log1p (expm1 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (expm1 (log1p (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.485 * * * * [misc]progress:  [ 23 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.486 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554301811.486 * * [misc]simplify:  iters left: 6 (9 enodes)
1554301811.488 * * [misc]simplify:  iters left: 5 (35 enodes)
1554301811.495 * * [misc]simplify:  iters left: 4 (50 enodes)
1554301811.509 * * [misc]simplify:  iters left: 3 (54 enodes)
1554301811.525 * * [misc]simplify:  iters left: 2 (56 enodes)
1554301811.541 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #4: cost 11 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #5: cost 13 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #6: cost 16 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #7: cost 21 inf + 0
1554301811.541 * * [misc]simplify:  Extracting #8: cost 22 inf + 2
1554301811.541 * * [misc]simplify:  Extracting #9: cost 22 inf + 211
1554301811.545 * * [misc]simplify:  Extracting #10: cost 11 inf + 1858
1554301811.546 * * [misc]simplify:  Extracting #11: cost 2 inf + 4777
1554301811.547 * * [misc]simplify:  Extracting #12: cost 0 inf + 5669
1554301811.548 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554301811.548 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (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))))))
1554301811.548 * * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.549 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554301811.549 * * [misc]simplify:  iters left: 6 (8 enodes)
1554301811.552 * * [misc]simplify:  iters left: 5 (30 enodes)
1554301811.562 * * [misc]simplify:  iters left: 4 (43 enodes)
1554301811.575 * * [misc]simplify:  iters left: 3 (47 enodes)
1554301811.588 * * [misc]simplify:  iters left: 2 (49 enodes)
1554301811.600 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #5: cost 12 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #6: cost 17 inf + 0
1554301811.600 * * [misc]simplify:  Extracting #7: cost 18 inf + 2
1554301811.601 * * [misc]simplify:  Extracting #8: cost 17 inf + 377
1554301811.601 * * [misc]simplify:  Extracting #9: cost 10 inf + 1400
1554301811.601 * * [misc]simplify:  Extracting #10: cost 0 inf + 3785
1554301811.602 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554301811.602 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (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))))))
1554301811.602 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
1554301811.602 * [enter]simplify:  Simplifying (log 1)
1554301811.602 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301811.603 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.603 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301811.603 * [exit]simplify:  Simplified to 0
1554301811.603 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))))
1554301811.603 * * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
1554301811.603 * * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.604 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1554301811.604 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301811.605 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301811.609 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301811.614 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.620 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301811.627 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.627 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.627 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301811.627 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301811.627 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301811.627 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301811.627 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301811.627 * * [misc]simplify:  Extracting #7: cost 6 inf + 1410
1554301811.628 * * [misc]simplify:  Extracting #8: cost 1 inf + 2180
1554301811.628 * * [misc]simplify:  Extracting #9: cost 0 inf + 2401
1554301811.628 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1554301811.628 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (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))))))
1554301811.628 * * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.628 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1554301811.629 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301811.631 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301811.639 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301811.651 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.664 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301811.678 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.678 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.678 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301811.678 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301811.678 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301811.678 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301811.678 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301811.678 * * [misc]simplify:  Extracting #7: cost 6 inf + 1490
1554301811.679 * * [misc]simplify:  Extracting #8: cost 1 inf + 2260
1554301811.679 * * [misc]simplify:  Extracting #9: cost 0 inf + 2481
1554301811.680 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1554301811.680 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (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))))))
1554301811.680 * * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.681 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301811.681 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301811.683 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301811.688 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301811.693 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.700 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301811.707 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.707 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.707 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301811.707 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301811.707 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301811.707 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301811.707 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301811.707 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554301811.708 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554301811.708 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554301811.708 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301811.708 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (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))))))
1554301811.708 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))))>
1554301811.709 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554301811.709 * * [misc]simplify:  iters left: 4 (5 enodes)
1554301811.710 * * [misc]simplify:  iters left: 3 (21 enodes)
1554301811.714 * * [misc]simplify:  iters left: 2 (34 enodes)
1554301811.720 * * [misc]simplify:  iters left: 1 (38 enodes)
1554301811.731 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.731 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.731 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.731 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.732 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301811.732 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554301811.732 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554301811.733 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554301811.733 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301811.733 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))))
1554301811.733 * * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.734 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301811.734 * * [misc]simplify:  iters left: 5 (6 enodes)
1554301811.736 * * [misc]simplify:  iters left: 4 (24 enodes)
1554301811.742 * * [misc]simplify:  iters left: 3 (37 enodes)
1554301811.748 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.754 * * [misc]simplify:  iters left: 1 (43 enodes)
1554301811.760 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.760 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.760 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301811.760 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301811.760 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554301811.760 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554301811.760 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554301811.761 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554301811.761 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554301811.761 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554301811.761 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554301811.761 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (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))))))
1554301811.762 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))))>
1554301811.762 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554301811.762 * * [misc]simplify:  iters left: 4 (5 enodes)
1554301811.763 * * [misc]simplify:  iters left: 3 (21 enodes)
1554301811.766 * * [misc]simplify:  iters left: 2 (34 enodes)
1554301811.774 * * [misc]simplify:  iters left: 1 (38 enodes)
1554301811.785 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.785 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.786 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.786 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.786 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301811.786 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554301811.786 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554301811.786 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554301811.786 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301811.786 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))))
1554301811.786 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))))>
1554301811.787 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))>
1554301811.787 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1554301811.787 * * [misc]simplify:  iters left: 3 (4 enodes)
1554301811.788 * * [misc]simplify:  iters left: 2 (18 enodes)
1554301811.791 * * [misc]simplify:  iters left: 1 (31 enodes)
1554301811.795 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.795 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.795 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.795 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.795 * * [misc]simplify:  Extracting #4: cost 7 inf + 599
1554301811.796 * * [misc]simplify:  Extracting #5: cost 5 inf + 712
1554301811.796 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.796 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.796 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))
1554301811.796 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.796 * * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.796 * * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.796 * * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.796 * * * * [misc]progress:  [ 39 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))>
1554301811.796 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
1554301811.796 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1554301811.796 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (log1p (expm1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
1554301811.796 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (expm1 (log1p (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
1554301811.796 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1554301811.796 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))))>
1554301811.797 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
1554301811.797 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
1554301811.797 * * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (* (* (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))))))))>
1554301811.797 * * * * [misc]progress:  [ 49 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (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))))))))>
1554301811.797 * * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (* (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))))))))>
1554301811.797 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1554301811.797 * * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
1554301811.797 * * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
1554301811.797 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301811.797 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301811.798 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301811.802 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.802 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.802 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.802 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.802 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301811.802 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301811.802 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.802 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.802 * [misc]simplify:  Simplified (2 1 1 1 1 2 1 1 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1554301811.802 * * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
1554301811.803 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301811.803 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301811.804 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301811.807 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.807 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.807 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.807 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.808 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301811.808 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301811.808 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.808 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.808 * [misc]simplify:  Simplified (2 1 1 1 1 2 1 1 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1554301811.808 * * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
1554301811.808 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301811.808 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301811.810 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301811.814 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.814 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.814 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.814 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.814 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301811.815 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301811.815 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.816 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.816 * [misc]simplify:  Simplified (2 1 1 1 1 2 1 1 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1554301811.816 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.816 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301811.816 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301811.819 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301811.826 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.826 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.826 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.826 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.826 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301811.826 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301811.827 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.827 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.827 * [misc]simplify:  Simplified (2 1 1 1 1 1 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1554301811.828 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.828 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301811.828 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301811.831 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301811.838 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.838 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.838 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.838 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.838 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301811.839 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301811.839 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.840 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.840 * [misc]simplify:  Simplified (2 1 1 1 1 1 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1554301811.840 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554301811.840 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554301811.840 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301811.843 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301811.851 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.851 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301811.851 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301811.851 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554301811.851 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554301811.852 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554301811.852 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554301811.852 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554301811.853 * [misc]simplify:  Simplified (2 1 1 1 1 1 1) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1554301811.853 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))))>
1554301811.853 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554301811.854 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301811.857 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301811.866 * * [misc]simplify:  iters left: 1 (35 enodes)
1554301811.877 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.877 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.877 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.877 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.877 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301811.878 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554301811.878 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554301811.878 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554301811.879 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554301811.879 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301811.879 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))
1554301811.879 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))))>
1554301811.880 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554301811.880 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301811.883 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301811.887 * * [misc]simplify:  iters left: 1 (35 enodes)
1554301811.893 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.893 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.893 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.893 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.893 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301811.893 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554301811.893 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554301811.893 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554301811.894 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554301811.894 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301811.894 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))
1554301811.894 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))))>
1554301811.894 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554301811.894 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301811.896 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301811.901 * * [misc]simplify:  iters left: 1 (35 enodes)
1554301811.906 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.906 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.906 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.906 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.906 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554301811.907 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554301811.907 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554301811.907 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554301811.907 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554301811.907 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554301811.907 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))
1554301811.908 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
1554301811.908 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301811.908 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301811.910 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301811.915 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.921 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301811.928 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.928 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.928 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.928 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.928 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301811.928 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301811.928 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301811.928 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301811.929 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301811.929 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301811.929 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301811.929 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
1554301811.929 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
1554301811.930 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301811.930 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301811.932 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301811.937 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.943 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301811.950 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.950 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.950 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.950 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.950 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301811.950 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301811.950 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301811.950 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301811.951 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301811.951 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301811.951 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301811.951 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
1554301811.951 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
1554301811.952 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554301811.952 * * [misc]simplify:  iters left: 4 (8 enodes)
1554301811.954 * * [misc]simplify:  iters left: 3 (30 enodes)
1554301811.960 * * [misc]simplify:  iters left: 2 (41 enodes)
1554301811.971 * * [misc]simplify:  iters left: 1 (45 enodes)
1554301811.977 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.977 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301811.977 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301811.977 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301811.977 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554301811.978 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554301811.978 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554301811.978 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554301811.978 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554301811.979 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554301811.979 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554301811.979 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
1554301811.979 * * * [misc]progress:  adding candidates to table
1554301812.869 * [misc]progress:  [Phase 3 of 3] Extracting.
1554301812.870 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a) (exp (log (* (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))))))))> #<alt (λ (a) (exp (log (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> #<alt (λ (a) (exp (log (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))))))> #<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 (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (* (* (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))))))))> #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>)
1554301812.875 * * * [misc]regime-changes:  Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554301812.875 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a) (exp (log (* (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))))))))> #<alt (λ (a) (exp (log (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> #<alt (λ (a) (exp (log (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))))))> #<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 (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (* (* (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))))))))> #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>)
1554301812.967 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (exp (log (* (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))))))))> #<alt (λ (a) (exp (log (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> #<alt (λ (a) (exp (log (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))))))> #<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 (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (* (* (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))))))))> #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>)
1554301813.072 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1554301813.130 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (exp (log (* (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))))))))> #<alt (λ (a) (exp (log (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> #<alt (λ (a) (exp (log (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))))))> #<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 (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (* (* (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))))))))> #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>)
1554301813.280 * * * [misc]regime:  Found split indices: #<option (#s(si 0 255))>
1554301813.281 * [enter]simplify:  Simplifying (exp (log (* (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)))))))
1554301813.281 * * [misc]simplify:  iters left: 6 (15 enodes)
1554301813.282 * * [misc]simplify:  iters left: 5 (16 enodes)
1554301813.283 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301813.283 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554301813.283 * * [misc]simplify:  Extracting #2: cost 3 inf + 0
1554301813.284 * * [misc]simplify:  Extracting #3: cost 4 inf + 0
1554301813.284 * * [misc]simplify:  Extracting #4: cost 5 inf + 0
1554301813.284 * * [misc]simplify:  Extracting #5: cost 6 inf + 0
1554301813.284 * * [misc]simplify:  Extracting #6: cost 8 inf + 0
1554301813.284 * * [misc]simplify:  Extracting #7: cost 11 inf + 0
1554301813.284 * * [misc]simplify:  Extracting #8: cost 12 inf + 1
1554301813.284 * * [misc]simplify:  Extracting #9: cost 13 inf + 92
1554301813.284 * * [misc]simplify:  Extracting #10: cost 10 inf + 355
1554301813.284 * * [misc]simplify:  Extracting #11: cost 8 inf + 837
1554301813.285 * * [misc]simplify:  Extracting #12: cost 5 inf + 2255
1554301813.285 * * [misc]simplify:  Extracting #13: cost 3 inf + 3847
1554301813.286 * * [misc]simplify:  Extracting #14: cost 1 inf + 5629
1554301813.287 * * [misc]simplify:  Extracting #15: cost 0 inf + 6625
1554301813.288 * [exit]simplify:  Simplified to (exp (log (* (sqrt (acos (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))))
1554301847.369 * [misc]regime-testing:  Baseline error score: 59.08077213537805
1554301847.371 * [misc]regime-testing:  Oracle error score: 58.9783387808663
1554301847.373 * [misc]regime-testing:  End program error score: 59.08077213537805