0.653 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.086 * * * [progress]: [2/2] Setting up program. 1.090 * [progress]: [Phase 2 of 3] Improving. 1.093 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.093 * [simplify]: Sending expressions to egg_math: (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) 1.096 * * [simplify]: iteration 0 : 16 enodes (cost 6 ) 1.097 * * [simplify]: iteration 1 : 24 enodes (cost 6 ) 1.099 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 1.100 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 1.103 * * [simplify]: iteration 4 : 257 enodes (cost 6 ) 1.109 * * [simplify]: iteration 5 : 1277 enodes (cost 6 ) 1.136 * * [simplify]: iteration 6 : 5002 enodes (cost 6 ) 1.138 * * [progress]: iteration 1 / 4 1.138 * * * [progress]: picking best candidate 1.141 * * * * [pick]: Picked # 1.141 * * * [progress]: localizing error 1.153 * * * [progress]: generating rewritten candidates 1.153 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1.154 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.157 * * * [progress]: generating series expansions 1.157 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 1.161 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.161 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.162 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.164 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.164 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.164 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.164 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.165 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.165 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.165 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.165 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.165 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.165 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.166 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.166 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.167 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.167 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.167 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.167 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.167 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.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))) 1.168 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.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))) 1.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))) 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.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))) 1.168 * [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)))) 1.168 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.168 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.169 * [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)))) 1.169 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.169 * [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)))) 1.169 * [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)))) 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [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))) 1.170 * [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)))) 1.170 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.170 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.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)))) 1.170 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.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)))) 1.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)))) 1.170 * [backup-simplify]: Simplify 0 into 0 1.170 * [backup-simplify]: Simplify 0 into 0 1.170 * [backup-simplify]: Simplify 0 into 0 1.170 * [backup-simplify]: Simplify 0 into 0 1.170 * [backup-simplify]: Simplify 0 into 0 1.170 * [backup-simplify]: Simplify 0 into 0 1.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))) 1.171 * * * [progress]: simplifying candidates 1.171 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.171 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (log1p (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (/ h1 2) (asin (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (log (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (exp (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (* (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))) (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (* (* (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (sqrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (sqrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) 1.174 * * [simplify]: iteration 0 : 48 enodes (cost 166 ) 1.176 * * [simplify]: iteration 1 : 76 enodes (cost 146 ) 1.177 * * [simplify]: iteration 2 : 160 enodes (cost 146 ) 1.180 * * [simplify]: iteration 3 : 411 enodes (cost 146 ) 1.192 * * [simplify]: iteration 4 : 2000 enodes (cost 146 ) 1.254 * * [simplify]: iteration 5 : 5001 enodes (cost 146 ) 1.255 * * * [progress]: adding candidates to table 1.334 * * [progress]: iteration 2 / 4 1.334 * * * [progress]: picking best candidate 1.345 * * * * [pick]: Picked # 1.345 * * * [progress]: localizing error 1.358 * * * [progress]: generating rewritten candidates 1.358 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 1.359 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.364 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.365 * * * [progress]: generating series expansions 1.365 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 1.366 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.366 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.366 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.366 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.366 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.366 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.366 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.366 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.366 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.366 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.367 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.367 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.368 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.368 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.368 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.368 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1.368 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.368 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.368 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.368 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.368 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.368 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.368 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.369 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.369 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.370 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.370 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.370 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.371 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.371 * [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))) 1.371 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.371 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.371 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.371 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.371 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.371 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.371 * [backup-simplify]: Simplify 0 into 0 1.371 * [backup-simplify]: Simplify 0 into 0 1.371 * [backup-simplify]: Simplify 0 into 0 1.372 * [backup-simplify]: Simplify 0 into 0 1.372 * [backup-simplify]: Simplify 0 into 0 1.372 * [backup-simplify]: Simplify 0 into 0 1.372 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.372 * [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)))) 1.372 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.372 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.372 * [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)))) 1.372 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.372 * [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)))) 1.373 * [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)))) 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [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))) 1.373 * [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)))) 1.373 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.373 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.374 * [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)))) 1.374 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.374 * [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)))) 1.374 * [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)))) 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 0 into 0 1.375 * [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))) 1.375 * * * [progress]: simplifying candidates 1.375 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (exp (fmod (cosh a) (* a a))))) (log1p (log (exp (fmod (cosh a) (* a a))))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.375 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (expm1 (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (log1p (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (log (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (* (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) 1.378 * * [simplify]: iteration 0 : 79 enodes (cost 299 ) 1.380 * * [simplify]: iteration 1 : 113 enodes (cost 260 ) 1.382 * * [simplify]: iteration 2 : 227 enodes (cost 260 ) 1.385 * * [simplify]: iteration 3 : 599 enodes (cost 260 ) 1.402 * * [simplify]: iteration 4 : 2974 enodes (cost 260 ) 1.480 * * [simplify]: iteration 5 : 5001 enodes (cost 260 ) 1.482 * * * [progress]: adding candidates to table 1.621 * * [progress]: iteration 3 / 4 1.621 * * * [progress]: picking best candidate 1.643 * * * * [pick]: Picked # 1.643 * * * [progress]: localizing error 1.662 * * * [progress]: generating rewritten candidates 1.662 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1) 1.663 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1.665 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.667 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.672 * * * [progress]: generating series expansions 1.672 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1) 1.672 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.672 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.672 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.672 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.672 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.672 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.673 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.673 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.673 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.673 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.673 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.673 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.674 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.674 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.675 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 1.675 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1.675 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.675 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.675 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.675 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.675 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.675 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.675 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.675 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.675 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.675 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.676 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.676 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.677 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.677 * [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))) 1.677 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.677 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.678 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.678 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.678 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.678 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.678 * [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)))) 1.678 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.678 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.679 * [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)))) 1.679 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.679 * [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)))) 1.679 * [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)))) 1.679 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify 0 into 0 1.679 * [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))) 1.680 * [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)))) 1.680 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.680 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.680 * [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)))) 1.680 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.680 * [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)))) 1.680 * [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)))) 1.680 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify 0 into 0 1.681 * [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))) 1.681 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.681 * [backup-simplify]: Simplify (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.681 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.681 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.681 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.681 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.681 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.682 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.682 * [backup-simplify]: Simplify (log (exp (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)))) 1.682 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.682 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.683 * [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)))) 1.683 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.683 * [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)))) 1.683 * [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)))) 1.683 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify 0 into 0 1.683 * [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))) 1.684 * [backup-simplify]: Simplify (log (exp (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)))) 1.684 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.684 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.684 * [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)))) 1.684 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.684 * [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)))) 1.684 * [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)))) 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.685 * [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))) 1.685 * * * [progress]: simplifying candidates 1.686 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (exp (fmod (cosh a) (* a a))))) (log1p (log (exp (fmod (cosh a) (* a a))))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (expm1 (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log1p (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (* (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log 1) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log (exp (/ PI 2))) (log (exp (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log (exp (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (exp (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (exp 1)) (log (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (exp (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (* (cbrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (cbrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (cbrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (* (* (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (sqrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (sqrt (log (exp (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))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.686 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (expm1 (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (log1p (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (log (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (* (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (expm1 (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log1p (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log (* (cbrt (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (cbrt (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log 1) (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (log (exp (/ h1 2))) (log (exp (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (log (exp (* (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (log (exp (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log (exp 1)) (log (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (exp (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (* (cbrt (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (cbrt (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (cbrt (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (* (* (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (sqrt (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (sqrt (log (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) 1.689 * * [simplify]: iteration 0 : 109 enodes (cost 530 ) 1.691 * * [simplify]: iteration 1 : 146 enodes (cost 461 ) 1.693 * * [simplify]: iteration 2 : 279 enodes (cost 461 ) 1.697 * * [simplify]: iteration 3 : 717 enodes (cost 461 ) 1.715 * * [simplify]: iteration 4 : 3551 enodes (cost 461 ) 1.808 * * [simplify]: iteration 5 : 5002 enodes (cost 461 ) 1.810 * * * [progress]: adding candidates to table 2.027 * * [progress]: iteration 4 / 4 2.027 * * * [progress]: picking best candidate 2.052 * * * * [pick]: Picked # 2.052 * * * [progress]: localizing error 2.072 * * * [progress]: generating rewritten candidates 2.072 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1) 2.072 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1) 2.072 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1) 2.076 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1) 2.079 * * * [progress]: generating series expansions 2.079 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1 1 1) 2.079 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 2.079 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.079 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.079 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.079 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.080 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.080 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.080 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.080 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.080 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.080 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.080 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.081 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.081 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.081 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.081 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.081 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.082 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 1 1) 2.082 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 2.082 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.082 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.082 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.082 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.082 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.082 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.082 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.082 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.082 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.083 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.083 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.084 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1) 2.084 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 2.084 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.084 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.084 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.084 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.084 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.084 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.085 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.085 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.085 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.085 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.085 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.085 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.085 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.086 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.086 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.086 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.086 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.086 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1) 2.087 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 2.087 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.087 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.087 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.087 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.087 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.087 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.087 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.087 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.087 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.088 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.088 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.088 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.088 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.088 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.088 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.088 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.088 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.088 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.089 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.089 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.089 * * * [progress]: simplifying candidates 2.090 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (exp (fmod (cosh a) (* a a))))) (log1p (log (exp (fmod (cosh a) (* a a))))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (expm1 (log (exp (fmod (cosh a) (* a a))))) (log1p (log (exp (fmod (cosh a) (* a a))))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) 2.090 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) 2.093 * * [simplify]: iteration 0 : 56 enodes (cost 328 ) 2.094 * * [simplify]: iteration 1 : 79 enodes (cost 288 ) 2.096 * * [simplify]: iteration 2 : 161 enodes (cost 288 ) 2.099 * * [simplify]: iteration 3 : 412 enodes (cost 288 ) 2.110 * * [simplify]: iteration 4 : 1977 enodes (cost 288 ) 2.169 * * [simplify]: iteration 5 : 5001 enodes (cost 288 ) 2.170 * * * [progress]: adding candidates to table 2.506 * [progress]: [Phase 3 of 3] Extracting. 2.506 * * [regime]: Finding splitpoints for: (# # # # # # # #) 2.511 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a) 2.511 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # # #) 2.565 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# #) 2.588 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # # # # #) 2.644 * * * * [regimes]: Trying to branch on a from (# # # # # # # #) 2.687 * * * [regime]: Found split indices: #