15.529 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.314 * * * [progress]: [2/2] Setting up program. 0.316 * [progress]: [Phase 2 of 3] Improving. 0.316 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.317 * * [simplify]: Extracting # 0 : cost 0 0.317 * * [simplify]: Extracting # 1 : cost 0 0.317 * * [simplify]: Extracting # 2 : cost 0 0.317 * * [simplify]: Extracting # 3 : cost 0 0.317 * * [simplify]: Extracting # 4 : cost 0 0.317 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.317 * * [simplify]: Extracting # 0 : cost 0 0.317 * * [simplify]: Extracting # 1 : cost 0 0.317 * * [simplify]: Extracting # 2 : cost 0 0.317 * * [simplify]: Extracting # 3 : cost 0 0.317 * * [simplify]: Extracting # 4 : cost 0 0.317 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.319 * * [simplify]: Extracting # 0 : cost 0 0.319 * * [simplify]: Extracting # 1 : cost 0 0.319 * * [simplify]: Extracting # 2 : cost 0 0.319 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.320 * * [simplify]: Extracting # 0 : cost 0 0.320 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.322 * * [simplify]: Extracting # 0 : cost 0 0.322 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.322 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.322 * * [progress]: iteration 1 / 4 0.322 * * * [progress]: picking best candidate 0.324 * * * * [pick]: Picked # 0.324 * * * [progress]: localizing error 0.335 * * * [progress]: generating rewritten candidates 0.335 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.335 * * * [progress]: generating series expansions 0.336 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [taylor]: Taking taylor expansion of 0 in a 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [taylor]: Taking taylor expansion of 0 in a 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [taylor]: Taking taylor expansion of 0 in a 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.337 * [taylor]: Taking taylor expansion of 0 in a 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [taylor]: Taking taylor expansion of 0 in a 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [taylor]: Taking taylor expansion of 0 in a 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.338 * [taylor]: Taking taylor expansion of 0 in a 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [taylor]: Taking taylor expansion of 0 in a 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [taylor]: Taking taylor expansion of 0 in a 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.338 * * * [progress]: simplifying candidates 0.339 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.339 * * [simplify]: Extracting # 0 : cost 0 0.339 * * [simplify]: Extracting # 1 : cost 0 0.339 * * [simplify]: Extracting # 2 : cost 0 0.339 * * [simplify]: Extracting # 3 : cost 0 0.339 * * [simplify]: Extracting # 4 : cost 0 0.339 * * [simplify]: iteration 0 : 12 enodes (cost 75 ) 0.340 * * [simplify]: Extracting # 0 : cost 0 0.340 * * [simplify]: Extracting # 1 : cost 0 0.341 * * [simplify]: Extracting # 2 : cost 0 0.341 * * [simplify]: Extracting # 3 : cost 0 0.341 * * [simplify]: Extracting # 4 : cost 0 0.341 * * [simplify]: Extracting # 5 : cost 0 0.341 * * [simplify]: iteration 1 : 19 enodes (cost 75 ) 0.343 * * [simplify]: Extracting # 0 : cost 0 0.343 * * [simplify]: Extracting # 1 : cost 0 0.343 * * [simplify]: Extracting # 2 : cost 0 0.343 * * [simplify]: iteration 2 : 24 enodes (cost 65 ) 0.347 * * [simplify]: Extracting # 0 : cost 0 0.347 * * [simplify]: Extracting # 1 : cost 0 0.347 * * [simplify]: Extracting # 2 : cost 0 0.347 * * [simplify]: Extracting # 3 : cost 0 0.347 * * [simplify]: Extracting # 4 : cost 0 0.347 * * [simplify]: iteration 3 : 30 enodes (cost 65 ) 0.351 * * [simplify]: Extracting # 0 : cost 0 0.351 * * [simplify]: Extracting # 1 : cost 0 0.351 * * [simplify]: Extracting # 2 : cost 0 0.351 * * [simplify]: Extracting # 3 : cost 0 0.351 * * [simplify]: Extracting # 4 : cost 0 0.351 * * [simplify]: iteration 4 : 36 enodes (cost 65 ) 0.356 * * [simplify]: Extracting # 0 : cost 0 0.356 * * [simplify]: Extracting # 1 : cost 0 0.356 * * [simplify]: Extracting # 2 : cost 0 0.356 * * [simplify]: Extracting # 3 : cost 0 0.356 * * [simplify]: Extracting # 4 : cost 0 0.356 * * [simplify]: iteration 5 : 46 enodes (cost 65 ) 0.363 * * [simplify]: Extracting # 0 : cost 0 0.363 * * [simplify]: Extracting # 1 : cost 0 0.363 * * [simplify]: Extracting # 2 : cost 0 0.363 * * [simplify]: Extracting # 3 : cost 0 0.363 * * [simplify]: iteration 6 : 67 enodes (cost 65 ) 0.377 * * [simplify]: Extracting # 0 : cost 0 0.377 * * [simplify]: Extracting # 1 : cost 0 0.377 * * [simplify]: Extracting # 2 : cost 0 0.378 * * [simplify]: Extracting # 3 : cost 0 0.378 * * [simplify]: iteration 7 : 145 enodes (cost 65 ) 0.441 * * [simplify]: Extracting # 0 : cost 0 0.441 * * [simplify]: Extracting # 1 : cost 0 0.441 * * [simplify]: Extracting # 2 : cost 0 0.441 * * [simplify]: Extracting # 3 : cost 0 0.442 * * [simplify]: Extracting # 4 : cost 0 0.442 * * [simplify]: iteration 8 : 430 enodes (cost 65 ) 1.017 * * [simplify]: Extracting # 0 : cost 0 1.018 * * [simplify]: Extracting # 1 : cost 0 1.019 * * [simplify]: Extracting # 2 : cost 0 1.020 * * [simplify]: Extracting # 3 : cost 0 1.021 * * [simplify]: Extracting # 4 : cost 0 1.022 * * [simplify]: iteration 9 : 1839 enodes (cost 65 ) 1.692 * * [simplify]: Extracting # 0 : cost 0 1.696 * * [simplify]: Extracting # 1 : cost 0 1.702 * * [simplify]: Extracting # 2 : cost 0 1.707 * * [simplify]: Extracting # 3 : cost 0 1.712 * * [simplify]: iteration done: 5001 enodes (cost 65 ) 1.712 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 1.712 * * * [progress]: adding candidates to table 1.737 * * [progress]: iteration 2 / 4 1.737 * * * [progress]: picking best candidate 1.749 * * * * [pick]: Picked # 1.749 * * * [progress]: localizing error 1.757 * * * [progress]: generating rewritten candidates 1.757 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.758 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.761 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.763 * * * [progress]: generating series expansions 1.763 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.763 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.763 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.763 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.763 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.763 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.763 * [taylor]: Taking taylor expansion of 0 in a 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [taylor]: Taking taylor expansion of 0 in a 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [taylor]: Taking taylor expansion of 0 in a 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.764 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.764 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.764 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.764 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.764 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.764 * [taylor]: Taking taylor expansion of 0 in a 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [taylor]: Taking taylor expansion of 0 in a 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [taylor]: Taking taylor expansion of 0 in a 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.765 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.765 * [taylor]: Taking taylor expansion of 0 in a 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [taylor]: Taking taylor expansion of 0 in a 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [taylor]: Taking taylor expansion of 0 in a 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.765 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.766 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.766 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.766 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.766 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.766 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.766 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.766 * [taylor]: Taking taylor expansion of 0 in a 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [taylor]: Taking taylor expansion of 0 in a 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [taylor]: Taking taylor expansion of 0 in a 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.766 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.767 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.767 * [taylor]: Taking taylor expansion of 0 in a 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [taylor]: Taking taylor expansion of 0 in a 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [taylor]: Taking taylor expansion of 0 in a 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.768 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.768 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.768 * [taylor]: Taking taylor expansion of 0 in a 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [taylor]: Taking taylor expansion of 0 in a 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [taylor]: Taking taylor expansion of 0 in a 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify 0 into 0 1.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.768 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.769 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.769 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.769 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.769 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.769 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.769 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.769 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.769 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.769 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.769 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.769 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.770 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.770 * [taylor]: Taking taylor expansion of 0 in a 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify 0 into 0 1.771 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.771 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.772 * [taylor]: Taking taylor expansion of 0 in a 1.772 * [backup-simplify]: Simplify 0 into 0 1.773 * [backup-simplify]: Simplify 0 into 0 1.773 * [backup-simplify]: Simplify 0 into 0 1.774 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.774 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 1.776 * [taylor]: Taking taylor expansion of 0 in a 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.776 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.776 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.776 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.776 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.776 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.777 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.777 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.777 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.777 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.777 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.777 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.778 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.778 * [backup-simplify]: Simplify 0 into 0 1.779 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.780 * [taylor]: Taking taylor expansion of 0 in a 1.780 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.781 * [backup-simplify]: Simplify 0 into 0 1.783 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 1.783 * [taylor]: Taking taylor expansion of 0 in a 1.783 * [backup-simplify]: Simplify 0 into 0 1.783 * [backup-simplify]: Simplify 0 into 0 1.783 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.783 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.783 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.783 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.783 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.783 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.784 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.784 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.784 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.785 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.785 * [taylor]: Taking taylor expansion of 0 in a 1.785 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.785 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.787 * [taylor]: Taking taylor expansion of 0 in a 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.788 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 1.790 * [taylor]: Taking taylor expansion of 0 in a 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.790 * * * [progress]: simplifying candidates 1.790 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 1.791 * * [simplify]: Extracting # 0 : cost 0 1.791 * * [simplify]: Extracting # 1 : cost 0 1.791 * * [simplify]: Extracting # 2 : cost 0 1.791 * * [simplify]: Extracting # 3 : cost 0 1.791 * * [simplify]: Extracting # 4 : cost 0 1.791 * * [simplify]: Extracting # 5 : cost 0 1.791 * * [simplify]: Extracting # 6 : cost 0 1.791 * * [simplify]: iteration 0 : 38 enodes (cost 384 ) 1.797 * * [simplify]: Extracting # 0 : cost 0 1.797 * * [simplify]: Extracting # 1 : cost 0 1.798 * * [simplify]: Extracting # 2 : cost 0 1.798 * * [simplify]: Extracting # 3 : cost 0 1.798 * * [simplify]: Extracting # 4 : cost 0 1.798 * * [simplify]: Extracting # 5 : cost 0 1.798 * * [simplify]: iteration 1 : 54 enodes (cost 347 ) 1.806 * * [simplify]: Extracting # 0 : cost 0 1.806 * * [simplify]: Extracting # 1 : cost 0 1.806 * * [simplify]: Extracting # 2 : cost 0 1.806 * * [simplify]: Extracting # 3 : cost 0 1.806 * * [simplify]: Extracting # 4 : cost 0 1.806 * * [simplify]: iteration 2 : 68 enodes (cost 301 ) 1.815 * * [simplify]: Extracting # 0 : cost 0 1.815 * * [simplify]: Extracting # 1 : cost 0 1.815 * * [simplify]: Extracting # 2 : cost 0 1.815 * * [simplify]: Extracting # 3 : cost 0 1.815 * * [simplify]: Extracting # 4 : cost 0 1.815 * * [simplify]: iteration 3 : 86 enodes (cost 301 ) 1.827 * * [simplify]: Extracting # 0 : cost 0 1.827 * * [simplify]: Extracting # 1 : cost 0 1.827 * * [simplify]: Extracting # 2 : cost 0 1.827 * * [simplify]: Extracting # 3 : cost 0 1.827 * * [simplify]: iteration 4 : 126 enodes (cost 295 ) 1.848 * * [simplify]: Extracting # 0 : cost 0 1.848 * * [simplify]: Extracting # 1 : cost 0 1.849 * * [simplify]: Extracting # 2 : cost 0 1.849 * * [simplify]: Extracting # 3 : cost 0 1.849 * * [simplify]: Extracting # 4 : cost 0 1.849 * * [simplify]: iteration 5 : 210 enodes (cost 295 ) 1.904 * * [simplify]: Extracting # 0 : cost 0 1.904 * * [simplify]: Extracting # 1 : cost 0 1.904 * * [simplify]: Extracting # 2 : cost 0 1.905 * * [simplify]: Extracting # 3 : cost 0 1.905 * * [simplify]: Extracting # 4 : cost 0 1.905 * * [simplify]: iteration 6 : 423 enodes (cost 295 ) 2.104 * * [simplify]: Extracting # 0 : cost 0 2.105 * * [simplify]: Extracting # 1 : cost 0 2.106 * * [simplify]: Extracting # 2 : cost 0 2.107 * * [simplify]: Extracting # 3 : cost 0 2.108 * * [simplify]: Extracting # 4 : cost 0 2.109 * * [simplify]: iteration 7 : 1210 enodes (cost 295 ) 3.446 * * [simplify]: Extracting # 0 : cost 0 3.450 * * [simplify]: Extracting # 1 : cost 0 3.453 * * [simplify]: Extracting # 2 : cost 0 3.456 * * [simplify]: Extracting # 3 : cost 0 3.459 * * [simplify]: Extracting # 4 : cost 0 3.462 * * [simplify]: Extracting # 5 : cost 0 3.469 * * [simplify]: iteration 8 : 4537 enodes (cost 295 ) 4.498 * * [simplify]: Extracting # 0 : cost 0 4.501 * * [simplify]: Extracting # 1 : cost 0 4.505 * * [simplify]: Extracting # 2 : cost 0 4.512 * * [simplify]: Extracting # 3 : cost 0 4.516 * * [simplify]: iteration done: 5001 enodes (cost 295 ) 4.516 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) E (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) E (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 4.516 * * * [progress]: adding candidates to table 4.599 * * [progress]: iteration 3 / 4 4.599 * * * [progress]: picking best candidate 4.628 * * * * [pick]: Picked # 4.628 * * * [progress]: localizing error 4.642 * * * [progress]: generating rewritten candidates 4.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 4.643 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 4.643 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 4.643 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.654 * * * [progress]: generating series expansions 4.654 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.655 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [taylor]: Taking taylor expansion of 0 in a 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [taylor]: Taking taylor expansion of 0 in a 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [taylor]: Taking taylor expansion of 0 in a 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.655 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.655 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.655 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.656 * [taylor]: Taking taylor expansion of 0 in a 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [taylor]: Taking taylor expansion of 0 in a 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [taylor]: Taking taylor expansion of 0 in a 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.656 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.656 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.657 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.657 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.657 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.657 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.657 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.657 * [taylor]: Taking taylor expansion of 0 in a 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [taylor]: Taking taylor expansion of 0 in a 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [taylor]: Taking taylor expansion of 0 in a 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.658 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.658 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [taylor]: Taking taylor expansion of 0 in a 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [taylor]: Taking taylor expansion of 0 in a 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [taylor]: Taking taylor expansion of 0 in a 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.658 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.658 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.659 * [taylor]: Taking taylor expansion of 0 in a 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [taylor]: Taking taylor expansion of 0 in a 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [taylor]: Taking taylor expansion of 0 in a 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.659 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.660 * [taylor]: Taking taylor expansion of 0 in a 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [taylor]: Taking taylor expansion of 0 in a 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [taylor]: Taking taylor expansion of 0 in a 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.660 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 4.660 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.660 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.660 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.660 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.661 * [taylor]: Taking taylor expansion of 0 in a 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [taylor]: Taking taylor expansion of 0 in a 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [taylor]: Taking taylor expansion of 0 in a 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.661 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.662 * [taylor]: Taking taylor expansion of 0 in a 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [taylor]: Taking taylor expansion of 0 in a 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [taylor]: Taking taylor expansion of 0 in a 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.662 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.663 * [taylor]: Taking taylor expansion of 0 in a 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [taylor]: Taking taylor expansion of 0 in a 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [taylor]: Taking taylor expansion of 0 in a 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.663 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.663 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) into (fmod (cosh c) (log1p a)) 4.663 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.663 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.664 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.664 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.664 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.664 * [taylor]: Taking taylor expansion of 0 in a 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [taylor]: Taking taylor expansion of 0 in a 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [taylor]: Taking taylor expansion of 0 in a 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.665 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.665 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.665 * [taylor]: Taking taylor expansion of 0 in a 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [taylor]: Taking taylor expansion of 0 in a 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [taylor]: Taking taylor expansion of 0 in a 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.666 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.666 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.666 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.666 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.666 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.666 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.667 * [taylor]: Taking taylor expansion of 0 in a 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [taylor]: Taking taylor expansion of 0 in a 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [taylor]: Taking taylor expansion of 0 in a 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.667 * * * [progress]: simplifying candidates 4.667 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (log (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (exp (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (* (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (* (* (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 4.668 * * [simplify]: Extracting # 0 : cost 0 4.668 * * [simplify]: Extracting # 1 : cost 0 4.668 * * [simplify]: Extracting # 2 : cost 0 4.668 * * [simplify]: Extracting # 3 : cost 0 4.668 * * [simplify]: Extracting # 4 : cost 0 4.668 * * [simplify]: Extracting # 5 : cost 0 4.668 * * [simplify]: Extracting # 6 : cost 0 4.668 * * [simplify]: Extracting # 7 : cost 0 4.668 * * [simplify]: Extracting # 8 : cost 0 4.668 * * [simplify]: iteration 0 : 24 enodes (cost 506 ) 4.672 * * [simplify]: Extracting # 0 : cost 0 4.672 * * [simplify]: Extracting # 1 : cost 0 4.672 * * [simplify]: Extracting # 2 : cost 0 4.672 * * [simplify]: Extracting # 3 : cost 0 4.672 * * [simplify]: Extracting # 4 : cost 0 4.672 * * [simplify]: Extracting # 5 : cost 0 4.672 * * [simplify]: Extracting # 6 : cost 0 4.672 * * [simplify]: iteration 1 : 38 enodes (cost 503 ) 4.678 * * [simplify]: Extracting # 0 : cost 0 4.678 * * [simplify]: Extracting # 1 : cost 0 4.678 * * [simplify]: Extracting # 2 : cost 0 4.678 * * [simplify]: Extracting # 3 : cost 0 4.678 * * [simplify]: Extracting # 4 : cost 0 4.678 * * [simplify]: Extracting # 5 : cost 0 4.678 * * [simplify]: iteration 2 : 64 enodes (cost 314 ) 4.690 * * [simplify]: Extracting # 0 : cost 0 4.690 * * [simplify]: Extracting # 1 : cost 0 4.690 * * [simplify]: Extracting # 2 : cost 0 4.690 * * [simplify]: Extracting # 3 : cost 0 4.690 * * [simplify]: Extracting # 4 : cost 0 4.691 * * [simplify]: iteration 3 : 132 enodes (cost 290 ) 4.727 * * [simplify]: Extracting # 0 : cost 0 4.728 * * [simplify]: Extracting # 1 : cost 0 4.728 * * [simplify]: Extracting # 2 : cost 0 4.728 * * [simplify]: Extracting # 3 : cost 0 4.729 * * [simplify]: Extracting # 4 : cost 0 4.729 * * [simplify]: iteration 4 : 351 enodes (cost 276 ) 4.949 * * [simplify]: Extracting # 0 : cost 0 4.951 * * [simplify]: Extracting # 1 : cost 0 4.952 * * [simplify]: Extracting # 2 : cost 0 4.953 * * [simplify]: Extracting # 3 : cost 0 4.953 * * [simplify]: Extracting # 4 : cost 0 4.954 * * [simplify]: Extracting # 5 : cost 0 4.955 * * [simplify]: iteration 5 : 1311 enodes (cost 276 ) 6.402 * * [simplify]: Extracting # 0 : cost 0 6.409 * * [simplify]: Extracting # 1 : cost 0 6.414 * * [simplify]: Extracting # 2 : cost 0 6.418 * * [simplify]: Extracting # 3 : cost 0 6.422 * * [simplify]: Extracting # 4 : cost 0 6.426 * * [simplify]: iteration done: 5000 enodes (cost 276 ) 6.426 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 6.427 * * * [progress]: adding candidates to table 6.541 * * [progress]: iteration 4 / 4 6.542 * * * [progress]: picking best candidate 6.578 * * * * [pick]: Picked # 6.578 * * * [progress]: localizing error 6.597 * * * [progress]: generating rewritten candidates 6.597 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 6.597 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 6.597 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 2 1) 6.598 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1) 6.598 * * * [progress]: generating series expansions 6.598 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 6.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.598 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.598 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.598 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.599 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.599 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.599 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.599 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.599 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.599 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.599 * [taylor]: Taking taylor expansion of 0 in a 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [taylor]: Taking taylor expansion of 0 in a 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [taylor]: Taking taylor expansion of 0 in a 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.599 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.600 * [taylor]: Taking taylor expansion of 0 in a 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [taylor]: Taking taylor expansion of 0 in a 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [taylor]: Taking taylor expansion of 0 in a 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify 0 into 0 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.600 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.601 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.601 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.601 * [taylor]: Taking taylor expansion of 0 in a 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [taylor]: Taking taylor expansion of 0 in a 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [taylor]: Taking taylor expansion of 0 in a 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify 0 into 0 6.601 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.601 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1) 6.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.601 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.602 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.602 * [taylor]: Taking taylor expansion of 0 in a 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [taylor]: Taking taylor expansion of 0 in a 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [taylor]: Taking taylor expansion of 0 in a 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.602 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.603 * [taylor]: Taking taylor expansion of 0 in a 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [taylor]: Taking taylor expansion of 0 in a 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [taylor]: Taking taylor expansion of 0 in a 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.603 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.603 * [taylor]: Taking taylor expansion of 0 in a 6.603 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [taylor]: Taking taylor expansion of 0 in a 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [taylor]: Taking taylor expansion of 0 in a 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.604 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 2 1) 6.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.604 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.604 * [taylor]: Taking taylor expansion of 0 in a 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [taylor]: Taking taylor expansion of 0 in a 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.604 * [taylor]: Taking taylor expansion of 0 in a 6.604 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.605 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.605 * [taylor]: Taking taylor expansion of 0 in a 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [taylor]: Taking taylor expansion of 0 in a 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [taylor]: Taking taylor expansion of 0 in a 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [taylor]: Taking taylor expansion of 0 in a 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [taylor]: Taking taylor expansion of 0 in a 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [taylor]: Taking taylor expansion of 0 in a 6.606 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.607 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1 1 1) 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [taylor]: Taking taylor expansion of 0 in a 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [taylor]: Taking taylor expansion of 0 in a 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [taylor]: Taking taylor expansion of 0 in a 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify 0 into 0 6.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.607 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.608 * [taylor]: Taking taylor expansion of 0 in a 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [taylor]: Taking taylor expansion of 0 in a 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [taylor]: Taking taylor expansion of 0 in a 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.608 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.609 * [taylor]: Taking taylor expansion of 0 in a 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [taylor]: Taking taylor expansion of 0 in a 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [taylor]: Taking taylor expansion of 0 in a 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.609 * * * [progress]: simplifying candidates 6.610 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 6.610 * * [simplify]: Extracting # 0 : cost 0 6.610 * * [simplify]: Extracting # 1 : cost 0 6.610 * * [simplify]: Extracting # 2 : cost 0 6.610 * * [simplify]: Extracting # 3 : cost 0 6.610 * * [simplify]: Extracting # 4 : cost 0 6.610 * * [simplify]: iteration 0 : 12 enodes (cost 300 ) 6.612 * * [simplify]: Extracting # 0 : cost 0 6.612 * * [simplify]: Extracting # 1 : cost 0 6.612 * * [simplify]: Extracting # 2 : cost 0 6.612 * * [simplify]: Extracting # 3 : cost 0 6.612 * * [simplify]: Extracting # 4 : cost 0 6.612 * * [simplify]: Extracting # 5 : cost 0 6.612 * * [simplify]: iteration 1 : 19 enodes (cost 300 ) 6.614 * * [simplify]: Extracting # 0 : cost 0 6.614 * * [simplify]: Extracting # 1 : cost 0 6.614 * * [simplify]: Extracting # 2 : cost 0 6.614 * * [simplify]: iteration 2 : 24 enodes (cost 260 ) 6.618 * * [simplify]: Extracting # 0 : cost 0 6.618 * * [simplify]: Extracting # 1 : cost 0 6.618 * * [simplify]: Extracting # 2 : cost 0 6.618 * * [simplify]: Extracting # 3 : cost 0 6.618 * * [simplify]: Extracting # 4 : cost 0 6.618 * * [simplify]: iteration 3 : 30 enodes (cost 260 ) 6.623 * * [simplify]: Extracting # 0 : cost 0 6.623 * * [simplify]: Extracting # 1 : cost 0 6.623 * * [simplify]: Extracting # 2 : cost 0 6.623 * * [simplify]: Extracting # 3 : cost 0 6.623 * * [simplify]: Extracting # 4 : cost 0 6.623 * * [simplify]: iteration 4 : 36 enodes (cost 260 ) 6.627 * * [simplify]: Extracting # 0 : cost 0 6.627 * * [simplify]: Extracting # 1 : cost 0 6.627 * * [simplify]: Extracting # 2 : cost 0 6.627 * * [simplify]: Extracting # 3 : cost 0 6.627 * * [simplify]: Extracting # 4 : cost 0 6.628 * * [simplify]: iteration 5 : 46 enodes (cost 260 ) 6.634 * * [simplify]: Extracting # 0 : cost 0 6.634 * * [simplify]: Extracting # 1 : cost 0 6.634 * * [simplify]: Extracting # 2 : cost 0 6.634 * * [simplify]: Extracting # 3 : cost 0 6.634 * * [simplify]: iteration 6 : 67 enodes (cost 260 ) 6.651 * * [simplify]: Extracting # 0 : cost 0 6.651 * * [simplify]: Extracting # 1 : cost 0 6.651 * * [simplify]: Extracting # 2 : cost 0 6.651 * * [simplify]: Extracting # 3 : cost 0 6.651 * * [simplify]: iteration 7 : 145 enodes (cost 260 ) 6.713 * * [simplify]: Extracting # 0 : cost 0 6.714 * * [simplify]: Extracting # 1 : cost 0 6.714 * * [simplify]: Extracting # 2 : cost 0 6.714 * * [simplify]: Extracting # 3 : cost 0 6.715 * * [simplify]: Extracting # 4 : cost 0 6.715 * * [simplify]: iteration 8 : 430 enodes (cost 260 ) 7.279 * * [simplify]: Extracting # 0 : cost 0 7.280 * * [simplify]: Extracting # 1 : cost 0 7.281 * * [simplify]: Extracting # 2 : cost 0 7.282 * * [simplify]: Extracting # 3 : cost 0 7.283 * * [simplify]: Extracting # 4 : cost 0 7.284 * * [simplify]: iteration 9 : 1839 enodes (cost 260 ) 7.943 * * [simplify]: Extracting # 0 : cost 0 7.947 * * [simplify]: Extracting # 1 : cost 0 7.955 * * [simplify]: Extracting # 2 : cost 0 7.960 * * [simplify]: Extracting # 3 : cost 0 7.965 * * [simplify]: iteration done: 5001 enodes (cost 260 ) 7.965 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 7.965 * * * [progress]: adding candidates to table 8.116 * [progress]: [Phase 3 of 3] Extracting. 8.116 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 8.118 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 8.118 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # #) 8.171 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # #) 8.217 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # #) 8.277 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # #) 8.326 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # #) 8.377 * * * [regime]: Found split indices: #