0.783 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.961 * * * [progress]: [2/2] Setting up program. 0.966 * [progress]: [Phase 2 of 3] Improving. 0.968 * [simplify]: Simplifying using # : (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 0.971 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 0.974 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 0.976 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 0.980 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 0.987 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 1.006 * * [simplify]: iteration 5 : 207 enodes (cost 10 ) 1.085 * * [simplify]: iteration 6 : 832 enodes (cost 10 ) 1.933 * * [simplify]: iteration 7 : 2875 enodes (cost 10 ) 4.206 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 4.206 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 4.208 * * [progress]: iteration 1 / 4 4.208 * * * [progress]: picking best candidate 4.211 * * * * [pick]: Picked # 4.211 * * * [progress]: localizing error 4.222 * * * [progress]: generating rewritten candidates 4.222 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 4.223 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 4.224 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 4.228 * * * [progress]: generating series expansions 4.228 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 4.232 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.233 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.234 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.235 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.236 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.237 * * * * [progress]: [ 2 / 3 ] generating series at (2) 4.237 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 4.237 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.237 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.238 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 4.238 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.238 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.239 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 4.239 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.239 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.240 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 4.240 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 4.240 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 4.240 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 4.240 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 4.240 * [taylor]: Taking taylor expansion of (log1p a) in a 4.240 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 4.240 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.240 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 4.240 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 4.240 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 4.241 * [taylor]: Taking taylor expansion of (log1p a) in a 4.241 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 4.241 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.274 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 4.274 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 4.274 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 4.274 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 4.274 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 4.274 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 4.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.275 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 4.275 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 4.275 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 4.275 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 4.275 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 4.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.315 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 4.315 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 4.315 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 4.315 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 4.315 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 4.315 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 4.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.315 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 4.315 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 4.316 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 4.316 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 4.316 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 4.316 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.350 * * * [progress]: simplifying candidates 4.351 * [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)))) (* (log (fmod (cosh a) (* a a))) (log1p a)) (* (log (fmod (cosh a) (* a a))) (log1p a)) (* 1 (log1p a)) (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (pow (fmod (cosh a) (* a a)) 1) (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow 1 (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a)) (log (pow (fmod (cosh a) (* a a)) (log1p a))) (exp (pow (fmod (cosh a) (* a a)) (log1p a))) (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p 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))) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) 4.353 * * [simplify]: iteration 0 : 51 enodes (cost 507 ) 4.361 * * [simplify]: iteration 1 : 94 enodes (cost 492 ) 4.381 * * [simplify]: iteration 2 : 239 enodes (cost 450 ) 4.450 * * [simplify]: iteration 3 : 759 enodes (cost 450 ) 5.083 * * [simplify]: iteration 4 : 2970 enodes (cost 450 ) 8.206 * * [simplify]: iteration done : 5001 enodes (cost 450 ) 8.207 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (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)))) (* (log (fmod (cosh a) (* a a))) (log1p a)) (* (log (fmod (cosh a) (* a a))) (log1p a)) (log1p a) (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (fmod (cosh a) (* a a)) (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1 (pow (fmod (cosh a) (pow a 2)) (log1p a)) (* (log (fmod (cosh a) (* a a))) (log1p a)) (exp (pow (fmod (cosh a) (* a a)) (log1p a))) (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (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))) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) 8.207 * * * [progress]: adding candidates to table 8.317 * * [progress]: iteration 2 / 4 8.317 * * * [progress]: picking best candidate 8.336 * * * * [pick]: Picked # 8.336 * * * [progress]: localizing error 8.349 * * * [progress]: generating rewritten candidates 8.350 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 8.350 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 8.351 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 8.352 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.355 * * * [progress]: generating series expansions 8.356 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 8.356 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.356 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.356 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.356 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.357 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 8.358 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.358 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.358 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.358 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.358 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.358 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.359 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.359 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.359 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.359 * * * * [progress]: [ 3 / 4 ] generating series at (2) 8.360 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 8.360 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.360 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.361 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 8.361 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.361 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.362 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 8.362 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.362 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.363 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.363 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 8.363 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 8.363 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 8.363 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 8.363 * [taylor]: Taking taylor expansion of (log1p a) in a 8.363 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 8.363 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.363 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 8.363 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 8.363 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 8.363 * [taylor]: Taking taylor expansion of (log1p a) in a 8.363 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 8.363 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.397 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 8.397 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 8.397 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 8.397 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 8.397 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 8.397 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 8.397 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.397 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 8.397 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 8.397 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 8.397 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 8.397 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 8.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.436 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 8.436 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 8.436 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 8.436 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 8.436 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 8.436 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 8.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.437 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 8.437 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 8.437 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 8.437 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 8.437 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 8.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.471 * * * [progress]: simplifying candidates 8.472 * [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)))) (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (* 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) 1) (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (log (exp 1)) (log1p a)) (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)) (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)) (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p 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)) (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))) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) 8.475 * * [simplify]: iteration 0 : 78 enodes (cost 857 ) 8.487 * * [simplify]: iteration 1 : 138 enodes (cost 729 ) 8.514 * * [simplify]: iteration 2 : 306 enodes (cost 668 ) 8.606 * * [simplify]: iteration 3 : 888 enodes (cost 668 ) 9.342 * * [simplify]: iteration 4 : 3701 enodes (cost 668 ) 14.214 * * [simplify]: iteration done : 5001 enodes (cost 668 ) 14.215 * [simplify]: Simplified to: (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (* 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) (pow a 2)) (fmod (cosh a) (pow a 2)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (pow a 2))) 1 (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* 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) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (log (fmod (cosh a) (* a a))) (log1p a)) (* (log (fmod (cosh a) (* a a))) (log1p a)) (log1p a) (pow (fmod (cosh a) (pow a 2)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (fmod (cosh a) (pow a 2)) 1 (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) 1 (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1 (pow (fmod (cosh a) (pow a 2)) (log1p a)) (* (log (fmod (cosh a) (* a a))) (log1p a)) (exp (pow (fmod (cosh a) (* a a)) (log1p a))) (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p 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)) (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))) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) (pow (fmod (cosh a) (pow a 2)) (log1p a)) 14.215 * * * [progress]: adding candidates to table 14.396 * * [progress]: iteration 3 / 4 14.396 * * * [progress]: picking best candidate 14.412 * * * * [pick]: Picked # 14.412 * * * [progress]: localizing error 14.425 * * * [progress]: generating rewritten candidates 14.425 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 14.426 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 14.426 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 14.427 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 14.430 * * * [progress]: generating series expansions 14.430 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 14.430 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.430 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.430 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.431 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 14.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.431 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 14.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.432 * * * * [progress]: [ 2 / 4 ] generating series at (2) 14.432 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 14.432 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.432 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.433 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 14.433 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.433 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.434 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 14.434 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.434 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.435 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 14.435 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.435 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.435 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.435 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 14.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.436 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 14.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 14.437 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 3) in (a) around 0 14.437 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 3) in a 14.437 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.437 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 3) in a 14.437 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.447 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 3) in (a) around 0 14.447 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 3) in a 14.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.448 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 3) in a 14.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.459 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 3) in (a) around 0 14.459 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 3) in a 14.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.459 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 3) in a 14.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.470 * * * [progress]: simplifying candidates 14.471 * [simplify]: Simplifying using # : (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (/ PI 2) (asin (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a))) (log (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (exp (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (* (cbrt (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (cbrt (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a))))) (cbrt (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (* (* (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a))) (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (sqrt (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (sqrt (acos (pow (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (log1p a)))) (log (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (exp (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) 3)) (cbrt (pow (cbrt (fmod (cosh a) (pow a 2))) 3)) (cbrt (pow (sqrt (fmod (cosh a) (pow a 2))) 3)) (cbrt (pow (sqrt (fmod (cosh a) (pow a 2))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (cbrt (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (cbrt (* (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (cbrt (pow (fmod (cosh a) (pow a 2)) 3)))) (cbrt (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) 3)) (cbrt (pow (cbrt (fmod (cosh a) (pow a 2))) 3)) (cbrt (pow (sqrt (fmod (cosh a) (pow a 2))) 3)) (cbrt (pow (sqrt (fmod (cosh a) (pow a 2))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (cbrt (fmod (cosh a) (pow a 2))) (cbrt (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)))) (cbrt (sqrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (sqrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt 1) (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (cbrt (pow (fmod (cosh a) (pow a 2)) (/ 3 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) (/ 3 2))) (* (cbrt (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (cbrt (pow (fmod (cosh a) (pow a 2)) 3)))) (cbrt (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (* (* (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (sqrt (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (sqrt (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (* (log (fmod (cosh a) (pow a 2))) 3) (* (log (fmod (cosh a) (pow a 2))) 3) (* 1 3) (pow (fmod (cosh a) (pow a 2)) (* (cbrt 3) (cbrt 3))) (pow (fmod (cosh a) (pow a 2)) (sqrt 3)) (pow (fmod (cosh a) (pow a 2)) 1) (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) 3) (pow (cbrt (fmod (cosh a) (pow a 2))) 3) (pow (sqrt (fmod (cosh a) (pow a 2))) 3) (pow (sqrt (fmod (cosh a) (pow a 2))) 3) (pow 1 3) (pow (fmod (cosh a) (pow a 2)) 3) (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (log (pow (fmod (cosh a) (pow a 2)) 3)) (exp (pow (fmod (cosh a) (pow a 2)) 3)) (* (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (cbrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (pow (fmod (cosh a) (pow a 2)) 3)) (* (* (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 3)) (pow (fmod (cosh a) (pow a 2)) 3)) (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) 3) (pow (cbrt (fmod (cosh a) (pow a 2))) 3) (pow (sqrt (fmod (cosh a) (pow a 2))) 3) (pow (sqrt (fmod (cosh a) (pow a 2))) 3) (pow 1 3) (pow (fmod (cosh a) (pow a 2)) 3) (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (sqrt (pow (fmod (cosh a) (pow a 2)) 3)) (sqrt (pow (fmod (cosh a) (pow a 2)) 3)) (pow (fmod (cosh a) (pow a 2)) (/ 3 2)) (pow (fmod (cosh a) (pow a 2)) (/ 3 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))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 3) 14.473 * * [simplify]: iteration 0 : 66 enodes (cost 959 ) 14.490 * * [simplify]: iteration 1 : 134 enodes (cost 771 ) 14.525 * * [simplify]: iteration 2 : 399 enodes (cost 684 ) 14.745 * * [simplify]: iteration 3 : 2366 enodes (cost 680 ) 16.219 * * [simplify]: iteration done : 5000 enodes (cost 676 ) 16.219 * [simplify]: Simplified to: (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) 1 (fmod (cosh a) (pow a 2)) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (fmod (cosh a) (pow a 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (fmod (cosh a) (pow a 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) 1 (fmod (cosh a) (pow a 2)) (cbrt (fmod (cosh a) (pow a 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (sqrt (pow (fmod (cosh a) (pow a 2)) 3))) (cbrt (sqrt (pow (fmod (cosh a) (pow a 2)) 3))) 1 (fmod (cosh a) (pow a 2)) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (cbrt (pow (fmod (cosh a) (pow a 2)) 2)) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (* (log (fmod (cosh a) (pow a 2))) 3) (* (log (fmod (cosh a) (pow a 2))) 3) 3 (pow (fmod (cosh a) (pow a 2)) (* (cbrt 3) (cbrt 3))) (pow (fmod (cosh a) (pow a 2)) (sqrt 3)) (fmod (cosh a) (pow a 2)) (pow (fmod (cosh a) (pow a 2)) 2) (fmod (cosh a) (pow a 2)) (pow (fmod (cosh a) (pow a 2)) 3/2) (pow (fmod (cosh a) (pow a 2)) 3/2) 1 (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 2) (* (log (fmod (cosh a) (pow a 2))) 3) (exp (pow (fmod (cosh a) (pow a 2)) 3)) (pow (fmod (cosh a) (pow a 2)) 2) (fmod (cosh a) (pow a 2)) (pow (pow (fmod (cosh a) (pow a 2)) 3) 3) (pow (fmod (cosh a) (pow a 2)) 2) (fmod (cosh a) (pow a 2)) (pow (fmod (cosh a) (pow a 2)) 3/2) (pow (fmod (cosh a) (pow a 2)) 3/2) 1 (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 2) (sqrt (pow (fmod (cosh a) (pow a 2)) 3)) (sqrt (pow (fmod (cosh a) (pow a 2)) 3)) (pow (fmod (cosh a) (pow a 2)) 3/2) (pow (fmod (cosh a) (pow a 2)) 3/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))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 3) (pow (fmod (cosh a) (pow a 2)) 3) 16.220 * * * [progress]: adding candidates to table 16.384 * * [progress]: iteration 4 / 4 16.384 * * * [progress]: picking best candidate 16.397 * * * * [pick]: Picked # 16.397 * * * [progress]: localizing error 16.411 * * * [progress]: generating rewritten candidates 16.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 16.411 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 16.411 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 16.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 16.414 * * * [progress]: generating series expansions 16.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 16.415 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 16.415 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 16.415 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 16.415 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 16.415 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 16.415 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 16.416 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 16.416 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 16.416 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 16.416 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 16.417 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 16.417 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.417 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.417 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 16.417 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 16.417 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 16.418 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 16.418 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 16.419 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 16.419 * * * * [progress]: [ 3 / 4 ] generating series at (2) 16.419 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 16.419 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.420 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.420 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 16.420 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 16.420 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 16.421 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 16.421 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 16.421 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 16.422 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 16.422 * [approximate]: Taking taylor expansion of (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0 16.422 * [taylor]: Taking taylor expansion of (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 16.422 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.423 * [taylor]: Taking taylor expansion of (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 16.423 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.433 * [approximate]: Taking taylor expansion of (exp (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in (a) around 0 16.433 * [taylor]: Taking taylor expansion of (exp (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 16.433 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 16.433 * [taylor]: Taking taylor expansion of (exp (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 16.433 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 16.443 * [approximate]: Taking taylor expansion of (exp (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in (a) around 0 16.443 * [taylor]: Taking taylor expansion of (exp (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 16.443 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 16.444 * [taylor]: Taking taylor expansion of (exp (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 16.444 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 16.456 * * * [progress]: simplifying candidates 16.457 * [simplify]: Simplifying using # : (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (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)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log (* (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log 1) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (/ PI 2))) (log (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (exp (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (exp 1)) (log (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (exp (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (* (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (* (* (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (sqrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (sqrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (exp (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (exp (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp 1) (exp (/ PI 2)) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (* (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (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))) (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))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 16.460 * * [simplify]: iteration 0 : 54 enodes (cost 756 ) 16.468 * * [simplify]: iteration 1 : 80 enodes (cost 716 ) 16.479 * * [simplify]: iteration 2 : 121 enodes (cost 632 ) 16.500 * * [simplify]: iteration 3 : 237 enodes (cost 632 ) 16.565 * * [simplify]: iteration 4 : 631 enodes (cost 632 ) 16.926 * * [simplify]: iteration 5 : 2491 enodes (cost 632 ) 19.118 * * [simplify]: iteration done : 5000 enodes (cost 632 ) 19.118 * [simplify]: Simplified to: (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) 0 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (exp (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) E (sqrt (exp PI)) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (exp (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (pow (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 3) (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (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))) (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))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 19.118 * * * [progress]: adding candidates to table 19.278 * [progress]: [Phase 3 of 3] Extracting. 19.279 * * [regime]: Finding splitpoints for: (# # # # #) 19.280 * * * [regime-changes]: Trying 2 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) a) 19.281 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # #) 19.321 * * * * [regimes]: Trying to branch on a from (# # # # #) 19.350 * * * [regime]: Found split indices: #