0.134 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.473 * * * [progress]: [2/2] Setting up program. 1.478 * [progress]: [Phase 2 of 3] Improving. 1.480 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 1.481 * * [simplify]: Extracting # 0 : cost 0 1.481 * * [simplify]: Extracting # 1 : cost 0 1.481 * * [simplify]: Extracting # 2 : cost 0 1.481 * * [simplify]: Extracting # 3 : cost 0 1.481 * * [simplify]: Extracting # 4 : cost 0 1.481 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 1.485 * * [simplify]: Extracting # 0 : cost 0 1.485 * * [simplify]: Extracting # 1 : cost 0 1.485 * * [simplify]: Extracting # 2 : cost 0 1.485 * * [simplify]: Extracting # 3 : cost 0 1.485 * * [simplify]: Extracting # 4 : cost 0 1.485 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 1.487 * * [simplify]: Extracting # 0 : cost 0 1.487 * * [simplify]: Extracting # 1 : cost 0 1.487 * * [simplify]: Extracting # 2 : cost 0 1.487 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 1.489 * * [simplify]: Extracting # 0 : cost 0 1.489 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 1.491 * * [simplify]: Extracting # 0 : cost 0 1.491 * * [simplify]: iteration done: 16 enodes (cost 5 ) 1.491 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 1.493 * * [progress]: iteration 1 / 4 1.493 * * * [progress]: picking best candidate 1.495 * * * * [pick]: Picked # 1.496 * * * [progress]: localizing error 1.506 * * * [progress]: generating rewritten candidates 1.506 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.508 * * * [progress]: generating series expansions 1.508 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.511 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.511 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.512 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.513 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.513 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.514 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.514 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.514 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.514 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.514 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.514 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.514 * [taylor]: Taking taylor expansion of 0 in a 1.514 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [taylor]: Taking taylor expansion of 0 in a 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [taylor]: Taking taylor expansion of 0 in a 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.517 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.517 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.517 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.517 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.517 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.517 * [taylor]: Taking taylor expansion of 0 in a 1.517 * [backup-simplify]: Simplify 0 into 0 1.517 * [backup-simplify]: Simplify 0 into 0 1.517 * [backup-simplify]: Simplify 0 into 0 1.517 * [taylor]: Taking taylor expansion of 0 in a 1.517 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [taylor]: Taking taylor expansion of 0 in a 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.547 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.547 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.547 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.547 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.547 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.548 * [taylor]: Taking taylor expansion of 0 in a 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [taylor]: Taking taylor expansion of 0 in a 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [taylor]: Taking taylor expansion of 0 in a 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.548 * * * [progress]: simplifying candidates 1.549 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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)) 1.549 * * [simplify]: Extracting # 0 : cost 0 1.549 * * [simplify]: Extracting # 1 : cost 0 1.549 * * [simplify]: Extracting # 2 : cost 0 1.549 * * [simplify]: Extracting # 3 : cost 0 1.549 * * [simplify]: Extracting # 4 : cost 0 1.549 * * [simplify]: Extracting # 5 : cost 0 1.549 * * [simplify]: Extracting # 6 : cost 0 1.549 * * [simplify]: iteration 0 : 14 enodes (cost 87 ) 1.551 * * [simplify]: Extracting # 0 : cost 0 1.552 * * [simplify]: Extracting # 1 : cost 0 1.552 * * [simplify]: Extracting # 2 : cost 0 1.552 * * [simplify]: Extracting # 3 : cost 0 1.552 * * [simplify]: Extracting # 4 : cost 0 1.552 * * [simplify]: Extracting # 5 : cost 0 1.552 * * [simplify]: iteration 1 : 21 enodes (cost 87 ) 1.555 * * [simplify]: Extracting # 0 : cost 0 1.555 * * [simplify]: Extracting # 1 : cost 0 1.555 * * [simplify]: Extracting # 2 : cost 0 1.555 * * [simplify]: iteration 2 : 26 enodes (cost 77 ) 1.560 * * [simplify]: Extracting # 0 : cost 0 1.560 * * [simplify]: Extracting # 1 : cost 0 1.560 * * [simplify]: Extracting # 2 : cost 0 1.560 * * [simplify]: Extracting # 3 : cost 0 1.560 * * [simplify]: Extracting # 4 : cost 0 1.560 * * [simplify]: iteration 3 : 32 enodes (cost 77 ) 1.566 * * [simplify]: Extracting # 0 : cost 0 1.566 * * [simplify]: Extracting # 1 : cost 0 1.566 * * [simplify]: Extracting # 2 : cost 0 1.567 * * [simplify]: Extracting # 3 : cost 0 1.567 * * [simplify]: Extracting # 4 : cost 0 1.567 * * [simplify]: iteration 4 : 38 enodes (cost 77 ) 1.572 * * [simplify]: Extracting # 0 : cost 0 1.572 * * [simplify]: Extracting # 1 : cost 0 1.572 * * [simplify]: Extracting # 2 : cost 0 1.572 * * [simplify]: Extracting # 3 : cost 0 1.572 * * [simplify]: Extracting # 4 : cost 0 1.572 * * [simplify]: iteration 5 : 48 enodes (cost 77 ) 1.579 * * [simplify]: Extracting # 0 : cost 0 1.580 * * [simplify]: Extracting # 1 : cost 0 1.580 * * [simplify]: Extracting # 2 : cost 0 1.580 * * [simplify]: Extracting # 3 : cost 0 1.580 * * [simplify]: iteration 6 : 69 enodes (cost 77 ) 1.595 * * [simplify]: Extracting # 0 : cost 0 1.595 * * [simplify]: Extracting # 1 : cost 0 1.595 * * [simplify]: Extracting # 2 : cost 0 1.595 * * [simplify]: Extracting # 3 : cost 0 1.595 * * [simplify]: iteration 7 : 147 enodes (cost 77 ) 1.730 * * [simplify]: Extracting # 0 : cost 0 1.731 * * [simplify]: Extracting # 1 : cost 0 1.731 * * [simplify]: Extracting # 2 : cost 0 1.731 * * [simplify]: Extracting # 3 : cost 0 1.732 * * [simplify]: Extracting # 4 : cost 0 1.732 * * [simplify]: iteration 8 : 440 enodes (cost 77 ) 2.660 * * [simplify]: Extracting # 0 : cost 0 2.661 * * [simplify]: Extracting # 1 : cost 0 2.662 * * [simplify]: Extracting # 2 : cost 0 2.663 * * [simplify]: Extracting # 3 : cost 0 2.664 * * [simplify]: Extracting # 4 : cost 0 2.665 * * [simplify]: iteration 9 : 1834 enodes (cost 77 ) 3.786 * * [simplify]: Extracting # 0 : cost 0 3.791 * * [simplify]: Extracting # 1 : cost 0 3.796 * * [simplify]: Extracting # 2 : cost 0 3.802 * * [simplify]: Extracting # 3 : cost 0 3.811 * * [simplify]: iteration done: 5000 enodes (cost 77 ) 3.811 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (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)) 3.812 * * * [progress]: adding candidates to table 3.880 * * [progress]: iteration 2 / 4 3.880 * * * [progress]: picking best candidate 3.907 * * * * [pick]: Picked # 3.907 * * * [progress]: localizing error 3.927 * * * [progress]: generating rewritten candidates 3.927 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.928 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.929 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.958 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.965 * * * [progress]: generating series expansions 3.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.965 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.965 * [taylor]: Taking taylor expansion of 0 in a 3.965 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify 0 into 0 3.965 * [taylor]: Taking taylor expansion of 0 in a 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [taylor]: Taking taylor expansion of 0 in a 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.966 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.966 * [taylor]: Taking taylor expansion of 0 in a 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [taylor]: Taking taylor expansion of 0 in a 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [taylor]: Taking taylor expansion of 0 in a 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.967 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.968 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.968 * [taylor]: Taking taylor expansion of 0 in a 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [taylor]: Taking taylor expansion of 0 in a 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [taylor]: Taking taylor expansion of 0 in a 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.968 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.968 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.969 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.969 * [taylor]: Taking taylor expansion of 0 in a 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [taylor]: Taking taylor expansion of 0 in a 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [taylor]: Taking taylor expansion of 0 in a 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.969 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.970 * [taylor]: Taking taylor expansion of 0 in a 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [taylor]: Taking taylor expansion of 0 in a 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [taylor]: Taking taylor expansion of 0 in a 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.970 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.971 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.971 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.971 * [taylor]: Taking taylor expansion of 0 in a 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [taylor]: Taking taylor expansion of 0 in a 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [taylor]: Taking taylor expansion of 0 in a 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.971 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.971 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 3.971 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.971 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.971 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.972 * [taylor]: Taking taylor expansion of 0 in a 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [taylor]: Taking taylor expansion of 0 in a 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [taylor]: Taking taylor expansion of 0 in a 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.972 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.972 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.973 * [taylor]: Taking taylor expansion of 0 in a 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [taylor]: Taking taylor expansion of 0 in a 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [taylor]: Taking taylor expansion of 0 in a 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.974 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.974 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.974 * [taylor]: Taking taylor expansion of 0 in a 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [taylor]: Taking taylor expansion of 0 in a 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [taylor]: Taking taylor expansion of 0 in a 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.975 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.975 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.975 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0 3.975 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 3.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.975 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.975 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.975 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 3.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.975 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.976 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.976 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 3.976 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.976 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.976 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.976 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 3.976 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.976 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.976 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.976 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.976 * [taylor]: Taking taylor expansion of 0 in a 3.976 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.978 * [taylor]: Taking taylor expansion of 0 in a 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.979 * [taylor]: Taking taylor expansion of 0 in a 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.979 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.979 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.979 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.979 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.979 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.979 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.980 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.980 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.980 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.980 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.980 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.980 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.980 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.981 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.981 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.981 * [taylor]: Taking taylor expansion of 0 in a 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.981 * [taylor]: Taking taylor expansion of 0 in a 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.982 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.983 * [taylor]: Taking taylor expansion of 0 in a 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a))) 3.983 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.983 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.983 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.983 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.983 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.983 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.983 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.983 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.984 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.984 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.984 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.984 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.984 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.984 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.984 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.984 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.984 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.984 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.984 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.985 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.985 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.985 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.985 * [taylor]: Taking taylor expansion of 0 in a 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.985 * [taylor]: Taking taylor expansion of 0 in a 3.985 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.986 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.987 * [taylor]: Taking taylor expansion of 0 in a 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a))) 3.987 * * * [progress]: simplifying candidates 3.988 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (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))) (+ 1 1) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) 1) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (expm1 (sqrt (fmod (cosh c) (log1p a)))) (log1p (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (exp (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1) (sqrt (fmod (cosh c) (log1p a))) (/ 1 2) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (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)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 3.990 * * [simplify]: Extracting # 0 : cost 0 3.990 * * [simplify]: Extracting # 1 : cost 0 3.990 * * [simplify]: Extracting # 2 : cost 0 3.990 * * [simplify]: Extracting # 3 : cost 0 3.990 * * [simplify]: Extracting # 4 : cost 0 3.990 * * [simplify]: Extracting # 5 : cost 0 3.990 * * [simplify]: Extracting # 6 : cost 0 3.991 * * [simplify]: iteration 0 : 63 enodes (cost 1178 ) 4.013 * * [simplify]: Extracting # 0 : cost 0 4.014 * * [simplify]: Extracting # 1 : cost 0 4.014 * * [simplify]: Extracting # 2 : cost 0 4.014 * * [simplify]: Extracting # 3 : cost 0 4.014 * * [simplify]: Extracting # 4 : cost 0 4.014 * * [simplify]: iteration 1 : 98 enodes (cost 776 ) 4.031 * * [simplify]: Extracting # 0 : cost 0 4.031 * * [simplify]: Extracting # 1 : cost 0 4.031 * * [simplify]: Extracting # 2 : cost 0 4.031 * * [simplify]: Extracting # 3 : cost 0 4.031 * * [simplify]: Extracting # 4 : cost 0 4.032 * * [simplify]: iteration 2 : 212 enodes (cost 698 ) 4.116 * * [simplify]: Extracting # 0 : cost 0 4.116 * * [simplify]: Extracting # 1 : cost 0 4.116 * * [simplify]: Extracting # 2 : cost 0 4.117 * * [simplify]: Extracting # 3 : cost 0 4.117 * * [simplify]: Extracting # 4 : cost 0 4.117 * * [simplify]: iteration 3 : 403 enodes (cost 671 ) 4.402 * * [simplify]: Extracting # 0 : cost 0 4.403 * * [simplify]: Extracting # 1 : cost 0 4.404 * * [simplify]: Extracting # 2 : cost 0 4.405 * * [simplify]: Extracting # 3 : cost 0 4.406 * * [simplify]: Extracting # 4 : cost 0 4.406 * * [simplify]: iteration 4 : 836 enodes (cost 647 ) 7.114 * * [simplify]: Extracting # 0 : cost 0 7.123 * * [simplify]: Extracting # 1 : cost 0 7.128 * * [simplify]: Extracting # 2 : cost 0 7.131 * * [simplify]: Extracting # 3 : cost 0 7.135 * * [simplify]: Extracting # 4 : cost 0 7.139 * * [simplify]: iteration 5 : 4737 enodes (cost 635 ) 10.079 * * [simplify]: Extracting # 0 : cost 0 10.088 * * [simplify]: Extracting # 1 : cost 0 10.095 * * [simplify]: Extracting # 2 : cost 0 10.103 * * [simplify]: Extracting # 3 : cost 0 10.110 * * [simplify]: Extracting # 4 : cost 0 10.118 * * [simplify]: iteration done: 5000 enodes (cost 635 ) 10.119 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) 1 1 2 1 1 (pow (sqrt (fmod (cosh c) (log1p a))) 4) (fmod (cosh c) (log1p a)) (pow (sqrt (fmod (cosh c) (log1p a))) 4) 2 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (pow (sqrt (fmod (cosh c) (log1p a))) 4) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 2 1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (fmod (cosh c) (log1p a))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (fmod (cosh c) (log1p a))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (fmod (cosh c) (log1p a)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (fmod (cosh c) (log1p a)) (expm1 (sqrt (fmod (cosh c) (log1p a)))) (log1p (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (exp (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (fmod (cosh c) (log1p a))) 3) (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1 (sqrt (fmod (cosh c) (log1p a))) 1/2 (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (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)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 10.120 * * * [progress]: adding candidates to table 10.436 * * [progress]: iteration 3 / 4 10.437 * * * [progress]: picking best candidate 10.491 * * * * [pick]: Picked # 10.491 * * * [progress]: localizing error 10.506 * * * [progress]: generating rewritten candidates 10.506 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 10.507 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 10.509 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 10.518 * * * [progress]: generating series expansions 10.518 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 10.518 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.518 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.518 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.518 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.518 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.518 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.518 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.518 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.519 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.519 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.519 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.519 * [taylor]: Taking taylor expansion of 0 in a 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [taylor]: Taking taylor expansion of 0 in a 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [taylor]: Taking taylor expansion of 0 in a 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.520 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.520 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.520 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.520 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.520 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.521 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.521 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.521 * [taylor]: Taking taylor expansion of 0 in a 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [taylor]: Taking taylor expansion of 0 in a 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [taylor]: Taking taylor expansion of 0 in a 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.522 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.522 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.522 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.522 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.522 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.522 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.522 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.522 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.522 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.523 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.523 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.523 * [taylor]: Taking taylor expansion of 0 in a 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [taylor]: Taking taylor expansion of 0 in a 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [taylor]: Taking taylor expansion of 0 in a 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.524 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 10.524 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.524 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 10.524 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 10.524 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.524 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.525 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 10.525 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.525 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.525 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 10.525 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.525 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.525 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.526 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 10.526 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.526 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.526 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 10.528 * [taylor]: Taking taylor expansion of 0 in a 10.528 * [backup-simplify]: Simplify 0 into 0 10.528 * [backup-simplify]: Simplify 0 into 0 10.529 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 10.529 * [backup-simplify]: Simplify 0 into 0 10.532 * [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 10.532 * [taylor]: Taking taylor expansion of 0 in a 10.532 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify 0 into 0 10.534 * [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 10.534 * [backup-simplify]: Simplify 0 into 0 10.538 * [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 10.538 * [taylor]: Taking taylor expansion of 0 in a 10.538 * [backup-simplify]: Simplify 0 into 0 10.538 * [backup-simplify]: Simplify 0 into 0 10.538 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.539 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.539 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 10.539 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 10.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.539 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.539 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 10.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.540 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.540 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 10.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.540 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.540 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.540 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 10.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.540 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.541 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.541 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.542 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 10.542 * [taylor]: Taking taylor expansion of 0 in a 10.542 * [backup-simplify]: Simplify 0 into 0 10.543 * [backup-simplify]: Simplify 0 into 0 10.544 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 10.544 * [backup-simplify]: Simplify 0 into 0 10.546 * [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 10.546 * [taylor]: Taking taylor expansion of 0 in a 10.546 * [backup-simplify]: Simplify 0 into 0 10.546 * [backup-simplify]: Simplify 0 into 0 10.546 * [backup-simplify]: Simplify 0 into 0 10.548 * [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 10.548 * [backup-simplify]: Simplify 0 into 0 10.552 * [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 10.552 * [taylor]: Taking taylor expansion of 0 in a 10.553 * [backup-simplify]: Simplify 0 into 0 10.553 * [backup-simplify]: Simplify 0 into 0 10.553 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 10.553 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.553 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 10.553 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 10.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.553 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.554 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.554 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 10.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.554 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.554 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 10.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.555 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.555 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 10.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.555 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.555 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.557 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 10.557 * [taylor]: Taking taylor expansion of 0 in a 10.557 * [backup-simplify]: Simplify 0 into 0 10.557 * [backup-simplify]: Simplify 0 into 0 10.558 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 10.558 * [backup-simplify]: Simplify 0 into 0 10.560 * [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 10.560 * [taylor]: Taking taylor expansion of 0 in a 10.560 * [backup-simplify]: Simplify 0 into 0 10.561 * [backup-simplify]: Simplify 0 into 0 10.561 * [backup-simplify]: Simplify 0 into 0 10.563 * [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 10.563 * [backup-simplify]: Simplify 0 into 0 10.567 * [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 10.567 * [taylor]: Taking taylor expansion of 0 in a 10.567 * [backup-simplify]: Simplify 0 into 0 10.567 * [backup-simplify]: Simplify 0 into 0 10.567 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 10.567 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.567 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 10.567 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.567 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.568 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.568 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.568 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.568 * [taylor]: Taking taylor expansion of 0 in a 10.568 * [backup-simplify]: Simplify 0 into 0 10.568 * [backup-simplify]: Simplify 0 into 0 10.568 * [backup-simplify]: Simplify 0 into 0 10.568 * [taylor]: Taking taylor expansion of 0 in a 10.568 * [backup-simplify]: Simplify 0 into 0 10.568 * [backup-simplify]: Simplify 0 into 0 10.568 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify 0 into 0 10.569 * [taylor]: Taking taylor expansion of 0 in a 10.569 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.569 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.569 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.569 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.569 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.569 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.570 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.570 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.570 * [taylor]: Taking taylor expansion of 0 in a 10.570 * [backup-simplify]: Simplify 0 into 0 10.570 * [backup-simplify]: Simplify 0 into 0 10.570 * [backup-simplify]: Simplify 0 into 0 10.571 * [taylor]: Taking taylor expansion of 0 in a 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [taylor]: Taking taylor expansion of 0 in a 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.571 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.571 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.571 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.573 * [taylor]: Taking taylor expansion of 0 in a 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [taylor]: Taking taylor expansion of 0 in a 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [taylor]: Taking taylor expansion of 0 in a 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.573 * * * [progress]: simplifying candidates 10.575 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (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)))) (expm1 (exp (log (fmod (cosh c) (log1p a))))) (log1p (exp (log (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))))) (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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 10.576 * * [simplify]: Extracting # 0 : cost 0 10.576 * * [simplify]: Extracting # 1 : cost 0 10.576 * * [simplify]: Extracting # 2 : cost 0 10.576 * * [simplify]: Extracting # 3 : cost 0 10.577 * * [simplify]: Extracting # 4 : cost 0 10.577 * * [simplify]: Extracting # 5 : cost 0 10.577 * * [simplify]: Extracting # 6 : cost 0 10.577 * * [simplify]: Extracting # 7 : cost 0 10.577 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 10.591 * * [simplify]: Extracting # 0 : cost 0 10.592 * * [simplify]: Extracting # 1 : cost 0 10.592 * * [simplify]: Extracting # 2 : cost 0 10.592 * * [simplify]: Extracting # 3 : cost 0 10.592 * * [simplify]: Extracting # 4 : cost 0 10.592 * * [simplify]: Extracting # 5 : cost 0 10.592 * * [simplify]: iteration 1 : 60 enodes (cost 385 ) 10.605 * * [simplify]: Extracting # 0 : cost 0 10.606 * * [simplify]: Extracting # 1 : cost 0 10.606 * * [simplify]: Extracting # 2 : cost 0 10.606 * * [simplify]: Extracting # 3 : cost 0 10.606 * * [simplify]: iteration 2 : 74 enodes (cost 339 ) 10.632 * * [simplify]: Extracting # 0 : cost 0 10.633 * * [simplify]: Extracting # 1 : cost 0 10.633 * * [simplify]: Extracting # 2 : cost 0 10.633 * * [simplify]: Extracting # 3 : cost 0 10.633 * * [simplify]: Extracting # 4 : cost 0 10.633 * * [simplify]: iteration 3 : 93 enodes (cost 339 ) 10.658 * * [simplify]: Extracting # 0 : cost 0 10.659 * * [simplify]: Extracting # 1 : cost 0 10.659 * * [simplify]: Extracting # 2 : cost 0 10.659 * * [simplify]: Extracting # 3 : cost 0 10.659 * * [simplify]: Extracting # 4 : cost 0 10.660 * * [simplify]: iteration 4 : 134 enodes (cost 333 ) 10.691 * * [simplify]: Extracting # 0 : cost 0 10.691 * * [simplify]: Extracting # 1 : cost 0 10.692 * * [simplify]: Extracting # 2 : cost 0 10.692 * * [simplify]: Extracting # 3 : cost 0 10.692 * * [simplify]: Extracting # 4 : cost 0 10.692 * * [simplify]: iteration 5 : 218 enodes (cost 333 ) 10.768 * * [simplify]: Extracting # 0 : cost 0 10.769 * * [simplify]: Extracting # 1 : cost 0 10.769 * * [simplify]: Extracting # 2 : cost 0 10.770 * * [simplify]: Extracting # 3 : cost 0 10.771 * * [simplify]: Extracting # 4 : cost 0 10.771 * * [simplify]: iteration 6 : 426 enodes (cost 333 ) 11.072 * * [simplify]: Extracting # 0 : cost 0 11.073 * * [simplify]: Extracting # 1 : cost 0 11.074 * * [simplify]: Extracting # 2 : cost 0 11.075 * * [simplify]: Extracting # 3 : cost 0 11.076 * * [simplify]: Extracting # 4 : cost 0 11.077 * * [simplify]: iteration 7 : 1209 enodes (cost 333 ) 13.090 * * [simplify]: Extracting # 0 : cost 0 13.094 * * [simplify]: Extracting # 1 : cost 0 13.098 * * [simplify]: Extracting # 2 : cost 0 13.104 * * [simplify]: Extracting # 3 : cost 0 13.107 * * [simplify]: Extracting # 4 : cost 0 13.110 * * [simplify]: Extracting # 5 : cost 0 13.113 * * [simplify]: iteration 8 : 4524 enodes (cost 333 ) 14.994 * * [simplify]: Extracting # 0 : cost 0 15.002 * * [simplify]: Extracting # 1 : cost 0 15.008 * * [simplify]: Extracting # 2 : cost 0 15.015 * * [simplify]: Extracting # 3 : cost 0 15.022 * * [simplify]: iteration done: 5001 enodes (cost 333 ) 15.023 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (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)))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 15.023 * * * [progress]: adding candidates to table 15.181 * * [progress]: iteration 4 / 4 15.181 * * * [progress]: picking best candidate 15.288 * * * * [pick]: Picked # 15.288 * * * [progress]: localizing error 15.320 * * * [progress]: generating rewritten candidates 15.320 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 15.320 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 15.323 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 15.332 * * * [progress]: generating series expansions 15.333 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 15.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.333 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 15.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 15.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 15.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 15.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 15.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.334 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.334 * [taylor]: Taking taylor expansion of 0 in a 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [taylor]: Taking taylor expansion of 0 in a 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [taylor]: Taking taylor expansion of 0 in a 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.334 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.334 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 15.335 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 15.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.335 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 15.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.335 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 15.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.335 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 15.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.336 * [taylor]: Taking taylor expansion of 0 in a 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [taylor]: Taking taylor expansion of 0 in a 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [taylor]: Taking taylor expansion of 0 in a 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 15.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 15.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 15.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 15.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 15.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 15.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.338 * [taylor]: Taking taylor expansion of 0 in a 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [taylor]: Taking taylor expansion of 0 in a 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [taylor]: Taking taylor expansion of 0 in a 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 15.339 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 15.339 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.339 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 15.339 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 15.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 15.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.339 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.339 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 15.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 15.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.339 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 15.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 15.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 15.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 15.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.342 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 15.342 * [taylor]: Taking taylor expansion of 0 in a 15.342 * [backup-simplify]: Simplify 0 into 0 15.342 * [backup-simplify]: Simplify 0 into 0 15.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 15.343 * [backup-simplify]: Simplify 0 into 0 15.345 * [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 15.345 * [taylor]: Taking taylor expansion of 0 in a 15.345 * [backup-simplify]: Simplify 0 into 0 15.345 * [backup-simplify]: Simplify 0 into 0 15.345 * [backup-simplify]: Simplify 0 into 0 15.347 * [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 15.347 * [backup-simplify]: Simplify 0 into 0 15.351 * [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 15.351 * [taylor]: Taking taylor expansion of 0 in a 15.351 * [backup-simplify]: Simplify 0 into 0 15.351 * [backup-simplify]: Simplify 0 into 0 15.351 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.351 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.351 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 15.351 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 15.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 15.351 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.352 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 15.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 15.352 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.352 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 15.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 15.352 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.353 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 15.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 15.353 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.354 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 15.354 * [taylor]: Taking taylor expansion of 0 in a 15.354 * [backup-simplify]: Simplify 0 into 0 15.354 * [backup-simplify]: Simplify 0 into 0 15.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 15.356 * [backup-simplify]: Simplify 0 into 0 15.358 * [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 15.358 * [taylor]: Taking taylor expansion of 0 in a 15.358 * [backup-simplify]: Simplify 0 into 0 15.358 * [backup-simplify]: Simplify 0 into 0 15.358 * [backup-simplify]: Simplify 0 into 0 15.360 * [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 15.360 * [backup-simplify]: Simplify 0 into 0 15.364 * [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 15.364 * [taylor]: Taking taylor expansion of 0 in a 15.364 * [backup-simplify]: Simplify 0 into 0 15.364 * [backup-simplify]: Simplify 0 into 0 15.364 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 15.365 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.365 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 15.365 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 15.365 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 15.365 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.365 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.365 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 15.365 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 15.365 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.366 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.366 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 15.366 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 15.366 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.366 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.366 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 15.366 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 15.366 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.366 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.367 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.368 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 15.368 * [taylor]: Taking taylor expansion of 0 in a 15.368 * [backup-simplify]: Simplify 0 into 0 15.368 * [backup-simplify]: Simplify 0 into 0 15.369 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 15.369 * [backup-simplify]: Simplify 0 into 0 15.371 * [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 15.371 * [taylor]: Taking taylor expansion of 0 in a 15.371 * [backup-simplify]: Simplify 0 into 0 15.371 * [backup-simplify]: Simplify 0 into 0 15.371 * [backup-simplify]: Simplify 0 into 0 15.374 * [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 15.374 * [backup-simplify]: Simplify 0 into 0 15.377 * [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 15.377 * [taylor]: Taking taylor expansion of 0 in a 15.377 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify 0 into 0 15.378 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 15.378 * * * * [progress]: [ 3 / 3 ] generating series at (2) 15.378 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 15.378 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 15.378 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 15.378 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 15.378 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 15.378 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 15.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 15.378 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.379 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.379 * [taylor]: Taking taylor expansion of (log E) in a 15.379 * [taylor]: Taking taylor expansion of E in a 15.379 * [backup-simplify]: Simplify E into E 15.379 * [backup-simplify]: Simplify (log E) into 1 15.379 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 15.379 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 15.379 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 15.379 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 15.380 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 15.380 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 15.380 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 15.380 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.380 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.380 * [taylor]: Taking taylor expansion of (log E) in c 15.380 * [taylor]: Taking taylor expansion of E in c 15.380 * [backup-simplify]: Simplify E into E 15.380 * [backup-simplify]: Simplify (log E) into 1 15.380 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 15.380 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 15.380 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 15.380 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 15.380 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 15.381 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 15.381 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 15.381 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.381 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 15.381 * [taylor]: Taking taylor expansion of (log E) in c 15.381 * [taylor]: Taking taylor expansion of E in c 15.381 * [backup-simplify]: Simplify E into E 15.381 * [backup-simplify]: Simplify (log E) into 1 15.381 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 15.381 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 15.381 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 15.382 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.382 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.384 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 15.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 15.386 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 15.387 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 15.387 * [taylor]: Taking taylor expansion of 0 in a 15.387 * [backup-simplify]: Simplify 0 into 0 15.387 * [backup-simplify]: Simplify 0 into 0 15.387 * [backup-simplify]: Simplify 0 into 0 15.390 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 15.391 * [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 15.391 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 15.392 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.392 * [taylor]: Taking taylor expansion of 0 in a 15.392 * [backup-simplify]: Simplify 0 into 0 15.392 * [backup-simplify]: Simplify 0 into 0 15.392 * [backup-simplify]: Simplify 0 into 0 15.392 * [backup-simplify]: Simplify 0 into 0 15.396 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 15.398 * [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 15.399 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.400 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.400 * [taylor]: Taking taylor expansion of 0 in a 15.400 * [backup-simplify]: Simplify 0 into 0 15.400 * [backup-simplify]: Simplify 0 into 0 15.400 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 15.400 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 15.400 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 15.400 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 15.400 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 15.400 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 15.400 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 15.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 15.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.400 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.400 * [taylor]: Taking taylor expansion of (log E) in a 15.400 * [taylor]: Taking taylor expansion of E in a 15.400 * [backup-simplify]: Simplify E into E 15.400 * [backup-simplify]: Simplify (log E) into 1 15.400 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.401 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.401 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 15.401 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 15.401 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 15.401 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 15.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 15.401 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.401 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.401 * [taylor]: Taking taylor expansion of (log E) in c 15.401 * [taylor]: Taking taylor expansion of E in c 15.401 * [backup-simplify]: Simplify E into E 15.401 * [backup-simplify]: Simplify (log E) into 1 15.401 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.401 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.401 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 15.401 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 15.401 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 15.401 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 15.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 15.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.402 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.402 * [taylor]: Taking taylor expansion of (log E) in c 15.402 * [taylor]: Taking taylor expansion of E in c 15.402 * [backup-simplify]: Simplify E into E 15.402 * [backup-simplify]: Simplify (log E) into 1 15.402 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 15.402 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 15.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 15.403 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 15.404 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 15.404 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 15.405 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 15.405 * [taylor]: Taking taylor expansion of 0 in a 15.405 * [backup-simplify]: Simplify 0 into 0 15.405 * [backup-simplify]: Simplify 0 into 0 15.405 * [backup-simplify]: Simplify 0 into 0 15.407 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 15.408 * [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 15.409 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 15.411 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.411 * [taylor]: Taking taylor expansion of 0 in a 15.411 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify 0 into 0 15.417 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 15.421 * [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 15.422 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.424 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.424 * [taylor]: Taking taylor expansion of 0 in a 15.424 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 15.425 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 15.425 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 15.425 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 15.425 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 15.425 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 15.425 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 15.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 15.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.426 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.426 * [taylor]: Taking taylor expansion of (log E) in a 15.426 * [taylor]: Taking taylor expansion of E in a 15.426 * [backup-simplify]: Simplify E into E 15.426 * [backup-simplify]: Simplify (log E) into 1 15.426 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.426 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.426 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 15.426 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 15.426 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 15.427 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 15.427 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 15.427 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.427 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.427 * [taylor]: Taking taylor expansion of (log E) in c 15.427 * [taylor]: Taking taylor expansion of E in c 15.427 * [backup-simplify]: Simplify E into E 15.427 * [backup-simplify]: Simplify (log E) into 1 15.427 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.428 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.428 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 15.428 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 15.428 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 15.428 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 15.428 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 15.428 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.428 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.428 * [taylor]: Taking taylor expansion of (log E) in c 15.428 * [taylor]: Taking taylor expansion of E in c 15.428 * [backup-simplify]: Simplify E into E 15.428 * [backup-simplify]: Simplify (log E) into 1 15.428 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 15.429 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 15.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 15.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 15.432 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 15.433 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 15.434 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 15.434 * [taylor]: Taking taylor expansion of 0 in a 15.434 * [backup-simplify]: Simplify 0 into 0 15.434 * [backup-simplify]: Simplify 0 into 0 15.434 * [backup-simplify]: Simplify 0 into 0 15.438 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 15.441 * [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 15.442 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 15.443 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.443 * [taylor]: Taking taylor expansion of 0 in a 15.443 * [backup-simplify]: Simplify 0 into 0 15.443 * [backup-simplify]: Simplify 0 into 0 15.444 * [backup-simplify]: Simplify 0 into 0 15.444 * [backup-simplify]: Simplify 0 into 0 15.450 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 15.454 * [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 15.455 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.457 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.457 * [taylor]: Taking taylor expansion of 0 in a 15.457 * [backup-simplify]: Simplify 0 into 0 15.457 * [backup-simplify]: Simplify 0 into 0 15.457 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 15.457 * * * [progress]: simplifying candidates 15.458 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (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)))) (expm1 (pow E (log (fmod (cosh c) (log1p a))))) (log1p (pow E (log (fmod (cosh c) (log1p a))))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 15.460 * * [simplify]: Extracting # 0 : cost 0 15.460 * * [simplify]: Extracting # 1 : cost 0 15.460 * * [simplify]: Extracting # 2 : cost 0 15.461 * * [simplify]: Extracting # 3 : cost 0 15.461 * * [simplify]: Extracting # 4 : cost 0 15.461 * * [simplify]: Extracting # 5 : cost 0 15.461 * * [simplify]: Extracting # 6 : cost 0 15.461 * * [simplify]: iteration 0 : 59 enodes (cost 557 ) 15.493 * * [simplify]: Extracting # 0 : cost 0 15.494 * * [simplify]: Extracting # 1 : cost 0 15.494 * * [simplify]: Extracting # 2 : cost 0 15.494 * * [simplify]: Extracting # 3 : cost 0 15.494 * * [simplify]: Extracting # 4 : cost 0 15.495 * * [simplify]: Extracting # 5 : cost 0 15.495 * * [simplify]: Extracting # 6 : cost 0 15.495 * * [simplify]: iteration 1 : 108 enodes (cost 522 ) 15.537 * * [simplify]: Extracting # 0 : cost 0 15.537 * * [simplify]: Extracting # 1 : cost 0 15.537 * * [simplify]: Extracting # 2 : cost 0 15.537 * * [simplify]: Extracting # 3 : cost 0 15.537 * * [simplify]: Extracting # 4 : cost 0 15.538 * * [simplify]: iteration 2 : 208 enodes (cost 446 ) 15.616 * * [simplify]: Extracting # 0 : cost 0 15.616 * * [simplify]: Extracting # 1 : cost 0 15.617 * * [simplify]: Extracting # 2 : cost 0 15.618 * * [simplify]: Extracting # 3 : cost 0 15.619 * * [simplify]: Extracting # 4 : cost 0 15.620 * * [simplify]: iteration 3 : 512 enodes (cost 446 ) 16.156 * * [simplify]: Extracting # 0 : cost 0 16.160 * * [simplify]: Extracting # 1 : cost 0 16.163 * * [simplify]: Extracting # 2 : cost 0 16.166 * * [simplify]: Extracting # 3 : cost 0 16.168 * * [simplify]: Extracting # 4 : cost 0 16.171 * * [simplify]: Extracting # 5 : cost 0 16.174 * * [simplify]: iteration 4 : 1617 enodes (cost 444 ) 17.817 * * [simplify]: Extracting # 0 : cost 0 17.835 * * [simplify]: Extracting # 1 : cost 0 17.840 * * [simplify]: Extracting # 2 : cost 0 17.845 * * [simplify]: Extracting # 3 : cost 0 17.850 * * [simplify]: Extracting # 4 : cost 0 17.854 * * [simplify]: Extracting # 5 : cost 0 17.859 * * [simplify]: iteration done: 5001 enodes (cost 432 ) 17.859 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (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)))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) E (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) E (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) 1 (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))) (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)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 17.860 * * * [progress]: adding candidates to table 18.091 * [progress]: [Phase 3 of 3] Extracting. 18.091 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 18.097 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 18.098 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # #) 18.240 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # #) 18.336 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # #) 18.452 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # #) 18.531 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # #) 18.629 * * * [regime]: Found split indices: #