0.704 * [progress]: [Phase 1 of 3] Setting up.
0.039 * * * [progress]: [1/2] Preparing points
1.628 * * * [progress]: [2/2] Setting up program.
1.632 * [progress]: [Phase 2 of 3] Improving.
1.634 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.634 * [simplify]: Sending expressions to egg_math:
 (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
3.914 * * [progress]: iteration 1 / 4
3.914 * * * [progress]: picking best candidate
3.920 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
3.920 * * * [progress]: localizing error
3.935 * * * [progress]: generating rewritten candidates
3.936 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
3.936 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.938 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.943 * * * [progress]: generating series expansions
3.944 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
3.948 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.948 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.949 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.950 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.950 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.950 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.950 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.951 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.952 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.953 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.953 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.953 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.953 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.953 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.953 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.953 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.954 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.954 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.954 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.954 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
3.954 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.954 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.954 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.955 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.955 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.956 * [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))))
3.956 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
3.956 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.956 * [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))))
3.956 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.957 * [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))))
3.957 * [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))))
3.957 * [backup-simplify]: Simplify 0 into 0
3.957 * [backup-simplify]: Simplify 0 into 0
3.957 * [backup-simplify]: Simplify 0 into 0
3.957 * [backup-simplify]: Simplify 0 into 0
3.958 * [backup-simplify]: Simplify 0 into 0
3.958 * [backup-simplify]: Simplify 0 into 0
3.958 * [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)))
3.959 * [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))))
3.959 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
3.959 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.959 * [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))))
3.959 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.959 * [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))))
3.960 * [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))))
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 0 into 0
3.961 * [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)))
3.961 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.961 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
3.961 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
3.961 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
3.961 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
3.961 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
3.961 * [taylor]: Taking taylor expansion of (log1p a) in a
3.961 * [backup-simplify]: Simplify (log1p a) into (log1p a)
3.961 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
3.961 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.962 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
3.962 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log1p a) (log (fmod (cosh a) (pow a 2))))
3.963 * [backup-simplify]: Simplify (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
3.963 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
3.963 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
3.963 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
3.963 * [taylor]: Taking taylor expansion of (log1p a) in a
3.963 * [backup-simplify]: Simplify (log1p a) into (log1p a)
3.963 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
3.963 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.963 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
3.963 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log1p a) (log (fmod (cosh a) (pow a 2))))
3.964 * [backup-simplify]: Simplify (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
3.964 * [backup-simplify]: Simplify (pow (fmod (cosh a) (pow a 2)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
3.966 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
3.967 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (* 0 (log (fmod (cosh a) (pow a 2))))) into 0
3.968 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.968 * [backup-simplify]: Simplify 0 into 0
3.971 * [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
3.971 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))) into 0
3.972 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.972 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 6) into 0
3.975 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))) into 0
3.976 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.977 * [backup-simplify]: Simplify 0 into 0
3.980 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 24) into 0
3.981 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))) into 0
3.999 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 120) into 0
4.012 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))))) into 0
4.017 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh a) (pow a 2)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 720) into 0
4.035 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))))) into 0
4.041 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify (pow (fmod (cosh a) (pow a 2)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.042 * [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.042 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
4.042 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.042 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.042 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.042 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.042 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
4.042 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.042 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.043 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))
4.043 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) into (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a))))
4.043 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.043 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.043 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.043 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.043 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
4.043 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.043 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.043 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.043 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.044 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))
4.044 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) into (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a))))
4.044 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) into (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a))))
4.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.045 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.046 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.047 * [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.048 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
4.049 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
4.051 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
4.053 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.053 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
4.057 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
4.059 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.059 * [backup-simplify]: Simplify 0 into 0
4.066 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
4.068 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
4.072 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.072 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
4.090 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))))) into 0
4.093 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.093 * [backup-simplify]: Simplify 0 into 0
4.094 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log1p (/ 1 (/ 1 a))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.094 * [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.094 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
4.094 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.094 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.094 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.094 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.094 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
4.094 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.094 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.095 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))
4.095 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a))))
4.095 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.095 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.095 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.095 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.095 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
4.095 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.095 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.095 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))
4.096 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a))))
4.096 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a))))
4.097 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.097 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.098 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.098 * [backup-simplify]: Simplify 0 into 0
4.099 * [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.099 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
4.100 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.100 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
4.103 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
4.104 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.104 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
4.109 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
4.111 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.111 * [backup-simplify]: Simplify 0 into 0
4.117 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
4.119 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
4.121 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.121 * [backup-simplify]: Simplify 0 into 0
4.146 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
4.148 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))))) into 0
4.155 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.155 * [backup-simplify]: Simplify 0 into 0
4.156 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (log1p (/ -1 (/ 1 (- a)))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.156 * * * [progress]: simplifying candidates
4.157 * [simplify]: Simplifying:
  (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)))
  (/ 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))))
  (* (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)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.158 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (/ h1 2)
 (asin (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (log (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (exp (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (* (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))))
 (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (* (* (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (sqrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (sqrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (* (log (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (* (log (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (* 1 (log1p h0))
 (pow (fmod (cosh h0) (* h0 h0)) (* (cbrt (log1p h0)) (cbrt (log1p h0))))
 (pow (fmod (cosh h0) (* h0 h0)) (sqrt (log1p h0)))
 (pow (fmod (cosh h0) (* h0 h0)) 1)
 (pow (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (log1p h0))
 (pow (cbrt (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (pow (sqrt (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (pow (sqrt (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (pow 1 (log1p h0))
 (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))
 (log (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (exp (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (* (cbrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (cbrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))
 (cbrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (* (* (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)) (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (sqrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (sqrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))
 (pow (fmod (cosh h0) (* h0 h0)) (/ (log1p h0) 2))
 (pow (fmod (cosh h0) (* h0 h0)) (/ (log1p h0) 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))
 (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))
 (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))
 (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))
 (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))
 (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))
5.540 * * * [progress]: adding candidates to table
5.689 * * [progress]: iteration 2 / 4
5.689 * * * [progress]: picking best candidate
5.737 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
5.738 * * * [progress]: localizing error
5.754 * * * [progress]: generating rewritten candidates
5.754 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
5.754 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.757 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.758 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.764 * * * [progress]: generating series expansions
5.765 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.765 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.765 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.765 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.766 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.766 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.766 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.767 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.769 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
5.769 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
5.769 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.769 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.769 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.769 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.769 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.770 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.771 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.771 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.771 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.771 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.771 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.771 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.771 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.771 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.772 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.772 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.773 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.773 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.773 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.774 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.774 * [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)))
5.774 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
5.774 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.775 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.775 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.775 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.775 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.777 * [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))))
5.777 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
5.777 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.777 * [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))))
5.777 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.778 * [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))))
5.778 * [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))))
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.779 * [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)))
5.779 * [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))))
5.779 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
5.779 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.780 * [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))))
5.780 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.780 * [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))))
5.781 * [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))))
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.782 * [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)))
5.782 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.782 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.782 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
5.782 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
5.782 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
5.782 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
5.782 * [taylor]: Taking taylor expansion of (log1p a) in a
5.782 * [backup-simplify]: Simplify (log1p a) into (log1p a)
5.782 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
5.782 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.783 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.783 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
5.783 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log1p a) (log (fmod (cosh a) (pow a 2))))
5.783 * [backup-simplify]: Simplify (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.783 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
5.783 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
5.783 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
5.783 * [taylor]: Taking taylor expansion of (log1p a) in a
5.784 * [backup-simplify]: Simplify (log1p a) into (log1p a)
5.784 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
5.784 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.784 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.784 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
5.784 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log1p a) (log (fmod (cosh a) (pow a 2))))
5.785 * [backup-simplify]: Simplify (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.785 * [backup-simplify]: Simplify (pow (fmod (cosh a) (pow a 2)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.786 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
5.786 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (* 0 (log (fmod (cosh a) (pow a 2))))) into 0
5.788 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.790 * [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
5.791 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))) into 0
5.793 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.793 * [backup-simplify]: Simplify 0 into 0
5.797 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 6) into 0
5.798 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))) into 0
5.800 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.800 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 24) into 0
5.807 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))) into 0
5.810 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 120) into 0
5.821 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))))) into 0
5.824 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.824 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh a) (pow a 2)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 720) into 0
5.833 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))))) into 0
5.836 * [backup-simplify]: Simplify (* (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify (pow (fmod (cosh a) (pow a 2)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.837 * [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)))
5.837 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
5.837 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
5.837 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
5.837 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
5.837 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.837 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
5.837 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
5.837 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.837 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.837 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
5.837 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))
5.837 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) into (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a))))
5.837 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
5.838 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
5.838 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
5.838 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.838 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
5.838 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
5.838 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.838 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.838 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
5.838 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))
5.838 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) into (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a))))
5.839 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) into (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a))))
5.845 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
5.845 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
5.846 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.846 * [backup-simplify]: Simplify 0 into 0
5.848 * [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
5.848 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
5.849 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.849 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
5.854 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
5.856 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.856 * [backup-simplify]: Simplify 0 into 0
5.862 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
5.864 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
5.866 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
5.873 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
5.875 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
5.885 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))))) into 0
5.889 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log1p (/ 1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.889 * [backup-simplify]: Simplify 0 into 0
5.889 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log1p (/ 1 (/ 1 a))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.889 * [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)))
5.889 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
5.889 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
5.889 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
5.889 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
5.889 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.889 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
5.889 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
5.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.890 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.890 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
5.890 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))
5.890 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a))))
5.890 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
5.890 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
5.890 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
5.890 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.890 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
5.890 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
5.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.891 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.891 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
5.891 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))
5.891 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a))))
5.891 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a))))
5.892 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
5.892 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
5.893 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.893 * [backup-simplify]: Simplify 0 into 0
5.895 * [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
5.895 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
5.897 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.897 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
5.901 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
5.904 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.904 * [backup-simplify]: Simplify 0 into 0
5.909 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
5.911 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
5.914 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.914 * [backup-simplify]: Simplify 0 into 0
5.924 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
5.926 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
5.930 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.930 * [backup-simplify]: Simplify 0 into 0
5.939 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
5.940 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))))) into 0
5.943 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (log1p (/ -1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.943 * [backup-simplify]: Simplify 0 into 0
5.944 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (log1p (/ -1 (/ 1 (- a)))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.944 * * * [progress]: simplifying candidates
5.945 * [simplify]: Simplifying:
  (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)))
  (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)))))
  (/ 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))))
  (* (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)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.945 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0))))))
 (log (cbrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log 1)
 (log (exp (fmod (cosh h0) (* h0 h0))))
 (log (exp (fmod (cosh h0) (* h0 h0))))
 (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))))
 (log (exp (sqrt (fmod (cosh h0) (* h0 h0)))))
 (log (exp 1))
 (log (log (exp (fmod (cosh h0) (* h0 h0)))))
 (exp (log (exp (fmod (cosh h0) (* h0 h0)))))
 (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))))
 (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0)))))
 (sqrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (sqrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (/ h1 2)
 (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (log (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (* (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))
 (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (* (* (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (* (log (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p h0))
 (* (log (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p h0))
 (* 1 (log1p h0))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (* (cbrt (log1p h0)) (cbrt (log1p h0))))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (sqrt (log1p h0)))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) 1)
 (pow 1 (log1p h0))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))
 (pow (cbrt (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (pow (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log1p h0))
 (pow (sqrt (fmod (cosh h0) (* h0 h0))) (log1p h0))
 (pow (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log1p h0))
 (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))
 (pow (log (exp 1)) (log1p h0))
 (pow (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (log1p h0))
 (pow (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p h0))
 (pow (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p h0))
 (pow (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p h0))
 (pow 1 (log1p h0))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))
 (log (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (exp (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (* (cbrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (cbrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))
 (cbrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (* (* (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)) (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (sqrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (sqrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (/ (log1p h0) 2))
 (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (/ (log1p h0) 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))
 (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))
 (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))
 (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))
 (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))
 (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))
7.837 * * * [progress]: adding candidates to table
8.100 * * [progress]: iteration 3 / 4
8.100 * * * [progress]: picking best candidate
8.150 * * * * [pick]: Picked  #<alt (λ (a) (acos (* (* (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))))))>
8.150 * * * [progress]: localizing error
8.198 * * * [progress]: generating rewritten candidates
8.198 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
8.198 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
8.199 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
8.199 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
8.206 * * * [progress]: generating series expansions
8.206 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
8.206 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.206 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.206 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.207 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.207 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.207 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.207 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.207 * [backup-simplify]: Simplify 0 into 0
8.207 * [backup-simplify]: Simplify 0 into 0
8.207 * [backup-simplify]: Simplify 0 into 0
8.207 * [backup-simplify]: Simplify 0 into 0
8.207 * [backup-simplify]: Simplify 0 into 0
8.207 * [backup-simplify]: Simplify 0 into 0
8.208 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.208 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.208 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.208 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.208 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.208 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.208 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.209 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.209 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.210 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.210 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.210 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.210 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.210 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.210 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.211 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.211 * [backup-simplify]: Simplify 0 into 0
8.211 * [backup-simplify]: Simplify 0 into 0
8.211 * [backup-simplify]: Simplify 0 into 0
8.211 * [backup-simplify]: Simplify 0 into 0
8.211 * [backup-simplify]: Simplify 0 into 0
8.211 * [backup-simplify]: Simplify 0 into 0
8.211 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.211 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1)
8.211 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.211 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.211 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.212 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.212 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.212 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.212 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.212 * [backup-simplify]: Simplify 0 into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.213 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.213 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.214 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.214 * [backup-simplify]: Simplify 0 into 0
8.214 * [backup-simplify]: Simplify 0 into 0
8.214 * [backup-simplify]: Simplify 0 into 0
8.214 * [backup-simplify]: Simplify 0 into 0
8.214 * [backup-simplify]: Simplify 0 into 0
8.214 * [backup-simplify]: Simplify 0 into 0
8.214 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.215 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.215 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.215 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.215 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.215 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.215 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.215 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.216 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
8.216 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.216 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.216 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.217 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.218 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.219 * [backup-simplify]: Simplify 0 into 0
8.219 * [backup-simplify]: Simplify 0 into 0
8.219 * [backup-simplify]: Simplify 0 into 0
8.219 * [backup-simplify]: Simplify 0 into 0
8.219 * [backup-simplify]: Simplify 0 into 0
8.219 * [backup-simplify]: Simplify 0 into 0
8.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.220 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.220 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.220 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.220 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.220 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.220 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.220 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.220 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.221 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
8.221 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
8.221 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.221 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.222 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.222 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.222 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.222 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.222 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify 0 into 0
8.223 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.223 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.223 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.224 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.224 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.225 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.225 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.225 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.225 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.225 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.225 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.226 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.226 * [backup-simplify]: Simplify 0 into 0
8.226 * [backup-simplify]: Simplify 0 into 0
8.226 * [backup-simplify]: Simplify 0 into 0
8.226 * [backup-simplify]: Simplify 0 into 0
8.226 * [backup-simplify]: Simplify 0 into 0
8.226 * [backup-simplify]: Simplify 0 into 0
8.226 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.226 * * * [progress]: simplifying candidates
8.228 * [simplify]: Simplifying:
  (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)))
  (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)))
  (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)))
  (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)))))
  (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))
  (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))
8.228 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0))))))
 (log (cbrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log 1)
 (log (exp (fmod (cosh h0) (* h0 h0))))
 (log (exp (fmod (cosh h0) (* h0 h0))))
 (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))))
 (log (exp (sqrt (fmod (cosh h0) (* h0 h0)))))
 (log (exp 1))
 (log (log (exp (fmod (cosh h0) (* h0 h0)))))
 (exp (log (exp (fmod (cosh h0) (* h0 h0)))))
 (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))))
 (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0)))))
 (sqrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (sqrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
9.001 * * * [progress]: adding candidates to table
9.318 * * [progress]: iteration 4 / 4
9.318 * * * [progress]: picking best candidate
9.349 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.350 * * * [progress]: localizing error
9.387 * * * [progress]: generating rewritten candidates
9.387 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
9.388 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
9.388 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
9.388 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
9.394 * * * [progress]: generating series expansions
9.394 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
9.394 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.394 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.394 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.395 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.395 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.395 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.395 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.395 * [backup-simplify]: Simplify 0 into 0
9.395 * [backup-simplify]: Simplify 0 into 0
9.395 * [backup-simplify]: Simplify 0 into 0
9.395 * [backup-simplify]: Simplify 0 into 0
9.395 * [backup-simplify]: Simplify 0 into 0
9.395 * [backup-simplify]: Simplify 0 into 0
9.396 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.396 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.397 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.397 * [backup-simplify]: Simplify 0 into 0
9.397 * [backup-simplify]: Simplify 0 into 0
9.397 * [backup-simplify]: Simplify 0 into 0
9.397 * [backup-simplify]: Simplify 0 into 0
9.397 * [backup-simplify]: Simplify 0 into 0
9.397 * [backup-simplify]: Simplify 0 into 0
9.397 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.398 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.398 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.398 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.398 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.399 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.399 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
9.399 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.399 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.399 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.400 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.400 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.400 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.400 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.401 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.401 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.401 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.401 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.402 * [backup-simplify]: Simplify 0 into 0
9.402 * [backup-simplify]: Simplify 0 into 0
9.402 * [backup-simplify]: Simplify 0 into 0
9.402 * [backup-simplify]: Simplify 0 into 0
9.402 * [backup-simplify]: Simplify 0 into 0
9.402 * [backup-simplify]: Simplify 0 into 0
9.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.402 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.402 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.403 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.403 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.403 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
9.403 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.403 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.403 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.403 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.403 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.403 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.404 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.404 * [backup-simplify]: Simplify 0 into 0
9.404 * [backup-simplify]: Simplify 0 into 0
9.404 * [backup-simplify]: Simplify 0 into 0
9.404 * [backup-simplify]: Simplify 0 into 0
9.404 * [backup-simplify]: Simplify 0 into 0
9.404 * [backup-simplify]: Simplify 0 into 0
9.404 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.404 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.405 * [backup-simplify]: Simplify 0 into 0
9.405 * [backup-simplify]: Simplify 0 into 0
9.405 * [backup-simplify]: Simplify 0 into 0
9.405 * [backup-simplify]: Simplify 0 into 0
9.405 * [backup-simplify]: Simplify 0 into 0
9.405 * [backup-simplify]: Simplify 0 into 0
9.405 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.405 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.405 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.405 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.406 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
9.406 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
9.406 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.406 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.406 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.406 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.406 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.406 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.406 * [backup-simplify]: Simplify 0 into 0
9.407 * [backup-simplify]: Simplify 0 into 0
9.407 * [backup-simplify]: Simplify 0 into 0
9.407 * [backup-simplify]: Simplify 0 into 0
9.407 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.407 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.407 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.407 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.407 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.407 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.407 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.407 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.407 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.408 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.408 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.408 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.408 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.408 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.408 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.409 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.409 * [backup-simplify]: Simplify 0 into 0
9.409 * [backup-simplify]: Simplify 0 into 0
9.409 * [backup-simplify]: Simplify 0 into 0
9.409 * [backup-simplify]: Simplify 0 into 0
9.409 * [backup-simplify]: Simplify 0 into 0
9.409 * [backup-simplify]: Simplify 0 into 0
9.409 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.409 * * * [progress]: simplifying candidates
9.410 * [simplify]: Simplifying:
  (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)))
  (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)))
  (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)))
  (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)))))
  (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))
  (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))
9.410 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (fmod (cosh h0) (* h0 h0)))
 (exp (fmod (cosh h0) (* h0 h0)))
 (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))
 (cbrt (fmod (cosh h0) (* h0 h0)))
 (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (sqrt (fmod (cosh h0) (* h0 h0)))
 (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0))))))
 (log (cbrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))
 (log 1)
 (log (exp (fmod (cosh h0) (* h0 h0))))
 (log (exp (fmod (cosh h0) (* h0 h0))))
 (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))))
 (log (exp (sqrt (fmod (cosh h0) (* h0 h0)))))
 (log (exp 1))
 (log (log (exp (fmod (cosh h0) (* h0 h0)))))
 (exp (log (exp (fmod (cosh h0) (* h0 h0)))))
 (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))))
 (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0)))))
 (sqrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (sqrt (log (exp (fmod (cosh h0) (* h0 h0)))))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
 (fmod (cosh h0) (pow h0 2))
10.102 * * * [progress]: adding candidates to table
10.467 * [progress]: [Phase 3 of 3] Extracting.
10.468 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (exp (log (acos (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))))))> #<alt (λ (a) (log (exp (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) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>)
10.472 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
10.472 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (exp (log (acos (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))))))> #<alt (λ (a) (log (exp (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) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>)
10.543 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (exp (log (acos (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))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))>)
10.604 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (exp (log (acos (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))))))> #<alt (λ (a) (log (exp (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) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>)
10.681 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
10.740 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (exp (log (acos (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))))))> #<alt (λ (a) (log (exp (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) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>)
10.781 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
10.782 * [simplify]: Simplifying:
  (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))
10.782 * [simplify]: Sending expressions to egg_math:
 (acos (* (* (cbrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (cbrt (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (pow (+ (* 2 (log (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log1p h0)))))
51.703 * [regime-testing]: Baseline error score: 60.22694490693762
51.709 * [regime-testing]: Oracle error score: 59.82132113297021
51.720 * [regime-testing]: End program error score: 60.22694490693762