1548145835.637 * [misc]progress: [Phase 1 of 3] Setting up. 1548145835.637 * * * [misc]progress: [1/2] Preparing points 1548145836.395 * * * [misc]progress: [2/2] Setting up program. 1548145836.402 * [misc]progress: [Phase 2 of 3] Improving. 1548145836.403 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548145836.404 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.434 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.438 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.440 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.441 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.448 * * [misc]progress: iteration 1 / 4 1548145836.448 * * * [misc]progress: picking best candidate 1548145836.453 * * * * [misc]pick: Picked # 1548145836.453 * * * [misc]progress: localizing error 1548145836.469 * * * [misc]progress: generating rewritten candidates 1548145836.469 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1548145836.472 * * * [misc]progress: generating series expansions 1548145836.472 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1548145836.474 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.474 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145836.475 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.476 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.476 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.476 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.476 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.476 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.476 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.476 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.477 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.477 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify 0 into 0 1548145836.477 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.479 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.479 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145836.479 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.479 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.479 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.479 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.479 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.479 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.479 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.479 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.479 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.479 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.479 * [misc]backup-simplify: Simplify 0 into 0 1548145836.479 * [misc]backup-simplify: Simplify 0 into 0 1548145836.479 * [misc]backup-simplify: Simplify 0 into 0 1548145836.479 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.480 * [misc]backup-simplify: Simplify 0 into 0 1548145836.480 * [misc]backup-simplify: Simplify 0 into 0 1548145836.480 * [misc]backup-simplify: Simplify 0 into 0 1548145836.480 * [misc]backup-simplify: Simplify 0 into 0 1548145836.480 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.480 * [misc]backup-simplify: Simplify 0 into 0 1548145836.480 * [misc]backup-simplify: Simplify 0 into 0 1548145836.480 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145836.480 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.480 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145836.480 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.480 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.480 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.481 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.481 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.481 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.481 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.481 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.481 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.481 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify 0 into 0 1548145836.481 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145836.481 * * * [misc]progress: simplifying candidates 1548145836.481 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1548145836.481 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1548145836.482 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.482 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.482 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.484 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.484 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.484 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1548145836.484 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.484 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.485 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.487 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.487 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.487 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1548145836.487 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.487 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.488 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.490 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.490 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.490 * * * [misc]progress: adding candidates to table 1548145836.586 * * [misc]progress: iteration 2 / 4 1548145836.586 * * * [misc]progress: picking best candidate 1548145836.605 * * * * [misc]pick: Picked # 1548145836.605 * * * [misc]progress: localizing error 1548145836.612 * * * [misc]progress: generating rewritten candidates 1548145836.612 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1548145836.613 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1548145836.613 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1548145836.621 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1548145836.622 * * * [misc]progress: generating series expansions 1548145836.622 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1548145836.622 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.622 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145836.622 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.622 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.622 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.622 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.622 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.622 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.622 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.622 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.623 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.623 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145836.623 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.623 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.623 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.623 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.623 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.623 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.623 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.624 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145836.624 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.624 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.624 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.624 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.624 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.624 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]backup-simplify: Simplify 0 into 0 1548145836.624 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145836.625 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145836.625 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify 0 into 0 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.625 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.625 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145836.625 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.626 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.626 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.626 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.626 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify 0 into 0 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.626 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145836.626 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.626 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.626 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.627 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.627 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.627 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.627 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.627 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.627 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify 0 into 0 1548145836.627 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145836.627 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1548145836.627 * [misc]backup-simplify: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1548145836.627 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145836.627 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.627 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.627 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.627 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.628 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.628 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.628 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify 0 into 0 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.628 * [misc]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))) 1548145836.628 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145836.628 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.628 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.628 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.628 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.628 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.629 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.629 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.629 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify 0 into 0 1548145836.629 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145836.629 * [misc]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))) 1548145836.629 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145836.629 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.629 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.629 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.630 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.630 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.630 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.630 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.630 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.630 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.630 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify 0 into 0 1548145836.630 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145836.630 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1548145836.631 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.631 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0 1548145836.631 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 1548145836.631 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.631 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.631 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.631 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.631 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 1548145836.631 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.631 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.631 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.631 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.631 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 1548145836.631 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145836.631 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.631 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.631 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.631 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 1548145836.631 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145836.631 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145836.632 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.632 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.632 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.632 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.632 * [misc]backup-simplify: Simplify 0 into 0 1548145836.632 * [misc]backup-simplify: Simplify 0 into 0 1548145836.632 * [misc]backup-simplify: Simplify 0 into 0 1548145836.635 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.635 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.635 * [misc]backup-simplify: Simplify 0 into 0 1548145836.635 * [misc]backup-simplify: Simplify 0 into 0 1548145836.635 * [misc]backup-simplify: Simplify 0 into 0 1548145836.636 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.636 * [misc]backup-simplify: Simplify 0 into 0 1548145836.636 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1548145836.636 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.636 * [misc]backup-simplify: Simplify 0 into 0 1548145836.636 * [misc]backup-simplify: Simplify 0 into 0 1548145836.636 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.636 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1548145836.636 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1548145836.636 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1548145836.636 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.636 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.636 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1548145836.636 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.636 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1548145836.636 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.636 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.636 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1548145836.637 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.637 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1548145836.637 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145836.637 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.637 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1548145836.637 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.637 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1548145836.637 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145836.637 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145836.637 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1548145836.637 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.637 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1548145836.637 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.637 * [misc]backup-simplify: Simplify 0 into 0 1548145836.637 * [misc]backup-simplify: Simplify 0 into 0 1548145836.637 * [misc]backup-simplify: Simplify 0 into 0 1548145836.638 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.638 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.638 * [misc]backup-simplify: Simplify 0 into 0 1548145836.638 * [misc]backup-simplify: Simplify 0 into 0 1548145836.638 * [misc]backup-simplify: Simplify 0 into 0 1548145836.638 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.639 * [misc]backup-simplify: Simplify 0 into 0 1548145836.639 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145836.639 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.639 * [misc]backup-simplify: Simplify 0 into 0 1548145836.639 * [misc]backup-simplify: Simplify 0 into 0 1548145836.639 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.639 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1548145836.639 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1548145836.639 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1548145836.639 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.639 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.639 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1548145836.639 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.639 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1548145836.639 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.639 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.639 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1548145836.640 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.640 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1548145836.640 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145836.640 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.640 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1548145836.640 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.640 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1548145836.640 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145836.640 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145836.640 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1548145836.640 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.640 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1548145836.640 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.640 * [misc]backup-simplify: Simplify 0 into 0 1548145836.640 * [misc]backup-simplify: Simplify 0 into 0 1548145836.640 * [misc]backup-simplify: Simplify 0 into 0 1548145836.641 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.641 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.641 * [misc]backup-simplify: Simplify 0 into 0 1548145836.641 * [misc]backup-simplify: Simplify 0 into 0 1548145836.641 * [misc]backup-simplify: Simplify 0 into 0 1548145836.642 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.642 * [misc]backup-simplify: Simplify 0 into 0 1548145836.643 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145836.643 * [misc]taylor: Taking taylor expansion of 0 in a 1548145836.643 * [misc]backup-simplify: Simplify 0 into 0 1548145836.643 * [misc]backup-simplify: Simplify 0 into 0 1548145836.643 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a))) 1548145836.643 * * * [misc]progress: simplifying candidates 1548145836.643 * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # 1548145836.643 * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # 1548145836.644 * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # 1548145836.644 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.644 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.646 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.649 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.649 * [misc]simplify: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 1/2))) 1548145836.649 * [enter]simplify: Simplifying (+ 1/2 1/2) 1548145836.650 * * [misc]simplify: iters left: 2 (2 enodes) 1548145836.652 * * [misc]simplify: iters left: 1 (3 enodes) 1548145836.653 * [exit]simplify: Simplified to 1 1548145836.653 * [misc]simplify: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1548145836.653 * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # 1548145836.653 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.653 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.655 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.658 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.662 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.662 * [misc]simplify: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1))) 1548145836.663 * [enter]simplify: Simplifying (+ 1 1) 1548145836.663 * * [misc]simplify: iters left: 2 (2 enodes) 1548145836.664 * * [misc]simplify: iters left: 1 (5 enodes) 1548145836.665 * [exit]simplify: Simplified to 2 1548145836.665 * [misc]simplify: Simplified (2 2) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2)) 1548145836.665 * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # 1548145836.665 * [enter]simplify: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145836.666 * * [misc]simplify: iters left: 4 (6 enodes) 1548145836.667 * * [misc]simplify: iters left: 3 (12 enodes) 1548145836.671 * * [misc]simplify: iters left: 2 (15 enodes) 1548145836.675 * * [misc]simplify: iters left: 1 (17 enodes) 1548145836.679 * [exit]simplify: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145836.679 * [misc]simplify: Simplified (2 1) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2)) 1548145836.679 * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # 1548145836.680 * [enter]simplify: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1548145836.680 * * [misc]simplify: iters left: 5 (7 enodes) 1548145836.682 * * [misc]simplify: iters left: 4 (13 enodes) 1548145836.685 * * [misc]simplify: iters left: 3 (17 enodes) 1548145836.689 * * [misc]simplify: iters left: 2 (19 enodes) 1548145836.693 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.693 * [misc]simplify: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1548145836.693 * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # 1548145836.693 * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # 1548145836.693 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.693 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.694 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.696 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.698 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.698 * [misc]simplify: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1))) 1548145836.698 * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # 1548145836.698 * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # 1548145836.698 * [enter]simplify: Simplifying (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 1548145836.698 * * [misc]simplify: iters left: 6 (8 enodes) 1548145836.699 * * [misc]simplify: iters left: 5 (14 enodes) 1548145836.701 * * [misc]simplify: iters left: 4 (17 enodes) 1548145836.703 * * [misc]simplify: iters left: 3 (19 enodes) 1548145836.706 * [exit]simplify: Simplified to (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 1548145836.706 * [misc]simplify: Simplified (2 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 1548145836.706 * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # 1548145836.706 * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # 1548145836.706 * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # 1548145836.706 * [enter]simplify: Simplifying (* (* (* (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))))) 1548145836.706 * * [misc]simplify: iters left: 6 (9 enodes) 1548145836.708 * * [misc]simplify: iters left: 5 (20 enodes) 1548145836.711 * * [misc]simplify: iters left: 4 (32 enodes) 1548145836.716 * * [misc]simplify: iters left: 3 (39 enodes) 1548145836.722 * * [misc]simplify: iters left: 2 (42 enodes) 1548145836.731 * * [misc]simplify: iters left: 1 (45 enodes) 1548145836.740 * [exit]simplify: Simplified to (pow (fmod (cosh c) (log1p a)) 3) 1548145836.741 * [misc]simplify: Simplified (2 1) to (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 1548145836.741 * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # 1548145836.741 * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # 1548145836.741 * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # 1548145836.741 * [enter]simplify: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145836.741 * * [misc]simplify: iters left: 4 (6 enodes) 1548145836.742 * * [misc]simplify: iters left: 3 (12 enodes) 1548145836.746 * * [misc]simplify: iters left: 2 (15 enodes) 1548145836.748 * * [misc]simplify: iters left: 1 (17 enodes) 1548145836.750 * [exit]simplify: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145836.750 * [misc]simplify: Simplified (2 1) to (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) 1548145836.750 * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # 1548145836.750 * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # 1548145836.751 * [enter]simplify: Simplifying (cosh c) 1548145836.751 * * [misc]simplify: iters left: 1 (2 enodes) 1548145836.751 * [exit]simplify: Simplified to (cosh c) 1548145836.751 * [misc]simplify: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.751 * [enter]simplify: Simplifying (log1p a) 1548145836.751 * * [misc]simplify: iters left: 1 (2 enodes) 1548145836.752 * [exit]simplify: Simplified to (log1p a) 1548145836.752 * [misc]simplify: Simplified (2 2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.752 * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # 1548145836.752 * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # 1548145836.752 * [enter]simplify: Simplifying (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.752 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.753 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.754 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.757 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.759 * [exit]simplify: Simplified to (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.759 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (* (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)))))) 1548145836.759 * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # 1548145836.759 * [enter]simplify: Simplifying (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1548145836.759 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.760 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.762 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.764 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.766 * [exit]simplify: Simplified to (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1548145836.766 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (* (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)))))) 1548145836.766 * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # 1548145836.767 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.767 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.768 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.770 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.772 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.774 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.774 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.774 * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # 1548145836.774 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.775 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.775 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.777 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.779 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.779 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.779 * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # 1548145836.779 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.779 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.780 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.784 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.789 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.794 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.794 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.794 * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # 1548145836.794 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.794 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.796 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.799 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.803 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.803 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.803 * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # 1548145836.803 * [enter]simplify: Simplifying (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 1548145836.803 * * [misc]simplify: iters left: 6 (8 enodes) 1548145836.806 * * [misc]simplify: iters left: 5 (14 enodes) 1548145836.810 * * [misc]simplify: iters left: 4 (17 enodes) 1548145836.814 * * [misc]simplify: iters left: 3 (19 enodes) 1548145836.819 * [exit]simplify: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 1548145836.819 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (* (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)))))) 1548145836.819 * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # 1548145836.819 * [enter]simplify: Simplifying (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1548145836.819 * * [misc]simplify: iters left: 6 (8 enodes) 1548145836.821 * * [misc]simplify: iters left: 5 (15 enodes) 1548145836.825 * * [misc]simplify: iters left: 4 (18 enodes) 1548145836.830 * * [misc]simplify: iters left: 3 (20 enodes) 1548145836.834 * [exit]simplify: Simplified to (fabs (cbrt (fmod (cosh c) (log1p a)))) 1548145836.834 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.834 * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # 1548145836.835 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.835 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.837 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.840 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.844 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.848 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.848 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.848 * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # 1548145836.848 * [enter]simplify: Simplifying (sqrt 1) 1548145836.848 * * [misc]simplify: iters left: 1 (2 enodes) 1548145836.850 * [exit]simplify: Simplified to 1 1548145836.850 * [misc]simplify: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.850 * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # 1548145836.850 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.850 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.852 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.855 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.859 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.864 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.864 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.864 * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # 1548145836.864 * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # 1548145836.864 * [enter]simplify: Simplifying (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1548145836.864 * * [misc]simplify: iters left: 6 (8 enodes) 1548145836.868 * * [misc]simplify: iters left: 5 (15 enodes) 1548145836.871 * * [misc]simplify: iters left: 4 (18 enodes) 1548145836.876 * * [misc]simplify: iters left: 3 (20 enodes) 1548145836.881 * [exit]simplify: Simplified to (fabs (cbrt (fmod (cosh c) (log1p a)))) 1548145836.881 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))))) 1548145836.881 * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # 1548145836.881 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.881 * * [misc]simplify: iters left: 4 (7 enodes) 1548145836.883 * * [misc]simplify: iters left: 3 (13 enodes) 1548145836.885 * * [misc]simplify: iters left: 2 (16 enodes) 1548145836.887 * * [misc]simplify: iters left: 1 (18 enodes) 1548145836.889 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1548145836.890 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 1548145836.890 * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # 1548145836.890 * [enter]simplify: Simplifying (sqrt 1) 1548145836.890 * * [misc]simplify: iters left: 1 (2 enodes) 1548145836.891 * [exit]simplify: Simplified to 1 1548145836.891 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* 1 (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.891 * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # 1548145836.891 * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # 1548145836.891 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.891 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.892 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.893 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.895 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.895 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (fabs (sqrt (fmod (cosh c) (log1p a)))))) 1548145836.895 * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # 1548145836.895 * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # 1548145836.896 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.896 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.896 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.898 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.898 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.898 * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # 1548145836.898 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.898 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.899 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.900 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.900 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.900 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # 1548145836.900 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.900 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.901 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.903 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.903 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.903 * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # 1548145836.903 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.903 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.903 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.905 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.905 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.905 * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # 1548145836.905 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.905 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.906 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.908 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.908 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.908 * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # 1548145836.908 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.908 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.909 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.910 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.910 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.910 * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # 1548145836.910 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.910 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.911 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.913 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.913 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.913 * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # 1548145836.913 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.913 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.914 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.917 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.918 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.918 * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # 1548145836.918 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145836.918 * * [misc]simplify: iters left: 2 (5 enodes) 1548145836.919 * * [misc]simplify: iters left: 1 (11 enodes) 1548145836.922 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145836.922 * [misc]simplify: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1548145836.922 * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # 1548145836.922 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.922 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.924 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.927 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.930 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.930 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.930 * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # 1548145836.931 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.931 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.932 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.935 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.938 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.938 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.939 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # 1548145836.939 * [enter]simplify: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1548145836.939 * * [misc]simplify: iters left: 3 (6 enodes) 1548145836.940 * * [misc]simplify: iters left: 2 (12 enodes) 1548145836.944 * * [misc]simplify: iters left: 1 (15 enodes) 1548145836.948 * [exit]simplify: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1548145836.948 * [misc]simplify: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1548145836.948 * * * [misc]progress: adding candidates to table 1548145837.713 * * [misc]progress: iteration 3 / 4 1548145837.713 * * * [misc]progress: picking best candidate 1548145837.758 * * * * [misc]pick: Picked # 1548145837.758 * * * [misc]progress: localizing error 1548145837.773 * * * [misc]progress: generating rewritten candidates 1548145837.773 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1548145837.774 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1) 1548145837.774 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1548145837.774 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1548145837.785 * * * [misc]progress: generating series expansions 1548145837.785 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1548145837.785 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.785 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145837.785 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.785 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.785 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.786 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.786 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.786 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.786 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.786 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.786 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.786 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify 0 into 0 1548145837.786 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.787 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.787 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145837.787 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.787 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.787 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.787 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.787 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.787 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.787 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.787 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.787 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.788 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify 0 into 0 1548145837.788 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145837.788 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.788 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145837.788 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.788 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.789 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.789 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.789 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.789 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.789 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.789 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.789 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.789 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.789 * [misc]backup-simplify: Simplify 0 into 0 1548145837.789 * [misc]backup-simplify: Simplify 0 into 0 1548145837.789 * [misc]backup-simplify: Simplify 0 into 0 1548145837.789 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.789 * [misc]backup-simplify: Simplify 0 into 0 1548145837.789 * [misc]backup-simplify: Simplify 0 into 0 1548145837.789 * [misc]backup-simplify: Simplify 0 into 0 1548145837.790 * [misc]backup-simplify: Simplify 0 into 0 1548145837.790 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.790 * [misc]backup-simplify: Simplify 0 into 0 1548145837.790 * [misc]backup-simplify: Simplify 0 into 0 1548145837.790 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145837.790 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1) 1548145837.790 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.790 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145837.790 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.790 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.790 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.790 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.790 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.790 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.790 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.791 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.791 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.791 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify 0 into 0 1548145837.791 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.791 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.791 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145837.791 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.792 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.792 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.792 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.792 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.792 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.792 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.792 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.792 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.792 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.792 * [misc]backup-simplify: Simplify 0 into 0 1548145837.792 * [misc]backup-simplify: Simplify 0 into 0 1548145837.792 * [misc]backup-simplify: Simplify 0 into 0 1548145837.792 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.792 * [misc]backup-simplify: Simplify 0 into 0 1548145837.792 * [misc]backup-simplify: Simplify 0 into 0 1548145837.793 * [misc]backup-simplify: Simplify 0 into 0 1548145837.793 * [misc]backup-simplify: Simplify 0 into 0 1548145837.793 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.793 * [misc]backup-simplify: Simplify 0 into 0 1548145837.793 * [misc]backup-simplify: Simplify 0 into 0 1548145837.793 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145837.793 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.793 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145837.793 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.793 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.793 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.793 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.793 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.794 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.794 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.794 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.794 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.794 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.794 * [misc]backup-simplify: Simplify 0 into 0 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145837.795 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.795 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145837.795 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.795 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.795 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.795 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.795 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.795 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.795 * [misc]backup-simplify: Simplify 0 into 0 1548145837.795 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]backup-simplify: Simplify 0 into 0 1548145837.796 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.796 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.796 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145837.796 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.796 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.796 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.796 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.796 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.797 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.797 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.797 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.797 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.797 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.797 * [misc]backup-simplify: Simplify 0 into 0 1548145837.798 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145837.798 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.798 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145837.798 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.798 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.798 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.798 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.798 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.798 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.798 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.798 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.799 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.799 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify 0 into 0 1548145837.799 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145837.799 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1548145837.800 * [misc]backup-simplify: Simplify (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.800 * [misc]approximate: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in (c a) around 0 1548145837.800 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in a 1548145837.800 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in a 1548145837.800 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in a 1548145837.800 * [misc]taylor: Taking taylor expansion of 1/3 in a 1548145837.800 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.800 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in a 1548145837.800 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in a 1548145837.800 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.800 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.801 * [misc]backup-simplify: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 1548145837.801 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh c) (log1p a)) 2)) into (log (pow (fmod (cosh c) (log1p a)) 2)) 1548145837.801 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) into (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) 1548145837.801 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.801 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in c 1548145837.801 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in c 1548145837.801 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in c 1548145837.801 * [misc]taylor: Taking taylor expansion of 1/3 in c 1548145837.802 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.802 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in c 1548145837.802 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in c 1548145837.802 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.802 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.802 * [misc]backup-simplify: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 1548145837.802 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh c) (log1p a)) 2)) into (log (pow (fmod (cosh c) (log1p a)) 2)) 1548145837.802 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) into (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) 1548145837.802 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.802 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in c 1548145837.802 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in c 1548145837.802 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in c 1548145837.802 * [misc]taylor: Taking taylor expansion of 1/3 in c 1548145837.802 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.802 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in c 1548145837.803 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in c 1548145837.803 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145837.803 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.803 * [misc]backup-simplify: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 1548145837.803 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh c) (log1p a)) 2)) into (log (pow (fmod (cosh c) (log1p a)) 2)) 1548145837.803 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) into (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) 1548145837.803 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.803 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in a 1548145837.803 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in a 1548145837.803 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in a 1548145837.803 * [misc]taylor: Taking taylor expansion of 1/3 in a 1548145837.804 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.804 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in a 1548145837.804 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in a 1548145837.804 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145837.804 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145837.804 * [misc]backup-simplify: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 1548145837.804 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh c) (log1p a)) 2)) into (log (pow (fmod (cosh c) (log1p a)) 2)) 1548145837.804 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) into (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) 1548145837.804 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.804 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.805 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0 1548145837.807 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 1) into 0 1548145837.807 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2)))) into 0 1548145837.808 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1548145837.808 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.808 * [misc]backup-simplify: Simplify 0 into 0 1548145837.808 * [misc]backup-simplify: Simplify 0 into 0 1548145837.808 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0 1548145837.809 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 1) into 0 1548145837.810 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2)))) into 0 1548145837.811 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1548145837.811 * [misc]backup-simplify: Simplify 0 into 0 1548145837.812 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0 1548145837.814 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 2) into 0 1548145837.814 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2))))) into 0 1548145837.816 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548145837.817 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.817 * [misc]backup-simplify: Simplify 0 into 0 1548145837.817 * [misc]backup-simplify: Simplify 0 into 0 1548145837.817 * [misc]backup-simplify: Simplify 0 into 0 1548145837.817 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0 1548145837.819 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 2) into 0 1548145837.819 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2))))) into 0 1548145837.821 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548145837.821 * [misc]backup-simplify: Simplify 0 into 0 1548145837.822 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a)))))) into 0 1548145837.826 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh c) (log1p a)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 6) into 0 1548145837.827 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2)))))) into 0 1548145837.830 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548145837.830 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.830 * [misc]backup-simplify: Simplify 0 into 0 1548145837.830 * [misc]backup-simplify: Simplify 0 into 0 1548145837.830 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.831 * [misc]backup-simplify: Simplify (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1548145837.831 * [misc]approximate: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in (c a) around 0 1548145837.831 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in a 1548145837.831 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in a 1548145837.831 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in a 1548145837.831 * [misc]taylor: Taking taylor expansion of 1/3 in a 1548145837.831 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.831 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in a 1548145837.831 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in a 1548145837.831 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.831 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.832 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1548145837.832 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) 1548145837.832 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) 1548145837.832 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1548145837.832 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in c 1548145837.832 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in c 1548145837.832 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in c 1548145837.832 * [misc]taylor: Taking taylor expansion of 1/3 in c 1548145837.832 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.832 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in c 1548145837.832 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in c 1548145837.833 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.833 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.833 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1548145837.833 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) 1548145837.833 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) 1548145837.833 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1548145837.833 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in c 1548145837.834 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in c 1548145837.834 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in c 1548145837.834 * [misc]taylor: Taking taylor expansion of 1/3 in c 1548145837.834 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.834 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in c 1548145837.834 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in c 1548145837.834 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145837.834 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.834 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1548145837.834 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) 1548145837.834 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) 1548145837.835 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1548145837.835 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in a 1548145837.835 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in a 1548145837.835 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in a 1548145837.835 * [misc]taylor: Taking taylor expansion of 1/3 in a 1548145837.835 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.835 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in a 1548145837.835 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in a 1548145837.835 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145837.835 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145837.835 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1548145837.835 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) 1548145837.836 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) 1548145837.836 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1548145837.836 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1548145837.836 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0 1548145837.838 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 1) into 0 1548145837.838 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0 1548145837.839 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1548145837.839 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.839 * [misc]backup-simplify: Simplify 0 into 0 1548145837.839 * [misc]backup-simplify: Simplify 0 into 0 1548145837.839 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0 1548145837.840 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 1) into 0 1548145837.841 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0 1548145837.842 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1548145837.842 * [misc]backup-simplify: Simplify 0 into 0 1548145837.843 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145837.844 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 2) into 0 1548145837.845 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))))) into 0 1548145837.847 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548145837.847 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.847 * [misc]backup-simplify: Simplify 0 into 0 1548145837.847 * [misc]backup-simplify: Simplify 0 into 0 1548145837.847 * [misc]backup-simplify: Simplify 0 into 0 1548145837.847 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1548145837.849 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 2) into 0 1548145837.850 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))))) into 0 1548145837.852 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548145837.852 * [misc]backup-simplify: Simplify 0 into 0 1548145837.852 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 1548145837.854 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 6) into 0 1548145837.854 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))))) into 0 1548145837.856 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548145837.856 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.856 * [misc]backup-simplify: Simplify 0 into 0 1548145837.856 * [misc]backup-simplify: Simplify 0 into 0 1548145837.856 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.857 * [misc]backup-simplify: Simplify (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1548145837.857 * [misc]approximate: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in (c a) around 0 1548145837.857 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in a 1548145837.857 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in a 1548145837.857 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in a 1548145837.857 * [misc]taylor: Taking taylor expansion of 1/3 in a 1548145837.857 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.857 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in a 1548145837.857 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in a 1548145837.857 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.857 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.857 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1548145837.857 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) 1548145837.857 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) 1548145837.857 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1548145837.857 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in c 1548145837.857 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in c 1548145837.857 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in c 1548145837.857 * [misc]taylor: Taking taylor expansion of 1/3 in c 1548145837.857 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.857 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.858 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.858 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1548145837.858 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) 1548145837.858 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) 1548145837.858 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1548145837.858 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of 1/3 in c 1548145837.858 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.858 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in c 1548145837.858 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145837.858 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.858 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1548145837.859 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) 1548145837.859 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) 1548145837.859 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1548145837.859 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in a 1548145837.859 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in a 1548145837.859 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in a 1548145837.859 * [misc]taylor: Taking taylor expansion of 1/3 in a 1548145837.859 * [misc]backup-simplify: Simplify 1/3 into 1/3 1548145837.859 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in a 1548145837.859 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in a 1548145837.859 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145837.859 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145837.859 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1548145837.859 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) 1548145837.859 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) 1548145837.859 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1548145837.860 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1548145837.860 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0 1548145837.860 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 1) into 0 1548145837.861 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0 1548145837.861 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1548145837.861 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.861 * [misc]backup-simplify: Simplify 0 into 0 1548145837.861 * [misc]backup-simplify: Simplify 0 into 0 1548145837.862 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0 1548145837.862 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 1) into 0 1548145837.862 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0 1548145837.863 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1548145837.863 * [misc]backup-simplify: Simplify 0 into 0 1548145837.863 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145837.864 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 2) into 0 1548145837.865 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))))) into 0 1548145837.866 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548145837.866 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.866 * [misc]backup-simplify: Simplify 0 into 0 1548145837.866 * [misc]backup-simplify: Simplify 0 into 0 1548145837.866 * [misc]backup-simplify: Simplify 0 into 0 1548145837.866 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1548145837.867 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 2) into 0 1548145837.868 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))))) into 0 1548145837.869 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548145837.869 * [misc]backup-simplify: Simplify 0 into 0 1548145837.869 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 1548145837.871 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 6) into 0 1548145837.872 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))))) into 0 1548145837.874 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548145837.874 * [misc]taylor: Taking taylor expansion of 0 in a 1548145837.874 * [misc]backup-simplify: Simplify 0 into 0 1548145837.874 * [misc]backup-simplify: Simplify 0 into 0 1548145837.874 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145837.874 * * * [misc]progress: simplifying candidates 1548145837.874 * * * * [misc]progress: [ 1 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 2 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 3 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 4 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 5 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 6 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 7 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 8 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 9 / 61 ] simplifiying candidate # 1548145837.874 * * * * [misc]progress: [ 10 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 11 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 12 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 13 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 14 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 15 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 16 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 17 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 18 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 19 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 20 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 21 / 61 ] simplifiying candidate # 1548145837.875 * * * * [misc]progress: [ 22 / 61 ] simplifiying candidate # 1548145837.875 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145837.875 * * [misc]simplify: iters left: 2 (5 enodes) 1548145837.876 * * [misc]simplify: iters left: 1 (11 enodes) 1548145837.877 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145837.877 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (pow (fmod (cosh c) (log1p a)) (+ 1/3 1/3)) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.878 * [enter]simplify: Simplifying (+ 1/3 1/3) 1548145837.878 * * [misc]simplify: iters left: 2 (2 enodes) 1548145837.881 * * [misc]simplify: iters left: 1 (3 enodes) 1548145837.881 * [exit]simplify: Simplified to 2/3 1548145837.881 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 2/3) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.881 * * * * [misc]progress: [ 23 / 61 ] simplifiying candidate # 1548145837.881 * [enter]simplify: Simplifying (cbrt (fmod (cosh c) (log1p a))) 1548145837.881 * * [misc]simplify: iters left: 3 (6 enodes) 1548145837.882 * * [misc]simplify: iters left: 2 (12 enodes) 1548145837.884 * * [misc]simplify: iters left: 1 (15 enodes) 1548145837.886 * [exit]simplify: Simplified to (cbrt (fmod (cosh c) (log1p a))) 1548145837.886 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) (+ 1 1)) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.886 * [enter]simplify: Simplifying (+ 1 1) 1548145837.886 * * [misc]simplify: iters left: 2 (2 enodes) 1548145837.887 * * [misc]simplify: iters left: 1 (5 enodes) 1548145837.887 * [exit]simplify: Simplified to 2 1548145837.887 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.888 * * * * [misc]progress: [ 24 / 61 ] simplifiying candidate # 1548145837.888 * [enter]simplify: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145837.888 * * [misc]simplify: iters left: 4 (6 enodes) 1548145837.889 * * [misc]simplify: iters left: 3 (12 enodes) 1548145837.890 * * [misc]simplify: iters left: 2 (15 enodes) 1548145837.892 * * [misc]simplify: iters left: 1 (17 enodes) 1548145837.894 * [exit]simplify: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145837.894 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/3) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.895 * * * * [misc]progress: [ 25 / 61 ] simplifiying candidate # 1548145837.895 * [enter]simplify: Simplifying (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 1548145837.895 * * [misc]simplify: iters left: 5 (7 enodes) 1548145837.896 * * [misc]simplify: iters left: 4 (13 enodes) 1548145837.898 * * [misc]simplify: iters left: 3 (16 enodes) 1548145837.900 * * [misc]simplify: iters left: 2 (18 enodes) 1548145837.902 * [exit]simplify: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 1548145837.902 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (pow (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 1) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.902 * * * * [misc]progress: [ 26 / 61 ] simplifiying candidate # 1548145837.902 * * * * [misc]progress: [ 27 / 61 ] simplifiying candidate # 1548145837.902 * [enter]simplify: Simplifying (cbrt (fmod (cosh c) (log1p a))) 1548145837.902 * * [misc]simplify: iters left: 3 (6 enodes) 1548145837.903 * * [misc]simplify: iters left: 2 (12 enodes) 1548145837.905 * * [misc]simplify: iters left: 1 (15 enodes) 1548145837.907 * [exit]simplify: Simplified to (cbrt (fmod (cosh c) (log1p a))) 1548145837.907 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) (+ 1 1)) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.907 * * * * [misc]progress: [ 28 / 61 ] simplifiying candidate # 1548145837.907 * * * * [misc]progress: [ 29 / 61 ] simplifiying candidate # 1548145837.907 * [enter]simplify: Simplifying (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 1548145837.907 * * [misc]simplify: iters left: 6 (8 enodes) 1548145837.909 * * [misc]simplify: iters left: 5 (14 enodes) 1548145837.910 * * [misc]simplify: iters left: 4 (17 enodes) 1548145837.913 * * [misc]simplify: iters left: 3 (19 enodes) 1548145837.917 * [exit]simplify: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 1548145837.917 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (exp (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.917 * * * * [misc]progress: [ 30 / 61 ] simplifiying candidate # 1548145837.917 * * * * [misc]progress: [ 31 / 61 ] simplifiying candidate # 1548145837.917 * * * * [misc]progress: [ 32 / 61 ] simplifiying candidate # 1548145837.918 * [enter]simplify: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145837.918 * * [misc]simplify: iters left: 4 (6 enodes) 1548145837.919 * * [misc]simplify: iters left: 3 (12 enodes) 1548145837.920 * * [misc]simplify: iters left: 2 (15 enodes) 1548145837.922 * * [misc]simplify: iters left: 1 (17 enodes) 1548145837.925 * [exit]simplify: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1548145837.925 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.925 * * * * [misc]progress: [ 33 / 61 ] simplifiying candidate # 1548145837.925 * * * * [misc]progress: [ 34 / 61 ] simplifiying candidate # 1548145837.925 * * * * [misc]progress: [ 35 / 61 ] simplifiying candidate # 1548145837.925 * * * * [misc]progress: [ 36 / 61 ] simplifiying candidate # 1548145837.925 * * * * [misc]progress: [ 37 / 61 ] simplifiying candidate # 1548145837.925 * [enter]simplify: Simplifying (cbrt (cbrt (fmod (cosh c) (log1p a)))) 1548145837.926 * * [misc]simplify: iters left: 4 (7 enodes) 1548145837.927 * * [misc]simplify: iters left: 3 (13 enodes) 1548145837.928 * * [misc]simplify: iters left: 2 (16 enodes) 1548145837.930 * * [misc]simplify: iters left: 1 (18 enodes) 1548145837.933 * [exit]simplify: Simplified to (cbrt (cbrt (fmod (cosh c) (log1p a)))) 1548145837.933 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.933 * * * * [misc]progress: [ 38 / 61 ] simplifiying candidate # 1548145837.933 * [enter]simplify: Simplifying (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1548145837.933 * * [misc]simplify: iters left: 4 (7 enodes) 1548145837.934 * * [misc]simplify: iters left: 3 (13 enodes) 1548145837.936 * * [misc]simplify: iters left: 2 (16 enodes) 1548145837.938 * * [misc]simplify: iters left: 1 (18 enodes) 1548145837.941 * [exit]simplify: Simplified to (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1548145837.941 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.941 * * * * [misc]progress: [ 39 / 61 ] simplifiying candidate # 1548145837.941 * [enter]simplify: Simplifying (cbrt (fmod (cosh c) (log1p a))) 1548145837.941 * * [misc]simplify: iters left: 3 (6 enodes) 1548145837.942 * * [misc]simplify: iters left: 2 (12 enodes) 1548145837.943 * * [misc]simplify: iters left: 1 (15 enodes) 1548145837.945 * [exit]simplify: Simplified to (cbrt (fmod (cosh c) (log1p a))) 1548145837.946 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt 1)) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.946 * * * * [misc]progress: [ 40 / 61 ] simplifiying candidate # 1548145837.946 * [enter]simplify: Simplifying (cbrt (cbrt (fmod (cosh c) (log1p a)))) 1548145837.946 * * [misc]simplify: iters left: 4 (7 enodes) 1548145837.947 * * [misc]simplify: iters left: 3 (13 enodes) 1548145837.948 * * [misc]simplify: iters left: 2 (16 enodes) 1548145837.951 * * [misc]simplify: iters left: 1 (18 enodes) 1548145837.953 * [exit]simplify: Simplified to (cbrt (cbrt (fmod (cosh c) (log1p a)))) 1548145837.953 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (* (* (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.953 * * * * [misc]progress: [ 41 / 61 ] simplifiying candidate # 1548145837.953 * [enter]simplify: Simplifying (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1548145837.953 * * [misc]simplify: iters left: 4 (7 enodes) 1548145837.954 * * [misc]simplify: iters left: 3 (13 enodes) 1548145837.956 * * [misc]simplify: iters left: 2 (16 enodes) 1548145837.958 * * [misc]simplify: iters left: 1 (18 enodes) 1548145837.961 * [exit]simplify: Simplified to (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1548145837.961 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (* (* (cbrt (fmod (cosh c) (log1p a))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.961 * * * * [misc]progress: [ 42 / 61 ] simplifiying candidate # 1548145837.961 * [enter]simplify: Simplifying (cbrt (fmod (cosh c) (log1p a))) 1548145837.961 * * [misc]simplify: iters left: 3 (6 enodes) 1548145837.962 * * [misc]simplify: iters left: 2 (12 enodes) 1548145837.963 * * [misc]simplify: iters left: 1 (15 enodes) 1548145837.967 * [exit]simplify: Simplified to (cbrt (fmod (cosh c) (log1p a))) 1548145837.968 * [misc]simplify: Simplified (2 1 2) to (λ (a c) (* (* (* (cbrt (fmod (cosh c) (log1p a))) 1) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.968 * * * * [misc]progress: [ 43 / 61 ] simplifiying candidate # 1548145837.968 * [enter]simplify: Simplifying (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.968 * * [misc]simplify: iters left: 6 (8 enodes) 1548145837.969 * * [misc]simplify: iters left: 5 (14 enodes) 1548145837.971 * * [misc]simplify: iters left: 4 (17 enodes) 1548145837.975 * * [misc]simplify: iters left: 3 (19 enodes) 1548145837.980 * [exit]simplify: Simplified to (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.980 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (* (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.980 * * * * [misc]progress: [ 44 / 61 ] simplifiying candidate # 1548145837.980 * [enter]simplify: Simplifying (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1548145837.980 * * [misc]simplify: iters left: 4 (7 enodes) 1548145837.982 * * [misc]simplify: iters left: 3 (13 enodes) 1548145837.986 * * [misc]simplify: iters left: 2 (16 enodes) 1548145837.990 * * [misc]simplify: iters left: 1 (18 enodes) 1548145837.994 * [exit]simplify: Simplified to (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1548145837.994 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.994 * * * * [misc]progress: [ 45 / 61 ] simplifiying candidate # 1548145837.995 * [enter]simplify: Simplifying (cbrt 1) 1548145837.995 * * [misc]simplify: iters left: 1 (2 enodes) 1548145837.996 * [exit]simplify: Simplified to 1 1548145837.996 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (* 1 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145837.996 * * * * [misc]progress: [ 46 / 61 ] simplifiying candidate # 1548145837.997 * [enter]simplify: Simplifying (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) 1548145837.997 * * [misc]simplify: iters left: 6 (8 enodes) 1548145837.999 * * [misc]simplify: iters left: 5 (14 enodes) 1548145838.003 * * [misc]simplify: iters left: 4 (17 enodes) 1548145838.007 * * [misc]simplify: iters left: 3 (19 enodes) 1548145838.012 * [exit]simplify: Simplified to (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) 1548145838.012 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.012 * * * * [misc]progress: [ 47 / 61 ] simplifiying candidate # 1548145838.013 * [enter]simplify: Simplifying (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1548145838.013 * * [misc]simplify: iters left: 4 (7 enodes) 1548145838.015 * * [misc]simplify: iters left: 3 (13 enodes) 1548145838.018 * * [misc]simplify: iters left: 2 (16 enodes) 1548145838.022 * * [misc]simplify: iters left: 1 (18 enodes) 1548145838.026 * [exit]simplify: Simplified to (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1548145838.027 * [misc]simplify: Simplified (2 1 1) to (λ (a c) (* (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.027 * * * * [misc]progress: [ 48 / 61 ] simplifiying candidate # 1548145838.027 * * * * [misc]progress: [ 49 / 61 ] simplifiying candidate # 1548145838.027 * * * * [misc]progress: [ 50 / 61 ] simplifiying candidate # 1548145838.027 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.027 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.029 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.032 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.032 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.032 * * * * [misc]progress: [ 51 / 61 ] simplifiying candidate # 1548145838.032 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.032 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.034 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.037 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.037 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.037 * * * * [misc]progress: [ 52 / 61 ] simplifiying candidate # 1548145838.037 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.037 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.038 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.041 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.041 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.041 * * * * [misc]progress: [ 53 / 61 ] simplifiying candidate # 1548145838.041 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.041 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.042 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.043 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.043 * [misc]simplify: Simplified (2 1 2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.043 * * * * [misc]progress: [ 54 / 61 ] simplifiying candidate # 1548145838.044 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.044 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.044 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.046 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.046 * [misc]simplify: Simplified (2 1 2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.046 * * * * [misc]progress: [ 55 / 61 ] simplifiying candidate # 1548145838.046 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.046 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.047 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.048 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.048 * [misc]simplify: Simplified (2 1 2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.048 * * * * [misc]progress: [ 56 / 61 ] simplifiying candidate # 1548145838.049 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.049 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.049 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.051 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.051 * [misc]simplify: Simplified (2 1 1 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.051 * * * * [misc]progress: [ 57 / 61 ] simplifiying candidate # 1548145838.051 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.051 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.052 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.053 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.053 * [misc]simplify: Simplified (2 1 1 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.053 * * * * [misc]progress: [ 58 / 61 ] simplifiying candidate # 1548145838.053 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.053 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.054 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.056 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.056 * [misc]simplify: Simplified (2 1 1 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.056 * * * * [misc]progress: [ 59 / 61 ] simplifiying candidate # 1548145838.056 * [enter]simplify: Simplifying (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145838.056 * * [misc]simplify: iters left: 4 (9 enodes) 1548145838.057 * * [misc]simplify: iters left: 3 (16 enodes) 1548145838.059 * * [misc]simplify: iters left: 2 (19 enodes) 1548145838.061 * * [misc]simplify: iters left: 1 (21 enodes) 1548145838.064 * [exit]simplify: Simplified to (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) 1548145838.064 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.064 * * * * [misc]progress: [ 60 / 61 ] simplifiying candidate # 1548145838.064 * [enter]simplify: Simplifying (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145838.064 * * [misc]simplify: iters left: 4 (9 enodes) 1548145838.066 * * [misc]simplify: iters left: 3 (16 enodes) 1548145838.068 * * [misc]simplify: iters left: 2 (19 enodes) 1548145838.070 * * [misc]simplify: iters left: 1 (21 enodes) 1548145838.072 * [exit]simplify: Simplified to (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) 1548145838.073 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.073 * * * * [misc]progress: [ 61 / 61 ] simplifiying candidate # 1548145838.073 * [enter]simplify: Simplifying (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1548145838.073 * * [misc]simplify: iters left: 4 (9 enodes) 1548145838.074 * * [misc]simplify: iters left: 3 (16 enodes) 1548145838.077 * * [misc]simplify: iters left: 2 (19 enodes) 1548145838.083 * * [misc]simplify: iters left: 1 (21 enodes) 1548145838.088 * [exit]simplify: Simplified to (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) 1548145838.088 * [misc]simplify: Simplified (2 1) to (λ (a c) (* (cbrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.088 * * * [misc]progress: adding candidates to table 1548145838.733 * * [misc]progress: iteration 4 / 4 1548145838.733 * * * [misc]progress: picking best candidate 1548145838.804 * * * * [misc]pick: Picked # 1548145838.804 * * * [misc]progress: localizing error 1548145838.833 * * * [misc]progress: generating rewritten candidates 1548145838.833 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1548145838.833 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2 1) 1548145838.834 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 1548145838.834 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 1548145838.835 * * * [misc]progress: generating series expansions 1548145838.835 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1548145838.835 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.835 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145838.835 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.835 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.835 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.835 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.835 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.835 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.836 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.836 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.836 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.836 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify 0 into 0 1548145838.836 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.836 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.836 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145838.836 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.836 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.837 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.837 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.837 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.837 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.837 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.837 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.837 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.837 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]backup-simplify: Simplify 0 into 0 1548145838.837 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.838 * [misc]backup-simplify: Simplify 0 into 0 1548145838.838 * [misc]backup-simplify: Simplify 0 into 0 1548145838.838 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145838.838 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.838 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145838.838 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.838 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.838 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.838 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.838 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.838 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.838 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.839 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.839 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.839 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify 0 into 0 1548145838.839 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145838.839 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2 1) 1548145838.839 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.839 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145838.839 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.840 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.840 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.840 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.840 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.840 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.840 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.840 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.840 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.840 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify 0 into 0 1548145838.840 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.841 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.841 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145838.841 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.841 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.841 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.841 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.841 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.841 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.841 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.841 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.841 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.841 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.841 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify 0 into 0 1548145838.842 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145838.842 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.842 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145838.842 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.842 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.842 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.842 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.842 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.843 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.843 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.843 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.843 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.843 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.843 * [misc]backup-simplify: Simplify 0 into 0 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145838.844 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.844 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145838.844 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.844 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.844 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.844 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.844 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.844 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.844 * [misc]backup-simplify: Simplify 0 into 0 1548145838.844 * [misc]backup-simplify: Simplify 0 into 0 1548145838.844 * [misc]backup-simplify: Simplify 0 into 0 1548145838.844 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.844 * [misc]backup-simplify: Simplify 0 into 0 1548145838.844 * [misc]backup-simplify: Simplify 0 into 0 1548145838.845 * [misc]backup-simplify: Simplify 0 into 0 1548145838.845 * [misc]backup-simplify: Simplify 0 into 0 1548145838.845 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.845 * [misc]backup-simplify: Simplify 0 into 0 1548145838.845 * [misc]backup-simplify: Simplify 0 into 0 1548145838.845 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.845 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.845 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145838.845 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.845 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.845 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.845 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.845 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.845 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.845 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.846 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.846 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.846 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify 0 into 0 1548145838.846 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145838.846 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.846 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145838.846 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.847 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.847 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.847 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.847 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.847 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.847 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.847 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.847 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.847 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]backup-simplify: Simplify 0 into 0 1548145838.847 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.848 * [misc]backup-simplify: Simplify 0 into 0 1548145838.848 * [misc]backup-simplify: Simplify 0 into 0 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145838.848 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.848 * [misc]approximate: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1548145838.848 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.848 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.848 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.848 * [misc]taylor: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.848 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.848 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify 0 into 0 1548145838.849 * [misc]backup-simplify: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1548145838.849 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.849 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1548145838.849 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.849 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.849 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.849 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.849 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1548145838.850 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.850 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1548145838.850 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.850 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1548145838.850 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify 0 into 0 1548145838.850 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1548145838.851 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.851 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1548145838.851 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.851 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.851 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.851 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.851 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1548145838.851 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.851 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1548145838.851 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.851 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1548145838.851 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.851 * [misc]backup-simplify: Simplify 0 into 0 1548145838.851 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]taylor: Taking taylor expansion of 0 in a 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]backup-simplify: Simplify 0 into 0 1548145838.852 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1548145838.852 * * * [misc]progress: simplifying candidates 1548145838.852 * * * * [misc]progress: [ 1 / 40 ] simplifiying candidate # 1548145838.852 * * * * [misc]progress: [ 2 / 40 ] simplifiying candidate # 1548145838.852 * * * * [misc]progress: [ 3 / 40 ] simplifiying candidate # 1548145838.852 * * * * [misc]progress: [ 4 / 40 ] simplifiying candidate # 1548145838.852 * * * * [misc]progress: [ 5 / 40 ] simplifiying candidate # 1548145838.852 * * * * [misc]progress: [ 6 / 40 ] simplifiying candidate # 1548145838.852 * * * * [misc]progress: [ 7 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 8 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 9 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 10 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 11 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 12 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 13 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 14 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 15 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 16 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 17 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 18 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 19 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 20 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 21 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 22 / 40 ] simplifiying candidate # 1548145838.853 * * * * [misc]progress: [ 23 / 40 ] simplifiying candidate # 1548145838.854 * * * * [misc]progress: [ 24 / 40 ] simplifiying candidate # 1548145838.854 * * * * [misc]progress: [ 25 / 40 ] simplifiying candidate # 1548145838.854 * * * * [misc]progress: [ 26 / 40 ] simplifiying candidate # 1548145838.854 * * * * [misc]progress: [ 27 / 40 ] simplifiying candidate # 1548145838.854 * * * * [misc]progress: [ 28 / 40 ] simplifiying candidate # 1548145838.854 * * * * [misc]progress: [ 29 / 40 ] simplifiying candidate # 1548145838.854 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.854 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.856 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.859 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.859 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.859 * * * * [misc]progress: [ 30 / 40 ] simplifiying candidate # 1548145838.860 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.860 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.861 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.864 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.864 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.865 * * * * [misc]progress: [ 31 / 40 ] simplifiying candidate # 1548145838.865 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.865 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.867 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.870 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.870 * [misc]simplify: Simplified (2 2 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.870 * * * * [misc]progress: [ 32 / 40 ] simplifiying candidate # 1548145838.870 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.870 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.872 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.875 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.875 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.875 * * * * [misc]progress: [ 33 / 40 ] simplifiying candidate # 1548145838.875 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.875 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.877 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.880 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.880 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.880 * * * * [misc]progress: [ 34 / 40 ] simplifiying candidate # 1548145838.880 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.880 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.882 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.885 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.885 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.885 * * * * [misc]progress: [ 35 / 40 ] simplifiying candidate # 1548145838.885 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.885 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.887 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.890 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.890 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.890 * * * * [misc]progress: [ 36 / 40 ] simplifiying candidate # 1548145838.891 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.891 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.892 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.895 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.895 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.895 * * * * [misc]progress: [ 37 / 40 ] simplifiying candidate # 1548145838.896 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.896 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.897 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.900 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.900 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.900 * * * * [misc]progress: [ 38 / 40 ] simplifiying candidate # 1548145838.901 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.901 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.902 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.905 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.905 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.905 * * * * [misc]progress: [ 39 / 40 ] simplifiying candidate # 1548145838.906 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.906 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.907 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.910 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.910 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.911 * * * * [misc]progress: [ 40 / 40 ] simplifiying candidate # 1548145838.911 * [enter]simplify: Simplifying (fmod (cosh c) (log1p a)) 1548145838.911 * * [misc]simplify: iters left: 2 (5 enodes) 1548145838.912 * * [misc]simplify: iters left: 1 (11 enodes) 1548145838.916 * [exit]simplify: Simplified to (fmod (cosh c) (log1p a)) 1548145838.916 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (a c) (* (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) 1548145838.916 * * * [misc]progress: adding candidates to table 1548145839.536 * [misc]progress: [Phase 3 of 3] Extracting. 1548145839.536 * * [misc]regime: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 1548145839.541 * * * [misc]regime-changes: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 1548145839.542 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # # # # # # # # # #) 1548145839.701 * * * * [misc]regimes: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # #) 1548145839.864 * * * * [misc]regimes: Trying to branch on c from (# # # # # # # # # # # # # # # #) 1548145840.021 * * * * [misc]regimes: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # #) 1548145840.133 * * * * [misc]regimes: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # #) 1548145840.223 * * * [misc]regime: Found split indices: #