0.551 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.756 * * * [progress]: [2/2] Setting up program.
1.764 * [progress]: [Phase 2 of 3] Improving.
1.768 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.770 * * [simplify]: Extracting # 0 : cost  0
1.770 * * [simplify]: Extracting # 1 : cost  0
1.770 * * [simplify]: Extracting # 2 : cost  0
1.770 * * [simplify]: Extracting # 3 : cost  0
1.771 * * [simplify]: Extracting # 4 : cost  0
1.771 * * [simplify]: Extracting # 5 : cost  0
1.771 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.778 * * [simplify]: Extracting # 0 : cost  0
1.778 * * [simplify]: Extracting # 1 : cost  0
1.778 * * [simplify]: Extracting # 2 : cost  0
1.778 * * [simplify]: Extracting # 3 : cost  0
1.778 * * [simplify]: Extracting # 4 : cost  0
1.779 * * [simplify]: Extracting # 5 : cost  0
1.779 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
1.784 * * [simplify]: Extracting # 0 : cost  0
1.784 * * [simplify]: Extracting # 1 : cost  0
1.784 * * [simplify]: Extracting # 2 : cost  0
1.784 * * [simplify]: Extracting # 3 : cost  0
1.784 * * [simplify]: Extracting # 4 : cost  0
1.784 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
1.794 * * [simplify]: Extracting # 0 : cost  0
1.794 * * [simplify]: Extracting # 1 : cost  0
1.795 * * [simplify]: Extracting # 2 : cost  0
1.795 * * [simplify]: Extracting # 3 : cost  0
1.795 * * [simplify]: Extracting # 4 : cost  0
1.795 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
1.814 * * [simplify]: Extracting # 0 : cost  0
1.814 * * [simplify]: Extracting # 1 : cost  0
1.814 * * [simplify]: Extracting # 2 : cost  0
1.814 * * [simplify]: Extracting # 3 : cost  0
1.814 * * [simplify]: Extracting # 4 : cost  0
1.815 * * [simplify]: Extracting # 5 : cost  0
1.815 * * [simplify]: iteration  4 :  89  enodes  (cost  10 )
1.899 * * [simplify]: Extracting # 0 : cost  0
1.900 * * [simplify]: Extracting # 1 : cost  0
1.900 * * [simplify]: Extracting # 2 : cost  0
1.901 * * [simplify]: Extracting # 3 : cost  0
1.901 * * [simplify]: Extracting # 4 : cost  0
1.901 * * [simplify]: iteration  5 :  195  enodes  (cost  10 )
2.052 * * [simplify]: Extracting # 0 : cost  0
2.052 * * [simplify]: Extracting # 1 : cost  0
2.053 * * [simplify]: Extracting # 2 : cost  0
2.053 * * [simplify]: Extracting # 3 : cost  0
2.053 * * [simplify]: Extracting # 4 : cost  0
2.054 * * [simplify]: iteration  6 :  633  enodes  (cost  10 )
3.393 * * [simplify]: Extracting # 0 : cost  0
3.395 * * [simplify]: Extracting # 1 : cost  0
3.397 * * [simplify]: Extracting # 2 : cost  0
3.399 * * [simplify]: Extracting # 3 : cost  0
3.400 * * [simplify]: Extracting # 4 : cost  0
3.405 * * [simplify]: Extracting # 5 : cost  0
3.407 * * [simplify]: iteration  7 :  2582  enodes  (cost  10 )
4.703 * * [simplify]: Extracting # 0 : cost  0
4.712 * * [simplify]: Extracting # 1 : cost  0
4.722 * * [simplify]: Extracting # 2 : cost  0
4.732 * * [simplify]: Extracting # 3 : cost  0
4.741 * * [simplify]: iteration done:  5000  enodes  (cost  10 )
4.742 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.744 * * [progress]: iteration 1 / 4
4.744 * * * [progress]: picking best candidate
4.759 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.760 * * * [progress]: localizing error
4.788 * * * [progress]: generating rewritten candidates
4.788 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.790 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.792 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
4.801 * * * [progress]: generating series expansions
4.801 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.805 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.805 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.806 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.807 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.808 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.808 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.808 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.809 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.810 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.810 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.810 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.810 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.811 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.811 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.811 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.811 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.811 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.811 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.811 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.812 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.812 * [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))))
4.812 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.812 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.812 * [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))))
4.812 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.812 * [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))))
4.813 * [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))))
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [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)))
4.813 * [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))))
4.813 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.813 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.814 * [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))))
4.814 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.814 * [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))))
4.814 * [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))))
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.815 * [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)))
4.815 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
4.815 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.815 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
4.815 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.815 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.815 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.815 * [taylor]: Taking taylor expansion of (log1p a) in a
4.815 * [taylor]: Rewrote expression to (log (+ 1 a))
4.815 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.815 * [taylor]: Taking taylor expansion of 1 in a
4.815 * [backup-simplify]: Simplify 1 into 1
4.815 * [taylor]: Taking taylor expansion of a in a
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify 1 into 1
4.816 * [backup-simplify]: Simplify (+ 1 0) into 1
4.817 * [backup-simplify]: Simplify (log 1) into 0
4.817 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.817 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.817 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.817 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.817 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.818 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.818 * [backup-simplify]: Simplify (+ 0 1) into 1
4.819 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.820 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.820 * [backup-simplify]: Simplify (exp 0) into 1
4.820 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.820 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.820 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.820 * [taylor]: Taking taylor expansion of (log1p a) in a
4.820 * [taylor]: Rewrote expression to (log (+ 1 a))
4.820 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.820 * [taylor]: Taking taylor expansion of 1 in a
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [taylor]: Taking taylor expansion of a in a
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [backup-simplify]: Simplify (+ 1 0) into 1
4.821 * [backup-simplify]: Simplify (log 1) into 0
4.821 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.821 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.821 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.821 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.821 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.822 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.822 * [backup-simplify]: Simplify (+ 0 1) into 1
4.823 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.823 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.823 * [backup-simplify]: Simplify (exp 0) into 1
4.823 * [backup-simplify]: Simplify 1 into 1
4.825 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
4.825 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.827 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
4.828 * [backup-simplify]: Simplify (+ 0 0) into 0
4.829 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.830 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.831 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.831 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.832 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
4.832 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
4.833 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
4.833 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.833 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.833 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.833 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.833 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.833 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.833 * [taylor]: Taking taylor expansion of 1 in a
4.833 * [backup-simplify]: Simplify 1 into 1
4.833 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.833 * [taylor]: Taking taylor expansion of a in a
4.833 * [backup-simplify]: Simplify 0 into 0
4.833 * [backup-simplify]: Simplify 1 into 1
4.833 * [backup-simplify]: Simplify (/ 1 1) into 1
4.834 * [backup-simplify]: Simplify (+ 0 1) into 1
4.834 * [backup-simplify]: Simplify (log 1) into 0
4.834 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.834 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.835 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.835 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.835 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.835 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.835 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.835 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.835 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.835 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.835 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.835 * [taylor]: Taking taylor expansion of 1 in a
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.835 * [taylor]: Taking taylor expansion of a in a
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.836 * [backup-simplify]: Simplify (/ 1 1) into 1
4.836 * [backup-simplify]: Simplify (+ 0 1) into 1
4.836 * [backup-simplify]: Simplify (log 1) into 0
4.836 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.836 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.836 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.837 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.837 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.837 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.837 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.838 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.838 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.839 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.839 * [backup-simplify]: Simplify (+ 1 0) into 1
4.840 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.840 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.841 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.841 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.842 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.843 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
4.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.844 * [backup-simplify]: Simplify (+ 0 0) into 0
4.846 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.846 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.847 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.848 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.851 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
4.852 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
4.852 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
4.852 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.852 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.852 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.852 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.852 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.852 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.852 * [taylor]: Taking taylor expansion of 1 in a
4.852 * [backup-simplify]: Simplify 1 into 1
4.852 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.852 * [taylor]: Taking taylor expansion of -1 in a
4.852 * [backup-simplify]: Simplify -1 into -1
4.852 * [taylor]: Taking taylor expansion of a in a
4.852 * [backup-simplify]: Simplify 0 into 0
4.852 * [backup-simplify]: Simplify 1 into 1
4.853 * [backup-simplify]: Simplify (/ -1 1) into -1
4.853 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.854 * [backup-simplify]: Simplify (log -1) into (log -1)
4.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.854 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.854 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.855 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.855 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.856 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
4.857 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
4.857 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.857 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.857 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.857 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.857 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.857 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.857 * [taylor]: Taking taylor expansion of 1 in a
4.857 * [backup-simplify]: Simplify 1 into 1
4.857 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.857 * [taylor]: Taking taylor expansion of -1 in a
4.857 * [backup-simplify]: Simplify -1 into -1
4.858 * [taylor]: Taking taylor expansion of a in a
4.858 * [backup-simplify]: Simplify 0 into 0
4.858 * [backup-simplify]: Simplify 1 into 1
4.858 * [backup-simplify]: Simplify (/ -1 1) into -1
4.858 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.859 * [backup-simplify]: Simplify (log -1) into (log -1)
4.859 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.860 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.860 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.861 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
4.862 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
4.863 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
4.864 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.865 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.867 * [backup-simplify]: Simplify (+ 1 0) into 1
4.868 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.869 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.870 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
4.872 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
4.873 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.875 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
4.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.876 * [backup-simplify]: Simplify (+ 0 0) into 0
4.879 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
4.881 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.883 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
4.884 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
4.887 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
4.887 * * * [progress]: simplifying candidates
4.888 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (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)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
  (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
  (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
4.889 * * [simplify]: Extracting # 0 : cost  0
4.889 * * [simplify]: Extracting # 1 : cost  0
4.889 * * [simplify]: Extracting # 2 : cost  0
4.889 * * [simplify]: Extracting # 3 : cost  0
4.889 * * [simplify]: Extracting # 4 : cost  0
4.890 * * [simplify]: Extracting # 5 : cost  0
4.890 * * [simplify]: Extracting # 6 : cost  0
4.890 * * [simplify]: Extracting # 7 : cost  0
4.890 * * [simplify]: Extracting # 8 : cost  0
4.890 * * [simplify]: Extracting # 9 : cost  0
4.890 * * [simplify]: Extracting # 10 : cost  0
4.890 * * [simplify]: Extracting # 11 : cost  0
4.890 * * [simplify]: Extracting # 12 : cost  0
4.890 * * [simplify]: iteration  0 :  99  enodes  (cost  779 )
4.932 * * [simplify]: Extracting # 0 : cost  0
4.932 * * [simplify]: Extracting # 1 : cost  0
4.933 * * [simplify]: Extracting # 2 : cost  0
4.933 * * [simplify]: Extracting # 3 : cost  0
4.933 * * [simplify]: Extracting # 4 : cost  0
4.934 * * [simplify]: Extracting # 5 : cost  0
4.934 * * [simplify]: iteration  1 :  218  enodes  (cost  752 )
5.046 * * [simplify]: Extracting # 0 : cost  0
5.048 * * [simplify]: Extracting # 1 : cost  0
5.049 * * [simplify]: Extracting # 2 : cost  0
5.056 * * [simplify]: Extracting # 3 : cost  0
5.057 * * [simplify]: Extracting # 4 : cost  0
5.058 * * [simplify]: iteration  2 :  595  enodes  (cost  710 )
5.604 * * [simplify]: Extracting # 0 : cost  0
5.608 * * [simplify]: Extracting # 1 : cost  0
5.612 * * [simplify]: Extracting # 2 : cost  0
5.616 * * [simplify]: Extracting # 3 : cost  0
5.620 * * [simplify]: Extracting # 4 : cost  0
5.624 * * [simplify]: iteration  3 :  2177  enodes  (cost  659 )
6.897 * * [simplify]: Extracting # 0 : cost  0
6.910 * * [simplify]: Extracting # 1 : cost  0
6.916 * * [simplify]: Extracting # 2 : cost  0
6.921 * * [simplify]: Extracting # 3 : cost  0
6.926 * * [simplify]: Extracting # 4 : cost  0
6.932 * * [simplify]: iteration done:  5000  enodes  (cost  656 )
6.932 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (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)))
  (fma (* 1/2 (* (pow (log (fmod (cosh a) (pow a 2))) 2) a)) a (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow a (log (fmod (cosh a) (* a a)))) (fma (/ 1/2 a) (- (/ (pow (fmod (cosh a) (* a a)) (log a)) (/ a (pow (log (fmod (cosh a) (pow a 2))) 2))) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow a (log (fmod (cosh a) (* a a))))))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow a (log (fmod (cosh a) (* a a)))) (fma (/ 1/2 a) (- (/ (pow (fmod (cosh a) (* a a)) (log a)) (/ a (pow (log (fmod (cosh a) (pow a 2))) 2))) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow a (log (fmod (cosh a) (* a a))))))
6.933 * * * [progress]: adding candidates to table
7.129 * * [progress]: iteration 2 / 4
7.130 * * * [progress]: picking best candidate
7.187 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
7.188 * * * [progress]: localizing error
7.220 * * * [progress]: generating rewritten candidates
7.220 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.220 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
7.223 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.224 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.231 * * * [progress]: generating series expansions
7.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.231 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.231 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.231 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.231 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.231 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.231 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.231 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.232 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.233 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.233 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.233 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.233 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
7.233 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.233 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.234 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.234 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.234 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.234 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.234 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.234 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.234 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.234 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.234 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.234 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.235 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.235 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.235 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.236 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.236 * [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)))
7.236 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
7.236 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.236 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.236 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.237 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.237 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.237 * [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))))
7.237 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
7.237 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.238 * [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))))
7.238 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.238 * [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))))
7.238 * [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))))
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [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)))
7.239 * [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))))
7.239 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
7.239 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.239 * [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))))
7.239 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.239 * [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))))
7.239 * [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))))
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [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)))
7.240 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.240 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
7.240 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
7.240 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
7.240 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
7.240 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
7.240 * [taylor]: Taking taylor expansion of (log1p a) in a
7.240 * [taylor]: Rewrote expression to (log (+ 1 a))
7.240 * [taylor]: Taking taylor expansion of (+ 1 a) in a
7.240 * [taylor]: Taking taylor expansion of 1 in a
7.240 * [backup-simplify]: Simplify 1 into 1
7.240 * [taylor]: Taking taylor expansion of a in a
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 1 into 1
7.241 * [backup-simplify]: Simplify (+ 1 0) into 1
7.241 * [backup-simplify]: Simplify (log 1) into 0
7.241 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
7.241 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.241 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.241 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
7.242 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
7.242 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
7.242 * [backup-simplify]: Simplify (+ 0 1) into 1
7.243 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.243 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
7.244 * [backup-simplify]: Simplify (exp 0) into 1
7.244 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
7.244 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
7.244 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
7.244 * [taylor]: Taking taylor expansion of (log1p a) in a
7.244 * [taylor]: Rewrote expression to (log (+ 1 a))
7.244 * [taylor]: Taking taylor expansion of (+ 1 a) in a
7.244 * [taylor]: Taking taylor expansion of 1 in a
7.244 * [backup-simplify]: Simplify 1 into 1
7.244 * [taylor]: Taking taylor expansion of a in a
7.244 * [backup-simplify]: Simplify 0 into 0
7.244 * [backup-simplify]: Simplify 1 into 1
7.244 * [backup-simplify]: Simplify (+ 1 0) into 1
7.244 * [backup-simplify]: Simplify (log 1) into 0
7.244 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
7.244 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.244 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.245 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
7.245 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
7.245 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
7.245 * [backup-simplify]: Simplify (+ 0 1) into 1
7.246 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.247 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
7.247 * [backup-simplify]: Simplify (exp 0) into 1
7.247 * [backup-simplify]: Simplify 1 into 1
7.247 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
7.247 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
7.248 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
7.249 * [backup-simplify]: Simplify (+ 0 0) into 0
7.250 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
7.251 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
7.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
7.252 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
7.253 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
7.254 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
7.254 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
7.254 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
7.254 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
7.254 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
7.254 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
7.254 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
7.254 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
7.254 * [taylor]: Taking taylor expansion of 1 in a
7.254 * [backup-simplify]: Simplify 1 into 1
7.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.254 * [taylor]: Taking taylor expansion of a in a
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 1 into 1
7.255 * [backup-simplify]: Simplify (/ 1 1) into 1
7.255 * [backup-simplify]: Simplify (+ 0 1) into 1
7.256 * [backup-simplify]: Simplify (log 1) into 0
7.256 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
7.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.256 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.256 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.257 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
7.257 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
7.258 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
7.258 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
7.258 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
7.258 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
7.258 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
7.258 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
7.258 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
7.258 * [taylor]: Taking taylor expansion of 1 in a
7.258 * [backup-simplify]: Simplify 1 into 1
7.258 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.258 * [taylor]: Taking taylor expansion of a in a
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 1 into 1
7.259 * [backup-simplify]: Simplify (/ 1 1) into 1
7.259 * [backup-simplify]: Simplify (+ 0 1) into 1
7.259 * [backup-simplify]: Simplify (log 1) into 0
7.259 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
7.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.260 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.261 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
7.261 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
7.261 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
7.262 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
7.262 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
7.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
7.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.265 * [backup-simplify]: Simplify (+ 1 0) into 1
7.266 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.267 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.268 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
7.268 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
7.269 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
7.272 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
7.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.273 * [backup-simplify]: Simplify (+ 0 0) into 0
7.276 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
7.277 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
7.279 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
7.280 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
7.284 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
7.284 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
7.284 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
7.284 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
7.284 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
7.284 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
7.285 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
7.285 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
7.285 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
7.285 * [taylor]: Taking taylor expansion of 1 in a
7.285 * [backup-simplify]: Simplify 1 into 1
7.285 * [taylor]: Taking taylor expansion of (/ -1 a) in a
7.285 * [taylor]: Taking taylor expansion of -1 in a
7.285 * [backup-simplify]: Simplify -1 into -1
7.285 * [taylor]: Taking taylor expansion of a in a
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 1 into 1
7.285 * [backup-simplify]: Simplify (/ -1 1) into -1
7.286 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.286 * [backup-simplify]: Simplify (log -1) into (log -1)
7.286 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
7.287 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.287 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
7.288 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
7.288 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
7.289 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
7.289 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
7.289 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
7.289 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
7.289 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
7.289 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
7.289 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
7.289 * [taylor]: Taking taylor expansion of 1 in a
7.289 * [backup-simplify]: Simplify 1 into 1
7.289 * [taylor]: Taking taylor expansion of (/ -1 a) in a
7.289 * [taylor]: Taking taylor expansion of -1 in a
7.289 * [backup-simplify]: Simplify -1 into -1
7.289 * [taylor]: Taking taylor expansion of a in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 1 into 1
7.289 * [backup-simplify]: Simplify (/ -1 1) into -1
7.290 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.290 * [backup-simplify]: Simplify (log -1) into (log -1)
7.290 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.290 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
7.291 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
7.291 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
7.292 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
7.292 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
7.293 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
7.293 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
7.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.294 * [backup-simplify]: Simplify (+ 1 0) into 1
7.295 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
7.295 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
7.296 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
7.297 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
7.297 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
7.299 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
7.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.299 * [backup-simplify]: Simplify (+ 0 0) into 0
7.301 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
7.302 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
7.303 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
7.311 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
7.314 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
7.314 * * * [progress]: simplifying candidates
7.315 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (log (exp (fmod (cosh a) (* a a)))))
  (log1p (log (exp (fmod (cosh a) (* a a)))))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (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)))))
  (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)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p 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))))
  (expm1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log1p (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) 1)
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (log (exp 1)) (log1p a))
  (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
  (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
  (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
7.319 * * [simplify]: Extracting # 0 : cost  0
7.319 * * [simplify]: Extracting # 1 : cost  0
7.319 * * [simplify]: Extracting # 2 : cost  0
7.320 * * [simplify]: Extracting # 3 : cost  0
7.320 * * [simplify]: Extracting # 4 : cost  0
7.321 * * [simplify]: Extracting # 5 : cost  0
7.321 * * [simplify]: Extracting # 6 : cost  0
7.321 * * [simplify]: Extracting # 7 : cost  0
7.322 * * [simplify]: Extracting # 8 : cost  0
7.322 * * [simplify]: Extracting # 9 : cost  0
7.322 * * [simplify]: Extracting # 10 : cost  0
7.323 * * [simplify]: Extracting # 11 : cost  0
7.323 * * [simplify]: Extracting # 12 : cost  0
7.323 * * [simplify]: Extracting # 13 : cost  0
7.323 * * [simplify]: Extracting # 14 : cost  0
7.324 * * [simplify]: iteration  0 :  128  enodes  (cost  1155 )
7.378 * * [simplify]: Extracting # 0 : cost  0
7.378 * * [simplify]: Extracting # 1 : cost  0
7.379 * * [simplify]: Extracting # 2 : cost  0
7.379 * * [simplify]: Extracting # 3 : cost  0
7.380 * * [simplify]: Extracting # 4 : cost  0
7.381 * * [simplify]: Extracting # 5 : cost  0
7.381 * * [simplify]: Extracting # 6 : cost  0
7.382 * * [simplify]: iteration  1 :  250  enodes  (cost  1003 )
7.469 * * [simplify]: Extracting # 0 : cost  0
7.470 * * [simplify]: Extracting # 1 : cost  0
7.471 * * [simplify]: Extracting # 2 : cost  0
7.471 * * [simplify]: Extracting # 3 : cost  0
7.472 * * [simplify]: Extracting # 4 : cost  0
7.473 * * [simplify]: Extracting # 5 : cost  0
7.474 * * [simplify]: iteration  2 :  631  enodes  (cost  942 )
8.116 * * [simplify]: Extracting # 0 : cost  0
8.121 * * [simplify]: Extracting # 1 : cost  0
8.125 * * [simplify]: Extracting # 2 : cost  0
8.129 * * [simplify]: Extracting # 3 : cost  0
8.133 * * [simplify]: Extracting # 4 : cost  0
8.137 * * [simplify]: Extracting # 5 : cost  0
8.140 * * [simplify]: iteration  3 :  2239  enodes  (cost  891 )
9.531 * * [simplify]: Extracting # 0 : cost  0
9.541 * * [simplify]: Extracting # 1 : cost  0
9.552 * * [simplify]: Extracting # 2 : cost  0
9.563 * * [simplify]: Extracting # 3 : cost  0
9.575 * * [simplify]: Extracting # 4 : cost  0
9.586 * * [simplify]: iteration done:  5000  enodes  (cost  888 )
9.587 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (pow a 2)))
  1
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (pow a 2))) (log1p a))
  (* (log (fmod (cosh a) (pow a 2))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (pow a 2)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  1
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  1
  (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (* (log (fmod (cosh a) (pow a 2))) (log1p a))
  (exp (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (pow a 2)) (log1p a))) (cbrt (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (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)))
  (fma (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2)) 1/2 (fma (log (fmod (cosh a) (pow a 2))) (- a (* 1/2 (* a a))) 1))
  (fma (/ (log (fmod (cosh a) (pow a 2))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (pow (log (fmod (cosh a) (pow a 2))) 2) (/ a (pow (fmod (cosh a) (pow a 2)) (log a)))) (/ (pow (fmod (cosh a) (pow a 2)) (log a)) (/ a (log (fmod (cosh a) (* a a)))))) (pow (fmod (cosh a) (* a a)) (log a))))
  (fma (/ (log (fmod (cosh a) (pow a 2))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (pow (log (fmod (cosh a) (pow a 2))) 2) (/ a (pow (fmod (cosh a) (pow a 2)) (log a)))) (/ (pow (fmod (cosh a) (pow a 2)) (log a)) (/ a (log (fmod (cosh a) (* a a)))))) (pow (fmod (cosh a) (* a a)) (log a))))
9.588 * * * [progress]: adding candidates to table
9.900 * * [progress]: iteration 3 / 4
9.900 * * * [progress]: picking best candidate
9.938 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
9.938 * * * [progress]: localizing error
9.960 * * * [progress]: generating rewritten candidates
9.960 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.960 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.961 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
9.966 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
9.974 * * * [progress]: generating series expansions
9.974 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.974 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.974 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.974 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.974 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.974 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.974 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.975 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.975 * [backup-simplify]: Simplify 0 into 0
9.975 * [backup-simplify]: Simplify 0 into 0
9.975 * [backup-simplify]: Simplify 0 into 0
9.975 * [backup-simplify]: Simplify 0 into 0
9.975 * [backup-simplify]: Simplify 0 into 0
9.975 * [backup-simplify]: Simplify 0 into 0
9.975 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.975 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.975 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.975 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.975 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.976 * [backup-simplify]: Simplify 0 into 0
9.976 * [backup-simplify]: Simplify 0 into 0
9.976 * [backup-simplify]: Simplify 0 into 0
9.976 * [backup-simplify]: Simplify 0 into 0
9.976 * [backup-simplify]: Simplify 0 into 0
9.976 * [backup-simplify]: Simplify 0 into 0
9.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.977 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify 0 into 0
9.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.979 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.979 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
9.979 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.979 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.979 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.979 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.980 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify 0 into 0
9.980 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.981 * [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))))
9.981 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
9.981 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.981 * [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))))
9.981 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.981 * [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))))
9.982 * [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))))
9.982 * [backup-simplify]: Simplify 0 into 0
9.982 * [backup-simplify]: Simplify 0 into 0
9.982 * [backup-simplify]: Simplify 0 into 0
9.982 * [backup-simplify]: Simplify 0 into 0
9.982 * [backup-simplify]: Simplify 0 into 0
9.982 * [backup-simplify]: Simplify 0 into 0
9.982 * [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)))
9.983 * [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))))
9.983 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
9.983 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.983 * [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))))
9.983 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.984 * [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))))
9.984 * [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))))
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [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)))
9.984 * * * * [progress]: [ 3 / 4 ] generating series at (2)
9.985 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.985 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
9.985 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.985 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.985 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.985 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.985 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.985 * [backup-simplify]: Simplify 0 into 0
9.985 * [backup-simplify]: Simplify 0 into 0
9.985 * [backup-simplify]: Simplify 0 into 0
9.985 * [backup-simplify]: Simplify 0 into 0
9.985 * [backup-simplify]: Simplify 0 into 0
9.985 * [backup-simplify]: Simplify 0 into 0
9.985 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.986 * [backup-simplify]: Simplify (log (exp (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))))
9.986 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
9.986 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.986 * [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))))
9.986 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.986 * [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))))
9.986 * [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))))
9.986 * [backup-simplify]: Simplify 0 into 0
9.986 * [backup-simplify]: Simplify 0 into 0
9.986 * [backup-simplify]: Simplify 0 into 0
9.987 * [backup-simplify]: Simplify 0 into 0
9.987 * [backup-simplify]: Simplify 0 into 0
9.987 * [backup-simplify]: Simplify 0 into 0
9.987 * [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)))
9.987 * [backup-simplify]: Simplify (log (exp (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))))
9.987 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
9.987 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.987 * [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))))
9.987 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.988 * [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))))
9.988 * [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))))
9.988 * [backup-simplify]: Simplify 0 into 0
9.988 * [backup-simplify]: Simplify 0 into 0
9.988 * [backup-simplify]: Simplify 0 into 0
9.988 * [backup-simplify]: Simplify 0 into 0
9.988 * [backup-simplify]: Simplify 0 into 0
9.988 * [backup-simplify]: Simplify 0 into 0
9.988 * [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)))
9.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
9.988 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
9.989 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
9.989 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
9.989 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
9.989 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
9.989 * [taylor]: Taking taylor expansion of (log1p a) in a
9.989 * [taylor]: Rewrote expression to (log (+ 1 a))
9.989 * [taylor]: Taking taylor expansion of (+ 1 a) in a
9.989 * [taylor]: Taking taylor expansion of 1 in a
9.989 * [backup-simplify]: Simplify 1 into 1
9.989 * [taylor]: Taking taylor expansion of a in a
9.989 * [backup-simplify]: Simplify 0 into 0
9.989 * [backup-simplify]: Simplify 1 into 1
9.989 * [backup-simplify]: Simplify (+ 1 0) into 1
9.990 * [backup-simplify]: Simplify (log 1) into 0
9.990 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
9.990 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.990 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.990 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
9.990 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
9.991 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
9.991 * [backup-simplify]: Simplify (+ 0 1) into 1
9.992 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
9.992 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
9.992 * [backup-simplify]: Simplify (exp 0) into 1
9.992 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
9.992 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
9.992 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
9.992 * [taylor]: Taking taylor expansion of (log1p a) in a
9.992 * [taylor]: Rewrote expression to (log (+ 1 a))
9.992 * [taylor]: Taking taylor expansion of (+ 1 a) in a
9.992 * [taylor]: Taking taylor expansion of 1 in a
9.992 * [backup-simplify]: Simplify 1 into 1
9.992 * [taylor]: Taking taylor expansion of a in a
9.992 * [backup-simplify]: Simplify 0 into 0
9.992 * [backup-simplify]: Simplify 1 into 1
9.993 * [backup-simplify]: Simplify (+ 1 0) into 1
9.993 * [backup-simplify]: Simplify (log 1) into 0
9.993 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
9.993 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.993 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.993 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
9.993 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
9.994 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
9.994 * [backup-simplify]: Simplify (+ 0 1) into 1
9.995 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
9.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
9.996 * [backup-simplify]: Simplify (exp 0) into 1
9.996 * [backup-simplify]: Simplify 1 into 1
9.996 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
9.996 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
9.998 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
9.998 * [backup-simplify]: Simplify (+ 0 0) into 0
9.999 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
10.000 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
10.001 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
10.001 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
10.002 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
10.002 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
10.002 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
10.002 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
10.002 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
10.002 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
10.002 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
10.002 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
10.002 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
10.002 * [taylor]: Taking taylor expansion of 1 in a
10.002 * [backup-simplify]: Simplify 1 into 1
10.002 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.002 * [taylor]: Taking taylor expansion of a in a
10.002 * [backup-simplify]: Simplify 0 into 0
10.002 * [backup-simplify]: Simplify 1 into 1
10.002 * [backup-simplify]: Simplify (/ 1 1) into 1
10.003 * [backup-simplify]: Simplify (+ 0 1) into 1
10.003 * [backup-simplify]: Simplify (log 1) into 0
10.003 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
10.003 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.003 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.003 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
10.003 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
10.004 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
10.004 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
10.004 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
10.004 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
10.004 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
10.004 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
10.004 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
10.004 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
10.004 * [taylor]: Taking taylor expansion of 1 in a
10.004 * [backup-simplify]: Simplify 1 into 1
10.005 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.005 * [taylor]: Taking taylor expansion of a in a
10.005 * [backup-simplify]: Simplify 0 into 0
10.005 * [backup-simplify]: Simplify 1 into 1
10.005 * [backup-simplify]: Simplify (/ 1 1) into 1
10.005 * [backup-simplify]: Simplify (+ 0 1) into 1
10.006 * [backup-simplify]: Simplify (log 1) into 0
10.006 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
10.006 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.006 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.006 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
10.007 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
10.007 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
10.007 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
10.008 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
10.008 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
10.010 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
10.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.011 * [backup-simplify]: Simplify (+ 1 0) into 1
10.012 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
10.013 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
10.013 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
10.014 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
10.015 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
10.017 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
10.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.018 * [backup-simplify]: Simplify (+ 0 0) into 0
10.021 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
10.022 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
10.023 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
10.024 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
10.026 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
10.026 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
10.026 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
10.026 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
10.026 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
10.026 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
10.026 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
10.026 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
10.026 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
10.026 * [taylor]: Taking taylor expansion of 1 in a
10.026 * [backup-simplify]: Simplify 1 into 1
10.026 * [taylor]: Taking taylor expansion of (/ -1 a) in a
10.026 * [taylor]: Taking taylor expansion of -1 in a
10.026 * [backup-simplify]: Simplify -1 into -1
10.026 * [taylor]: Taking taylor expansion of a in a
10.026 * [backup-simplify]: Simplify 0 into 0
10.026 * [backup-simplify]: Simplify 1 into 1
10.027 * [backup-simplify]: Simplify (/ -1 1) into -1
10.027 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.027 * [backup-simplify]: Simplify (log -1) into (log -1)
10.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
10.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.028 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
10.028 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
10.029 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
10.029 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
10.029 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
10.029 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
10.029 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
10.029 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
10.029 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
10.029 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
10.029 * [taylor]: Taking taylor expansion of 1 in a
10.030 * [backup-simplify]: Simplify 1 into 1
10.030 * [taylor]: Taking taylor expansion of (/ -1 a) in a
10.030 * [taylor]: Taking taylor expansion of -1 in a
10.030 * [backup-simplify]: Simplify -1 into -1
10.030 * [taylor]: Taking taylor expansion of a in a
10.030 * [backup-simplify]: Simplify 0 into 0
10.030 * [backup-simplify]: Simplify 1 into 1
10.030 * [backup-simplify]: Simplify (/ -1 1) into -1
10.030 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.030 * [backup-simplify]: Simplify (log -1) into (log -1)
10.030 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
10.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.031 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.031 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
10.031 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
10.032 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
10.032 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
10.033 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
10.033 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
10.034 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
10.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.035 * [backup-simplify]: Simplify (+ 1 0) into 1
10.035 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
10.036 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
10.037 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
10.037 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
10.038 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
10.039 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
10.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.040 * [backup-simplify]: Simplify (+ 0 0) into 0
10.042 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
10.043 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
10.044 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
10.045 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
10.047 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
10.047 * * * [progress]: simplifying candidates
10.048 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (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)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log1p (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (* (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log 1)
  (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (/ PI 2)))
  (log (exp (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (exp (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (exp 1))
  (log (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (exp (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (* (* (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
  (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
  (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
10.050 * * [simplify]: Extracting # 0 : cost  0
10.050 * * [simplify]: Extracting # 1 : cost  0
10.050 * * [simplify]: Extracting # 2 : cost  0
10.050 * * [simplify]: Extracting # 3 : cost  0
10.050 * * [simplify]: Extracting # 4 : cost  0
10.051 * * [simplify]: Extracting # 5 : cost  0
10.051 * * [simplify]: Extracting # 6 : cost  0
10.051 * * [simplify]: Extracting # 7 : cost  0
10.051 * * [simplify]: Extracting # 8 : cost  0
10.051 * * [simplify]: Extracting # 9 : cost  0
10.051 * * [simplify]: Extracting # 10 : cost  0
10.052 * * [simplify]: Extracting # 11 : cost  0
10.052 * * [simplify]: Extracting # 12 : cost  0
10.052 * * [simplify]: Extracting # 13 : cost  0
10.052 * * [simplify]: Extracting # 14 : cost  0
10.053 * * [simplify]: Extracting # 15 : cost  0
10.053 * * [simplify]: iteration  0 :  126  enodes  (cost  1114 )
10.113 * * [simplify]: Extracting # 0 : cost  0
10.113 * * [simplify]: Extracting # 1 : cost  0
10.114 * * [simplify]: Extracting # 2 : cost  0
10.114 * * [simplify]: Extracting # 3 : cost  0
10.114 * * [simplify]: Extracting # 4 : cost  0
10.115 * * [simplify]: Extracting # 5 : cost  0
10.115 * * [simplify]: Extracting # 6 : cost  0
10.116 * * [simplify]: iteration  1 :  250  enodes  (cost  1048 )
10.242 * * [simplify]: Extracting # 0 : cost  0
10.243 * * [simplify]: Extracting # 1 : cost  0
10.245 * * [simplify]: Extracting # 2 : cost  0
10.246 * * [simplify]: Extracting # 3 : cost  0
10.247 * * [simplify]: Extracting # 4 : cost  0
10.249 * * [simplify]: iteration  2 :  632  enodes  (cost  975 )
10.781 * * [simplify]: Extracting # 0 : cost  0
10.785 * * [simplify]: Extracting # 1 : cost  0
10.789 * * [simplify]: Extracting # 2 : cost  0
10.793 * * [simplify]: Extracting # 3 : cost  0
10.797 * * [simplify]: Extracting # 4 : cost  0
10.802 * * [simplify]: Extracting # 5 : cost  0
10.806 * * [simplify]: iteration  3 :  2234  enodes  (cost  924 )
12.051 * * [simplify]: Extracting # 0 : cost  0
12.063 * * [simplify]: Extracting # 1 : cost  0
12.073 * * [simplify]: Extracting # 2 : cost  0
12.084 * * [simplify]: Extracting # 3 : cost  0
12.090 * * [simplify]: Extracting # 4 : cost  0
12.096 * * [simplify]: iteration done:  5000  enodes  (cost  921 )
12.097 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  0
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (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)))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  1
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (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)))
  (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)))
  (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (* (pow (fmod (cosh a) (* a a)) (log a)) (pow (log (fmod (cosh a) (pow a 2))) 2)) a) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow (fmod (cosh a) (* a a)) (log a))))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (* (pow (fmod (cosh a) (* a a)) (log a)) (pow (log (fmod (cosh a) (pow a 2))) 2)) a) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow (fmod (cosh a) (* a a)) (log a))))
12.097 * * * [progress]: adding candidates to table
12.473 * * [progress]: iteration 4 / 4
12.473 * * * [progress]: picking best candidate
12.524 * * * * [pick]: Picked  #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))>
12.524 * * * [progress]: localizing error
12.563 * * * [progress]: generating rewritten candidates
12.563 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
12.564 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
12.564 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
12.566 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
12.569 * * * [progress]: generating series expansions
12.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
12.569 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.569 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.569 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.569 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.569 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.570 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.570 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.570 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.571 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.571 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.571 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.571 * [backup-simplify]: Simplify 0 into 0
12.571 * [backup-simplify]: Simplify 0 into 0
12.572 * [backup-simplify]: Simplify 0 into 0
12.572 * [backup-simplify]: Simplify 0 into 0
12.572 * [backup-simplify]: Simplify 0 into 0
12.572 * [backup-simplify]: Simplify 0 into 0
12.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.572 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.573 * [backup-simplify]: Simplify 0 into 0
12.573 * [backup-simplify]: Simplify 0 into 0
12.573 * [backup-simplify]: Simplify 0 into 0
12.573 * [backup-simplify]: Simplify 0 into 0
12.573 * [backup-simplify]: Simplify 0 into 0
12.573 * [backup-simplify]: Simplify 0 into 0
12.574 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.574 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
12.574 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.574 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.574 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.574 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.574 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.574 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.574 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.575 * [backup-simplify]: Simplify 0 into 0
12.575 * [backup-simplify]: Simplify 0 into 0
12.575 * [backup-simplify]: Simplify 0 into 0
12.575 * [backup-simplify]: Simplify 0 into 0
12.575 * [backup-simplify]: Simplify 0 into 0
12.575 * [backup-simplify]: Simplify 0 into 0
12.575 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.575 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.575 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.575 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.575 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.575 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.576 * [backup-simplify]: Simplify 0 into 0
12.576 * [backup-simplify]: Simplify 0 into 0
12.576 * [backup-simplify]: Simplify 0 into 0
12.576 * [backup-simplify]: Simplify 0 into 0
12.576 * [backup-simplify]: Simplify 0 into 0
12.576 * [backup-simplify]: Simplify 0 into 0
12.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.577 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.577 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.577 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.578 * [backup-simplify]: Simplify 0 into 0
12.578 * [backup-simplify]: Simplify 0 into 0
12.578 * [backup-simplify]: Simplify 0 into 0
12.578 * [backup-simplify]: Simplify 0 into 0
12.578 * [backup-simplify]: Simplify 0 into 0
12.578 * [backup-simplify]: Simplify 0 into 0
12.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.578 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
12.579 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.579 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.579 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.579 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.579 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.579 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.580 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.581 * [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))))
12.581 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
12.581 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.581 * [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))))
12.581 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.581 * [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))))
12.582 * [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))))
12.582 * [backup-simplify]: Simplify 0 into 0
12.582 * [backup-simplify]: Simplify 0 into 0
12.582 * [backup-simplify]: Simplify 0 into 0
12.582 * [backup-simplify]: Simplify 0 into 0
12.582 * [backup-simplify]: Simplify 0 into 0
12.582 * [backup-simplify]: Simplify 0 into 0
12.583 * [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)))
12.583 * [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))))
12.583 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
12.583 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.584 * [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))))
12.584 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.584 * [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))))
12.584 * [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))))
12.584 * [backup-simplify]: Simplify 0 into 0
12.585 * [backup-simplify]: Simplify 0 into 0
12.585 * [backup-simplify]: Simplify 0 into 0
12.585 * [backup-simplify]: Simplify 0 into 0
12.585 * [backup-simplify]: Simplify 0 into 0
12.585 * [backup-simplify]: Simplify 0 into 0
12.585 * [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)))
12.585 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
12.586 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.586 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.586 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.586 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.586 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.586 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.587 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.587 * [backup-simplify]: Simplify 0 into 0
12.587 * [backup-simplify]: Simplify 0 into 0
12.587 * [backup-simplify]: Simplify 0 into 0
12.587 * [backup-simplify]: Simplify 0 into 0
12.587 * [backup-simplify]: Simplify 0 into 0
12.587 * [backup-simplify]: Simplify 0 into 0
12.587 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.588 * [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))))
12.588 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
12.588 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.588 * [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))))
12.588 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.589 * [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))))
12.589 * [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))))
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.590 * [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)))
12.590 * [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))))
12.590 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
12.590 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.591 * [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))))
12.591 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.591 * [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))))
12.592 * [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))))
12.592 * [backup-simplify]: Simplify 0 into 0
12.592 * [backup-simplify]: Simplify 0 into 0
12.592 * [backup-simplify]: Simplify 0 into 0
12.592 * [backup-simplify]: Simplify 0 into 0
12.592 * [backup-simplify]: Simplify 0 into 0
12.592 * [backup-simplify]: Simplify 0 into 0
12.592 * [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)))
12.592 * * * [progress]: simplifying candidates
12.594 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (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)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (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)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.595 * * [simplify]: Extracting # 0 : cost  0
12.595 * * [simplify]: Extracting # 1 : cost  0
12.595 * * [simplify]: Extracting # 2 : cost  0
12.595 * * [simplify]: Extracting # 3 : cost  0
12.595 * * [simplify]: Extracting # 4 : cost  0
12.596 * * [simplify]: Extracting # 5 : cost  0
12.596 * * [simplify]: Extracting # 6 : cost  0
12.596 * * [simplify]: Extracting # 7 : cost  0
12.596 * * [simplify]: iteration  0 :  33  enodes  (cost  554 )
12.607 * * [simplify]: Extracting # 0 : cost  0
12.607 * * [simplify]: Extracting # 1 : cost  0
12.607 * * [simplify]: Extracting # 2 : cost  0
12.608 * * [simplify]: Extracting # 3 : cost  0
12.608 * * [simplify]: Extracting # 4 : cost  0
12.608 * * [simplify]: Extracting # 5 : cost  0
12.608 * * [simplify]: iteration  1 :  47  enodes  (cost  554 )
12.623 * * [simplify]: Extracting # 0 : cost  0
12.623 * * [simplify]: Extracting # 1 : cost  0
12.623 * * [simplify]: Extracting # 2 : cost  0
12.623 * * [simplify]: Extracting # 3 : cost  0
12.624 * * [simplify]: iteration  2 :  65  enodes  (cost  490 )
12.642 * * [simplify]: Extracting # 0 : cost  0
12.642 * * [simplify]: Extracting # 1 : cost  0
12.642 * * [simplify]: Extracting # 2 : cost  0
12.642 * * [simplify]: Extracting # 3 : cost  0
12.642 * * [simplify]: Extracting # 4 : cost  0
12.643 * * [simplify]: iteration  3 :  94  enodes  (cost  490 )
12.686 * * [simplify]: Extracting # 0 : cost  0
12.686 * * [simplify]: Extracting # 1 : cost  0
12.686 * * [simplify]: Extracting # 2 : cost  0
12.687 * * [simplify]: Extracting # 3 : cost  0
12.687 * * [simplify]: Extracting # 4 : cost  0
12.687 * * [simplify]: Extracting # 5 : cost  0
12.687 * * [simplify]: iteration  4 :  152  enodes  (cost  490 )
12.736 * * [simplify]: Extracting # 0 : cost  0
12.736 * * [simplify]: Extracting # 1 : cost  0
12.736 * * [simplify]: Extracting # 2 : cost  0
12.737 * * [simplify]: Extracting # 3 : cost  0
12.737 * * [simplify]: Extracting # 4 : cost  0
12.737 * * [simplify]: iteration  5 :  294  enodes  (cost  490 )
12.931 * * [simplify]: Extracting # 0 : cost  0
12.932 * * [simplify]: Extracting # 1 : cost  0
12.933 * * [simplify]: Extracting # 2 : cost  0
12.935 * * [simplify]: Extracting # 3 : cost  0
12.936 * * [simplify]: Extracting # 4 : cost  0
12.937 * * [simplify]: Extracting # 5 : cost  0
12.938 * * [simplify]: iteration  6 :  776  enodes  (cost  490 )
14.748 * * [simplify]: Extracting # 0 : cost  0
14.753 * * [simplify]: Extracting # 1 : cost  0
14.756 * * [simplify]: Extracting # 2 : cost  0
14.760 * * [simplify]: Extracting # 3 : cost  0
14.763 * * [simplify]: Extracting # 4 : cost  0
14.767 * * [simplify]: iteration  7 :  2892  enodes  (cost  490 )
15.962 * * [simplify]: Extracting # 0 : cost  0
15.970 * * [simplify]: Extracting # 1 : cost  0
15.979 * * [simplify]: Extracting # 2 : cost  0
15.987 * * [simplify]: Extracting # 3 : cost  0
15.995 * * [simplify]: iteration done:  5000  enodes  (cost  490 )
15.996 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (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)))
  (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)))
15.997 * * * [progress]: adding candidates to table
16.433 * [progress]: [Phase 3 of 3] Extracting.
16.434 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (log (exp (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.438 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
16.439 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (log (exp (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.529 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (log (exp (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.584 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (log (exp (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.684 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))>)
16.729 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (log (exp (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.809 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
16.810 * [simplify]: Simplifying:
  (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
16.810 * * [simplify]: Extracting # 0 : cost  0
16.810 * * [simplify]: Extracting # 1 : cost  0
16.810 * * [simplify]: Extracting # 2 : cost  0
16.810 * * [simplify]: Extracting # 3 : cost  0
16.810 * * [simplify]: Extracting # 4 : cost  0
16.810 * * [simplify]: Extracting # 5 : cost  0
16.810 * * [simplify]: Extracting # 6 : cost  0
16.811 * * [simplify]: Extracting # 7 : cost  0
16.811 * * [simplify]: Extracting # 8 : cost  0
16.811 * * [simplify]: Extracting # 9 : cost  0
16.811 * * [simplify]: Extracting # 10 : cost  0
16.811 * * [simplify]: Extracting # 11 : cost  0
16.811 * * [simplify]: Extracting # 12 : cost  0
16.811 * * [simplify]: Extracting # 13 : cost  0
16.811 * * [simplify]: Extracting # 14 : cost  0
16.811 * * [simplify]: iteration  0 :  20  enodes  (cost  31 )
16.813 * * [simplify]: Extracting # 0 : cost  0
16.813 * * [simplify]: iteration  1 :  22  enodes  (cost  31 )
16.814 * * [simplify]: Extracting # 0 : cost  0
16.814 * * [simplify]: iteration done:  22  enodes  (cost  31 )
16.814 * [simplify]: Simplified to:
  (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
57.084 * [regime-testing]: Baseline error score: 60.18391674178797
57.089 * [regime-testing]: Oracle error score: 59.80367958453075
57.098 * [regime-testing]: End program error score: 60.18391674178797