3.459 * [progress]: [Phase 1 of 3] Setting up.
0.023 * * * [progress]: [1/2] Preparing points
3.489 * * * [progress]: [2/2] Setting up program.
3.501 * [progress]: [Phase 2 of 3] Improving.
3.527 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.533 * * [simplify]: Extracting # 0 : cost  0
3.534 * * [simplify]: Extracting # 1 : cost  0
3.534 * * [simplify]: Extracting # 2 : cost  0
3.534 * * [simplify]: Extracting # 3 : cost  0
3.534 * * [simplify]: Extracting # 4 : cost  0
3.534 * * [simplify]: Extracting # 5 : cost  0
3.534 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
3.672 * * [simplify]: Extracting # 0 : cost  0
3.672 * * [simplify]: Extracting # 1 : cost  0
3.672 * * [simplify]: Extracting # 2 : cost  0
3.672 * * [simplify]: Extracting # 3 : cost  0
3.672 * * [simplify]: Extracting # 4 : cost  0
3.673 * * [simplify]: Extracting # 5 : cost  0
3.673 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
3.680 * * [simplify]: Extracting # 0 : cost  0
3.680 * * [simplify]: Extracting # 1 : cost  0
3.680 * * [simplify]: Extracting # 2 : cost  0
3.680 * * [simplify]: Extracting # 3 : cost  0
3.680 * * [simplify]: Extracting # 4 : cost  0
3.680 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
3.697 * * [simplify]: Extracting # 0 : cost  0
3.697 * * [simplify]: Extracting # 1 : cost  0
3.697 * * [simplify]: Extracting # 2 : cost  0
3.697 * * [simplify]: Extracting # 3 : cost  0
3.698 * * [simplify]: Extracting # 4 : cost  0
3.698 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
3.724 * * [simplify]: Extracting # 0 : cost  0
3.726 * * [simplify]: Extracting # 1 : cost  0
3.726 * * [simplify]: Extracting # 2 : cost  0
3.727 * * [simplify]: Extracting # 3 : cost  0
3.727 * * [simplify]: Extracting # 4 : cost  0
3.727 * * [simplify]: iteration  4 :  91  enodes  (cost  10 )
4.081 * * [simplify]: Extracting # 0 : cost  0
4.082 * * [simplify]: Extracting # 1 : cost  0
4.083 * * [simplify]: Extracting # 2 : cost  0
4.084 * * [simplify]: Extracting # 3 : cost  0
4.084 * * [simplify]: Extracting # 4 : cost  0
4.085 * * [simplify]: iteration  5 :  373  enodes  (cost  10 )
6.937 * * [simplify]: Extracting # 0 : cost  0
6.961 * * [simplify]: Extracting # 1 : cost  0
6.970 * * [simplify]: Extracting # 2 : cost  0
7.007 * * [simplify]: Extracting # 3 : cost  0
7.011 * * [simplify]: Extracting # 4 : cost  0
7.016 * * [simplify]: iteration  6 :  3269  enodes  (cost  10 )
13.781 * * [simplify]: Extracting # 0 : cost  0
13.932 * * [simplify]: Extracting # 1 : cost  0
13.952 * * [simplify]: Extracting # 2 : cost  0
13.959 * * [simplify]: Extracting # 3 : cost  0
13.966 * * [simplify]: Extracting # 4 : cost  0
13.972 * * [simplify]: iteration done:  5001  enodes  (cost  10 )
13.988 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
14.031 * * [progress]: iteration 1 / 4
14.031 * * * [progress]: picking best candidate
14.041 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
14.041 * * * [progress]: localizing error
14.090 * * * [progress]: generating rewritten candidates
14.091 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
14.108 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
14.137 * * * [progress]: generating series expansions
14.138 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
14.186 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
14.186 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
14.187 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
14.216 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.217 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
14.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.226 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.226 * [backup-simplify]: Simplify 0 into 0
14.226 * [backup-simplify]: Simplify 0 into 0
14.227 * [backup-simplify]: Simplify 0 into 0
14.227 * [backup-simplify]: Simplify 0 into 0
14.227 * [backup-simplify]: Simplify 0 into 0
14.227 * [backup-simplify]: Simplify 0 into 0
14.227 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.228 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
14.228 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
14.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.228 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
14.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.229 * [backup-simplify]: Simplify 0 into 0
14.229 * [backup-simplify]: Simplify 0 into 0
14.229 * [backup-simplify]: Simplify 0 into 0
14.229 * [backup-simplify]: Simplify 0 into 0
14.229 * [backup-simplify]: Simplify 0 into 0
14.229 * [backup-simplify]: Simplify 0 into 0
14.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
14.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.238 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
14.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
14.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
14.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.239 * [backup-simplify]: Simplify 0 into 0
14.239 * [backup-simplify]: Simplify 0 into 0
14.239 * [backup-simplify]: Simplify 0 into 0
14.239 * [backup-simplify]: Simplify 0 into 0
14.239 * [backup-simplify]: Simplify 0 into 0
14.240 * [backup-simplify]: Simplify 0 into 0
14.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
14.240 * * * * [progress]: [ 2 / 2 ] generating series at (2)
14.240 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.240 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
14.240 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
14.241 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.241 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
14.241 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.241 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.242 * [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))))
14.242 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
14.242 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
14.242 * [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))))
14.242 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
14.243 * [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))))
14.243 * [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))))
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.244 * [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)))
14.244 * [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))))
14.244 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
14.244 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
14.245 * [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))))
14.245 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
14.245 * [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))))
14.245 * [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))))
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [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)))
14.248 * * * [progress]: simplifying candidates
14.252 * [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))))
  (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)))
14.254 * * [simplify]: Extracting # 0 : cost  0
14.254 * * [simplify]: Extracting # 1 : cost  0
14.255 * * [simplify]: Extracting # 2 : cost  0
14.255 * * [simplify]: Extracting # 3 : cost  0
14.255 * * [simplify]: Extracting # 4 : cost  0
14.255 * * [simplify]: Extracting # 5 : cost  0
14.255 * * [simplify]: Extracting # 6 : cost  0
14.255 * * [simplify]: iteration  0 :  29  enodes  (cost  241 )
14.269 * * [simplify]: Extracting # 0 : cost  0
14.269 * * [simplify]: Extracting # 1 : cost  0
14.269 * * [simplify]: Extracting # 2 : cost  0
14.269 * * [simplify]: Extracting # 3 : cost  0
14.269 * * [simplify]: Extracting # 4 : cost  0
14.270 * * [simplify]: Extracting # 5 : cost  0
14.270 * * [simplify]: iteration  1 :  52  enodes  (cost  241 )
14.399 * * [simplify]: Extracting # 0 : cost  0
14.399 * * [simplify]: Extracting # 1 : cost  0
14.399 * * [simplify]: Extracting # 2 : cost  0
14.399 * * [simplify]: Extracting # 3 : cost  0
14.399 * * [simplify]: iteration  2 :  101  enodes  (cost  209 )
14.431 * * [simplify]: Extracting # 0 : cost  0
14.432 * * [simplify]: Extracting # 1 : cost  0
14.432 * * [simplify]: Extracting # 2 : cost  0
14.432 * * [simplify]: Extracting # 3 : cost  0
14.433 * * [simplify]: Extracting # 4 : cost  0
14.433 * * [simplify]: iteration  3 :  172  enodes  (cost  209 )
14.497 * * [simplify]: Extracting # 0 : cost  0
14.497 * * [simplify]: Extracting # 1 : cost  0
14.497 * * [simplify]: Extracting # 2 : cost  0
14.498 * * [simplify]: Extracting # 3 : cost  0
14.498 * * [simplify]: Extracting # 4 : cost  0
14.498 * * [simplify]: iteration  4 :  301  enodes  (cost  209 )
14.738 * * [simplify]: Extracting # 0 : cost  0
14.739 * * [simplify]: Extracting # 1 : cost  0
14.740 * * [simplify]: Extracting # 2 : cost  0
14.741 * * [simplify]: Extracting # 3 : cost  0
14.742 * * [simplify]: Extracting # 4 : cost  0
14.743 * * [simplify]: iteration  5 :  807  enodes  (cost  209 )
17.764 * * [simplify]: Extracting # 0 : cost  0
17.795 * * [simplify]: Extracting # 1 : cost  0
17.806 * * [simplify]: Extracting # 2 : cost  0
17.818 * * [simplify]: Extracting # 3 : cost  0
17.827 * * [simplify]: Extracting # 4 : cost  0
17.845 * * [simplify]: iteration  6 :  3981  enodes  (cost  209 )
21.505 * * [simplify]: Extracting # 0 : cost  0
21.555 * * [simplify]: Extracting # 1 : cost  0
21.565 * * [simplify]: Extracting # 2 : cost  0
21.573 * * [simplify]: Extracting # 3 : cost  0
21.580 * * [simplify]: iteration done:  5000  enodes  (cost  209 )
21.581 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (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)))
21.581 * * * [progress]: adding candidates to table
21.840 * * [progress]: iteration 2 / 4
21.842 * * * [progress]: picking best candidate
21.925 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
21.925 * * * [progress]: localizing error
21.965 * * * [progress]: generating rewritten candidates
21.965 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
21.965 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
21.978 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
21.981 * * * [progress]: generating series expansions
21.981 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
21.983 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
21.983 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
21.983 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.983 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.983 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.984 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.984 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.984 * [backup-simplify]: Simplify 0 into 0
21.984 * [backup-simplify]: Simplify 0 into 0
21.984 * [backup-simplify]: Simplify 0 into 0
21.984 * [backup-simplify]: Simplify 0 into 0
21.984 * [backup-simplify]: Simplify 0 into 0
21.984 * [backup-simplify]: Simplify 0 into 0
21.984 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.985 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.985 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
21.985 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.985 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.985 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.985 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.986 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.986 * [backup-simplify]: Simplify 0 into 0
21.986 * [backup-simplify]: Simplify 0 into 0
21.986 * [backup-simplify]: Simplify 0 into 0
21.986 * [backup-simplify]: Simplify 0 into 0
21.986 * [backup-simplify]: Simplify 0 into 0
21.986 * [backup-simplify]: Simplify 0 into 0
21.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
21.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.987 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
21.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.988 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.988 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.988 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.989 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.989 * [backup-simplify]: Simplify 0 into 0
21.989 * [backup-simplify]: Simplify 0 into 0
21.989 * [backup-simplify]: Simplify 0 into 0
21.989 * [backup-simplify]: Simplify 0 into 0
21.989 * [backup-simplify]: Simplify 0 into 0
21.989 * [backup-simplify]: Simplify 0 into 0
21.989 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
21.989 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
21.990 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
21.990 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
21.990 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.990 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.990 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.990 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.991 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.992 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.992 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
21.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.993 * [backup-simplify]: Simplify 0 into 0
21.993 * [backup-simplify]: Simplify 0 into 0
21.993 * [backup-simplify]: Simplify 0 into 0
21.993 * [backup-simplify]: Simplify 0 into 0
21.993 * [backup-simplify]: Simplify 0 into 0
21.993 * [backup-simplify]: Simplify 0 into 0
21.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
21.994 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.994 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
21.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.995 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.995 * [backup-simplify]: Simplify 0 into 0
21.995 * [backup-simplify]: Simplify 0 into 0
21.995 * [backup-simplify]: Simplify 0 into 0
21.995 * [backup-simplify]: Simplify 0 into 0
21.995 * [backup-simplify]: Simplify 0 into 0
21.995 * [backup-simplify]: Simplify 0 into 0
21.995 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
21.996 * * * * [progress]: [ 3 / 3 ] generating series at (2)
21.996 * [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)))
21.996 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
21.996 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
21.996 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
21.996 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
21.997 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
21.997 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
21.997 * [backup-simplify]: Simplify 0 into 0
21.997 * [backup-simplify]: Simplify 0 into 0
21.997 * [backup-simplify]: Simplify 0 into 0
21.997 * [backup-simplify]: Simplify 0 into 0
21.997 * [backup-simplify]: Simplify 0 into 0
21.997 * [backup-simplify]: Simplify 0 into 0
21.998 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
21.999 * [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))))
21.999 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
21.999 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
21.999 * [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))))
21.999 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
22.000 * [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))))
22.001 * [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))))
22.001 * [backup-simplify]: Simplify 0 into 0
22.001 * [backup-simplify]: Simplify 0 into 0
22.001 * [backup-simplify]: Simplify 0 into 0
22.001 * [backup-simplify]: Simplify 0 into 0
22.001 * [backup-simplify]: Simplify 0 into 0
22.002 * [backup-simplify]: Simplify 0 into 0
22.002 * [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)))
22.003 * [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))))
22.003 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
22.003 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
22.003 * [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))))
22.003 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
22.004 * [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))))
22.004 * [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))))
22.004 * [backup-simplify]: Simplify 0 into 0
22.005 * [backup-simplify]: Simplify 0 into 0
22.005 * [backup-simplify]: Simplify 0 into 0
22.005 * [backup-simplify]: Simplify 0 into 0
22.005 * [backup-simplify]: Simplify 0 into 0
22.005 * [backup-simplify]: Simplify 0 into 0
22.005 * [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)))
22.006 * * * [progress]: simplifying candidates
22.008 * [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))))
  (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)))
22.010 * * [simplify]: Extracting # 0 : cost  0
22.010 * * [simplify]: Extracting # 1 : cost  0
22.010 * * [simplify]: Extracting # 2 : cost  0
22.010 * * [simplify]: Extracting # 3 : cost  0
22.011 * * [simplify]: Extracting # 4 : cost  0
22.011 * * [simplify]: Extracting # 5 : cost  0
22.011 * * [simplify]: Extracting # 6 : cost  0
22.011 * * [simplify]: Extracting # 7 : cost  0
22.012 * * [simplify]: iteration  0 :  51  enodes  (cost  463 )
22.050 * * [simplify]: Extracting # 0 : cost  0
22.051 * * [simplify]: Extracting # 1 : cost  0
22.051 * * [simplify]: Extracting # 2 : cost  0
22.051 * * [simplify]: Extracting # 3 : cost  0
22.051 * * [simplify]: Extracting # 4 : cost  0
22.051 * * [simplify]: Extracting # 5 : cost  0
22.052 * * [simplify]: Extracting # 6 : cost  0
22.052 * * [simplify]: iteration  1 :  83  enodes  (cost  410 )
22.081 * * [simplify]: Extracting # 0 : cost  0
22.081 * * [simplify]: Extracting # 1 : cost  0
22.082 * * [simplify]: Extracting # 2 : cost  0
22.082 * * [simplify]: Extracting # 3 : cost  0
22.082 * * [simplify]: iteration  2 :  148  enodes  (cost  359 )
22.129 * * [simplify]: Extracting # 0 : cost  0
22.129 * * [simplify]: Extracting # 1 : cost  0
22.130 * * [simplify]: Extracting # 2 : cost  0
22.130 * * [simplify]: Extracting # 3 : cost  0
22.130 * * [simplify]: Extracting # 4 : cost  0
22.131 * * [simplify]: iteration  3 :  235  enodes  (cost  359 )
22.201 * * [simplify]: Extracting # 0 : cost  0
22.201 * * [simplify]: Extracting # 1 : cost  0
22.202 * * [simplify]: Extracting # 2 : cost  0
22.202 * * [simplify]: Extracting # 3 : cost  0
22.203 * * [simplify]: Extracting # 4 : cost  0
22.204 * * [simplify]: iteration  4 :  387  enodes  (cost  359 )
22.488 * * [simplify]: Extracting # 0 : cost  0
22.492 * * [simplify]: Extracting # 1 : cost  0
22.494 * * [simplify]: Extracting # 2 : cost  0
22.495 * * [simplify]: Extracting # 3 : cost  0
22.497 * * [simplify]: Extracting # 4 : cost  0
22.499 * * [simplify]: iteration  5 :  984  enodes  (cost  359 )
26.307 * * [simplify]: Extracting # 0 : cost  0
26.388 * * [simplify]: Extracting # 1 : cost  0
26.411 * * [simplify]: Extracting # 2 : cost  0
26.418 * * [simplify]: Extracting # 3 : cost  0
26.428 * * [simplify]: Extracting # 4 : cost  0
26.455 * * [simplify]: Extracting # 5 : cost  0
26.463 * * [simplify]: iteration  6 :  4616  enodes  (cost  359 )
29.860 * * [simplify]: Extracting # 0 : cost  0
29.876 * * [simplify]: Extracting # 1 : cost  0
29.884 * * [simplify]: Extracting # 2 : cost  0
29.891 * * [simplify]: Extracting # 3 : cost  0
29.898 * * [simplify]: Extracting # 4 : cost  0
29.908 * * [simplify]: iteration done:  5001  enodes  (cost  359 )
29.913 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (fmod (cosh a) (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)))
29.917 * * * [progress]: adding candidates to table
30.297 * * [progress]: iteration 3 / 4
30.297 * * * [progress]: picking best candidate
30.355 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
30.355 * * * [progress]: localizing error
30.401 * * * [progress]: generating rewritten candidates
30.401 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
30.402 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
30.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
30.410 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
30.428 * * * [progress]: generating series expansions
30.428 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
30.432 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
30.433 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
30.433 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.434 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.434 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.435 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.436 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.436 * [backup-simplify]: Simplify 0 into 0
30.436 * [backup-simplify]: Simplify 0 into 0
30.436 * [backup-simplify]: Simplify 0 into 0
30.436 * [backup-simplify]: Simplify 0 into 0
30.436 * [backup-simplify]: Simplify 0 into 0
30.436 * [backup-simplify]: Simplify 0 into 0
30.437 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.438 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
30.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.438 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.439 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.440 * [backup-simplify]: Simplify 0 into 0
30.441 * [backup-simplify]: Simplify 0 into 0
30.441 * [backup-simplify]: Simplify 0 into 0
30.441 * [backup-simplify]: Simplify 0 into 0
30.441 * [backup-simplify]: Simplify 0 into 0
30.441 * [backup-simplify]: Simplify 0 into 0
30.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
30.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.442 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
30.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
30.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
30.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.444 * [backup-simplify]: Simplify 0 into 0
30.444 * [backup-simplify]: Simplify 0 into 0
30.444 * [backup-simplify]: Simplify 0 into 0
30.444 * [backup-simplify]: Simplify 0 into 0
30.444 * [backup-simplify]: Simplify 0 into 0
30.444 * [backup-simplify]: Simplify 0 into 0
30.445 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
30.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
30.445 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
30.445 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
30.445 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.446 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.446 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.446 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.446 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.447 * [backup-simplify]: Simplify 0 into 0
30.447 * [backup-simplify]: Simplify 0 into 0
30.447 * [backup-simplify]: Simplify 0 into 0
30.447 * [backup-simplify]: Simplify 0 into 0
30.447 * [backup-simplify]: Simplify 0 into 0
30.447 * [backup-simplify]: Simplify 0 into 0
30.447 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.448 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
30.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.449 * [backup-simplify]: Simplify 0 into 0
30.449 * [backup-simplify]: Simplify 0 into 0
30.449 * [backup-simplify]: Simplify 0 into 0
30.449 * [backup-simplify]: Simplify 0 into 0
30.449 * [backup-simplify]: Simplify 0 into 0
30.449 * [backup-simplify]: Simplify 0 into 0
30.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
30.450 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.450 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
30.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
30.450 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
30.450 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.451 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.451 * [backup-simplify]: Simplify 0 into 0
30.451 * [backup-simplify]: Simplify 0 into 0
30.451 * [backup-simplify]: Simplify 0 into 0
30.451 * [backup-simplify]: Simplify 0 into 0
30.451 * [backup-simplify]: Simplify 0 into 0
30.451 * [backup-simplify]: Simplify 0 into 0
30.451 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
30.451 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
30.452 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.452 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
30.452 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
30.452 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
30.452 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
30.452 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.452 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.467 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
30.471 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
30.493 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
30.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.495 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.496 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
30.496 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
30.496 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
30.496 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.496 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.496 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
30.496 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
30.498 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
30.498 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.498 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.499 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.511 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
30.511 * [backup-simplify]: Simplify 0 into 0
30.527 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
30.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.534 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
30.535 * [backup-simplify]: Simplify 0 into 0
30.538 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
30.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.550 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
30.550 * [backup-simplify]: Simplify 0 into 0
30.554 * [backup-simplify]: Simplify (* (exp (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
30.557 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.569 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
30.569 * [backup-simplify]: Simplify 0 into 0
30.574 * [backup-simplify]: Simplify (* (exp (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
30.576 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.586 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
30.586 * [backup-simplify]: Simplify 0 into 0
30.593 * [backup-simplify]: Simplify (* (exp (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
30.594 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.616 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
30.616 * [backup-simplify]: Simplify 0 into 0
30.617 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.617 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
30.617 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
30.617 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
30.617 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
30.617 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
30.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.617 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.618 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
30.618 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
30.620 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
30.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.621 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
30.621 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
30.621 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
30.621 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
30.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.621 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.621 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
30.622 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
30.623 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
30.624 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.624 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
30.624 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
30.626 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
30.627 * [backup-simplify]: Simplify 0 into 0
30.629 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
30.631 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.635 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
30.635 * [backup-simplify]: Simplify 0 into 0
30.637 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
30.639 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.643 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
30.643 * [backup-simplify]: Simplify 0 into 0
30.647 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
30.648 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.660 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
30.661 * [backup-simplify]: Simplify 0 into 0
30.664 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
30.666 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.706 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
30.706 * [backup-simplify]: Simplify 0 into 0
30.712 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
30.713 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.728 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
30.728 * [backup-simplify]: Simplify 0 into 0
30.728 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.729 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
30.729 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
30.729 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
30.729 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
30.729 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
30.729 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
30.729 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.730 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
30.730 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
30.731 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
30.732 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.732 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
30.732 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
30.732 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
30.732 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
30.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
30.732 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
30.733 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
30.733 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
30.734 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
30.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.735 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
30.735 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
30.737 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
30.737 * [backup-simplify]: Simplify 0 into 0
30.738 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
30.739 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.741 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
30.741 * [backup-simplify]: Simplify 0 into 0
30.743 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
30.744 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.748 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
30.748 * [backup-simplify]: Simplify 0 into 0
30.751 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
30.752 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.758 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
30.758 * [backup-simplify]: Simplify 0 into 0
30.763 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
30.765 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.780 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
30.780 * [backup-simplify]: Simplify 0 into 0
30.787 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
30.789 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
30.811 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
30.812 * [backup-simplify]: Simplify 0 into 0
30.812 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.812 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
30.813 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.813 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
30.813 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
30.813 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
30.813 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
30.813 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.813 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.813 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
30.814 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
30.815 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
30.816 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.817 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.817 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
30.817 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
30.817 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
30.817 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
30.817 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
30.817 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
30.818 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
30.819 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
30.820 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.820 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.821 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.822 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
30.822 * [backup-simplify]: Simplify 0 into 0
30.825 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
30.826 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.829 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
30.829 * [backup-simplify]: Simplify 0 into 0
30.831 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
30.833 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.838 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
30.838 * [backup-simplify]: Simplify 0 into 0
30.841 * [backup-simplify]: Simplify (* (exp (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
30.843 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.852 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
30.852 * [backup-simplify]: Simplify 0 into 0
30.857 * [backup-simplify]: Simplify (* (exp (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
30.859 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.875 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
30.875 * [backup-simplify]: Simplify 0 into 0
30.883 * [backup-simplify]: Simplify (* (exp (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
30.885 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
30.907 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
30.907 * [backup-simplify]: Simplify 0 into 0
30.908 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
30.908 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
30.908 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
30.908 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
30.908 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
30.908 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
30.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.909 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.909 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
30.910 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
30.984 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
30.987 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
30.988 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
30.988 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
30.988 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
30.988 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
30.988 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
30.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
30.991 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
30.992 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
31.000 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
31.001 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
31.001 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
31.003 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
31.005 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
31.005 * [backup-simplify]: Simplify 0 into 0
31.007 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
31.008 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
31.010 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
31.010 * [backup-simplify]: Simplify 0 into 0
31.012 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
31.014 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
31.018 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
31.019 * [backup-simplify]: Simplify 0 into 0
31.021 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
31.023 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
31.029 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
31.029 * [backup-simplify]: Simplify 0 into 0
31.032 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
31.033 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
31.046 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
31.046 * [backup-simplify]: Simplify 0 into 0
31.052 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
31.053 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
31.068 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
31.068 * [backup-simplify]: Simplify 0 into 0
31.069 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
31.069 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
31.069 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
31.069 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
31.069 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
31.069 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
31.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
31.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
31.070 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
31.070 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
31.071 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
31.072 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.072 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
31.072 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
31.072 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
31.072 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
31.072 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
31.073 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
31.073 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
31.073 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
31.075 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
31.075 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.076 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
31.076 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
31.077 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
31.077 * [backup-simplify]: Simplify 0 into 0
31.079 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
31.080 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.083 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
31.083 * [backup-simplify]: Simplify 0 into 0
31.086 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
31.087 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.092 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
31.092 * [backup-simplify]: Simplify 0 into 0
31.095 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
31.097 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.105 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
31.105 * [backup-simplify]: Simplify 0 into 0
31.108 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
31.109 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.121 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
31.121 * [backup-simplify]: Simplify 0 into 0
31.128 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
31.129 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
31.146 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
31.146 * [backup-simplify]: Simplify 0 into 0
31.147 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
31.157 * * * [progress]: simplifying candidates
31.189 * [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 (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (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))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
31.194 * * [simplify]: Extracting # 0 : cost  0
31.194 * * [simplify]: Extracting # 1 : cost  0
31.194 * * [simplify]: Extracting # 2 : cost  0
31.194 * * [simplify]: Extracting # 3 : cost  0
31.195 * * [simplify]: Extracting # 4 : cost  0
31.195 * * [simplify]: Extracting # 5 : cost  0
31.195 * * [simplify]: Extracting # 6 : cost  0
31.195 * * [simplify]: Extracting # 7 : cost  0
31.195 * * [simplify]: iteration  0 :  49  enodes  (cost  782 )
31.234 * * [simplify]: Extracting # 0 : cost  0
31.234 * * [simplify]: Extracting # 1 : cost  0
31.234 * * [simplify]: Extracting # 2 : cost  0
31.235 * * [simplify]: Extracting # 3 : cost  0
31.235 * * [simplify]: Extracting # 4 : cost  0
31.235 * * [simplify]: Extracting # 5 : cost  0
31.235 * * [simplify]: Extracting # 6 : cost  0
31.235 * * [simplify]: iteration  1 :  72  enodes  (cost  734 )
31.299 * * [simplify]: Extracting # 0 : cost  0
31.299 * * [simplify]: Extracting # 1 : cost  0
31.299 * * [simplify]: Extracting # 2 : cost  0
31.300 * * [simplify]: Extracting # 3 : cost  0
31.300 * * [simplify]: iteration  2 :  114  enodes  (cost  658 )
31.330 * * [simplify]: Extracting # 0 : cost  0
31.330 * * [simplify]: Extracting # 1 : cost  0
31.330 * * [simplify]: Extracting # 2 : cost  0
31.331 * * [simplify]: Extracting # 3 : cost  0
31.331 * * [simplify]: Extracting # 4 : cost  0
31.331 * * [simplify]: iteration  3 :  182  enodes  (cost  658 )
31.375 * * [simplify]: Extracting # 0 : cost  0
31.375 * * [simplify]: Extracting # 1 : cost  0
31.376 * * [simplify]: Extracting # 2 : cost  0
31.376 * * [simplify]: Extracting # 3 : cost  0
31.376 * * [simplify]: Extracting # 4 : cost  0
31.377 * * [simplify]: iteration  4 :  302  enodes  (cost  658 )
31.525 * * [simplify]: Extracting # 0 : cost  0
31.526 * * [simplify]: Extracting # 1 : cost  0
31.527 * * [simplify]: Extracting # 2 : cost  0
31.527 * * [simplify]: Extracting # 3 : cost  0
31.528 * * [simplify]: Extracting # 4 : cost  0
31.528 * * [simplify]: iteration  5 :  671  enodes  (cost  658 )
32.322 * * [simplify]: Extracting # 0 : cost  0
32.334 * * [simplify]: Extracting # 1 : cost  0
32.342 * * [simplify]: Extracting # 2 : cost  0
32.345 * * [simplify]: Extracting # 3 : cost  0
32.348 * * [simplify]: Extracting # 4 : cost  0
32.350 * * [simplify]: iteration  6 :  2140  enodes  (cost  658 )
36.270 * * [simplify]: Extracting # 0 : cost  0
36.399 * * [simplify]: Extracting # 1 : cost  0
36.407 * * [simplify]: Extracting # 2 : cost  0
36.415 * * [simplify]: Extracting # 3 : cost  0
36.423 * * [simplify]: iteration done:  5002  enodes  (cost  658 )
36.424 * [simplify]: Simplified to:
  (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) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (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) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (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))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
36.425 * * * [progress]: adding candidates to table
37.499 * * [progress]: iteration 4 / 4
37.500 * * * [progress]: picking best candidate
37.561 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
37.561 * * * [progress]: localizing error
37.751 * * * [progress]: generating rewritten candidates
37.752 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
37.752 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 1 1 1)
37.753 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1)
37.753 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
37.765 * * * [progress]: generating series expansions
37.766 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
37.767 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
37.767 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
37.767 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.768 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.768 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.768 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.769 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.769 * [backup-simplify]: Simplify 0 into 0
37.769 * [backup-simplify]: Simplify 0 into 0
37.769 * [backup-simplify]: Simplify 0 into 0
37.769 * [backup-simplify]: Simplify 0 into 0
37.769 * [backup-simplify]: Simplify 0 into 0
37.769 * [backup-simplify]: Simplify 0 into 0
37.769 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.769 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
37.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.770 * [backup-simplify]: Simplify 0 into 0
37.770 * [backup-simplify]: Simplify 0 into 0
37.770 * [backup-simplify]: Simplify 0 into 0
37.770 * [backup-simplify]: Simplify 0 into 0
37.770 * [backup-simplify]: Simplify 0 into 0
37.770 * [backup-simplify]: Simplify 0 into 0
37.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
37.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.770 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
37.771 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
37.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.771 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
37.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.771 * [backup-simplify]: Simplify 0 into 0
37.771 * [backup-simplify]: Simplify 0 into 0
37.771 * [backup-simplify]: Simplify 0 into 0
37.771 * [backup-simplify]: Simplify 0 into 0
37.771 * [backup-simplify]: Simplify 0 into 0
37.771 * [backup-simplify]: Simplify 0 into 0
37.772 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
37.772 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 1 1 1)
37.772 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
37.772 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
37.772 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.772 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.772 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.772 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.773 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.773 * [backup-simplify]: Simplify 0 into 0
37.773 * [backup-simplify]: Simplify 0 into 0
37.773 * [backup-simplify]: Simplify 0 into 0
37.773 * [backup-simplify]: Simplify 0 into 0
37.773 * [backup-simplify]: Simplify 0 into 0
37.773 * [backup-simplify]: Simplify 0 into 0
37.773 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.773 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
37.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.774 * [backup-simplify]: Simplify 0 into 0
37.774 * [backup-simplify]: Simplify 0 into 0
37.774 * [backup-simplify]: Simplify 0 into 0
37.774 * [backup-simplify]: Simplify 0 into 0
37.774 * [backup-simplify]: Simplify 0 into 0
37.774 * [backup-simplify]: Simplify 0 into 0
37.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
37.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.774 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
37.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
37.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
37.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.775 * [backup-simplify]: Simplify 0 into 0
37.775 * [backup-simplify]: Simplify 0 into 0
37.775 * [backup-simplify]: Simplify 0 into 0
37.775 * [backup-simplify]: Simplify 0 into 0
37.775 * [backup-simplify]: Simplify 0 into 0
37.775 * [backup-simplify]: Simplify 0 into 0
37.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
37.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1)
37.776 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
37.776 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
37.776 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.776 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.776 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.776 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.776 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.776 * [backup-simplify]: Simplify 0 into 0
37.776 * [backup-simplify]: Simplify 0 into 0
37.776 * [backup-simplify]: Simplify 0 into 0
37.776 * [backup-simplify]: Simplify 0 into 0
37.776 * [backup-simplify]: Simplify 0 into 0
37.776 * [backup-simplify]: Simplify 0 into 0
37.776 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.777 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
37.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.778 * [backup-simplify]: Simplify 0 into 0
37.778 * [backup-simplify]: Simplify 0 into 0
37.778 * [backup-simplify]: Simplify 0 into 0
37.778 * [backup-simplify]: Simplify 0 into 0
37.778 * [backup-simplify]: Simplify 0 into 0
37.778 * [backup-simplify]: Simplify 0 into 0
37.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
37.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.778 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
37.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
37.779 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
37.779 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
37.780 * [backup-simplify]: Simplify 0 into 0
37.780 * [backup-simplify]: Simplify 0 into 0
37.780 * [backup-simplify]: Simplify 0 into 0
37.780 * [backup-simplify]: Simplify 0 into 0
37.780 * [backup-simplify]: Simplify 0 into 0
37.780 * [backup-simplify]: Simplify 0 into 0
37.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
37.780 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
37.780 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
37.780 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
37.780 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
37.780 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
37.780 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
37.780 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.780 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.782 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
37.782 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
37.786 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
37.787 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.787 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
37.787 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
37.787 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
37.787 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
37.787 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
37.787 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
37.788 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
37.788 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
37.789 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
37.790 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.790 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
37.790 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
37.794 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
37.794 * [backup-simplify]: Simplify 0 into 0
37.796 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
37.798 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.804 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
37.804 * [backup-simplify]: Simplify 0 into 0
37.806 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
37.810 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.814 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
37.815 * [backup-simplify]: Simplify 0 into 0
37.819 * [backup-simplify]: Simplify (* (exp (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
37.821 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.832 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
37.832 * [backup-simplify]: Simplify 0 into 0
37.837 * [backup-simplify]: Simplify (* (exp (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
37.838 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.851 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
37.851 * [backup-simplify]: Simplify 0 into 0
37.859 * [backup-simplify]: Simplify (* (exp (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
37.861 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
37.885 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
37.885 * [backup-simplify]: Simplify 0 into 0
37.886 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
37.886 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
37.886 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
37.886 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
37.886 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
37.886 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
37.886 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.887 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
37.887 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
37.889 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
37.890 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
37.891 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
37.891 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
37.891 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
37.891 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
37.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
37.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
37.891 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
37.892 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
37.894 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
37.894 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
37.895 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
37.895 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
37.897 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
37.897 * [backup-simplify]: Simplify 0 into 0
37.899 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
37.901 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
37.908 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
37.908 * [backup-simplify]: Simplify 0 into 0
37.911 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
37.913 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
37.921 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
37.921 * [backup-simplify]: Simplify 0 into 0
37.925 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
37.927 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
38.151 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
38.153 * [backup-simplify]: Simplify 0 into 0
38.157 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
38.159 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
38.171 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
38.171 * [backup-simplify]: Simplify 0 into 0
38.177 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (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
38.179 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
38.199 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
38.199 * [backup-simplify]: Simplify 0 into 0
38.199 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
38.200 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
38.200 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
38.200 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
38.200 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
38.200 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
38.200 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
38.200 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
38.200 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
38.201 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
38.202 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
38.202 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.203 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
38.203 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
38.203 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
38.203 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
38.203 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
38.203 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
38.203 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
38.204 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
38.205 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
38.205 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.206 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
38.206 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
38.208 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
38.208 * [backup-simplify]: Simplify 0 into 0
38.210 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
38.211 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.214 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
38.214 * [backup-simplify]: Simplify 0 into 0
38.216 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
38.218 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.223 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
38.223 * [backup-simplify]: Simplify 0 into 0
38.227 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
38.230 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.244 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
38.244 * [backup-simplify]: Simplify 0 into 0
38.250 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
38.253 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.266 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
38.267 * [backup-simplify]: Simplify 0 into 0
38.273 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (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
38.275 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
38.295 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
38.295 * [backup-simplify]: Simplify 0 into 0
38.296 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
38.298 * * * [progress]: simplifying candidates
38.302 * [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 (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (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))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
38.303 * * [simplify]: Extracting # 0 : cost  0
38.304 * * [simplify]: Extracting # 1 : cost  0
38.304 * * [simplify]: Extracting # 2 : cost  0
38.304 * * [simplify]: Extracting # 3 : cost  0
38.304 * * [simplify]: Extracting # 4 : cost  0
38.304 * * [simplify]: Extracting # 5 : cost  0
38.304 * * [simplify]: Extracting # 6 : cost  0
38.304 * * [simplify]: Extracting # 7 : cost  0
38.305 * * [simplify]: iteration  0 :  49  enodes  (cost  567 )
38.330 * * [simplify]: Extracting # 0 : cost  0
38.331 * * [simplify]: Extracting # 1 : cost  0
38.331 * * [simplify]: Extracting # 2 : cost  0
38.331 * * [simplify]: Extracting # 3 : cost  0
38.331 * * [simplify]: Extracting # 4 : cost  0
38.331 * * [simplify]: Extracting # 5 : cost  0
38.331 * * [simplify]: Extracting # 6 : cost  0
38.332 * * [simplify]: iteration  1 :  72  enodes  (cost  543 )
38.350 * * [simplify]: Extracting # 0 : cost  0
38.350 * * [simplify]: Extracting # 1 : cost  0
38.350 * * [simplify]: Extracting # 2 : cost  0
38.350 * * [simplify]: Extracting # 3 : cost  0
38.351 * * [simplify]: iteration  2 :  114  enodes  (cost  481 )
38.456 * * [simplify]: Extracting # 0 : cost  0
38.456 * * [simplify]: Extracting # 1 : cost  0
38.457 * * [simplify]: Extracting # 2 : cost  0
38.457 * * [simplify]: Extracting # 3 : cost  0
38.457 * * [simplify]: Extracting # 4 : cost  0
38.457 * * [simplify]: iteration  3 :  182  enodes  (cost  481 )
38.525 * * [simplify]: Extracting # 0 : cost  0
38.526 * * [simplify]: Extracting # 1 : cost  0
38.526 * * [simplify]: Extracting # 2 : cost  0
38.527 * * [simplify]: Extracting # 3 : cost  0
38.527 * * [simplify]: Extracting # 4 : cost  0
38.528 * * [simplify]: iteration  4 :  302  enodes  (cost  481 )
38.793 * * [simplify]: Extracting # 0 : cost  0
38.796 * * [simplify]: Extracting # 1 : cost  0
38.797 * * [simplify]: Extracting # 2 : cost  0
38.797 * * [simplify]: Extracting # 3 : cost  0
38.798 * * [simplify]: Extracting # 4 : cost  0
38.798 * * [simplify]: iteration  5 :  671  enodes  (cost  481 )
39.683 * * [simplify]: Extracting # 0 : cost  0
39.697 * * [simplify]: Extracting # 1 : cost  0
39.702 * * [simplify]: Extracting # 2 : cost  0
39.707 * * [simplify]: Extracting # 3 : cost  0
39.711 * * [simplify]: Extracting # 4 : cost  0
39.715 * * [simplify]: iteration  6 :  2140  enodes  (cost  481 )
42.635 * * [simplify]: Extracting # 0 : cost  0
42.806 * * [simplify]: Extracting # 1 : cost  0
42.835 * * [simplify]: Extracting # 2 : cost  0
42.847 * * [simplify]: Extracting # 3 : cost  0
42.860 * * [simplify]: iteration done:  5002  enodes  (cost  481 )
42.861 * [simplify]: Simplified to:
  (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) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (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) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (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) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (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))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
42.862 * * * [progress]: adding candidates to table
43.688 * [progress]: [Phase 3 of 3] Extracting.
43.697 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
43.726 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
43.740 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
44.008 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
44.223 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
44.386 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
44.387 * [simplify]: Simplifying:
  (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))
44.387 * * [simplify]: Extracting # 0 : cost  0
44.388 * * [simplify]: Extracting # 1 : cost  0
44.388 * * [simplify]: Extracting # 2 : cost  0
44.388 * * [simplify]: Extracting # 3 : cost  0
44.388 * * [simplify]: Extracting # 4 : cost  0
44.388 * * [simplify]: Extracting # 5 : cost  0
44.388 * * [simplify]: Extracting # 6 : cost  0
44.388 * * [simplify]: Extracting # 7 : cost  0
44.388 * * [simplify]: Extracting # 8 : cost  0
44.388 * * [simplify]: Extracting # 9 : cost  0
44.388 * * [simplify]: iteration  0 :  11  enodes  (cost  23 )
44.389 * * [simplify]: Extracting # 0 : cost  0
44.389 * * [simplify]: iteration done:  11  enodes  (cost  23 )
44.389 * [simplify]: Simplified to:
  (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))
135.680 * [regime-testing]: Baseline error score: 60.205690672452974
135.688 * [regime-testing]: Oracle error score: 59.72531106330154
135.704 * [regime-testing]: End program error score: 60.205690672452974