0.644 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.035 * * * [progress]: [2/2] Setting up program. 1.039 * [progress]: [Phase 2 of 3] Improving. 1.042 * [simplify]: Simplifying using # : (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.042 * [simplify]: Sending expressions to egg_math: (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) 1.045 * * [simplify]: iteration 0 : 16 enodes (cost 6 ) 1.047 * * [simplify]: iteration 1 : 24 enodes (cost 6 ) 1.048 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 1.050 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 1.052 * * [simplify]: iteration 4 : 257 enodes (cost 6 ) 1.058 * * [simplify]: iteration 5 : 1277 enodes (cost 6 ) 1.087 * * [simplify]: iteration 6 : 5001 enodes (cost 6 ) 1.087 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.089 * * [progress]: iteration 1 / 4 1.089 * * * [progress]: picking best candidate 1.092 * * * * [pick]: Picked # 1.092 * * * [progress]: localizing error 1.109 * * * [progress]: generating rewritten candidates 1.110 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1.111 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.114 * * * [progress]: generating series expansions 1.114 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 1.118 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.119 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.121 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.122 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.123 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.124 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.124 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.124 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.124 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.125 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.125 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.125 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.126 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.126 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.126 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.127 * * * [progress]: simplifying candidates 1.128 * [simplify]: Simplifying using # : (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.128 * [simplify]: Sending expressions to egg_math: (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))) (/ PI 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.130 * * [simplify]: iteration 0 : 44 enodes (cost 144 ) 1.132 * * [simplify]: iteration 1 : 72 enodes (cost 124 ) 1.133 * * [simplify]: iteration 2 : 156 enodes (cost 124 ) 1.136 * * [simplify]: iteration 3 : 405 enodes (cost 124 ) 1.149 * * [simplify]: iteration 4 : 1968 enodes (cost 124 ) 1.212 * * [simplify]: iteration 5 : 5002 enodes (cost 124 ) 1.213 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ 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.213 * * * [progress]: adding candidates to table 1.277 * * [progress]: iteration 2 / 4 1.277 * * * [progress]: picking best candidate 1.292 * * * * [pick]: Picked # 1.292 * * * [progress]: localizing error 1.305 * * * [progress]: generating rewritten candidates 1.305 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 1.305 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.308 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.310 * * * [progress]: generating series expansions 1.310 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 1.310 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.310 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.311 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.311 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.312 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.312 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.312 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.312 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.312 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.313 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.314 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.314 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.314 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.314 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.315 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.315 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.315 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.315 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.316 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.316 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.317 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.317 * * * [progress]: simplifying candidates 1.318 * [simplify]: Simplifying using # : (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.318 * [simplify]: Sending expressions to egg_math: (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))) (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))))) (/ PI 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.321 * * [simplify]: iteration 0 : 73 enodes (cost 265 ) 1.323 * * [simplify]: iteration 1 : 107 enodes (cost 226 ) 1.324 * * [simplify]: iteration 2 : 221 enodes (cost 226 ) 1.328 * * [simplify]: iteration 3 : 590 enodes (cost 226 ) 1.344 * * [simplify]: iteration 4 : 2934 enodes (cost 226 ) 1.423 * * [simplify]: iteration 5 : 5002 enodes (cost 226 ) 1.424 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) 0 (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))) 1 (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ PI 2) (asin (pow (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.424 * * * [progress]: adding candidates to table 1.545 * * [progress]: iteration 3 / 4 1.545 * * * [progress]: picking best candidate 1.566 * * * * [pick]: Picked # 1.566 * * * [progress]: localizing error 1.581 * * * [progress]: generating rewritten candidates 1.581 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 1.581 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1) 1.581 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.586 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.591 * * * [progress]: generating series expansions 1.591 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 1.592 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.592 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.592 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.592 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.593 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.593 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1) 1.594 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.594 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.594 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.594 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.595 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.595 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0 1.595 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 1.596 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 1.596 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 1.596 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.598 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 1.598 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 1.598 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 1.598 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.633 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0 1.633 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.633 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.633 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.634 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.634 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.634 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.634 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.672 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0 1.672 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.672 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.672 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.673 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.673 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.673 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.707 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.707 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0 1.707 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 1.707 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 1.707 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 1.707 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.708 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 1.708 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 1.708 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 1.708 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.741 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0 1.741 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.741 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.741 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.742 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.742 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.742 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.779 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0 1.779 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.780 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.780 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.780 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.781 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.781 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.781 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.815 * * * [progress]: simplifying candidates 1.816 * [simplify]: Simplifying using # : (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt 1)) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log 1) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (sqrt (exp (fmod (cosh a) (* a a)))))) (exp (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt 1)) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log 1) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (sqrt (exp (fmod (cosh a) (* a a)))))) (exp (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 1.816 * [simplify]: Sending expressions to egg_math: (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))) (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))) (log (* (cbrt (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (sqrt (exp (fmod (cosh h0) (* h0 h0))))))) (log (cbrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0))))))) (log (sqrt (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt 1)) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log 1) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (sqrt (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 (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (exp (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (* (cbrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))))) (cbrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (* (* (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (sqrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (sqrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (* (cbrt (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (sqrt (exp (fmod (cosh h0) (* h0 h0))))))) (log (cbrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0))))))) (log (sqrt (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt 1)) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log 1) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (sqrt (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 (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (exp (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (* (cbrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))))) (cbrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (* (* (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (sqrt (log (sqrt (exp (fmod (cosh h0) (* h0 h0)))))) (sqrt (log (sqrt (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)) (log (sqrt (exp (fmod (cosh h0) (pow h0 2))))) (log (sqrt (exp (fmod (cosh h0) (pow h0 2))))) (log (sqrt (exp (fmod (cosh h0) (pow h0 2))))) (log (sqrt (exp (fmod (cosh h0) (pow h0 2))))) (log (sqrt (exp (fmod (cosh h0) (pow h0 2))))) (log (sqrt (exp (fmod (cosh h0) (pow h0 2))))) 1.819 * * [simplify]: iteration 0 : 66 enodes (cost 488 ) 1.821 * * [simplify]: iteration 1 : 98 enodes (cost 434 ) 1.823 * * [simplify]: iteration 2 : 180 enodes (cost 434 ) 1.826 * * [simplify]: iteration 3 : 439 enodes (cost 430 ) 1.838 * * [simplify]: iteration 4 : 2003 enodes (cost 430 ) 1.897 * * [simplify]: iteration 5 : 5002 enodes (cost 430 ) 1.899 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (pow a 2))) (* (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))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 0 (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 0 (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (fmod (cosh a) (* a a)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (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 (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (exp (fmod (cosh a) (* a a)))) (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (pow (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 3) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 0 (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 0 (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (fmod (cosh a) (* a a)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (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 (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (exp (fmod (cosh a) (* a a)))) (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (pow (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 3) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (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)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 1.899 * * * [progress]: adding candidates to table 2.154 * * [progress]: iteration 4 / 4 2.154 * * * [progress]: picking best candidate 2.172 * * * * [pick]: Picked # 2.172 * * * [progress]: localizing error 2.190 * * * [progress]: generating rewritten candidates 2.190 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 2.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 2.191 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 2.191 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 2.195 * * * [progress]: generating series expansions 2.195 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 2.195 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.195 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.195 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.196 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.196 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.196 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.196 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.196 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.196 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.197 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1) 2.197 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.197 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.197 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.197 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.197 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.198 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.198 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.198 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.198 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.199 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1) 2.199 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.199 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.199 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.200 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.200 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.200 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.200 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.200 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.200 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.201 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 2.201 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.201 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.201 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.201 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.202 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.202 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.202 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.202 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.202 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.203 * * * [progress]: simplifying candidates 2.203 * [simplify]: Simplifying using # : (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (* (cbrt (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.204 * [simplify]: Sending expressions to egg_math: (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))) (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))) (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))) (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.206 * * [simplify]: iteration 0 : 52 enodes (cost 246 ) 2.208 * * [simplify]: iteration 1 : 75 enodes (cost 212 ) 2.209 * * [simplify]: iteration 2 : 157 enodes (cost 212 ) 2.212 * * [simplify]: iteration 3 : 405 enodes (cost 212 ) 2.224 * * [simplify]: iteration 4 : 1946 enodes (cost 212 ) 2.283 * * [simplify]: iteration 5 : 5003 enodes (cost 212 ) 2.284 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (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))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) 0 (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))) 1 (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (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)) 2.284 * * * [progress]: adding candidates to table 2.492 * [progress]: [Phase 3 of 3] Extracting. 2.492 * * [regime]: Finding splitpoints for: (# # # # #) 2.495 * * * [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.495 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # #) 2.533 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # #) 2.559 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # #) 2.597 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# #) 2.623 * * * * [regimes]: Trying to branch on a from (# # # # #) 2.650 * * * [regime]: Found split indices: #