0.667 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.106 * * * [progress]: [2/2] Setting up program. 1.111 * [progress]: [Phase 2 of 3] Improving. 1.113 * [simplify]: Simplifying using # : (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.114 * [simplify]: Sending expressions to egg_math: (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) 1.117 * * [simplify]: iteration 0 : 16 enodes (cost 6 ) 1.118 * * [simplify]: iteration 1 : 24 enodes (cost 6 ) 1.120 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 1.121 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 1.124 * * [simplify]: iteration 4 : 257 enodes (cost 6 ) 1.130 * * [simplify]: iteration 5 : 1277 enodes (cost 6 ) 1.158 * * [simplify]: iteration 6 : 5002 enodes (cost 6 ) 1.159 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.160 * * [progress]: iteration 1 / 4 1.160 * * * [progress]: picking best candidate 1.163 * * * * [pick]: Picked # 1.163 * * * [progress]: localizing error 1.181 * * * [progress]: generating rewritten candidates 1.181 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1.182 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.185 * * * [progress]: generating series expansions 1.185 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 1.190 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.191 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.193 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.194 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.194 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.194 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.195 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.195 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.195 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.196 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.196 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.196 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.196 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.196 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.196 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.197 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.198 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.198 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.198 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.198 * * * [progress]: simplifying candidates 1.199 * [simplify]: Simplifying using # : (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.199 * [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.202 * * [simplify]: iteration 0 : 48 enodes (cost 166 ) 1.203 * * [simplify]: iteration 1 : 76 enodes (cost 146 ) 1.205 * * [simplify]: iteration 2 : 160 enodes (cost 146 ) 1.208 * * [simplify]: iteration 3 : 411 enodes (cost 146 ) 1.221 * * [simplify]: iteration 4 : 2000 enodes (cost 146 ) 1.284 * * [simplify]: iteration 5 : 5001 enodes (cost 146 ) 1.285 * [simplify]: Simplified to: (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))) (pow (fmod (cosh a) (pow a 2)) 3) (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)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (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) (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.286 * * * [progress]: adding candidates to table 1.366 * * [progress]: iteration 2 / 4 1.366 * * * [progress]: picking best candidate 1.381 * * * * [pick]: Picked # 1.381 * * * [progress]: localizing error 1.393 * * * [progress]: generating rewritten candidates 1.393 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 1.393 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.396 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.398 * * * [progress]: generating series expansions 1.398 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 1.398 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.398 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.398 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.399 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.399 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.400 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.400 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.400 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.400 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.401 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.401 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.402 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.402 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.402 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.402 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.403 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.403 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.403 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.404 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.404 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.404 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.405 * * * [progress]: simplifying candidates 1.408 * [simplify]: Simplifying using # : (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.408 * [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.411 * * [simplify]: iteration 0 : 79 enodes (cost 299 ) 1.413 * * [simplify]: iteration 1 : 113 enodes (cost 260 ) 1.415 * * [simplify]: iteration 2 : 227 enodes (cost 260 ) 1.418 * * [simplify]: iteration 3 : 599 enodes (cost 260 ) 1.435 * * [simplify]: iteration 4 : 2974 enodes (cost 260 ) 1.514 * * [simplify]: iteration 5 : 5001 enodes (cost 260 ) 1.516 * [simplify]: Simplified to: (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))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (fmod (cosh a) (* a a))) (log1p (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))) (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)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (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) (* 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))) 1.516 * * * [progress]: adding candidates to table 1.662 * * [progress]: iteration 3 / 4 1.662 * * * [progress]: picking best candidate 1.686 * * * * [pick]: Picked # 1.686 * * * [progress]: localizing error 1.705 * * * [progress]: generating rewritten candidates 1.706 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 1.706 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 1.706 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 1.706 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 1.710 * * * [progress]: generating series expansions 1.710 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 1.710 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.710 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.710 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.710 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.711 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.712 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1) 1.712 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.712 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.712 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.712 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.713 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.714 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1) 1.714 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.714 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.714 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.714 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.715 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.716 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 1.716 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.716 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.716 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.716 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.717 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.717 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.717 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.717 * * * [progress]: simplifying candidates 1.718 * [simplify]: Simplifying using # : (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 (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))))) (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)) 1.718 * [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 (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))))) (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)) 1.721 * * [simplify]: iteration 0 : 56 enodes (cost 278 ) 1.722 * * [simplify]: iteration 1 : 79 enodes (cost 244 ) 1.724 * * [simplify]: iteration 2 : 161 enodes (cost 244 ) 1.727 * * [simplify]: iteration 3 : 412 enodes (cost 244 ) 1.738 * * [simplify]: iteration 4 : 1977 enodes (cost 244 ) 1.797 * * [simplify]: iteration 5 : 5001 enodes (cost 244 ) 1.799 * [simplify]: Simplified to: (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))) (pow (fmod (cosh a) (* a a)) 3) (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))) (pow (fmod (cosh a) (* a a)) 3) (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))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (fmod (cosh a) (* a a))) (log1p (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))) (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)) (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)) 1.799 * * * [progress]: adding candidates to table 2.065 * * [progress]: iteration 4 / 4 2.065 * * * [progress]: picking best candidate 2.085 * * * * [pick]: Picked # 2.085 * * * [progress]: localizing error 2.103 * * * [progress]: generating rewritten candidates 2.103 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1) 2.103 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 2.106 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 2.107 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 2.112 * * * [progress]: generating series expansions 2.112 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1) 2.112 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.112 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.112 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.113 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.113 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.113 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.113 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.113 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.113 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.114 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 2.114 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.114 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.114 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.115 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.115 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.116 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.116 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 2.116 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.116 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.117 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 2.117 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.117 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.118 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 2.118 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.118 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.119 * * * * [progress]: [ 4 / 4 ] generating series at (2) 2.119 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 2.119 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.119 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.120 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 2.120 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.120 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.121 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 2.121 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.121 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.122 * * * [progress]: simplifying candidates 2.123 * [simplify]: Simplifying using # : (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))) 2.123 * [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))) 2.127 * * [simplify]: iteration 0 : 109 enodes (cost 530 ) 2.128 * * [simplify]: iteration 1 : 146 enodes (cost 461 ) 2.130 * * [simplify]: iteration 2 : 279 enodes (cost 461 ) 2.134 * * [simplify]: iteration 3 : 717 enodes (cost 461 ) 2.153 * * [simplify]: iteration 4 : 3551 enodes (cost 461 ) 2.247 * * [simplify]: iteration 5 : 5002 enodes (cost 461 ) 2.249 * [simplify]: Simplified to: (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))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (fmod (cosh a) (* a a))) (log1p (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))) (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)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (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 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* 2 (log (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)))))) 0 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (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))))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (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)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (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) (* 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))) (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))) 2.249 * * * [progress]: adding candidates to table 2.480 * [progress]: [Phase 3 of 3] Extracting. 2.481 * * [regime]: Finding splitpoints for: (# # # # # # #) 2.484 * * * [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.484 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # #) 2.528 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # #) 2.557 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # # # #) 2.602 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# #) 2.630 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 2.665 * * * [regime]: Found split indices: #