1.153 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.360 * * * [progress]: [2/2] Setting up program.
1.365 * [progress]: [Phase 2 of 3] Improving.
1.367 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.368 * * [simplify]: Extracting # 0 : cost  0
1.369 * * [simplify]: Extracting # 1 : cost  0
1.369 * * [simplify]: Extracting # 2 : cost  0
1.369 * * [simplify]: Extracting # 3 : cost  0
1.369 * * [simplify]: Extracting # 4 : cost  0
1.369 * * [simplify]: Extracting # 5 : cost  0
1.369 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.373 * * [simplify]: Extracting # 0 : cost  0
1.373 * * [simplify]: Extracting # 1 : cost  0
1.373 * * [simplify]: Extracting # 2 : cost  0
1.373 * * [simplify]: Extracting # 3 : cost  0
1.373 * * [simplify]: Extracting # 4 : cost  0
1.373 * * [simplify]: Extracting # 5 : cost  0
1.373 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
1.376 * * [simplify]: Extracting # 0 : cost  0
1.376 * * [simplify]: Extracting # 1 : cost  0
1.376 * * [simplify]: Extracting # 2 : cost  0
1.376 * * [simplify]: Extracting # 3 : cost  0
1.376 * * [simplify]: Extracting # 4 : cost  0
1.376 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
1.380 * * [simplify]: Extracting # 0 : cost  0
1.380 * * [simplify]: Extracting # 1 : cost  0
1.380 * * [simplify]: Extracting # 2 : cost  0
1.380 * * [simplify]: Extracting # 3 : cost  0
1.381 * * [simplify]: Extracting # 4 : cost  0
1.381 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
1.396 * * [simplify]: Extracting # 0 : cost  0
1.396 * * [simplify]: Extracting # 1 : cost  0
1.397 * * [simplify]: Extracting # 2 : cost  0
1.397 * * [simplify]: Extracting # 3 : cost  0
1.397 * * [simplify]: Extracting # 4 : cost  0
1.397 * * [simplify]: Extracting # 5 : cost  0
1.397 * * [simplify]: iteration  4 :  89  enodes  (cost  10 )
1.464 * * [simplify]: Extracting # 0 : cost  0
1.464 * * [simplify]: Extracting # 1 : cost  0
1.464 * * [simplify]: Extracting # 2 : cost  0
1.464 * * [simplify]: Extracting # 3 : cost  0
1.465 * * [simplify]: Extracting # 4 : cost  0
1.465 * * [simplify]: iteration  5 :  195  enodes  (cost  10 )
1.617 * * [simplify]: Extracting # 0 : cost  0
1.617 * * [simplify]: Extracting # 1 : cost  0
1.618 * * [simplify]: Extracting # 2 : cost  0
1.618 * * [simplify]: Extracting # 3 : cost  0
1.618 * * [simplify]: Extracting # 4 : cost  0
1.619 * * [simplify]: iteration  6 :  633  enodes  (cost  10 )
3.008 * * [simplify]: Extracting # 0 : cost  0
3.012 * * [simplify]: Extracting # 1 : cost  0
3.015 * * [simplify]: Extracting # 2 : cost  0
3.018 * * [simplify]: Extracting # 3 : cost  0
3.020 * * [simplify]: Extracting # 4 : cost  0
3.027 * * [simplify]: Extracting # 5 : cost  0
3.030 * * [simplify]: iteration  7 :  2582  enodes  (cost  10 )
4.182 * * [simplify]: Extracting # 0 : cost  0
4.187 * * [simplify]: Extracting # 1 : cost  0
4.192 * * [simplify]: Extracting # 2 : cost  0
4.200 * * [simplify]: Extracting # 3 : cost  0
4.209 * * [simplify]: iteration done:  5000  enodes  (cost  10 )
4.209 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.211 * * [progress]: iteration 1 / 4
4.212 * * * [progress]: picking best candidate
4.226 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.226 * * * [progress]: localizing error
4.243 * * * [progress]: generating rewritten candidates
4.243 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.244 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.247 * * * [progress]: generating series expansions
4.247 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.251 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.251 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.252 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.254 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.255 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.256 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.256 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.256 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.257 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.257 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.257 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.257 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.258 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.258 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.258 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.258 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.258 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.259 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.259 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.259 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.259 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.260 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.260 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.261 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.261 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.261 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.262 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.262 * * * [progress]: simplifying candidates
4.263 * [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)))
4.264 * * [simplify]: Extracting # 0 : cost  0
4.264 * * [simplify]: Extracting # 1 : cost  0
4.264 * * [simplify]: Extracting # 2 : cost  0
4.264 * * [simplify]: Extracting # 3 : cost  0
4.264 * * [simplify]: Extracting # 4 : cost  0
4.264 * * [simplify]: Extracting # 5 : cost  0
4.264 * * [simplify]: Extracting # 6 : cost  0
4.264 * * [simplify]: iteration  0 :  29  enodes  (cost  241 )
4.274 * * [simplify]: Extracting # 0 : cost  0
4.274 * * [simplify]: Extracting # 1 : cost  0
4.274 * * [simplify]: Extracting # 2 : cost  0
4.275 * * [simplify]: Extracting # 3 : cost  0
4.275 * * [simplify]: Extracting # 4 : cost  0
4.275 * * [simplify]: Extracting # 5 : cost  0
4.275 * * [simplify]: iteration  1 :  43  enodes  (cost  241 )
4.283 * * [simplify]: Extracting # 0 : cost  0
4.284 * * [simplify]: Extracting # 1 : cost  0
4.284 * * [simplify]: Extracting # 2 : cost  0
4.284 * * [simplify]: Extracting # 3 : cost  0
4.284 * * [simplify]: Extracting # 4 : cost  0
4.284 * * [simplify]: iteration  2 :  61  enodes  (cost  209 )
4.292 * * [simplify]: Extracting # 0 : cost  0
4.292 * * [simplify]: Extracting # 1 : cost  0
4.292 * * [simplify]: Extracting # 2 : cost  0
4.293 * * [simplify]: Extracting # 3 : cost  0
4.293 * * [simplify]: Extracting # 4 : cost  0
4.293 * * [simplify]: iteration  3 :  90  enodes  (cost  209 )
4.307 * * [simplify]: Extracting # 0 : cost  0
4.307 * * [simplify]: Extracting # 1 : cost  0
4.307 * * [simplify]: Extracting # 2 : cost  0
4.307 * * [simplify]: Extracting # 3 : cost  0
4.307 * * [simplify]: Extracting # 4 : cost  0
4.308 * * [simplify]: iteration  4 :  148  enodes  (cost  209 )
4.375 * * [simplify]: Extracting # 0 : cost  0
4.376 * * [simplify]: Extracting # 1 : cost  0
4.376 * * [simplify]: Extracting # 2 : cost  0
4.376 * * [simplify]: Extracting # 3 : cost  0
4.377 * * [simplify]: Extracting # 4 : cost  0
4.377 * * [simplify]: Extracting # 5 : cost  0
4.378 * * [simplify]: iteration  5 :  288  enodes  (cost  209 )
4.583 * * [simplify]: Extracting # 0 : cost  0
4.584 * * [simplify]: Extracting # 1 : cost  0
4.585 * * [simplify]: Extracting # 2 : cost  0
4.586 * * [simplify]: Extracting # 3 : cost  0
4.587 * * [simplify]: Extracting # 4 : cost  0
4.588 * * [simplify]: iteration  6 :  765  enodes  (cost  209 )
6.204 * * [simplify]: Extracting # 0 : cost  0
6.207 * * [simplify]: Extracting # 1 : cost  0
6.208 * * [simplify]: Extracting # 2 : cost  0
6.210 * * [simplify]: Extracting # 3 : cost  0
6.211 * * [simplify]: Extracting # 4 : cost  0
6.213 * * [simplify]: iteration  7 :  2920  enodes  (cost  209 )
7.616 * * [simplify]: Extracting # 0 : cost  0
7.623 * * [simplify]: Extracting # 1 : cost  0
7.631 * * [simplify]: Extracting # 2 : cost  0
7.639 * * [simplify]: Extracting # 3 : cost  0
7.647 * * [simplify]: iteration done:  5000  enodes  (cost  209 )
7.647 * [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)))
7.647 * * * [progress]: adding candidates to table
7.717 * * [progress]: iteration 2 / 4
7.717 * * * [progress]: picking best candidate
7.734 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
7.734 * * * [progress]: localizing error
7.761 * * * [progress]: generating rewritten candidates
7.761 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
7.762 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
7.777 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.780 * * * [progress]: generating series expansions
7.780 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
7.781 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.781 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.781 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.781 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.781 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.781 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.781 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.781 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.782 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.782 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.783 * [backup-simplify]: Simplify 0 into 0
7.783 * [backup-simplify]: Simplify 0 into 0
7.783 * [backup-simplify]: Simplify 0 into 0
7.783 * [backup-simplify]: Simplify 0 into 0
7.783 * [backup-simplify]: Simplify 0 into 0
7.783 * [backup-simplify]: Simplify 0 into 0
7.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.784 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.784 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.785 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
7.785 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.785 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.785 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.786 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.786 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.786 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.786 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.787 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.787 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.787 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.787 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.787 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.787 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.788 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.789 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.789 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.789 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.789 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.790 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.791 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.791 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
7.791 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.791 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.791 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.791 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.792 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.793 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.793 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
7.793 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.793 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.793 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.794 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.794 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.795 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.795 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.795 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
7.796 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.796 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.796 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.797 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.797 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.798 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.798 * * * [progress]: simplifying candidates
7.799 * [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)))
7.801 * * [simplify]: Extracting # 0 : cost  0
7.801 * * [simplify]: Extracting # 1 : cost  0
7.801 * * [simplify]: Extracting # 2 : cost  0
7.801 * * [simplify]: Extracting # 3 : cost  0
7.801 * * [simplify]: Extracting # 4 : cost  0
7.801 * * [simplify]: Extracting # 5 : cost  0
7.801 * * [simplify]: Extracting # 6 : cost  0
7.801 * * [simplify]: Extracting # 7 : cost  0
7.802 * * [simplify]: iteration  0 :  51  enodes  (cost  463 )
7.820 * * [simplify]: Extracting # 0 : cost  0
7.820 * * [simplify]: Extracting # 1 : cost  0
7.821 * * [simplify]: Extracting # 2 : cost  0
7.821 * * [simplify]: Extracting # 3 : cost  0
7.821 * * [simplify]: Extracting # 4 : cost  0
7.821 * * [simplify]: Extracting # 5 : cost  0
7.821 * * [simplify]: Extracting # 6 : cost  0
7.821 * * [simplify]: iteration  1 :  70  enodes  (cost  410 )
7.839 * * [simplify]: Extracting # 0 : cost  0
7.840 * * [simplify]: Extracting # 1 : cost  0
7.840 * * [simplify]: Extracting # 2 : cost  0
7.840 * * [simplify]: Extracting # 3 : cost  0
7.840 * * [simplify]: Extracting # 4 : cost  0
7.840 * * [simplify]: iteration  2 :  92  enodes  (cost  359 )
7.862 * * [simplify]: Extracting # 0 : cost  0
7.863 * * [simplify]: Extracting # 1 : cost  0
7.863 * * [simplify]: Extracting # 2 : cost  0
7.863 * * [simplify]: Extracting # 3 : cost  0
7.863 * * [simplify]: Extracting # 4 : cost  0
7.864 * * [simplify]: Extracting # 5 : cost  0
7.864 * * [simplify]: iteration  3 :  130  enodes  (cost  359 )
7.901 * * [simplify]: Extracting # 0 : cost  0
7.902 * * [simplify]: Extracting # 1 : cost  0
7.902 * * [simplify]: Extracting # 2 : cost  0
7.903 * * [simplify]: Extracting # 3 : cost  0
7.903 * * [simplify]: Extracting # 4 : cost  0
7.903 * * [simplify]: iteration  4 :  211  enodes  (cost  359 )
7.980 * * [simplify]: Extracting # 0 : cost  0
7.981 * * [simplify]: Extracting # 1 : cost  0
7.982 * * [simplify]: Extracting # 2 : cost  0
7.983 * * [simplify]: Extracting # 3 : cost  0
7.983 * * [simplify]: Extracting # 4 : cost  0
7.984 * * [simplify]: iteration  5 :  428  enodes  (cost  359 )
8.283 * * [simplify]: Extracting # 0 : cost  0
8.284 * * [simplify]: Extracting # 1 : cost  0
8.285 * * [simplify]: Extracting # 2 : cost  0
8.286 * * [simplify]: Extracting # 3 : cost  0
8.287 * * [simplify]: Extracting # 4 : cost  0
8.287 * * [simplify]: iteration  6 :  1103  enodes  (cost  359 )
10.111 * * [simplify]: Extracting # 0 : cost  0
10.115 * * [simplify]: Extracting # 1 : cost  0
10.120 * * [simplify]: Extracting # 2 : cost  0
10.125 * * [simplify]: Extracting # 3 : cost  0
10.135 * * [simplify]: Extracting # 4 : cost  0
10.141 * * [simplify]: iteration  7 :  4017  enodes  (cost  359 )
11.870 * * [simplify]: Extracting # 0 : cost  0
11.878 * * [simplify]: Extracting # 1 : cost  0
11.885 * * [simplify]: Extracting # 2 : cost  0
11.889 * * [simplify]: Extracting # 3 : cost  0
11.892 * * [simplify]: iteration done:  5000  enodes  (cost  359 )
11.893 * [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)))
11.893 * * * [progress]: adding candidates to table
12.070 * * [progress]: iteration 3 / 4
12.070 * * * [progress]: picking best candidate
12.087 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
12.088 * * * [progress]: localizing error
12.106 * * * [progress]: generating rewritten candidates
12.106 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
12.106 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
12.107 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
12.112 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
12.120 * * * [progress]: generating series expansions
12.120 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
12.120 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.120 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.120 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.120 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.120 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.120 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.121 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.121 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.121 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.121 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.121 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.122 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.123 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
12.123 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.123 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.123 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.123 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.123 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.123 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.123 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.124 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.124 * [backup-simplify]: Simplify 0 into 0
12.124 * [backup-simplify]: Simplify 0 into 0
12.124 * [backup-simplify]: Simplify 0 into 0
12.124 * [backup-simplify]: Simplify 0 into 0
12.124 * [backup-simplify]: Simplify 0 into 0
12.124 * [backup-simplify]: Simplify 0 into 0
12.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.125 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.125 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.125 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.125 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
12.126 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.126 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
12.126 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.126 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.126 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.126 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.126 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.126 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.126 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.128 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.128 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.128 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.128 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.128 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.128 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.128 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.128 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.128 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.128 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.129 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.129 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.129 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.129 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.130 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
12.130 * [backup-simplify]: Simplify 0 into 0
12.132 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.133 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.135 * [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
12.135 * [backup-simplify]: Simplify 0 into 0
12.137 * [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
12.137 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.140 * [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
12.140 * [backup-simplify]: Simplify 0 into 0
12.142 * [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
12.143 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.147 * [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
12.147 * [backup-simplify]: Simplify 0 into 0
12.152 * [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
12.153 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.177 * [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
12.177 * [backup-simplify]: Simplify 0 into 0
12.184 * [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
12.185 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.202 * [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
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.203 * [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))))))
12.203 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.203 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.203 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.203 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.203 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.203 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.203 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.203 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
12.204 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.204 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.204 * [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))))))
12.204 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.204 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.204 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.204 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.205 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.205 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
12.205 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.206 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.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))))))
12.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))))))
12.207 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.207 * [backup-simplify]: Simplify 0 into 0
12.208 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.208 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.210 * [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
12.210 * [backup-simplify]: Simplify 0 into 0
12.211 * [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
12.212 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.214 * [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
12.214 * [backup-simplify]: Simplify 0 into 0
12.216 * [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
12.216 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.220 * [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
12.220 * [backup-simplify]: Simplify 0 into 0
12.224 * [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
12.225 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.235 * [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
12.236 * [backup-simplify]: Simplify 0 into 0
12.243 * [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
12.244 * [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
12.256 * [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
12.256 * [backup-simplify]: Simplify 0 into 0
12.256 * [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)))))
12.257 * [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))))))
12.257 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.257 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.257 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.257 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.257 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.257 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.257 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
12.258 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.258 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.258 * [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))))))
12.258 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.258 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.258 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.258 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.259 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.259 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
12.259 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.259 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.260 * [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))))))
12.260 * [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))))))
12.261 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.261 * [backup-simplify]: Simplify 0 into 0
12.262 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.262 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.264 * [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
12.264 * [backup-simplify]: Simplify 0 into 0
12.265 * [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
12.265 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.268 * [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
12.268 * [backup-simplify]: Simplify 0 into 0
12.269 * [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
12.270 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.274 * [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
12.274 * [backup-simplify]: Simplify 0 into 0
12.276 * [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
12.277 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.284 * [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
12.284 * [backup-simplify]: Simplify 0 into 0
12.288 * [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
12.289 * [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
12.305 * [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
12.305 * [backup-simplify]: Simplify 0 into 0
12.305 * [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)))))
12.305 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
12.305 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.305 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
12.305 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.305 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.305 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.305 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.306 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.306 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.306 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.307 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.307 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.308 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.308 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.308 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.308 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.308 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.308 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.308 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.308 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.309 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.310 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.310 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.312 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
12.312 * [backup-simplify]: Simplify 0 into 0
12.314 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.315 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.317 * [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
12.317 * [backup-simplify]: Simplify 0 into 0
12.319 * [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
12.320 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.324 * [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
12.324 * [backup-simplify]: Simplify 0 into 0
12.327 * [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
12.328 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.335 * [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
12.335 * [backup-simplify]: Simplify 0 into 0
12.339 * [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
12.340 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.348 * [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
12.348 * [backup-simplify]: Simplify 0 into 0
12.352 * [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
12.353 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.362 * [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
12.362 * [backup-simplify]: Simplify 0 into 0
12.362 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.362 * [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))))))
12.362 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.362 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.362 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.362 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.362 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.363 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.363 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.363 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
12.364 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.364 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.364 * [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))))))
12.364 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.364 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.364 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.364 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.364 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.364 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.364 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
12.365 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.365 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.365 * [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))))))
12.366 * [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))))))
12.366 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.366 * [backup-simplify]: Simplify 0 into 0
12.367 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.368 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.369 * [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
12.369 * [backup-simplify]: Simplify 0 into 0
12.370 * [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
12.371 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.373 * [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
12.373 * [backup-simplify]: Simplify 0 into 0
12.375 * [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
12.376 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.382 * [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
12.382 * [backup-simplify]: Simplify 0 into 0
12.387 * [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
12.388 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.399 * [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
12.399 * [backup-simplify]: Simplify 0 into 0
12.406 * [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
12.408 * [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
12.423 * [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
12.423 * [backup-simplify]: Simplify 0 into 0
12.423 * [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)))))
12.424 * [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))))))
12.424 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.424 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.424 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.424 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.424 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.424 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.425 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
12.426 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.426 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.427 * [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))))))
12.427 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.427 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.427 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.427 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.427 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.427 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.428 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
12.429 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.429 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.430 * [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))))))
12.430 * [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))))))
12.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.433 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.434 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.436 * [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
12.436 * [backup-simplify]: Simplify 0 into 0
12.438 * [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
12.439 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.443 * [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
12.443 * [backup-simplify]: Simplify 0 into 0
12.446 * [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
12.447 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.460 * [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
12.460 * [backup-simplify]: Simplify 0 into 0
12.463 * [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
12.464 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.469 * [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
12.469 * [backup-simplify]: Simplify 0 into 0
12.473 * [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
12.474 * [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
12.482 * [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
12.483 * [backup-simplify]: Simplify 0 into 0
12.483 * [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)))))
12.483 * * * [progress]: simplifying candidates
12.484 * [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)))))
12.485 * * [simplify]: Extracting # 0 : cost  0
12.485 * * [simplify]: Extracting # 1 : cost  0
12.485 * * [simplify]: Extracting # 2 : cost  0
12.485 * * [simplify]: Extracting # 3 : cost  0
12.485 * * [simplify]: Extracting # 4 : cost  0
12.485 * * [simplify]: Extracting # 5 : cost  0
12.485 * * [simplify]: Extracting # 6 : cost  0
12.485 * * [simplify]: Extracting # 7 : cost  0
12.485 * * [simplify]: iteration  0 :  49  enodes  (cost  782 )
12.503 * * [simplify]: Extracting # 0 : cost  0
12.504 * * [simplify]: Extracting # 1 : cost  0
12.504 * * [simplify]: Extracting # 2 : cost  0
12.504 * * [simplify]: Extracting # 3 : cost  0
12.504 * * [simplify]: Extracting # 4 : cost  0
12.504 * * [simplify]: Extracting # 5 : cost  0
12.504 * * [simplify]: Extracting # 6 : cost  0
12.504 * * [simplify]: iteration  1 :  66  enodes  (cost  734 )
12.516 * * [simplify]: Extracting # 0 : cost  0
12.516 * * [simplify]: Extracting # 1 : cost  0
12.516 * * [simplify]: Extracting # 2 : cost  0
12.516 * * [simplify]: Extracting # 3 : cost  0
12.516 * * [simplify]: iteration  2 :  83  enodes  (cost  658 )
12.525 * * [simplify]: Extracting # 0 : cost  0
12.525 * * [simplify]: Extracting # 1 : cost  0
12.525 * * [simplify]: Extracting # 2 : cost  0
12.525 * * [simplify]: Extracting # 3 : cost  0
12.525 * * [simplify]: Extracting # 4 : cost  0
12.525 * * [simplify]: iteration  3 :  103  enodes  (cost  658 )
12.538 * * [simplify]: Extracting # 0 : cost  0
12.538 * * [simplify]: Extracting # 1 : cost  0
12.538 * * [simplify]: Extracting # 2 : cost  0
12.538 * * [simplify]: Extracting # 3 : cost  0
12.538 * * [simplify]: Extracting # 4 : cost  0
12.539 * * [simplify]: iteration  4 :  143  enodes  (cost  658 )
12.575 * * [simplify]: Extracting # 0 : cost  0
12.575 * * [simplify]: Extracting # 1 : cost  0
12.576 * * [simplify]: Extracting # 2 : cost  0
12.576 * * [simplify]: Extracting # 3 : cost  0
12.576 * * [simplify]: Extracting # 4 : cost  0
12.577 * * [simplify]: iteration  5 :  252  enodes  (cost  658 )
12.730 * * [simplify]: Extracting # 0 : cost  0
12.731 * * [simplify]: Extracting # 1 : cost  0
12.732 * * [simplify]: Extracting # 2 : cost  0
12.733 * * [simplify]: Extracting # 3 : cost  0
12.734 * * [simplify]: Extracting # 4 : cost  0
12.734 * * [simplify]: Extracting # 5 : cost  0
12.735 * * [simplify]: iteration  6 :  533  enodes  (cost  658 )
13.547 * * [simplify]: Extracting # 0 : cost  0
13.550 * * [simplify]: Extracting # 1 : cost  0
13.552 * * [simplify]: Extracting # 2 : cost  0
13.554 * * [simplify]: Extracting # 3 : cost  0
13.557 * * [simplify]: Extracting # 4 : cost  0
13.559 * * [simplify]: Extracting # 5 : cost  0
13.561 * * [simplify]: iteration  7 :  1583  enodes  (cost  658 )
14.724 * * [simplify]: Extracting # 0 : cost  0
14.734 * * [simplify]: Extracting # 1 : cost  0
14.744 * * [simplify]: Extracting # 2 : cost  0
14.753 * * [simplify]: Extracting # 3 : cost  0
14.762 * * [simplify]: Extracting # 4 : cost  0
14.772 * * [simplify]: iteration done:  5001  enodes  (cost  658 )
14.773 * [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)))))
14.773 * * * [progress]: adding candidates to table
15.143 * * [progress]: iteration 4 / 4
15.143 * * * [progress]: picking best candidate
15.186 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (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)))))))) (log1p a))))>
15.186 * * * [progress]: localizing error
15.214 * * * [progress]: generating rewritten candidates
15.214 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
15.215 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1)
15.215 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1)
15.215 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
15.222 * * * [progress]: generating series expansions
15.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
15.222 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.222 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.222 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.222 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.222 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.222 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.222 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.222 * [backup-simplify]: Simplify 0 into 0
15.222 * [backup-simplify]: Simplify 0 into 0
15.222 * [backup-simplify]: Simplify 0 into 0
15.222 * [backup-simplify]: Simplify 0 into 0
15.222 * [backup-simplify]: Simplify 0 into 0
15.222 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.223 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.224 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.224 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.224 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.224 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.224 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.224 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.224 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.225 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1 1)
15.225 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.225 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.225 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.225 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.225 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.225 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.225 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.226 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.226 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.226 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.227 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.227 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.227 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.227 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.227 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1)
15.227 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.227 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.227 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.228 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.228 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.228 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.228 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.228 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.228 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.228 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.229 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.230 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
15.230 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) into (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4))
15.230 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in (a) around 0
15.230 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in a
15.230 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/4) in a
15.230 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh a) (pow a 2)))))) in a
15.230 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh a) (pow a 2))))) in a
15.230 * [taylor]: Taking taylor expansion of 1/4 in a
15.230 * [backup-simplify]: Simplify 1/4 into 1/4
15.230 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a
15.230 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
15.230 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.231 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.231 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
15.231 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2))
15.231 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.231 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh a) (pow a 2)))) into (exp (* 1/4 (fmod (cosh a) (pow a 2))))
15.231 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh a) (pow a 2))))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.231 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in a
15.231 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/4) in a
15.232 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh a) (pow a 2)))))) in a
15.232 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh a) (pow a 2))))) in a
15.232 * [taylor]: Taking taylor expansion of 1/4 in a
15.232 * [backup-simplify]: Simplify 1/4 into 1/4
15.232 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a
15.232 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
15.232 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.232 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.232 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
15.232 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2))
15.232 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.232 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh a) (pow a 2)))) into (exp (* 1/4 (fmod (cosh a) (pow a 2))))
15.232 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh a) (pow a 2))))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.232 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.233 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
15.234 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 1) into 0
15.234 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0
15.235 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
15.236 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
15.236 * [backup-simplify]: Simplify 0 into 0
15.237 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.238 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 2) into 0
15.239 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0
15.240 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.241 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
15.241 * [backup-simplify]: Simplify 0 into 0
15.243 * [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
15.247 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 6) into 0
15.249 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0
15.251 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.255 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.258 * [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
15.265 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 24) into 0
15.280 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0
15.282 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.289 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
15.289 * [backup-simplify]: Simplify 0 into 0
15.292 * [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
15.301 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh a) (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 120) into 0
15.303 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0
15.306 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.315 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
15.315 * [backup-simplify]: Simplify 0 into 0
15.321 * [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
15.334 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh a) (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 720) into 0
15.336 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0
15.342 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.355 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
15.355 * [backup-simplify]: Simplify 0 into 0
15.356 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.356 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4))
15.356 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in (a) around 0
15.356 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in a
15.356 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4) in a
15.356 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
15.356 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
15.356 * [taylor]: Taking taylor expansion of 1/4 in a
15.356 * [backup-simplify]: Simplify 1/4 into 1/4
15.356 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
15.356 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
15.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.357 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.357 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.357 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.357 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
15.358 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.358 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in a
15.358 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4) in a
15.358 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
15.358 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
15.358 * [taylor]: Taking taylor expansion of 1/4 in a
15.358 * [backup-simplify]: Simplify 1/4 into 1/4
15.358 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
15.358 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
15.358 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.358 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.358 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.359 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.359 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.359 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
15.360 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.360 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.361 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
15.362 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0
15.363 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0
15.364 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
15.365 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
15.365 * [backup-simplify]: Simplify 0 into 0
15.366 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.368 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 2) into 0
15.369 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
15.370 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.373 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
15.373 * [backup-simplify]: Simplify 0 into 0
15.374 * [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
15.378 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 6) into 0
15.379 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
15.381 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.384 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
15.384 * [backup-simplify]: Simplify 0 into 0
15.387 * [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
15.393 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 24) into 0
15.394 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
15.397 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.403 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.408 * [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
15.416 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 120) into 0
15.417 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
15.419 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.431 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
15.431 * [backup-simplify]: Simplify 0 into 0
15.434 * [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
15.443 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 720) into 0
15.445 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
15.448 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.458 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
15.458 * [backup-simplify]: Simplify 0 into 0
15.458 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.458 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4))
15.458 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in (a) around 0
15.458 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in a
15.458 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4) in a
15.458 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
15.458 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
15.458 * [taylor]: Taking taylor expansion of 1/4 in a
15.458 * [backup-simplify]: Simplify 1/4 into 1/4
15.458 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
15.458 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
15.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.459 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.459 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.459 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.459 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.459 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
15.459 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.459 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in a
15.459 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4) in a
15.459 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
15.459 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
15.459 * [taylor]: Taking taylor expansion of 1/4 in a
15.460 * [backup-simplify]: Simplify 1/4 into 1/4
15.460 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
15.460 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
15.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.460 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.460 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.460 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.460 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.460 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
15.461 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.461 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.462 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
15.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0
15.463 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0
15.463 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
15.464 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
15.464 * [backup-simplify]: Simplify 0 into 0
15.465 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.466 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 2) into 0
15.467 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
15.468 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.469 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
15.469 * [backup-simplify]: Simplify 0 into 0
15.471 * [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
15.473 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 6) into 0
15.474 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
15.475 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.477 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
15.477 * [backup-simplify]: Simplify 0 into 0
15.479 * [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
15.482 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 24) into 0
15.484 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
15.485 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.489 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
15.489 * [backup-simplify]: Simplify 0 into 0
15.492 * [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
15.500 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 120) into 0
15.503 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
15.507 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.517 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
15.517 * [backup-simplify]: Simplify 0 into 0
15.523 * [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
15.540 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 720) into 0
15.551 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
15.555 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
15.564 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
15.564 * [backup-simplify]: Simplify 0 into 0
15.564 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (* 1/4 (fmod (cosh a) (pow a 2)))
15.564 * * * [progress]: simplifying candidates
15.565 * [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 (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt 1)))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt 1))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log 1)
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a)))))))
  (exp (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (* (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (cbrt (log (sqrt (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 (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (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))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
15.566 * * [simplify]: Extracting # 0 : cost  0
15.566 * * [simplify]: Extracting # 1 : cost  0
15.566 * * [simplify]: Extracting # 2 : cost  0
15.566 * * [simplify]: Extracting # 3 : cost  0
15.567 * * [simplify]: Extracting # 4 : cost  0
15.567 * * [simplify]: Extracting # 5 : cost  0
15.567 * * [simplify]: Extracting # 6 : cost  0
15.567 * * [simplify]: Extracting # 7 : cost  0
15.567 * * [simplify]: iteration  0 :  60  enodes  (cost  672 )
15.578 * * [simplify]: Extracting # 0 : cost  0
15.578 * * [simplify]: Extracting # 1 : cost  0
15.578 * * [simplify]: Extracting # 2 : cost  0
15.578 * * [simplify]: Extracting # 3 : cost  0
15.578 * * [simplify]: Extracting # 4 : cost  0
15.578 * * [simplify]: Extracting # 5 : cost  0
15.578 * * [simplify]: Extracting # 6 : cost  0
15.578 * * [simplify]: iteration  1 :  79  enodes  (cost  635 )
15.587 * * [simplify]: Extracting # 0 : cost  0
15.587 * * [simplify]: Extracting # 1 : cost  0
15.587 * * [simplify]: Extracting # 2 : cost  0
15.588 * * [simplify]: Extracting # 3 : cost  0
15.588 * * [simplify]: Extracting # 4 : cost  0
15.588 * * [simplify]: iteration  2 :  96  enodes  (cost  570 )
15.607 * * [simplify]: Extracting # 0 : cost  0
15.607 * * [simplify]: Extracting # 1 : cost  0
15.608 * * [simplify]: Extracting # 2 : cost  0
15.608 * * [simplify]: Extracting # 3 : cost  0
15.608 * * [simplify]: Extracting # 4 : cost  0
15.608 * * [simplify]: iteration  3 :  115  enodes  (cost  570 )
15.635 * * [simplify]: Extracting # 0 : cost  0
15.636 * * [simplify]: Extracting # 1 : cost  0
15.636 * * [simplify]: Extracting # 2 : cost  0
15.636 * * [simplify]: Extracting # 3 : cost  0
15.636 * * [simplify]: Extracting # 4 : cost  0
15.637 * * [simplify]: iteration  4 :  155  enodes  (cost  570 )
15.691 * * [simplify]: Extracting # 0 : cost  0
15.691 * * [simplify]: Extracting # 1 : cost  0
15.692 * * [simplify]: Extracting # 2 : cost  0
15.692 * * [simplify]: Extracting # 3 : cost  0
15.692 * * [simplify]: Extracting # 4 : cost  0
15.693 * * [simplify]: iteration  5 :  264  enodes  (cost  570 )
15.816 * * [simplify]: Extracting # 0 : cost  0
15.817 * * [simplify]: Extracting # 1 : cost  0
15.818 * * [simplify]: Extracting # 2 : cost  0
15.819 * * [simplify]: Extracting # 3 : cost  0
15.820 * * [simplify]: Extracting # 4 : cost  0
15.820 * * [simplify]: iteration  6 :  549  enodes  (cost  570 )
16.285 * * [simplify]: Extracting # 0 : cost  0
16.287 * * [simplify]: Extracting # 1 : cost  0
16.288 * * [simplify]: Extracting # 2 : cost  0
16.290 * * [simplify]: Extracting # 3 : cost  0
16.291 * * [simplify]: Extracting # 4 : cost  0
16.292 * * [simplify]: Extracting # 5 : cost  0
16.293 * * [simplify]: iteration  7 :  1582  enodes  (cost  570 )
17.548 * * [simplify]: Extracting # 0 : cost  0
17.559 * * [simplify]: Extracting # 1 : cost  0
17.570 * * [simplify]: Extracting # 2 : cost  0
17.580 * * [simplify]: Extracting # 3 : cost  0
17.593 * * [simplify]: Extracting # 4 : cost  0
17.598 * * [simplify]: iteration done:  5000  enodes  (cost  570 )
17.598 * [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 (sqrt (exp (fmod (cosh a) (* a a))))))))
  (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (fabs (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (fabs (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (pow (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 3)
  (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (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))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
17.599 * * * [progress]: adding candidates to table
18.024 * [progress]: [Phase 3 of 3] Extracting.
18.024 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))> #<alt (λ (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))))))> #<alt (λ (a) (acos (pow (+ (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)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (* 1/4 (fmod (cosh a) (pow a 2))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* (/ (cbrt (fmod (cosh a) (* a a))) 2) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
18.031 * * * [regime-changes]: Trying 1 branch expressions: (a)
18.031 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))> #<alt (λ (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))))))> #<alt (λ (a) (acos (pow (+ (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)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (* 1/4 (fmod (cosh a) (pow a 2))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* (/ (cbrt (fmod (cosh a) (* a a))) 2) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
18.096 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
18.097 * [simplify]: Simplifying:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
18.097 * * [simplify]: Extracting # 0 : cost  0
18.097 * * [simplify]: Extracting # 1 : cost  0
18.097 * * [simplify]: Extracting # 2 : cost  0
18.097 * * [simplify]: Extracting # 3 : cost  0
18.097 * * [simplify]: Extracting # 4 : cost  0
18.097 * * [simplify]: Extracting # 5 : cost  0
18.097 * * [simplify]: Extracting # 6 : cost  0
18.097 * * [simplify]: Extracting # 7 : cost  0
18.097 * * [simplify]: iteration  0 :  9  enodes  (cost  12 )
18.098 * * [simplify]: Extracting # 0 : cost  0
18.098 * * [simplify]: iteration done:  9  enodes  (cost  12 )
18.098 * [simplify]: Simplified to:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
53.754 * [regime-testing]: Baseline error score: 60.28470379560967
53.757 * [regime-testing]: Oracle error score: 59.88659415465842
53.762 * [regime-testing]: End program error score: 60.28470379560967