1554297412.108 * [misc]progress:  [Phase 1 of 3] Setting up.
1554297412.109 * * * [misc]progress:  [1/2] Preparing points
1554297413.652 * * * [misc]progress:  [2/2] Setting up program.
1554297413.657 * [misc]progress:  [Phase 2 of 3] Improving.
1554297413.657 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1554297413.659 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297413.660 * * [misc]simplify:  iters left: 5 (7 enodes)
1554297413.668 * * [misc]simplify:  iters left: 4 (27 enodes)
1554297413.678 * * [misc]simplify:  iters left: 3 (40 enodes)
1554297413.689 * * [misc]simplify:  iters left: 2 (44 enodes)
1554297413.702 * * [misc]simplify:  iters left: 1 (46 enodes)
1554297413.715 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.716 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.716 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.716 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297413.716 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297413.717 * * [misc]simplify:  Extracting #5: cost 9 inf + 919
1554297413.717 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297413.718 * * [misc]simplify:  Extracting #7: cost 3 inf + 3160
1554297413.718 * * [misc]simplify:  Extracting #8: cost 0 inf + 3643
1554297413.719 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297413.719 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.728 * * [misc]progress:  iteration 1 / 4
1554297413.728 * * * [misc]progress:  picking best candidate
1554297413.756 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1554297413.756 * * * [misc]progress:  localizing error
1554297413.783 * * * [misc]progress:  generating rewritten candidates
1554297413.783 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1554297413.785 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1554297413.788 * * * [misc]progress:  generating series expansions
1554297413.788 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1554297413.792 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554297413.792 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297413.792 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297413.794 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297413.794 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297413.794 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297413.794 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297413.794 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.794 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.794 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.794 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.794 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.794 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.794 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297413.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297413.795 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297413.795 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297413.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297413.795 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297413.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297413.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297413.795 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.795 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.795 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.795 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.795 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.795 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297413.796 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297413.796 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297413.796 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297413.796 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297413.796 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297413.796 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297413.796 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297413.796 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.796 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.796 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.796 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.796 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.796 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.796 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297413.797 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1554297413.797 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297413.797 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554297413.797 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297413.797 * [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)))
1554297413.797 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297413.797 * [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)))
1554297413.797 * [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)))
1554297413.797 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.797 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.797 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.797 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.797 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.797 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.797 * [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)))
1554297413.797 * [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))))
1554297413.797 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554297413.797 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297413.797 * [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))))
1554297413.798 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297413.798 * [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))))
1554297413.798 * [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))))
1554297413.798 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.798 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.798 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.798 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.798 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.798 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.798 * [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)))
1554297413.798 * [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))))
1554297413.798 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554297413.798 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297413.798 * [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))))
1554297413.798 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297413.799 * [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))))
1554297413.799 * [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))))
1554297413.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.799 * [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)))
1554297413.799 * * * [misc]progress:  simplifying candidates
1554297413.799 * * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 4 / 23 ] 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))))>
1554297413.799 * * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
1554297413.799 * * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1554297413.800 * * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1554297413.800 * * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554297413.800 * * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554297413.800 * * * * [misc]progress:  [ 13 / 23 ] 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))))))>
1554297413.800 * * * * [misc]progress:  [ 14 / 23 ] 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))))))>
1554297413.800 * * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554297413.800 * * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1554297413.800 * * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1554297413.800 * * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297413.800 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297413.800 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.802 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.805 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.805 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.805 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297413.805 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297413.805 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297413.805 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297413.806 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297413.806 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297413.806 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.806 * * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297413.806 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297413.806 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.807 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.811 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.811 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297413.811 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297413.811 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297413.811 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297413.811 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297413.811 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297413.811 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.811 * * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297413.812 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297413.812 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.813 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.816 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.816 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.816 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297413.816 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297413.816 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297413.817 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297413.817 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297413.817 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297413.817 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.817 * * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297413.817 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297413.817 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297413.819 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297413.826 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297413.838 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297413.850 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.850 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.850 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.850 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297413.850 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297413.850 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297413.850 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297413.850 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297413.851 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297413.851 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297413.851 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297413.851 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.852 * * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297413.852 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297413.852 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297413.854 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297413.867 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297413.873 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297413.879 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.879 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.879 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.879 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297413.879 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297413.879 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297413.880 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297413.880 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297413.880 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297413.880 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297413.881 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297413.881 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.881 * * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297413.881 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297413.881 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297413.883 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297413.890 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297413.902 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297413.915 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.915 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.915 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.915 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297413.915 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297413.915 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297413.915 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297413.916 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297413.916 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297413.917 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297413.918 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297413.918 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297413.918 * * * [misc]progress:  adding candidates to table
1554297414.166 * * [misc]progress:  iteration 2 / 4
1554297414.166 * * * [misc]progress:  picking best candidate
1554297414.197 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1554297414.197 * * * [misc]progress:  localizing error
1554297414.211 * * * [misc]progress:  generating rewritten candidates
1554297414.211 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1554297414.212 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1554297414.214 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1554297414.215 * * * [misc]progress:  generating series expansions
1554297414.215 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1554297414.215 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554297414.216 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297414.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.216 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297414.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.216 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297414.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.217 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297414.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297414.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297414.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297414.217 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1554297414.218 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1554297414.218 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297414.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297414.218 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.218 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297414.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.218 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297414.219 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.219 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297414.219 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297414.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.219 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297414.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.219 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297414.220 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1554297414.220 * [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)))
1554297414.220 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554297414.220 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297414.220 * [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)))
1554297414.220 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297414.220 * [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)))
1554297414.220 * [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)))
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.220 * [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)))
1554297414.221 * [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))))
1554297414.221 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554297414.221 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297414.221 * [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))))
1554297414.221 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297414.221 * [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))))
1554297414.221 * [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))))
1554297414.221 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.221 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.221 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.221 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.221 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.221 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.221 * [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)))
1554297414.221 * [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))))
1554297414.221 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554297414.222 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297414.222 * [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))))
1554297414.222 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297414.222 * [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))))
1554297414.222 * [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))))
1554297414.222 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.222 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.222 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.222 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.222 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.222 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.222 * [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)))
1554297414.222 * * * [misc]progress:  simplifying candidates
1554297414.222 * * * * [misc]progress:  [ 1 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1554297414.222 * * * * [misc]progress:  [ 2 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.222 * * * * [misc]progress:  [ 3 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.223 * * * * [misc]progress:  [ 4 / 42 ] 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))))>
1554297414.223 * * * * [misc]progress:  [ 5 / 42 ] 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))))>
1554297414.223 * * * * [misc]progress:  [ 6 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.223 * * * * [misc]progress:  [ 7 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1554297414.223 * * * * [misc]progress:  [ 8 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.223 * * * * [misc]progress:  [ 9 / 42 ] 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))))>
1554297414.223 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1554297414.223 * * [misc]simplify:  iters left: 6 (8 enodes)
1554297414.225 * * [misc]simplify:  iters left: 5 (32 enodes)
1554297414.230 * * [misc]simplify:  iters left: 4 (47 enodes)
1554297414.236 * * [misc]simplify:  iters left: 3 (51 enodes)
1554297414.250 * * [misc]simplify:  iters left: 2 (53 enodes)
1554297414.265 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #4: cost 11 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #5: cost 14 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #6: cost 19 inf + 0
1554297414.265 * * [misc]simplify:  Extracting #7: cost 20 inf + 2
1554297414.265 * * [misc]simplify:  Extracting #8: cost 18 inf + 543
1554297414.266 * * [misc]simplify:  Extracting #9: cost 12 inf + 1580
1554297414.267 * * [misc]simplify:  Extracting #10: cost 1 inf + 4471
1554297414.268 * * [misc]simplify:  Extracting #11: cost 0 inf + 4857
1554297414.269 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1554297414.269 * [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))))
1554297414.269 * * * * [misc]progress:  [ 10 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.269 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1554297414.270 * * [misc]simplify:  iters left: 6 (7 enodes)
1554297414.272 * * [misc]simplify:  iters left: 5 (27 enodes)
1554297414.280 * * [misc]simplify:  iters left: 4 (40 enodes)
1554297414.291 * * [misc]simplify:  iters left: 3 (44 enodes)
1554297414.308 * * [misc]simplify:  iters left: 2 (46 enodes)
1554297414.321 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.321 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297414.321 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297414.321 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554297414.321 * * [misc]simplify:  Extracting #4: cost 10 inf + 0
1554297414.322 * * [misc]simplify:  Extracting #5: cost 15 inf + 0
1554297414.322 * * [misc]simplify:  Extracting #6: cost 16 inf + 2
1554297414.322 * * [misc]simplify:  Extracting #7: cost 14 inf + 433
1554297414.322 * * [misc]simplify:  Extracting #8: cost 7 inf + 1446
1554297414.323 * * [misc]simplify:  Extracting #9: cost 0 inf + 3133
1554297414.323 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1554297414.324 * [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))))
1554297414.324 * * * * [misc]progress:  [ 11 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1554297414.324 * [enter]simplify:  Simplifying (log 1)
1554297414.324 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297414.327 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.327 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297414.327 * [exit]simplify:  Simplified to 0
1554297414.327 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1554297414.327 * * * * [misc]progress:  [ 12 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1554297414.327 * * * * [misc]progress:  [ 13 / 42 ] 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))))>
1554297414.328 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1554297414.328 * * [misc]simplify:  iters left: 4 (5 enodes)
1554297414.330 * * [misc]simplify:  iters left: 3 (21 enodes)
1554297414.337 * * [misc]simplify:  iters left: 2 (34 enodes)
1554297414.346 * * [misc]simplify:  iters left: 1 (38 enodes)
1554297414.356 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.356 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297414.357 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297414.357 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297414.357 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297414.357 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554297414.357 * * [misc]simplify:  Extracting #6: cost 5 inf + 1069
1554297414.358 * * [misc]simplify:  Extracting #7: cost 0 inf + 1909
1554297414.358 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1554297414.358 * [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))))
1554297414.358 * * * * [misc]progress:  [ 14 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.359 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554297414.359 * * [misc]simplify:  iters left: 4 (5 enodes)
1554297414.361 * * [misc]simplify:  iters left: 3 (21 enodes)
1554297414.367 * * [misc]simplify:  iters left: 2 (34 enodes)
1554297414.377 * * [misc]simplify:  iters left: 1 (38 enodes)
1554297414.388 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.388 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297414.388 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297414.388 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297414.388 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297414.389 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554297414.389 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554297414.389 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554297414.390 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297414.390 * [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))))
1554297414.390 * * * * [misc]progress:  [ 15 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1554297414.390 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1554297414.390 * * [misc]simplify:  iters left: 3 (4 enodes)
1554297414.392 * * [misc]simplify:  iters left: 2 (18 enodes)
1554297414.398 * * [misc]simplify:  iters left: 1 (31 enodes)
1554297414.408 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.408 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.408 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.408 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.408 * * [misc]simplify:  Extracting #4: cost 7 inf + 599
1554297414.409 * * [misc]simplify:  Extracting #5: cost 5 inf + 712
1554297414.409 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.409 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.410 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1554297414.410 * * * * [misc]progress:  [ 16 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1554297414.410 * * * * [misc]progress:  [ 17 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1554297414.410 * [enter]simplify:  Simplifying (cosh a)
1554297414.410 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297414.411 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.411 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554297414.411 * * [misc]simplify:  Extracting #2: cost 5 inf + 2
1554297414.411 * * [misc]simplify:  Extracting #3: cost 3 inf + 185
1554297414.411 * * [misc]simplify:  Extracting #4: cost 0 inf + 558
1554297414.411 * [exit]simplify:  Simplified to (cosh a)
1554297414.411 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.412 * * * * [misc]progress:  [ 18 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.412 * * * * [misc]progress:  [ 19 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.412 * * * * [misc]progress:  [ 20 / 42 ] 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))))>
1554297414.412 * * * * [misc]progress:  [ 21 / 42 ] 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))))>
1554297414.412 * * * * [misc]progress:  [ 22 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.412 * * * * [misc]progress:  [ 23 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1554297414.412 * * * * [misc]progress:  [ 24 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297414.412 * * * * [misc]progress:  [ 25 / 42 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1554297414.412 * * * * [misc]progress:  [ 26 / 42 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1554297414.412 * * * * [misc]progress:  [ 27 / 42 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554297414.412 * * * * [misc]progress:  [ 28 / 42 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554297414.412 * * * * [misc]progress:  [ 29 / 42 ] 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))))))>
1554297414.412 * * * * [misc]progress:  [ 30 / 42 ] 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))))))>
1554297414.412 * * * * [misc]progress:  [ 31 / 42 ] 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))))))>
1554297414.412 * * * * [misc]progress:  [ 32 / 42 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1554297414.412 * * * * [misc]progress:  [ 33 / 42 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1554297414.412 * * * * [misc]progress:  [ 34 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554297414.413 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297414.413 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.415 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.422 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.422 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.422 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.422 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.422 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297414.423 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297414.423 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.424 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.424 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1554297414.424 * * * * [misc]progress:  [ 35 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554297414.424 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297414.424 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.427 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.433 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.434 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.434 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.434 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.434 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297414.434 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297414.435 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.435 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.435 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1554297414.435 * * * * [misc]progress:  [ 36 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554297414.435 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297414.435 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.438 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.445 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.445 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.445 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.445 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.445 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297414.446 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297414.446 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.446 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.446 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1554297414.447 * * * * [misc]progress:  [ 37 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297414.447 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297414.447 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.450 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.456 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.456 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.456 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.456 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.457 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297414.457 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297414.457 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.458 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.458 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.458 * * * * [misc]progress:  [ 38 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297414.458 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297414.458 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.463 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.469 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.470 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.470 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.470 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.470 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297414.470 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297414.470 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.471 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.471 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.471 * * * * [misc]progress:  [ 39 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297414.471 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297414.471 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.474 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.481 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.481 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.481 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297414.481 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297414.481 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297414.481 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297414.482 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297414.482 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297414.482 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.482 * * * * [misc]progress:  [ 40 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297414.483 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297414.483 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297414.486 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297414.495 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297414.507 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297414.520 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.520 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297414.520 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297414.520 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297414.520 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297414.520 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297414.521 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297414.521 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297414.522 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297414.522 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297414.523 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297414.523 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.523 * * * * [misc]progress:  [ 41 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297414.523 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297414.523 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297414.527 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297414.536 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297414.547 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297414.560 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.560 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297414.560 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297414.560 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297414.560 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297414.560 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297414.561 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297414.561 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297414.562 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297414.563 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297414.563 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297414.563 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.563 * * * * [misc]progress:  [ 42 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297414.564 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297414.564 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297414.568 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297414.572 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297414.578 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297414.584 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.584 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297414.584 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297414.585 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297414.585 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297414.585 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297414.585 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297414.585 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297414.585 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297414.586 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297414.586 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297414.586 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297414.586 * * * [misc]progress:  adding candidates to table
1554297415.036 * * [misc]progress:  iteration 3 / 4
1554297415.036 * * * [misc]progress:  picking best candidate
1554297415.078 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.078 * * * [misc]progress:  localizing error
1554297415.100 * * * [misc]progress:  generating rewritten candidates
1554297415.100 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1554297415.100 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1554297415.101 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1554297415.103 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1554297415.105 * * * [misc]progress:  generating series expansions
1554297415.105 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1554297415.105 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554297415.105 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297415.105 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297415.105 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.105 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297415.105 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.105 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.105 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.105 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.105 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.105 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.105 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.105 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.105 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.106 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297415.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.106 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.106 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.106 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.106 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.106 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.106 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.106 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297415.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297415.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297415.107 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554297415.107 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297415.107 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.107 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.107 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.107 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297415.107 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297415.108 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.108 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.109 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.109 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.109 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.109 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.109 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.109 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297415.109 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1554297415.109 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.109 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1554297415.109 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554297415.109 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297415.109 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.109 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.109 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.109 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554297415.109 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297415.109 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297415.109 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.110 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.110 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.110 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.112 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.112 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.112 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.112 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.113 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.113 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.113 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.113 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.114 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297415.114 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.114 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.114 * [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))))
1554297415.114 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554297415.114 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554297415.114 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297415.114 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.114 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554297415.114 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.114 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554297415.114 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297415.114 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297415.114 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554297415.114 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.115 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554297415.115 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.115 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.115 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.115 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.115 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.116 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.116 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.116 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.116 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.117 * [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
1554297415.117 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.117 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.118 * [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))))
1554297415.118 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554297415.118 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554297415.118 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297415.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.118 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554297415.118 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.118 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554297415.118 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297415.119 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297415.119 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554297415.119 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.119 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554297415.119 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.120 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.120 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.121 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.121 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.122 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.122 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.122 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297415.122 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.123 * [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
1554297415.123 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.124 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297415.124 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1554297415.124 * [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)))
1554297415.124 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554297415.124 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297415.125 * [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)))
1554297415.125 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297415.125 * [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)))
1554297415.125 * [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)))
1554297415.125 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.125 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.125 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.125 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.125 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.125 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.125 * [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)))
1554297415.126 * [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))))
1554297415.126 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554297415.126 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297415.126 * [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))))
1554297415.126 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297415.126 * [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))))
1554297415.127 * [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))))
1554297415.127 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.127 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.127 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.127 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.127 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.127 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.127 * [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)))
1554297415.128 * [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))))
1554297415.128 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554297415.128 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297415.128 * [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))))
1554297415.128 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297415.128 * [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))))
1554297415.129 * [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))))
1554297415.129 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.129 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.129 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.129 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.129 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.129 * [misc]backup-simplify:  Simplify 0 into 0
1554297415.129 * [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)))
1554297415.129 * * * [misc]progress:  simplifying candidates
1554297415.129 * * * * [misc]progress:  [ 1 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1554297415.129 * * * * [misc]progress:  [ 2 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554297415.129 * * * * [misc]progress:  [ 3 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554297415.130 * * * * [misc]progress:  [ 4 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 5 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 6 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 7 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1554297415.130 * * * * [misc]progress:  [ 8 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 9 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.130 * * * * [misc]progress:  [ 10 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.130 * * * * [misc]progress:  [ 11 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.130 * * * * [misc]progress:  [ 12 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 13 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 14 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 15 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.130 * * * * [misc]progress:  [ 16 / 56 ] 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))))>
1554297415.130 * * * * [misc]progress:  [ 17 / 56 ] 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))))>
1554297415.131 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554297415.131 * * [misc]simplify:  iters left: 6 (9 enodes)
1554297415.135 * * [misc]simplify:  iters left: 5 (35 enodes)
1554297415.146 * * [misc]simplify:  iters left: 4 (50 enodes)
1554297415.161 * * [misc]simplify:  iters left: 3 (54 enodes)
1554297415.176 * * [misc]simplify:  iters left: 2 (56 enodes)
1554297415.192 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #4: cost 11 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #5: cost 13 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #6: cost 16 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #7: cost 21 inf + 0
1554297415.192 * * [misc]simplify:  Extracting #8: cost 22 inf + 2
1554297415.193 * * [misc]simplify:  Extracting #9: cost 22 inf + 211
1554297415.193 * * [misc]simplify:  Extracting #10: cost 11 inf + 1858
1554297415.194 * * [misc]simplify:  Extracting #11: cost 2 inf + 4777
1554297415.195 * * [misc]simplify:  Extracting #12: cost 0 inf + 5669
1554297415.196 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554297415.197 * [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))))
1554297415.197 * * * * [misc]progress:  [ 18 / 56 ] 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))))>
1554297415.197 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554297415.197 * * [misc]simplify:  iters left: 6 (8 enodes)
1554297415.200 * * [misc]simplify:  iters left: 5 (30 enodes)
1554297415.210 * * [misc]simplify:  iters left: 4 (43 enodes)
1554297415.217 * * [misc]simplify:  iters left: 3 (47 enodes)
1554297415.227 * * [misc]simplify:  iters left: 2 (49 enodes)
1554297415.234 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #5: cost 12 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #6: cost 17 inf + 0
1554297415.234 * * [misc]simplify:  Extracting #7: cost 18 inf + 2
1554297415.234 * * [misc]simplify:  Extracting #8: cost 17 inf + 377
1554297415.234 * * [misc]simplify:  Extracting #9: cost 10 inf + 1400
1554297415.235 * * [misc]simplify:  Extracting #10: cost 0 inf + 3785
1554297415.235 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554297415.235 * [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))))
1554297415.235 * * * * [misc]progress:  [ 19 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1554297415.235 * [enter]simplify:  Simplifying (log 1)
1554297415.235 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297415.237 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.237 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297415.237 * [exit]simplify:  Simplified to 0
1554297415.237 * [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))))
1554297415.237 * * * * [misc]progress:  [ 20 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1554297415.237 * * * * [misc]progress:  [ 21 / 56 ] 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))))>
1554297415.237 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1554297415.237 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297415.238 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297415.243 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297415.253 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.265 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297415.278 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.278 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.279 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297415.279 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297415.279 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297415.279 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297415.279 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297415.279 * * [misc]simplify:  Extracting #7: cost 6 inf + 1410
1554297415.280 * * [misc]simplify:  Extracting #8: cost 1 inf + 2180
1554297415.280 * * [misc]simplify:  Extracting #9: cost 0 inf + 2401
1554297415.281 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1554297415.281 * [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))))
1554297415.281 * * * * [misc]progress:  [ 22 / 56 ] 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))))>
1554297415.282 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1554297415.282 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297415.284 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297415.291 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297415.297 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.302 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297415.309 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.309 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.309 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297415.309 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297415.309 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297415.309 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297415.309 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297415.309 * * [misc]simplify:  Extracting #7: cost 6 inf + 1490
1554297415.309 * * [misc]simplify:  Extracting #8: cost 1 inf + 2260
1554297415.310 * * [misc]simplify:  Extracting #9: cost 0 inf + 2481
1554297415.310 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1554297415.310 * [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))))
1554297415.310 * * * * [misc]progress:  [ 23 / 56 ] 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))))>
1554297415.310 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297415.310 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297415.312 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297415.315 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297415.321 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.327 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297415.334 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.334 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.334 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297415.334 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297415.335 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297415.335 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297415.335 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297415.335 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554297415.335 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554297415.335 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554297415.336 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297415.336 * [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))))
1554297415.336 * * * * [misc]progress:  [ 24 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1554297415.336 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554297415.336 * * [misc]simplify:  iters left: 4 (5 enodes)
1554297415.337 * * [misc]simplify:  iters left: 3 (21 enodes)
1554297415.341 * * [misc]simplify:  iters left: 2 (34 enodes)
1554297415.346 * * [misc]simplify:  iters left: 1 (38 enodes)
1554297415.352 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.352 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.352 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.352 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.352 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297415.352 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554297415.352 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554297415.353 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554297415.353 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297415.353 * [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))))
1554297415.353 * * * * [misc]progress:  [ 25 / 56 ] 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))))>
1554297415.353 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297415.353 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297415.354 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297415.358 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297415.366 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.378 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297415.391 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.391 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.391 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297415.391 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297415.391 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297415.391 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297415.391 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297415.392 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554297415.392 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554297415.393 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554297415.394 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297415.394 * [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))))
1554297415.394 * * * * [misc]progress:  [ 26 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1554297415.394 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554297415.394 * * [misc]simplify:  iters left: 4 (5 enodes)
1554297415.396 * * [misc]simplify:  iters left: 3 (21 enodes)
1554297415.404 * * [misc]simplify:  iters left: 2 (34 enodes)
1554297415.414 * * [misc]simplify:  iters left: 1 (38 enodes)
1554297415.425 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.425 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.425 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.425 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.425 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297415.425 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554297415.426 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554297415.426 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554297415.427 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297415.427 * [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))))
1554297415.427 * * * * [misc]progress:  [ 27 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1554297415.427 * * * * [misc]progress:  [ 28 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1554297415.427 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1554297415.427 * * [misc]simplify:  iters left: 3 (4 enodes)
1554297415.429 * * [misc]simplify:  iters left: 2 (18 enodes)
1554297415.436 * * [misc]simplify:  iters left: 1 (31 enodes)
1554297415.445 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.445 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.445 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.445 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.445 * * [misc]simplify:  Extracting #4: cost 7 inf + 599
1554297415.446 * * [misc]simplify:  Extracting #5: cost 5 inf + 712
1554297415.446 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.446 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.446 * [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))))
1554297415.446 * * * * [misc]progress:  [ 29 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554297415.447 * * * * [misc]progress:  [ 30 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1554297415.447 * * * * [misc]progress:  [ 31 / 56 ] 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))))>
1554297415.447 * * * * [misc]progress:  [ 32 / 56 ] 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))))>
1554297415.447 * * * * [misc]progress:  [ 33 / 56 ] 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))))>
1554297415.447 * * * * [misc]progress:  [ 34 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1554297415.447 * * * * [misc]progress:  [ 35 / 56 ] 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))))>
1554297415.447 * * * * [misc]progress:  [ 36 / 56 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1554297415.447 * * * * [misc]progress:  [ 37 / 56 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1554297415.447 * * * * [misc]progress:  [ 38 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554297415.447 * * * * [misc]progress:  [ 39 / 56 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1554297415.447 * * * * [misc]progress:  [ 40 / 56 ] 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))))))>
1554297415.447 * * * * [misc]progress:  [ 41 / 56 ] 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))))))>
1554297415.447 * * * * [misc]progress:  [ 42 / 56 ] 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))))))>
1554297415.447 * * * * [misc]progress:  [ 43 / 56 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1554297415.447 * * * * [misc]progress:  [ 44 / 56 ] 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))))))>
1554297415.448 * * * * [misc]progress:  [ 45 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1554297415.448 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297415.448 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297415.450 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297415.457 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.457 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.457 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.457 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.457 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297415.457 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297415.458 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.458 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.458 * [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))))
1554297415.458 * * * * [misc]progress:  [ 46 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1554297415.460 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297415.460 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297415.463 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297415.469 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.469 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.469 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.469 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.469 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297415.469 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297415.470 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.470 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.470 * [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))))
1554297415.470 * * * * [misc]progress:  [ 47 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1554297415.470 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297415.470 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297415.471 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297415.474 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.474 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.474 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.474 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.475 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297415.475 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297415.475 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.475 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.475 * [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))))
1554297415.475 * * * * [misc]progress:  [ 48 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.475 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297415.475 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297415.477 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297415.480 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.480 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.480 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.480 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.480 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297415.480 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297415.481 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.481 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.481 * [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))))
1554297415.481 * * * * [misc]progress:  [ 49 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.481 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297415.481 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297415.482 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297415.486 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.486 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.486 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.486 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.486 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297415.486 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297415.486 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.486 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.486 * [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))))
1554297415.486 * * * * [misc]progress:  [ 50 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1554297415.487 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297415.487 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297415.488 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297415.491 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.491 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297415.491 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297415.491 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297415.491 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297415.491 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297415.492 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297415.492 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297415.492 * [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))))
1554297415.492 * * * * [misc]progress:  [ 51 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554297415.492 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554297415.492 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297415.494 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297415.498 * * [misc]simplify:  iters left: 1 (35 enodes)
1554297415.504 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.504 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.504 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.504 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.504 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297415.504 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554297415.505 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554297415.505 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554297415.505 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554297415.506 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297415.506 * [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))))
1554297415.506 * * * * [misc]progress:  [ 52 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554297415.506 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554297415.507 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297415.510 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297415.517 * * [misc]simplify:  iters left: 1 (35 enodes)
1554297415.527 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.527 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.527 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.527 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.527 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297415.527 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554297415.528 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554297415.528 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554297415.529 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554297415.529 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297415.529 * [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))))
1554297415.529 * * * * [misc]progress:  [ 53 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1554297415.530 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554297415.530 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297415.533 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297415.539 * * [misc]simplify:  iters left: 1 (35 enodes)
1554297415.550 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.550 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.550 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.550 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.550 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297415.550 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554297415.550 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554297415.551 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554297415.551 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554297415.552 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297415.552 * [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))))
1554297415.552 * * * * [misc]progress:  [ 54 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297415.552 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297415.552 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297415.554 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297415.558 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.564 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297415.571 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.571 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.571 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.571 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.571 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297415.571 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297415.571 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297415.572 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297415.572 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297415.572 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297415.573 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297415.573 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297415.573 * * * * [misc]progress:  [ 55 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297415.573 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297415.573 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297415.575 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297415.579 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.584 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297415.590 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.590 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.590 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.590 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.590 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297415.590 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297415.591 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297415.591 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297415.591 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297415.591 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297415.592 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297415.592 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297415.592 * * * * [misc]progress:  [ 56 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1554297415.592 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297415.592 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297415.594 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297415.599 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297415.604 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297415.610 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297415.610 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297415.610 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297415.610 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297415.610 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297415.610 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297415.610 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297415.611 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297415.611 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297415.611 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297415.612 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297415.612 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1554297415.612 * * * [misc]progress:  adding candidates to table
1554297416.232 * * [misc]progress:  iteration 4 / 4
1554297416.232 * * * [misc]progress:  picking best candidate
1554297416.308 * * * * [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))))))>
1554297416.308 * * * [misc]progress:  localizing error
1554297416.316 * * * [misc]progress:  generating rewritten candidates
1554297416.316 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1)
1554297416.316 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
1554297416.317 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1554297416.319 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1554297416.321 * * * [misc]progress:  generating series expansions
1554297416.321 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1 1 2 1 1 1)
1554297416.321 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554297416.321 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297416.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.322 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297416.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.322 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.323 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297416.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297416.323 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
1554297416.323 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1554297416.323 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1554297416.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.324 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297416.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.324 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1554297416.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.325 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1554297416.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297416.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297416.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.325 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1554297416.325 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1554297416.325 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.325 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1554297416.325 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554297416.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297416.326 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.326 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.326 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.326 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1554297416.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1554297416.326 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1554297416.326 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.326 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.326 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.326 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.327 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.327 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.327 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.327 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.328 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.328 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.328 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.328 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.329 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1554297416.329 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.329 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.329 * [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))))
1554297416.329 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554297416.329 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554297416.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297416.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.329 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554297416.329 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.329 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1554297416.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1554297416.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1554297416.329 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554297416.330 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.330 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1554297416.330 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.330 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.330 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.331 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.331 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.332 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.332 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.332 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.332 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.333 * [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
1554297416.333 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.333 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.333 * [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))))
1554297416.333 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1554297416.333 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554297416.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297416.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.333 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554297416.333 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.333 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1554297416.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1554297416.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1554297416.334 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554297416.334 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.334 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1554297416.334 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.334 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.334 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.335 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.335 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.335 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.335 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.336 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1554297416.336 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.336 * [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
1554297416.336 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.336 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1554297416.337 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1554297416.337 * [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)))
1554297416.337 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1554297416.337 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297416.337 * [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)))
1554297416.337 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1554297416.337 * [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)))
1554297416.338 * [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)))
1554297416.338 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.338 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.338 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.338 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.338 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.338 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.338 * [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)))
1554297416.339 * [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))))
1554297416.339 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1554297416.339 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297416.339 * [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))))
1554297416.339 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1554297416.339 * [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))))
1554297416.339 * [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))))
1554297416.339 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.339 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.339 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.340 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.340 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.340 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.340 * [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)))
1554297416.340 * [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))))
1554297416.340 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1554297416.340 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297416.341 * [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))))
1554297416.341 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1554297416.341 * [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))))
1554297416.341 * [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))))
1554297416.341 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.341 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.341 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.341 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.341 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.342 * [misc]backup-simplify:  Simplify 0 into 0
1554297416.342 * [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)))
1554297416.342 * * * [misc]progress:  simplifying candidates
1554297416.342 * * * * [misc]progress:  [ 1 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 2 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 3 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 4 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 5 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 6 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 7 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 8 / 56 ] 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))))))>
1554297416.342 * * * * [misc]progress:  [ 9 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 10 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 11 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 12 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 13 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 14 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 15 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 16 / 56 ] 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))))))>
1554297416.343 * * * * [misc]progress:  [ 17 / 56 ] 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))))))>
1554297416.343 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554297416.343 * * [misc]simplify:  iters left: 6 (9 enodes)
1554297416.347 * * [misc]simplify:  iters left: 5 (35 enodes)
1554297416.358 * * [misc]simplify:  iters left: 4 (50 enodes)
1554297416.372 * * [misc]simplify:  iters left: 3 (54 enodes)
1554297416.391 * * [misc]simplify:  iters left: 2 (56 enodes)
1554297416.403 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #4: cost 11 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #5: cost 13 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #6: cost 16 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #7: cost 21 inf + 0
1554297416.404 * * [misc]simplify:  Extracting #8: cost 22 inf + 2
1554297416.404 * * [misc]simplify:  Extracting #9: cost 22 inf + 211
1554297416.404 * * [misc]simplify:  Extracting #10: cost 11 inf + 1858
1554297416.405 * * [misc]simplify:  Extracting #11: cost 2 inf + 4777
1554297416.405 * * [misc]simplify:  Extracting #12: cost 0 inf + 5669
1554297416.406 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1554297416.406 * [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))))))
1554297416.406 * * * * [misc]progress:  [ 18 / 56 ] 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))))))>
1554297416.406 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554297416.406 * * [misc]simplify:  iters left: 6 (8 enodes)
1554297416.408 * * [misc]simplify:  iters left: 5 (30 enodes)
1554297416.412 * * [misc]simplify:  iters left: 4 (43 enodes)
1554297416.418 * * [misc]simplify:  iters left: 3 (47 enodes)
1554297416.425 * * [misc]simplify:  iters left: 2 (49 enodes)
1554297416.433 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #4: cost 9 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #5: cost 12 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #6: cost 17 inf + 0
1554297416.433 * * [misc]simplify:  Extracting #7: cost 18 inf + 2
1554297416.433 * * [misc]simplify:  Extracting #8: cost 17 inf + 377
1554297416.434 * * [misc]simplify:  Extracting #9: cost 10 inf + 1400
1554297416.434 * * [misc]simplify:  Extracting #10: cost 0 inf + 3785
1554297416.435 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1554297416.435 * [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))))))
1554297416.436 * * * * [misc]progress:  [ 19 / 56 ] 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))))))>
1554297416.436 * [enter]simplify:  Simplifying (log 1)
1554297416.436 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297416.438 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.438 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297416.438 * [exit]simplify:  Simplified to 0
1554297416.438 * [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))))))
1554297416.438 * * * * [misc]progress:  [ 20 / 56 ] 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))))))>
1554297416.438 * * * * [misc]progress:  [ 21 / 56 ] 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))))))>
1554297416.439 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1554297416.439 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297416.441 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297416.448 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297416.459 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.471 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297416.482 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.483 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.483 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297416.483 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297416.483 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297416.483 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297416.483 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297416.483 * * [misc]simplify:  Extracting #7: cost 6 inf + 1410
1554297416.484 * * [misc]simplify:  Extracting #8: cost 1 inf + 2180
1554297416.484 * * [misc]simplify:  Extracting #9: cost 0 inf + 2401
1554297416.485 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1554297416.485 * [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))))))
1554297416.485 * * * * [misc]progress:  [ 22 / 56 ] 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))))))>
1554297416.485 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1554297416.485 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297416.486 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297416.490 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297416.497 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.502 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297416.511 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.511 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.511 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297416.511 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297416.511 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297416.511 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297416.512 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297416.512 * * [misc]simplify:  Extracting #7: cost 6 inf + 1490
1554297416.512 * * [misc]simplify:  Extracting #8: cost 1 inf + 2260
1554297416.513 * * [misc]simplify:  Extracting #9: cost 0 inf + 2481
1554297416.514 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1554297416.514 * [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))))))
1554297416.514 * * * * [misc]progress:  [ 23 / 56 ] 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))))))>
1554297416.515 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297416.515 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297416.517 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297416.526 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297416.535 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.541 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297416.547 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.547 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.547 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297416.547 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297416.547 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297416.547 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297416.547 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297416.547 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554297416.547 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554297416.547 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554297416.548 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297416.548 * [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))))))
1554297416.548 * * * * [misc]progress:  [ 24 / 56 ] 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))))))>
1554297416.548 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554297416.548 * * [misc]simplify:  iters left: 4 (5 enodes)
1554297416.549 * * [misc]simplify:  iters left: 3 (21 enodes)
1554297416.552 * * [misc]simplify:  iters left: 2 (34 enodes)
1554297416.557 * * [misc]simplify:  iters left: 1 (38 enodes)
1554297416.564 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.564 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.564 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.564 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.564 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297416.565 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554297416.565 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554297416.565 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554297416.566 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297416.566 * [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))))))
1554297416.566 * * * * [misc]progress:  [ 25 / 56 ] 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))))))>
1554297416.566 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297416.566 * * [misc]simplify:  iters left: 5 (6 enodes)
1554297416.569 * * [misc]simplify:  iters left: 4 (24 enodes)
1554297416.573 * * [misc]simplify:  iters left: 3 (37 enodes)
1554297416.579 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.584 * * [misc]simplify:  iters left: 1 (43 enodes)
1554297416.590 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.590 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.590 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297416.590 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297416.590 * * [misc]simplify:  Extracting #4: cost 13 inf + 0
1554297416.590 * * [misc]simplify:  Extracting #5: cost 14 inf + 2
1554297416.590 * * [misc]simplify:  Extracting #6: cost 13 inf + 377
1554297416.590 * * [misc]simplify:  Extracting #7: cost 6 inf + 1370
1554297416.591 * * [misc]simplify:  Extracting #8: cost 1 inf + 2100
1554297416.592 * * [misc]simplify:  Extracting #9: cost 0 inf + 2321
1554297416.593 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1554297416.593 * [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))))))
1554297416.593 * * * * [misc]progress:  [ 26 / 56 ] 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))))))>
1554297416.593 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1554297416.593 * * [misc]simplify:  iters left: 4 (5 enodes)
1554297416.594 * * [misc]simplify:  iters left: 3 (21 enodes)
1554297416.598 * * [misc]simplify:  iters left: 2 (34 enodes)
1554297416.607 * * [misc]simplify:  iters left: 1 (38 enodes)
1554297416.618 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.618 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.618 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.618 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.618 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297416.618 * * [misc]simplify:  Extracting #5: cost 9 inf + 599
1554297416.618 * * [misc]simplify:  Extracting #6: cost 5 inf + 1029
1554297416.619 * * [misc]simplify:  Extracting #7: cost 0 inf + 1829
1554297416.619 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297416.619 * [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))))))
1554297416.620 * * * * [misc]progress:  [ 27 / 56 ] 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))))))>
1554297416.620 * * * * [misc]progress:  [ 28 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))>
1554297416.620 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1554297416.620 * * [misc]simplify:  iters left: 3 (4 enodes)
1554297416.621 * * [misc]simplify:  iters left: 2 (18 enodes)
1554297416.624 * * [misc]simplify:  iters left: 1 (31 enodes)
1554297416.628 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.628 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.628 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.628 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.628 * * [misc]simplify:  Extracting #4: cost 7 inf + 599
1554297416.629 * * [misc]simplify:  Extracting #5: cost 5 inf + 712
1554297416.629 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.629 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.629 * [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))))))
1554297416.629 * * * * [misc]progress:  [ 29 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 30 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 31 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 32 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 33 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 34 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 35 / 56 ] 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))))))>
1554297416.629 * * * * [misc]progress:  [ 36 / 56 ] 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)))))))>
1554297416.629 * * * * [misc]progress:  [ 37 / 56 ] 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))))>
1554297416.629 * * * * [misc]progress:  [ 38 / 56 ] 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))))))))>
1554297416.629 * * * * [misc]progress:  [ 39 / 56 ] 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))))))))>
1554297416.630 * * * * [misc]progress:  [ 40 / 56 ] 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))))))))>
1554297416.630 * * * * [misc]progress:  [ 41 / 56 ] 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))))))))>
1554297416.630 * * * * [misc]progress:  [ 42 / 56 ] 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))))))))>
1554297416.630 * * * * [misc]progress:  [ 43 / 56 ] 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)))))))>
1554297416.630 * * * * [misc]progress:  [ 44 / 56 ] 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))))))))>
1554297416.630 * * * * [misc]progress:  [ 45 / 56 ] 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))))))>
1554297416.630 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297416.630 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297416.631 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297416.634 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.634 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.634 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.634 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.634 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297416.634 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297416.635 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.635 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.635 * [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))))))
1554297416.635 * * * * [misc]progress:  [ 46 / 56 ] 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))))))>
1554297416.635 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297416.635 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297416.636 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297416.639 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.639 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.639 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.640 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.640 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297416.640 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297416.640 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.640 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.640 * [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))))))
1554297416.640 * * * * [misc]progress:  [ 47 / 56 ] 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))))))>
1554297416.640 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297416.640 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297416.642 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297416.645 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.645 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.645 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.645 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.645 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297416.645 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297416.645 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.646 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.646 * [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))))))
1554297416.646 * * * * [misc]progress:  [ 48 / 56 ] 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))))))>
1554297416.646 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297416.646 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297416.647 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297416.652 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.652 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.652 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.652 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.652 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297416.652 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297416.653 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.653 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.653 * [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))))))
1554297416.653 * * * * [misc]progress:  [ 49 / 56 ] 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))))))>
1554297416.654 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297416.654 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297416.656 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297416.659 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.659 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.659 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.659 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.660 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297416.660 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297416.660 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.660 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.660 * [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))))))
1554297416.660 * * * * [misc]progress:  [ 50 / 56 ] 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))))))>
1554297416.660 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1554297416.660 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297416.662 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297416.665 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.665 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297416.665 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297416.665 * * [misc]simplify:  Extracting #3: cost 10 inf + 2
1554297416.665 * * [misc]simplify:  Extracting #4: cost 8 inf + 433
1554297416.665 * * [misc]simplify:  Extracting #5: cost 4 inf + 823
1554297416.665 * * [misc]simplify:  Extracting #6: cost 0 inf + 1417
1554297416.665 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1554297416.665 * [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))))))
1554297416.665 * * * * [misc]progress:  [ 51 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))))>
1554297416.666 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554297416.666 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297416.667 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297416.670 * * [misc]simplify:  iters left: 1 (35 enodes)
1554297416.675 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.675 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.675 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.675 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.675 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297416.675 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554297416.675 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554297416.676 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554297416.676 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554297416.676 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297416.676 * [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))))))
1554297416.676 * * * * [misc]progress:  [ 52 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))))>
1554297416.676 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554297416.676 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297416.678 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297416.681 * * [misc]simplify:  iters left: 1 (35 enodes)
1554297416.688 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.689 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.689 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.689 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.689 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297416.689 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554297416.689 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554297416.689 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554297416.690 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554297416.690 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297416.690 * [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))))))
1554297416.690 * * * * [misc]progress:  [ 53 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))))>
1554297416.691 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1554297416.691 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297416.694 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297416.700 * * [misc]simplify:  iters left: 1 (35 enodes)
1554297416.709 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.709 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.709 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.709 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.709 * * [misc]simplify:  Extracting #4: cost 12 inf + 2
1554297416.709 * * [misc]simplify:  Extracting #5: cost 13 inf + 170
1554297416.709 * * [misc]simplify:  Extracting #6: cost 6 inf + 918
1554297416.710 * * [misc]simplify:  Extracting #7: cost 1 inf + 1608
1554297416.711 * * [misc]simplify:  Extracting #8: cost 0 inf + 1829
1554297416.711 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1554297416.711 * [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))))))
1554297416.711 * * * * [misc]progress:  [ 54 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
1554297416.712 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297416.712 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297416.715 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297416.724 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.732 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297416.738 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.738 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.738 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.738 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.738 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297416.738 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297416.738 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297416.739 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297416.739 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297416.739 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297416.740 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297416.740 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
1554297416.740 * * * * [misc]progress:  [ 55 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
1554297416.740 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297416.740 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297416.742 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297416.746 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.752 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297416.759 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.759 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.759 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.759 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.759 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297416.759 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297416.760 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297416.760 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297416.761 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297416.761 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297416.762 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297416.762 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
1554297416.762 * * * * [misc]progress:  [ 56 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
1554297416.762 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1554297416.762 * * [misc]simplify:  iters left: 4 (8 enodes)
1554297416.766 * * [misc]simplify:  iters left: 3 (30 enodes)
1554297416.775 * * [misc]simplify:  iters left: 2 (41 enodes)
1554297416.786 * * [misc]simplify:  iters left: 1 (45 enodes)
1554297416.794 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.794 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297416.794 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297416.794 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297416.794 * * [misc]simplify:  Extracting #4: cost 14 inf + 1
1554297416.794 * * [misc]simplify:  Extracting #5: cost 12 inf + 281
1554297416.794 * * [misc]simplify:  Extracting #6: cost 7 inf + 2825
1554297416.794 * * [misc]simplify:  Extracting #7: cost 5 inf + 2938
1554297416.795 * * [misc]simplify:  Extracting #8: cost 2 inf + 3311
1554297416.796 * * [misc]simplify:  Extracting #9: cost 0 inf + 3643
1554297416.796 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1554297416.796 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
1554297416.796 * * * [misc]progress:  adding candidates to table
1554297417.615 * [misc]progress:  [Phase 3 of 3] Extracting.
1554297417.615 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (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)))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (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 (* (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 (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))))>)
1554297417.618 * * * [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))))
1554297417.618 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (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)))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (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 (* (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 (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))))>)
1554297417.695 * * * * [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) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (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)))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (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 (* (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 (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))))>)
1554297417.782 * * * * [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))))))>)
1554297417.844 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (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)))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (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 (* (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 (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))))>)
1554297417.969 * * * [misc]regime:  Found split indices: #<option (#s(si 6 255))>
1554297417.970 * [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)))))))
1554297417.970 * * [misc]simplify:  iters left: 6 (15 enodes)
1554297417.971 * * [misc]simplify:  iters left: 5 (16 enodes)
1554297417.971 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #2: cost 3 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #3: cost 4 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #4: cost 5 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #5: cost 6 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #6: cost 8 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #7: cost 11 inf + 0
1554297417.971 * * [misc]simplify:  Extracting #8: cost 12 inf + 1
1554297417.971 * * [misc]simplify:  Extracting #9: cost 13 inf + 92
1554297417.971 * * [misc]simplify:  Extracting #10: cost 10 inf + 355
1554297417.972 * * [misc]simplify:  Extracting #11: cost 8 inf + 837
1554297417.972 * * [misc]simplify:  Extracting #12: cost 5 inf + 2255
1554297417.972 * * [misc]simplify:  Extracting #13: cost 3 inf + 3847
1554297417.972 * * [misc]simplify:  Extracting #14: cost 1 inf + 5629
1554297417.973 * * [misc]simplify:  Extracting #15: cost 0 inf + 6625
1554297417.973 * [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)))))))
1554297452.931 * [misc]regime-testing:  Baseline error score: 59.08077213537805
1554297452.933 * [misc]regime-testing:  Oracle error score: 58.9783387808663
1554297452.935 * [misc]regime-testing:  End program error score: 59.08077213537805