0.884 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.953 * * * [progress]: [2/2] Setting up program.
1.961 * [progress]: [Phase 2 of 3] Improving.
1.969 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.970 * * [simplify]: Extracting # 0 : cost  0
1.970 * * [simplify]: Extracting # 1 : cost  0
1.971 * * [simplify]: Extracting # 2 : cost  0
1.971 * * [simplify]: Extracting # 3 : cost  0
1.971 * * [simplify]: Extracting # 4 : cost  0
1.971 * * [simplify]: Extracting # 5 : cost  0
1.971 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.978 * * [simplify]: Extracting # 0 : cost  0
1.978 * * [simplify]: Extracting # 1 : cost  0
1.978 * * [simplify]: Extracting # 2 : cost  0
1.978 * * [simplify]: Extracting # 3 : cost  0
1.978 * * [simplify]: Extracting # 4 : cost  0
1.978 * * [simplify]: Extracting # 5 : cost  0
1.978 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
1.983 * * [simplify]: Extracting # 0 : cost  0
1.983 * * [simplify]: Extracting # 1 : cost  0
1.983 * * [simplify]: Extracting # 2 : cost  0
1.983 * * [simplify]: Extracting # 3 : cost  0
1.983 * * [simplify]: Extracting # 4 : cost  0
1.984 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
1.992 * * [simplify]: Extracting # 0 : cost  0
1.992 * * [simplify]: Extracting # 1 : cost  0
1.992 * * [simplify]: Extracting # 2 : cost  0
1.992 * * [simplify]: Extracting # 3 : cost  0
1.992 * * [simplify]: Extracting # 4 : cost  0
1.993 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
2.009 * * [simplify]: Extracting # 0 : cost  0
2.009 * * [simplify]: Extracting # 1 : cost  0
2.010 * * [simplify]: Extracting # 2 : cost  0
2.010 * * [simplify]: Extracting # 3 : cost  0
2.010 * * [simplify]: Extracting # 4 : cost  0
2.010 * * [simplify]: iteration  4 :  91  enodes  (cost  10 )
2.080 * * [simplify]: Extracting # 0 : cost  0
2.081 * * [simplify]: Extracting # 1 : cost  0
2.081 * * [simplify]: Extracting # 2 : cost  0
2.082 * * [simplify]: Extracting # 3 : cost  0
2.083 * * [simplify]: Extracting # 4 : cost  0
2.084 * * [simplify]: iteration  5 :  373  enodes  (cost  10 )
3.182 * * [simplify]: Extracting # 0 : cost  0
3.188 * * [simplify]: Extracting # 1 : cost  0
3.190 * * [simplify]: Extracting # 2 : cost  0
3.192 * * [simplify]: Extracting # 3 : cost  0
3.194 * * [simplify]: Extracting # 4 : cost  0
3.196 * * [simplify]: iteration  6 :  3269  enodes  (cost  10 )
6.027 * * [simplify]: Extracting # 0 : cost  0
6.110 * * [simplify]: Extracting # 1 : cost  0
6.116 * * [simplify]: Extracting # 2 : cost  0
6.120 * * [simplify]: Extracting # 3 : cost  0
6.123 * * [simplify]: Extracting # 4 : cost  0
6.126 * * [simplify]: iteration done:  5001  enodes  (cost  10 )
6.126 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
6.128 * * [progress]: iteration 1 / 4
6.128 * * * [progress]: picking best candidate
6.131 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
6.131 * * * [progress]: localizing error
6.145 * * * [progress]: generating rewritten candidates
6.145 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
6.146 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.149 * * * [progress]: generating series expansions
6.150 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
6.156 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
6.156 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
6.158 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.161 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.161 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.161 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.162 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.163 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
6.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.164 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
6.165 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.165 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
6.165 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.166 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.166 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.166 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.166 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.166 * [backup-simplify]: Simplify 0 into 0
6.166 * [backup-simplify]: Simplify 0 into 0
6.166 * [backup-simplify]: Simplify 0 into 0
6.166 * [backup-simplify]: Simplify 0 into 0
6.166 * [backup-simplify]: Simplify 0 into 0
6.166 * [backup-simplify]: Simplify 0 into 0
6.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
6.167 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.167 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.167 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
6.167 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
6.167 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.168 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
6.168 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.168 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 0 into 0
6.169 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.169 * [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))))
6.169 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
6.169 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
6.170 * [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))))
6.170 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
6.170 * [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))))
6.170 * [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))))
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [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)))
6.172 * [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))))
6.172 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
6.172 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
6.172 * [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))))
6.172 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
6.172 * [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))))
6.173 * [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))))
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.174 * [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)))
6.174 * * * [progress]: simplifying candidates
6.175 * [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)))
6.176 * * [simplify]: Extracting # 0 : cost  0
6.176 * * [simplify]: Extracting # 1 : cost  0
6.176 * * [simplify]: Extracting # 2 : cost  0
6.176 * * [simplify]: Extracting # 3 : cost  0
6.176 * * [simplify]: Extracting # 4 : cost  0
6.176 * * [simplify]: Extracting # 5 : cost  0
6.176 * * [simplify]: Extracting # 6 : cost  0
6.176 * * [simplify]: iteration  0 :  29  enodes  (cost  241 )
6.186 * * [simplify]: Extracting # 0 : cost  0
6.186 * * [simplify]: Extracting # 1 : cost  0
6.187 * * [simplify]: Extracting # 2 : cost  0
6.187 * * [simplify]: Extracting # 3 : cost  0
6.187 * * [simplify]: Extracting # 4 : cost  0
6.187 * * [simplify]: Extracting # 5 : cost  0
6.187 * * [simplify]: iteration  1 :  52  enodes  (cost  241 )
6.206 * * [simplify]: Extracting # 0 : cost  0
6.206 * * [simplify]: Extracting # 1 : cost  0
6.206 * * [simplify]: Extracting # 2 : cost  0
6.207 * * [simplify]: Extracting # 3 : cost  0
6.207 * * [simplify]: iteration  2 :  101  enodes  (cost  209 )
6.235 * * [simplify]: Extracting # 0 : cost  0
6.235 * * [simplify]: Extracting # 1 : cost  0
6.235 * * [simplify]: Extracting # 2 : cost  0
6.235 * * [simplify]: Extracting # 3 : cost  0
6.235 * * [simplify]: Extracting # 4 : cost  0
6.236 * * [simplify]: iteration  3 :  172  enodes  (cost  209 )
6.279 * * [simplify]: Extracting # 0 : cost  0
6.279 * * [simplify]: Extracting # 1 : cost  0
6.280 * * [simplify]: Extracting # 2 : cost  0
6.280 * * [simplify]: Extracting # 3 : cost  0
6.280 * * [simplify]: Extracting # 4 : cost  0
6.280 * * [simplify]: iteration  4 :  301  enodes  (cost  209 )
6.376 * * [simplify]: Extracting # 0 : cost  0
6.377 * * [simplify]: Extracting # 1 : cost  0
6.377 * * [simplify]: Extracting # 2 : cost  0
6.378 * * [simplify]: Extracting # 3 : cost  0
6.378 * * [simplify]: Extracting # 4 : cost  0
6.379 * * [simplify]: iteration  5 :  807  enodes  (cost  209 )
7.399 * * [simplify]: Extracting # 0 : cost  0
7.405 * * [simplify]: Extracting # 1 : cost  0
7.410 * * [simplify]: Extracting # 2 : cost  0
7.414 * * [simplify]: Extracting # 3 : cost  0
7.421 * * [simplify]: Extracting # 4 : cost  0
7.423 * * [simplify]: iteration  6 :  3981  enodes  (cost  209 )
9.104 * * [simplify]: Extracting # 0 : cost  0
9.135 * * [simplify]: Extracting # 1 : cost  0
9.142 * * [simplify]: Extracting # 2 : cost  0
9.148 * * [simplify]: Extracting # 3 : cost  0
9.154 * * [simplify]: iteration done:  5000  enodes  (cost  209 )
9.155 * [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)))
9.155 * * * [progress]: adding candidates to table
9.254 * * [progress]: iteration 2 / 4
9.254 * * * [progress]: picking best candidate
9.267 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
9.268 * * * [progress]: localizing error
9.284 * * * [progress]: generating rewritten candidates
9.284 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
9.284 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
9.291 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
9.294 * * * [progress]: generating series expansions
9.294 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
9.295 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.295 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.295 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.295 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.295 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.295 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.295 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.295 * [backup-simplify]: Simplify 0 into 0
9.295 * [backup-simplify]: Simplify 0 into 0
9.295 * [backup-simplify]: Simplify 0 into 0
9.295 * [backup-simplify]: Simplify 0 into 0
9.296 * [backup-simplify]: Simplify 0 into 0
9.296 * [backup-simplify]: Simplify 0 into 0
9.296 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.296 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.298 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.298 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.298 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.298 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.298 * [backup-simplify]: Simplify 0 into 0
9.298 * [backup-simplify]: Simplify 0 into 0
9.298 * [backup-simplify]: Simplify 0 into 0
9.299 * [backup-simplify]: Simplify 0 into 0
9.299 * [backup-simplify]: Simplify 0 into 0
9.299 * [backup-simplify]: Simplify 0 into 0
9.299 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.299 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
9.299 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
9.299 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.299 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.299 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.299 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.300 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.300 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.301 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.301 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.301 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.301 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.301 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.301 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.302 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.302 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.302 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.303 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.303 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.303 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.303 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify 0 into 0
9.304 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.304 * * * * [progress]: [ 3 / 3 ] generating series at (2)
9.304 * [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)))
9.304 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
9.304 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.304 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.304 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.305 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.305 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.305 * [backup-simplify]: Simplify 0 into 0
9.305 * [backup-simplify]: Simplify 0 into 0
9.305 * [backup-simplify]: Simplify 0 into 0
9.305 * [backup-simplify]: Simplify 0 into 0
9.305 * [backup-simplify]: Simplify 0 into 0
9.305 * [backup-simplify]: Simplify 0 into 0
9.306 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.306 * [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))))
9.306 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
9.306 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.306 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
9.306 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.307 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
9.307 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.308 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.308 * [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))))
9.308 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
9.308 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.309 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
9.309 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.309 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
9.310 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
9.310 * [backup-simplify]: Simplify 0 into 0
9.310 * [backup-simplify]: Simplify 0 into 0
9.310 * [backup-simplify]: Simplify 0 into 0
9.310 * [backup-simplify]: Simplify 0 into 0
9.310 * [backup-simplify]: Simplify 0 into 0
9.310 * [backup-simplify]: Simplify 0 into 0
9.311 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.311 * * * [progress]: simplifying candidates
9.312 * [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)))
9.313 * * [simplify]: Extracting # 0 : cost  0
9.313 * * [simplify]: Extracting # 1 : cost  0
9.313 * * [simplify]: Extracting # 2 : cost  0
9.313 * * [simplify]: Extracting # 3 : cost  0
9.313 * * [simplify]: Extracting # 4 : cost  0
9.313 * * [simplify]: Extracting # 5 : cost  0
9.313 * * [simplify]: Extracting # 6 : cost  0
9.313 * * [simplify]: Extracting # 7 : cost  0
9.313 * * [simplify]: iteration  0 :  51  enodes  (cost  463 )
9.323 * * [simplify]: Extracting # 0 : cost  0
9.323 * * [simplify]: Extracting # 1 : cost  0
9.323 * * [simplify]: Extracting # 2 : cost  0
9.323 * * [simplify]: Extracting # 3 : cost  0
9.323 * * [simplify]: Extracting # 4 : cost  0
9.323 * * [simplify]: Extracting # 5 : cost  0
9.323 * * [simplify]: Extracting # 6 : cost  0
9.323 * * [simplify]: iteration  1 :  83  enodes  (cost  410 )
9.340 * * [simplify]: Extracting # 0 : cost  0
9.341 * * [simplify]: Extracting # 1 : cost  0
9.341 * * [simplify]: Extracting # 2 : cost  0
9.341 * * [simplify]: Extracting # 3 : cost  0
9.341 * * [simplify]: iteration  2 :  148  enodes  (cost  359 )
9.361 * * [simplify]: Extracting # 0 : cost  0
9.361 * * [simplify]: Extracting # 1 : cost  0
9.361 * * [simplify]: Extracting # 2 : cost  0
9.361 * * [simplify]: Extracting # 3 : cost  0
9.361 * * [simplify]: Extracting # 4 : cost  0
9.361 * * [simplify]: iteration  3 :  235  enodes  (cost  359 )
9.386 * * [simplify]: Extracting # 0 : cost  0
9.386 * * [simplify]: Extracting # 1 : cost  0
9.387 * * [simplify]: Extracting # 2 : cost  0
9.387 * * [simplify]: Extracting # 3 : cost  0
9.387 * * [simplify]: Extracting # 4 : cost  0
9.387 * * [simplify]: iteration  4 :  387  enodes  (cost  359 )
9.499 * * [simplify]: Extracting # 0 : cost  0
9.505 * * [simplify]: Extracting # 1 : cost  0
9.507 * * [simplify]: Extracting # 2 : cost  0
9.508 * * [simplify]: Extracting # 3 : cost  0
9.509 * * [simplify]: Extracting # 4 : cost  0
9.510 * * [simplify]: iteration  5 :  984  enodes  (cost  359 )
10.724 * * [simplify]: Extracting # 0 : cost  0
10.728 * * [simplify]: Extracting # 1 : cost  0
10.731 * * [simplify]: Extracting # 2 : cost  0
10.733 * * [simplify]: Extracting # 3 : cost  0
10.736 * * [simplify]: Extracting # 4 : cost  0
10.741 * * [simplify]: Extracting # 5 : cost  0
10.746 * * [simplify]: iteration  6 :  4616  enodes  (cost  359 )
12.271 * * [simplify]: Extracting # 0 : cost  0
12.280 * * [simplify]: Extracting # 1 : cost  0
12.285 * * [simplify]: Extracting # 2 : cost  0
12.295 * * [simplify]: Extracting # 3 : cost  0
12.298 * * [simplify]: Extracting # 4 : cost  0
12.301 * * [simplify]: iteration done:  5001  enodes  (cost  359 )
12.301 * [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)))
12.301 * * * [progress]: adding candidates to table
12.449 * * [progress]: iteration 3 / 4
12.449 * * * [progress]: picking best candidate
12.467 * * * * [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.467 * * * [progress]: localizing error
12.504 * * * [progress]: generating rewritten candidates
12.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
12.505 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
12.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
12.509 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
12.514 * * * [progress]: generating series expansions
12.514 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
12.514 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.514 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.514 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.515 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.515 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.515 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.515 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.515 * [backup-simplify]: Simplify 0 into 0
12.515 * [backup-simplify]: Simplify 0 into 0
12.515 * [backup-simplify]: Simplify 0 into 0
12.515 * [backup-simplify]: Simplify 0 into 0
12.515 * [backup-simplify]: Simplify 0 into 0
12.515 * [backup-simplify]: Simplify 0 into 0
12.515 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.515 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.515 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.515 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.516 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.516 * [backup-simplify]: Simplify 0 into 0
12.516 * [backup-simplify]: Simplify 0 into 0
12.516 * [backup-simplify]: Simplify 0 into 0
12.516 * [backup-simplify]: Simplify 0 into 0
12.516 * [backup-simplify]: Simplify 0 into 0
12.516 * [backup-simplify]: Simplify 0 into 0
12.516 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.516 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.516 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.516 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.516 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.517 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.517 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
12.517 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.517 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.517 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.517 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.518 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.518 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.518 * [backup-simplify]: Simplify 0 into 0
12.518 * [backup-simplify]: Simplify 0 into 0
12.518 * [backup-simplify]: Simplify 0 into 0
12.518 * [backup-simplify]: Simplify 0 into 0
12.518 * [backup-simplify]: Simplify 0 into 0
12.518 * [backup-simplify]: Simplify 0 into 0
12.518 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.518 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.519 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.519 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.519 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.519 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.519 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.519 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.519 * [backup-simplify]: Simplify 0 into 0
12.519 * [backup-simplify]: Simplify 0 into 0
12.520 * [backup-simplify]: Simplify 0 into 0
12.520 * [backup-simplify]: Simplify 0 into 0
12.520 * [backup-simplify]: Simplify 0 into 0
12.520 * [backup-simplify]: Simplify 0 into 0
12.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
12.520 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.520 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
12.520 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.520 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.520 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.520 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.520 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.520 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.521 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.522 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.522 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.522 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.522 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.522 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.522 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.522 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.522 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.523 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.523 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.523 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.524 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.524 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.525 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
12.525 * [backup-simplify]: Simplify 0 into 0
12.526 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.528 * [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.528 * [backup-simplify]: Simplify 0 into 0
12.529 * [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.530 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.532 * [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.532 * [backup-simplify]: Simplify 0 into 0
12.534 * [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.534 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.538 * [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.538 * [backup-simplify]: Simplify 0 into 0
12.540 * [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.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.550 * [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.550 * [backup-simplify]: Simplify 0 into 0
12.557 * [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.558 * [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.577 * [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.577 * [backup-simplify]: Simplify 0 into 0
12.577 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.577 * [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.577 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.577 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.577 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.577 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.578 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.578 * [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.579 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.579 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.579 * [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.579 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.579 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.579 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.579 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.579 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.579 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.579 * [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.580 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.580 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.580 * [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.581 * [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.581 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.581 * [backup-simplify]: Simplify 0 into 0
12.582 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.583 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.584 * [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.584 * [backup-simplify]: Simplify 0 into 0
12.585 * [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.586 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.588 * [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.588 * [backup-simplify]: Simplify 0 into 0
12.589 * [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.590 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.594 * [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.594 * [backup-simplify]: Simplify 0 into 0
12.596 * [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.597 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.607 * [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.607 * [backup-simplify]: Simplify 0 into 0
12.612 * [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.613 * [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.622 * [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.622 * [backup-simplify]: Simplify 0 into 0
12.622 * [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.622 * [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.622 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.622 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.622 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.622 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.622 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.622 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.623 * [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.623 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.623 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.624 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
12.624 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.624 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.624 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.624 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.624 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.624 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.624 * [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.625 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.625 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.625 * [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.625 * [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.626 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.626 * [backup-simplify]: Simplify 0 into 0
12.627 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.627 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.629 * [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.629 * [backup-simplify]: Simplify 0 into 0
12.630 * [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.631 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.633 * [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.633 * [backup-simplify]: Simplify 0 into 0
12.635 * [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.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.640 * [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.640 * [backup-simplify]: Simplify 0 into 0
12.642 * [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.643 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.648 * [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.648 * [backup-simplify]: Simplify 0 into 0
12.651 * [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.652 * [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.667 * [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.667 * [backup-simplify]: Simplify 0 into 0
12.667 * [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.667 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
12.668 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.668 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
12.668 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.668 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.668 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.668 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.668 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.668 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.668 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.669 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.669 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.669 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.669 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
12.669 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
12.669 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
12.669 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.669 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.669 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
12.670 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
12.670 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
12.670 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.670 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.671 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.671 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
12.671 * [backup-simplify]: Simplify 0 into 0
12.672 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.673 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.674 * [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.674 * [backup-simplify]: Simplify 0 into 0
12.678 * [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.680 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.682 * [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.682 * [backup-simplify]: Simplify 0 into 0
12.684 * [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.685 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.688 * [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.688 * [backup-simplify]: Simplify 0 into 0
12.691 * [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.691 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
12.697 * [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.697 * [backup-simplify]: Simplify 0 into 0
12.701 * [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.702 * [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.712 * [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.712 * [backup-simplify]: Simplify 0 into 0
12.712 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
12.713 * [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.713 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.713 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.713 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.713 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.713 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.714 * [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.715 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.715 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.715 * [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.715 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
12.715 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
12.715 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
12.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.716 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
12.716 * [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.717 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.717 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.718 * [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.718 * [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.719 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.719 * [backup-simplify]: Simplify 0 into 0
12.721 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.722 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.724 * [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.724 * [backup-simplify]: Simplify 0 into 0
12.726 * [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.727 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.731 * [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.731 * [backup-simplify]: Simplify 0 into 0
12.734 * [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.735 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.742 * [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.742 * [backup-simplify]: Simplify 0 into 0
12.746 * [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.747 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
12.755 * [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.755 * [backup-simplify]: Simplify 0 into 0
12.758 * [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.759 * [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.767 * [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.768 * [backup-simplify]: Simplify 0 into 0
12.768 * [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.768 * [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.768 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
12.768 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.768 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.768 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.768 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.769 * [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.769 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.769 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.770 * [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.770 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
12.770 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
12.770 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
12.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.770 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
12.770 * [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.771 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.771 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.771 * [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.771 * [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.772 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
12.772 * [backup-simplify]: Simplify 0 into 0
12.773 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.773 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.775 * [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.775 * [backup-simplify]: Simplify 0 into 0
12.776 * [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.776 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.778 * [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.779 * [backup-simplify]: Simplify 0 into 0
12.780 * [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.781 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.784 * [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.784 * [backup-simplify]: Simplify 0 into 0
12.788 * [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.790 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
12.800 * [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.800 * [backup-simplify]: Simplify 0 into 0
12.803 * [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.804 * [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.812 * [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.812 * [backup-simplify]: Simplify 0 into 0
12.813 * [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.813 * * * [progress]: simplifying candidates
12.814 * [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.815 * * [simplify]: Extracting # 0 : cost  0
12.815 * * [simplify]: Extracting # 1 : cost  0
12.815 * * [simplify]: Extracting # 2 : cost  0
12.815 * * [simplify]: Extracting # 3 : cost  0
12.815 * * [simplify]: Extracting # 4 : cost  0
12.815 * * [simplify]: Extracting # 5 : cost  0
12.815 * * [simplify]: Extracting # 6 : cost  0
12.815 * * [simplify]: Extracting # 7 : cost  0
12.815 * * [simplify]: iteration  0 :  49  enodes  (cost  782 )
12.824 * * [simplify]: Extracting # 0 : cost  0
12.824 * * [simplify]: Extracting # 1 : cost  0
12.824 * * [simplify]: Extracting # 2 : cost  0
12.824 * * [simplify]: Extracting # 3 : cost  0
12.824 * * [simplify]: Extracting # 4 : cost  0
12.824 * * [simplify]: Extracting # 5 : cost  0
12.824 * * [simplify]: Extracting # 6 : cost  0
12.824 * * [simplify]: iteration  1 :  72  enodes  (cost  734 )
12.833 * * [simplify]: Extracting # 0 : cost  0
12.834 * * [simplify]: Extracting # 1 : cost  0
12.834 * * [simplify]: Extracting # 2 : cost  0
12.834 * * [simplify]: Extracting # 3 : cost  0
12.834 * * [simplify]: iteration  2 :  114  enodes  (cost  658 )
12.847 * * [simplify]: Extracting # 0 : cost  0
12.848 * * [simplify]: Extracting # 1 : cost  0
12.848 * * [simplify]: Extracting # 2 : cost  0
12.848 * * [simplify]: Extracting # 3 : cost  0
12.848 * * [simplify]: Extracting # 4 : cost  0
12.848 * * [simplify]: iteration  3 :  182  enodes  (cost  658 )
12.884 * * [simplify]: Extracting # 0 : cost  0
12.884 * * [simplify]: Extracting # 1 : cost  0
12.884 * * [simplify]: Extracting # 2 : cost  0
12.885 * * [simplify]: Extracting # 3 : cost  0
12.885 * * [simplify]: Extracting # 4 : cost  0
12.885 * * [simplify]: iteration  4 :  302  enodes  (cost  658 )
12.979 * * [simplify]: Extracting # 0 : cost  0
12.980 * * [simplify]: Extracting # 1 : cost  0
12.980 * * [simplify]: Extracting # 2 : cost  0
12.980 * * [simplify]: Extracting # 3 : cost  0
12.981 * * [simplify]: Extracting # 4 : cost  0
12.981 * * [simplify]: iteration  5 :  671  enodes  (cost  658 )
13.240 * * [simplify]: Extracting # 0 : cost  0
13.243 * * [simplify]: Extracting # 1 : cost  0
13.245 * * [simplify]: Extracting # 2 : cost  0
13.246 * * [simplify]: Extracting # 3 : cost  0
13.248 * * [simplify]: Extracting # 4 : cost  0
13.249 * * [simplify]: iteration  6 :  2140  enodes  (cost  658 )
14.669 * * [simplify]: Extracting # 0 : cost  0
14.753 * * [simplify]: Extracting # 1 : cost  0
14.762 * * [simplify]: Extracting # 2 : cost  0
14.769 * * [simplify]: Extracting # 3 : cost  0
14.772 * * [simplify]: iteration done:  5002  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.145 * * [progress]: iteration 4 / 4
15.145 * * * [progress]: picking best candidate
15.197 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
15.197 * * * [progress]: localizing error
15.242 * * * [progress]: generating rewritten candidates
15.242 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
15.243 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1 1 1)
15.243 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
15.243 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
15.248 * * * [progress]: generating series expansions
15.248 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
15.248 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.248 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.248 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.248 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.248 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.248 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.249 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.249 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.249 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.250 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.250 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.250 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.250 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.251 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1 1 1)
15.251 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.251 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.251 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.251 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.252 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.253 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.253 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.253 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.253 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.254 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
15.254 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.254 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.254 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.254 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.254 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.255 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.257 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.257 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
15.257 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) into (log (pow (exp (fmod (cosh a) (pow a 2))) 1/6))
15.257 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/6)) in (a) around 0
15.257 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/6)) in a
15.257 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/6) in a
15.257 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (fmod (cosh a) (pow a 2)))))) in a
15.257 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (fmod (cosh a) (pow a 2))))) in a
15.257 * [taylor]: Taking taylor expansion of 1/6 in a
15.257 * [backup-simplify]: Simplify 1/6 into 1/6
15.257 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a
15.257 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
15.257 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.257 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.257 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
15.257 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2))
15.258 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh a) (pow a 2))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.258 * [backup-simplify]: Simplify (exp (* 1/6 (fmod (cosh a) (pow a 2)))) into (exp (* 1/6 (fmod (cosh a) (pow a 2))))
15.258 * [backup-simplify]: Simplify (log (exp (* 1/6 (fmod (cosh a) (pow a 2))))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.258 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/6)) in a
15.258 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/6) in a
15.258 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (fmod (cosh a) (pow a 2)))))) in a
15.258 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (fmod (cosh a) (pow a 2))))) in a
15.258 * [taylor]: Taking taylor expansion of 1/6 in a
15.258 * [backup-simplify]: Simplify 1/6 into 1/6
15.258 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a
15.258 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
15.258 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.258 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.258 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
15.259 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2))
15.259 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh a) (pow a 2))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.259 * [backup-simplify]: Simplify (exp (* 1/6 (fmod (cosh a) (pow a 2)))) into (exp (* 1/6 (fmod (cosh a) (pow a 2))))
15.259 * [backup-simplify]: Simplify (log (exp (* 1/6 (fmod (cosh a) (pow a 2))))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.259 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh a) (pow a 2))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.260 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
15.260 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 1) into 0
15.261 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0
15.261 * [backup-simplify]: Simplify (* (exp (* 1/6 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
15.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
15.262 * [backup-simplify]: Simplify 0 into 0
15.263 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.266 * [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.267 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0
15.268 * [backup-simplify]: Simplify (* (exp (* 1/6 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.269 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
15.269 * [backup-simplify]: Simplify 0 into 0
15.270 * [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.272 * [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.273 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0
15.274 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.276 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
15.276 * [backup-simplify]: Simplify 0 into 0
15.278 * [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.281 * [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.289 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0
15.291 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.294 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
15.295 * [backup-simplify]: Simplify 0 into 0
15.297 * [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.306 * [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.309 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0
15.312 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.318 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
15.318 * [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.329 * [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.330 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0
15.334 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.343 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/6 (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
15.343 * [backup-simplify]: Simplify 0 into 0
15.344 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh a) (pow a 2))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.344 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/6))
15.344 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/6)) in (a) around 0
15.344 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/6)) in a
15.344 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/6) in a
15.344 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
15.344 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
15.344 * [taylor]: Taking taylor expansion of 1/6 in a
15.344 * [backup-simplify]: Simplify 1/6 into 1/6
15.344 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
15.344 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
15.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.345 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.345 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.345 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.346 * [backup-simplify]: Simplify (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
15.346 * [backup-simplify]: Simplify (log (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.346 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/6)) in a
15.346 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/6) in a
15.346 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
15.346 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
15.346 * [taylor]: Taking taylor expansion of 1/6 in a
15.346 * [backup-simplify]: Simplify 1/6 into 1/6
15.346 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
15.346 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
15.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.347 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.347 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.347 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.348 * [backup-simplify]: Simplify (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
15.348 * [backup-simplify]: Simplify (log (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.348 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.349 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
15.350 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0
15.350 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0
15.351 * [backup-simplify]: Simplify (* (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
15.351 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
15.351 * [backup-simplify]: Simplify 0 into 0
15.352 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.354 * [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.354 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
15.355 * [backup-simplify]: Simplify (* (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.356 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
15.356 * [backup-simplify]: Simplify 0 into 0
15.358 * [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.360 * [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.361 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
15.362 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.364 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
15.364 * [backup-simplify]: Simplify 0 into 0
15.366 * [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.369 * [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.370 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
15.372 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.376 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
15.376 * [backup-simplify]: Simplify 0 into 0
15.380 * [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.389 * [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.391 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
15.395 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.404 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
15.404 * [backup-simplify]: Simplify 0 into 0
15.408 * [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.416 * [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.418 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
15.421 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.434 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/6 (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/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
15.434 * [backup-simplify]: Simplify 0 into 0
15.434 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.435 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/6))
15.435 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/6)) in (a) around 0
15.435 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/6)) in a
15.435 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/6) in a
15.435 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
15.435 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
15.435 * [taylor]: Taking taylor expansion of 1/6 in a
15.435 * [backup-simplify]: Simplify 1/6 into 1/6
15.435 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
15.435 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
15.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.436 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.436 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.436 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.436 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.437 * [backup-simplify]: Simplify (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
15.437 * [backup-simplify]: Simplify (log (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.437 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/6)) in a
15.437 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/6) in a
15.437 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
15.437 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
15.437 * [taylor]: Taking taylor expansion of 1/6 in a
15.437 * [backup-simplify]: Simplify 1/6 into 1/6
15.437 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
15.437 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
15.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.438 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.438 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.438 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.439 * [backup-simplify]: Simplify (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
15.439 * [backup-simplify]: Simplify (log (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.439 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.441 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
15.442 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0
15.442 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0
15.444 * [backup-simplify]: Simplify (* (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
15.445 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
15.445 * [backup-simplify]: Simplify 0 into 0
15.446 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.448 * [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.449 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
15.450 * [backup-simplify]: Simplify (* (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.451 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
15.451 * [backup-simplify]: Simplify 0 into 0
15.452 * [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.455 * [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.455 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
15.456 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.459 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
15.459 * [backup-simplify]: Simplify 0 into 0
15.460 * [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.464 * [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.465 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
15.466 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.470 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
15.470 * [backup-simplify]: Simplify 0 into 0
15.473 * [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.478 * [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.479 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
15.482 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.487 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
15.487 * [backup-simplify]: Simplify 0 into 0
15.490 * [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.505 * [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.511 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
15.517 * [backup-simplify]: Simplify (* (exp (* 1/6 (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.532 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/6 (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/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/6 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
15.532 * [backup-simplify]: Simplify 0 into 0
15.533 * [backup-simplify]: Simplify (* 1/6 (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (* 1/6 (fmod (cosh a) (pow a 2)))
15.533 * * * [progress]: simplifying candidates
15.534 * [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 (cbrt (exp (fmod (cosh a) (* a a)))))) (cbrt (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (cbrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (cbrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt 1)))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (cbrt (exp (fmod (cosh a) (* a a))))) (cbrt (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (cbrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt 1))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log 1)
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (exp (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (* (cbrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))))
  (cbrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (* (* (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (cbrt (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/6 (fmod (cosh a) (pow a 2)))
  (* 1/6 (fmod (cosh a) (pow a 2)))
  (* 1/6 (fmod (cosh a) (pow a 2)))
15.536 * * [simplify]: Extracting # 0 : cost  0
15.536 * * [simplify]: Extracting # 1 : cost  0
15.536 * * [simplify]: Extracting # 2 : cost  0
15.537 * * [simplify]: Extracting # 3 : cost  0
15.537 * * [simplify]: Extracting # 4 : cost  0
15.537 * * [simplify]: Extracting # 5 : cost  0
15.537 * * [simplify]: Extracting # 6 : cost  0
15.537 * * [simplify]: Extracting # 7 : cost  0
15.537 * * [simplify]: iteration  0 :  55  enodes  (cost  635 )
15.558 * * [simplify]: Extracting # 0 : cost  0
15.558 * * [simplify]: Extracting # 1 : cost  0
15.558 * * [simplify]: Extracting # 2 : cost  0
15.558 * * [simplify]: Extracting # 3 : cost  0
15.559 * * [simplify]: Extracting # 4 : cost  0
15.559 * * [simplify]: Extracting # 5 : cost  0
15.559 * * [simplify]: iteration  1 :  73  enodes  (cost  615 )
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]: iteration  2 :  101  enodes  (cost  550 )
15.603 * * [simplify]: Extracting # 0 : cost  0
15.603 * * [simplify]: Extracting # 1 : cost  0
15.603 * * [simplify]: Extracting # 2 : cost  0
15.603 * * [simplify]: Extracting # 3 : cost  0
15.603 * * [simplify]: iteration  3 :  146  enodes  (cost  550 )
15.633 * * [simplify]: Extracting # 0 : cost  0
15.633 * * [simplify]: Extracting # 1 : cost  0
15.633 * * [simplify]: Extracting # 2 : cost  0
15.633 * * [simplify]: Extracting # 3 : cost  0
15.633 * * [simplify]: iteration  4 :  224  enodes  (cost  550 )
15.681 * * [simplify]: Extracting # 0 : cost  0
15.682 * * [simplify]: Extracting # 1 : cost  0
15.682 * * [simplify]: Extracting # 2 : cost  0
15.682 * * [simplify]: Extracting # 3 : cost  0
15.683 * * [simplify]: iteration  5 :  444  enodes  (cost  550 )
15.815 * * [simplify]: Extracting # 0 : cost  0
15.815 * * [simplify]: Extracting # 1 : cost  0
15.816 * * [simplify]: Extracting # 2 : cost  0
15.816 * * [simplify]: Extracting # 3 : cost  0
15.817 * * [simplify]: Extracting # 4 : cost  0
15.817 * * [simplify]: iteration  6 :  1052  enodes  (cost  550 )
16.325 * * [simplify]: Extracting # 0 : cost  0
16.326 * * [simplify]: Extracting # 1 : cost  0
16.327 * * [simplify]: Extracting # 2 : cost  0
16.328 * * [simplify]: Extracting # 3 : cost  0
16.329 * * [simplify]: Extracting # 4 : cost  0
16.330 * * [simplify]: iteration  7 :  3305  enodes  (cost  550 )
17.721 * * [simplify]: Extracting # 0 : cost  0
17.722 * * [simplify]: Extracting # 1 : cost  0
17.723 * * [simplify]: Extracting # 2 : cost  0
17.725 * * [simplify]: iteration done:  5000  enodes  (cost  550 )
17.725 * [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) (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) (* a a)))
  (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) (* a a)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (cbrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (cbrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (fmod (cosh a) (pow a 2))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))))
  (cbrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (pow (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) 3)
  (sqrt (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (cbrt (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/6 (fmod (cosh a) (pow a 2)))
  (* 1/6 (fmod (cosh a) (pow a 2)))
  (* 1/6 (fmod (cosh a) (pow a 2)))
17.727 * * * [progress]: adding candidates to table
18.175 * [progress]: [Phase 3 of 3] Extracting.
18.175 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (* 1/6 (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (* (/ (cbrt (fmod (cosh a) (* a a))) 2) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.181 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
18.182 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (* 1/6 (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (* (/ (cbrt (fmod (cosh a) (* a a))) 2) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.238 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.274 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (* 1/6 (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (* (/ (cbrt (fmod (cosh a) (* a a))) 2) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.346 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.395 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (* 1/6 (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (* (/ (cbrt (fmod (cosh a) (* a a))) 2) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.444 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
18.445 * [simplify]: Simplifying:
  (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a)))
18.446 * * [simplify]: Extracting # 0 : cost  0
18.446 * * [simplify]: Extracting # 1 : cost  0
18.446 * * [simplify]: Extracting # 2 : cost  0
18.446 * * [simplify]: Extracting # 3 : cost  0
18.446 * * [simplify]: Extracting # 4 : cost  0
18.446 * * [simplify]: Extracting # 5 : cost  0
18.446 * * [simplify]: Extracting # 6 : cost  0
18.446 * * [simplify]: Extracting # 7 : cost  0
18.446 * * [simplify]: Extracting # 8 : cost  0
18.446 * * [simplify]: Extracting # 9 : cost  0
18.446 * * [simplify]: Extracting # 10 : cost  0
18.446 * * [simplify]: Extracting # 11 : cost  0
18.446 * * [simplify]: Extracting # 12 : cost  0
18.446 * * [simplify]: Extracting # 13 : cost  0
18.446 * * [simplify]: iteration  0 :  16  enodes  (cost  37 )
18.447 * * [simplify]: Extracting # 0 : cost  0
18.448 * * [simplify]: iteration  1 :  19  enodes  (cost  37 )
18.449 * * [simplify]: Extracting # 0 : cost  0
18.449 * * [simplify]: iteration done:  19  enodes  (cost  37 )
18.449 * [simplify]: Simplified to:
  (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (+ (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log1p a)))
55.189 * [regime-testing]: Baseline error score: 60.29130613398847
55.191 * [regime-testing]: Oracle error score: 59.843809184059644
55.197 * [regime-testing]: End program error score: 60.29130613398847