0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.863 * * * [progress]: [2/2] Setting up program. 0.870 * [progress]: [Phase 2 of 3] Improving. 0.870 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.871 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.872 * * [simplify]: iteration 1: (5 enodes) 0.877 * * [simplify]: iteration 2: (21 enodes) 0.881 * * [simplify]: iteration 3: (34 enodes) 0.886 * * [simplify]: iteration 4: (38 enodes) 0.891 * * [simplify]: iteration 5: (40 enodes) 0.897 * * [simplify]: Extracting #0: cost 1 inf + 0 0.898 * * [simplify]: Extracting #1: cost 4 inf + 0 0.898 * * [simplify]: Extracting #2: cost 10 inf + 0 0.898 * * [simplify]: Extracting #3: cost 10 inf + 3 0.898 * * [simplify]: Extracting #4: cost 9 inf + 368 0.898 * * [simplify]: Extracting #5: cost 5 inf + 809 0.898 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.899 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.903 * * [progress]: iteration 1 / 4 0.903 * * * [progress]: picking best candidate 0.906 * * * * [pick]: Picked # 0.906 * * * [progress]: localizing error 0.935 * * * [progress]: generating rewritten candidates 0.935 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.937 * * * [progress]: generating series expansions 0.938 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.940 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.940 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.941 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.942 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.942 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.942 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.943 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.943 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.943 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.943 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.943 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.943 * [taylor]: Taking taylor expansion of 0 in a 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [taylor]: Taking taylor expansion of 0 in a 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [taylor]: Taking taylor expansion of 0 in a 0.943 * [backup-simplify]: Simplify 0 into 0 0.944 * [backup-simplify]: Simplify 0 into 0 0.944 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.945 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.945 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.945 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.945 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.945 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.945 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.945 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.945 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.945 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.945 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.945 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.945 * [taylor]: Taking taylor expansion of 0 in a 0.945 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify 0 into 0 0.946 * [taylor]: Taking taylor expansion of 0 in a 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [taylor]: Taking taylor expansion of 0 in a 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.946 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.946 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.946 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.946 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.946 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.946 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.947 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.947 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.947 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.947 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.947 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.947 * [taylor]: Taking taylor expansion of 0 in a 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [taylor]: Taking taylor expansion of 0 in a 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [taylor]: Taking taylor expansion of 0 in a 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.947 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.947 * * * [progress]: simplifying candidates 0.947 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 0.947 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 0.947 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 0.947 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 0.947 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 0.947 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 0.947 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 0.948 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 0.948 * * * * [progress]: [ 9 / 13 ] simplifiying candidate # 0.948 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 0.948 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 0.948 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 0.948 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 0.948 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.948 * * [simplify]: iteration 1: (15 enodes) 0.951 * * [simplify]: iteration 2: (49 enodes) 0.958 * * [simplify]: iteration 3: (64 enodes) 0.967 * * [simplify]: iteration 4: (74 enodes) 0.981 * * [simplify]: iteration 5: (88 enodes) 1.008 * * [simplify]: iteration 6: (114 enodes) 1.027 * * [simplify]: iteration 7: (160 enodes) 1.074 * * [simplify]: iteration 8: (263 enodes) 1.627 * * [simplify]: iteration 9: (577 enodes) 2.169 * * [simplify]: iteration 10: (1736 enodes) 7.872 * * [simplify]: Extracting #0: cost 10 inf + 0 7.872 * * [simplify]: Extracting #1: cost 183 inf + 0 7.880 * * [simplify]: Extracting #2: cost 1110 inf + 3 7.891 * * [simplify]: Extracting #3: cost 1126 inf + 311 7.908 * * [simplify]: Extracting #4: cost 1046 inf + 59467 8.022 * * [simplify]: Extracting #5: cost 411 inf + 719627 8.213 * * [simplify]: Extracting #6: cost 14 inf + 1135766 8.401 * * [simplify]: Extracting #7: cost 0 inf + 1147510 8.592 * * [simplify]: Extracting #8: cost 0 inf + 1147419 8.811 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 8.811 * * * [progress]: adding candidates to table 8.964 * * [progress]: iteration 2 / 4 8.964 * * * [progress]: picking best candidate 9.005 * * * * [pick]: Picked # 9.005 * * * [progress]: localizing error 9.035 * * * [progress]: generating rewritten candidates 9.035 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 9.035 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 9.036 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 9.045 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 9.047 * * * [progress]: generating series expansions 9.047 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 9.048 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.048 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 9.048 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.048 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.048 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.048 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.048 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.048 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.048 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.049 * [taylor]: Taking taylor expansion of 0 in a 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [taylor]: Taking taylor expansion of 0 in a 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [taylor]: Taking taylor expansion of 0 in a 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify 0 into 0 9.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.049 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 9.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.049 * [taylor]: Taking taylor expansion of 0 in a 9.049 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [taylor]: Taking taylor expansion of 0 in a 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [taylor]: Taking taylor expansion of 0 in a 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.050 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 9.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.050 * [taylor]: Taking taylor expansion of 0 in a 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.050 * [taylor]: Taking taylor expansion of 0 in a 9.050 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [taylor]: Taking taylor expansion of 0 in a 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 9.051 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.051 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 9.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.051 * [taylor]: Taking taylor expansion of 0 in a 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [taylor]: Taking taylor expansion of 0 in a 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [taylor]: Taking taylor expansion of 0 in a 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.052 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 9.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.052 * [taylor]: Taking taylor expansion of 0 in a 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [taylor]: Taking taylor expansion of 0 in a 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [taylor]: Taking taylor expansion of 0 in a 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify 0 into 0 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 9.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.052 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 9.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.053 * [taylor]: Taking taylor expansion of 0 in a 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [taylor]: Taking taylor expansion of 0 in a 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [taylor]: Taking taylor expansion of 0 in a 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify 0 into 0 9.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 9.053 * * * * [progress]: [ 3 / 4 ] generating series at (2) 9.053 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 9.053 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 9.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.054 * [taylor]: Taking taylor expansion of 0 in a 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [taylor]: Taking taylor expansion of 0 in a 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [taylor]: Taking taylor expansion of 0 in a 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.054 * [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))) 9.054 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 9.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.055 * [taylor]: Taking taylor expansion of 0 in a 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [taylor]: Taking taylor expansion of 0 in a 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [taylor]: Taking taylor expansion of 0 in a 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 9.055 * [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))) 9.055 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 9.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.055 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.055 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.056 * [taylor]: Taking taylor expansion of 0 in a 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [taylor]: Taking taylor expansion of 0 in a 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [taylor]: Taking taylor expansion of 0 in a 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify 0 into 0 9.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 9.056 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 9.056 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.056 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0 9.056 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 9.056 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.056 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.057 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.057 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 9.057 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.057 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.057 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.057 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.057 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 9.057 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.057 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.057 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.057 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.057 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 9.057 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.057 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.057 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.057 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.057 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.057 * [taylor]: Taking taylor expansion of 0 in a 9.057 * [backup-simplify]: Simplify 0 into 0 9.057 * [backup-simplify]: Simplify 0 into 0 9.057 * [backup-simplify]: Simplify 0 into 0 9.059 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.059 * [taylor]: Taking taylor expansion of 0 in a 9.059 * [backup-simplify]: Simplify 0 into 0 9.059 * [backup-simplify]: Simplify 0 into 0 9.059 * [backup-simplify]: Simplify 0 into 0 9.059 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.059 * [backup-simplify]: Simplify 0 into 0 9.060 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 9.060 * [taylor]: Taking taylor expansion of 0 in a 9.060 * [backup-simplify]: Simplify 0 into 0 9.060 * [backup-simplify]: Simplify 0 into 0 9.060 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 9.060 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.060 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 9.060 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 9.060 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.060 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.060 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.060 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.060 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 9.060 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.060 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.060 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.061 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.061 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 9.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.061 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.061 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.061 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 9.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.061 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.061 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.061 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.061 * [taylor]: Taking taylor expansion of 0 in a 9.061 * [backup-simplify]: Simplify 0 into 0 9.061 * [backup-simplify]: Simplify 0 into 0 9.061 * [backup-simplify]: Simplify 0 into 0 9.062 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.062 * [taylor]: Taking taylor expansion of 0 in a 9.062 * [backup-simplify]: Simplify 0 into 0 9.062 * [backup-simplify]: Simplify 0 into 0 9.062 * [backup-simplify]: Simplify 0 into 0 9.063 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.063 * [backup-simplify]: Simplify 0 into 0 9.064 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 9.064 * [taylor]: Taking taylor expansion of 0 in a 9.064 * [backup-simplify]: Simplify 0 into 0 9.064 * [backup-simplify]: Simplify 0 into 0 9.064 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a))) 9.064 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.064 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 9.064 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 9.064 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.065 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.065 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 9.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.065 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.065 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 9.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.066 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.066 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 9.066 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.066 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.066 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.067 * [taylor]: Taking taylor expansion of 0 in a 9.067 * [backup-simplify]: Simplify 0 into 0 9.067 * [backup-simplify]: Simplify 0 into 0 9.067 * [backup-simplify]: Simplify 0 into 0 9.068 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.068 * [taylor]: Taking taylor expansion of 0 in a 9.068 * [backup-simplify]: Simplify 0 into 0 9.068 * [backup-simplify]: Simplify 0 into 0 9.068 * [backup-simplify]: Simplify 0 into 0 9.069 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.069 * [backup-simplify]: Simplify 0 into 0 9.070 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 9.070 * [taylor]: Taking taylor expansion of 0 in a 9.070 * [backup-simplify]: Simplify 0 into 0 9.070 * [backup-simplify]: Simplify 0 into 0 9.070 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a))) 9.070 * * * [progress]: simplifying candidates 9.070 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 9.070 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 10 / 100 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 9.071 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 20 / 100 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> 9.071 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 22 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 9.071 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 9.072 * * * * [progress]: [ 44 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 9.073 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 66 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 71 / 100 ] simplifiying candidate #real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> 9.074 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 9.074 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 88 / 100 ] simplifiying candidate #real (real->posit16 (sqrt (fmod (cosh c) (log1p a)))))))> 9.075 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 9.075 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 9.076 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 9.077 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (+ 1 1) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) 1) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (expm1 (sqrt (fmod (cosh c) (log1p a)))) (log1p (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (exp (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1) (sqrt (fmod (cosh c) (log1p a))) (/ 1 2) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (real->posit16 (sqrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 9.079 * * [simplify]: iteration 1: (66 enodes) 9.123 * * [simplify]: iteration 2: (208 enodes) 9.161 * * [simplify]: iteration 3: (318 enodes) 9.229 * * [simplify]: iteration 4: (517 enodes) 9.440 * * [simplify]: iteration 5: (983 enodes) 11.122 * * [simplify]: Extracting #0: cost 30 inf + 0 11.123 * * [simplify]: Extracting #1: cost 252 inf + 3 11.129 * * [simplify]: Extracting #2: cost 705 inf + 11 11.137 * * [simplify]: Extracting #3: cost 714 inf + 3141 11.144 * * [simplify]: Extracting #4: cost 683 inf + 14662 11.163 * * [simplify]: Extracting #5: cost 439 inf + 147969 11.241 * * [simplify]: Extracting #6: cost 33 inf + 425911 11.320 * * [simplify]: Extracting #7: cost 0 inf + 450389 11.398 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) 1 1 2 1 1 (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 2 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 2 1 (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (sqrt (fmod (cosh c) (log1p a)))) (log1p (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (exp (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))) (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1 (sqrt (fmod (cosh c) (log1p a))) 1/2 (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (real->posit16 (sqrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 11.401 * * * [progress]: adding candidates to table 12.288 * * [progress]: iteration 3 / 4 12.288 * * * [progress]: picking best candidate 12.345 * * * * [pick]: Picked # 12.346 * * * [progress]: localizing error 12.367 * * * [progress]: generating rewritten candidates 12.367 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 12.367 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 12.367 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 12.368 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 12.368 * * * [progress]: generating series expansions 12.368 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 12.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.368 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.368 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.368 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.368 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.369 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.369 * [taylor]: Taking taylor expansion of 0 in a 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [taylor]: Taking taylor expansion of 0 in a 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [taylor]: Taking taylor expansion of 0 in a 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify 0 into 0 12.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.369 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.369 * [taylor]: Taking taylor expansion of 0 in a 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [taylor]: Taking taylor expansion of 0 in a 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [taylor]: Taking taylor expansion of 0 in a 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.370 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.370 * [taylor]: Taking taylor expansion of 0 in a 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [backup-simplify]: Simplify 0 into 0 12.370 * [taylor]: Taking taylor expansion of 0 in a 12.370 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [taylor]: Taking taylor expansion of 0 in a 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.371 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.371 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [taylor]: Taking taylor expansion of 0 in a 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [taylor]: Taking taylor expansion of 0 in a 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [taylor]: Taking taylor expansion of 0 in a 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify 0 into 0 12.371 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.371 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.372 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.372 * [taylor]: Taking taylor expansion of 0 in a 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [taylor]: Taking taylor expansion of 0 in a 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [taylor]: Taking taylor expansion of 0 in a 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify 0 into 0 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.372 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.372 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.373 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.373 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.373 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.373 * [taylor]: Taking taylor expansion of 0 in a 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [taylor]: Taking taylor expansion of 0 in a 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [taylor]: Taking taylor expansion of 0 in a 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify 0 into 0 12.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.373 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 12.373 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.373 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.373 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.373 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.373 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.374 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.374 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.374 * [taylor]: Taking taylor expansion of 0 in a 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [taylor]: Taking taylor expansion of 0 in a 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [taylor]: Taking taylor expansion of 0 in a 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.374 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.374 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.374 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.375 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.375 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.375 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.375 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.375 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.375 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.375 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.375 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.376 * [taylor]: Taking taylor expansion of 0 in a 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [taylor]: Taking taylor expansion of 0 in a 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [taylor]: Taking taylor expansion of 0 in a 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify 0 into 0 12.376 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.377 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.377 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.377 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.377 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.377 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.377 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.377 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.377 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.377 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.377 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.377 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.377 * [taylor]: Taking taylor expansion of 0 in a 12.377 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [taylor]: Taking taylor expansion of 0 in a 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [taylor]: Taking taylor expansion of 0 in a 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.378 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 12.378 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.378 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.378 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.379 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.379 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.379 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.379 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.379 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.379 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.379 * [taylor]: Taking taylor expansion of 0 in a 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [taylor]: Taking taylor expansion of 0 in a 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [taylor]: Taking taylor expansion of 0 in a 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.379 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.380 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.381 * [taylor]: Taking taylor expansion of 0 in a 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [taylor]: Taking taylor expansion of 0 in a 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [taylor]: Taking taylor expansion of 0 in a 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify 0 into 0 12.381 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.381 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.381 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.381 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.382 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.382 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.382 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.382 * [taylor]: Taking taylor expansion of 0 in a 12.382 * [backup-simplify]: Simplify 0 into 0 12.382 * [backup-simplify]: Simplify 0 into 0 12.382 * [backup-simplify]: Simplify 0 into 0 12.382 * [taylor]: Taking taylor expansion of 0 in a 12.382 * [backup-simplify]: Simplify 0 into 0 12.382 * [backup-simplify]: Simplify 0 into 0 12.383 * [backup-simplify]: Simplify 0 into 0 12.383 * [backup-simplify]: Simplify 0 into 0 12.383 * [taylor]: Taking taylor expansion of 0 in a 12.383 * [backup-simplify]: Simplify 0 into 0 12.383 * [backup-simplify]: Simplify 0 into 0 12.383 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.383 * * * [progress]: simplifying candidates 12.383 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 12.383 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))))> 12.384 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> 12.384 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 12.384 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> 12.385 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 12.385 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> 12.386 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 12.386 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 12.387 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 12.387 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 12.388 * * [simplify]: iteration 1: (15 enodes) 12.394 * * [simplify]: iteration 2: (49 enodes) 12.400 * * [simplify]: iteration 3: (64 enodes) 12.409 * * [simplify]: iteration 4: (74 enodes) 12.429 * * [simplify]: iteration 5: (88 enodes) 12.451 * * [simplify]: iteration 6: (114 enodes) 12.470 * * [simplify]: iteration 7: (160 enodes) 12.507 * * [simplify]: iteration 8: (263 enodes) 12.575 * * [simplify]: iteration 9: (577 enodes) 12.967 * * [simplify]: iteration 10: (1736 enodes) 18.290 * * [simplify]: Extracting #0: cost 10 inf + 0 18.291 * * [simplify]: Extracting #1: cost 183 inf + 0 18.295 * * [simplify]: Extracting #2: cost 1110 inf + 3 18.302 * * [simplify]: Extracting #3: cost 1126 inf + 311 18.314 * * [simplify]: Extracting #4: cost 1046 inf + 59467 18.414 * * [simplify]: Extracting #5: cost 411 inf + 719627 18.584 * * [simplify]: Extracting #6: cost 14 inf + 1135766 18.784 * * [simplify]: Extracting #7: cost 0 inf + 1147510 18.946 * * [simplify]: Extracting #8: cost 0 inf + 1147419 19.126 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 19.130 * * * [progress]: adding candidates to table 19.812 * * [progress]: iteration 4 / 4 19.812 * * * [progress]: picking best candidate 19.859 * * * * [pick]: Picked # 19.859 * * * [progress]: localizing error 19.887 * * * [progress]: generating rewritten candidates 19.887 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 19.888 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 19.888 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 19.888 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 19.899 * * * [progress]: generating series expansions 19.899 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 19.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.899 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 19.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.899 * [taylor]: Taking taylor expansion of 0 in a 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [taylor]: Taking taylor expansion of 0 in a 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [backup-simplify]: Simplify 0 into 0 19.899 * [taylor]: Taking taylor expansion of 0 in a 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.900 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 19.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.900 * [taylor]: Taking taylor expansion of 0 in a 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [taylor]: Taking taylor expansion of 0 in a 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [taylor]: Taking taylor expansion of 0 in a 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify 0 into 0 19.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.901 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 19.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.901 * [taylor]: Taking taylor expansion of 0 in a 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [taylor]: Taking taylor expansion of 0 in a 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [taylor]: Taking taylor expansion of 0 in a 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify 0 into 0 19.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 19.901 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 19.901 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.901 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 19.901 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.902 * [taylor]: Taking taylor expansion of 0 in a 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [taylor]: Taking taylor expansion of 0 in a 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [taylor]: Taking taylor expansion of 0 in a 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify 0 into 0 19.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.902 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.902 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.902 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.902 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.902 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.903 * [taylor]: Taking taylor expansion of 0 in a 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [taylor]: Taking taylor expansion of 0 in a 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [taylor]: Taking taylor expansion of 0 in a 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify 0 into 0 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.903 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 19.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.904 * [taylor]: Taking taylor expansion of 0 in a 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [taylor]: Taking taylor expansion of 0 in a 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [taylor]: Taking taylor expansion of 0 in a 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify 0 into 0 19.904 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 19.904 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 19.904 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.904 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 19.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.904 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.904 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.904 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.904 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.905 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.905 * [taylor]: Taking taylor expansion of 0 in a 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [taylor]: Taking taylor expansion of 0 in a 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [taylor]: Taking taylor expansion of 0 in a 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.905 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.905 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 19.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.905 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.905 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.905 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.905 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.905 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.905 * [taylor]: Taking taylor expansion of 0 in a 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [taylor]: Taking taylor expansion of 0 in a 19.905 * [backup-simplify]: Simplify 0 into 0 19.905 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [taylor]: Taking taylor expansion of 0 in a 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.906 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 19.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.906 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.906 * [taylor]: Taking taylor expansion of 0 in a 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [taylor]: Taking taylor expansion of 0 in a 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [taylor]: Taking taylor expansion of 0 in a 19.906 * [backup-simplify]: Simplify 0 into 0 19.906 * [backup-simplify]: Simplify 0 into 0 19.907 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 19.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 19.907 * [backup-simplify]: Simplify (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.907 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in (c a) around 0 19.907 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a 19.907 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a 19.907 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a 19.907 * [taylor]: Taking taylor expansion of 1/4 in a 19.907 * [backup-simplify]: Simplify 1/4 into 1/4 19.907 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a 19.907 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a 19.907 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.907 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 19.908 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3) 19.908 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3)) 19.908 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) 19.908 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.908 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in c 19.908 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in c 19.908 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in c 19.908 * [taylor]: Taking taylor expansion of 1/4 in c 19.908 * [backup-simplify]: Simplify 1/4 into 1/4 19.908 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in c 19.908 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in c 19.908 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.908 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.908 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 19.908 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3) 19.909 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3)) 19.909 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) 19.909 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.909 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in c 19.909 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in c 19.909 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in c 19.909 * [taylor]: Taking taylor expansion of 1/4 in c 19.909 * [backup-simplify]: Simplify 1/4 into 1/4 19.909 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in c 19.909 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in c 19.909 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 19.909 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.909 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 19.909 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3) 19.909 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3)) 19.909 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) 19.909 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.909 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a 19.909 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a 19.909 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a 19.909 * [taylor]: Taking taylor expansion of 1/4 in a 19.909 * [backup-simplify]: Simplify 1/4 into 1/4 19.909 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a 19.909 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a 19.909 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 19.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 19.910 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2) 19.910 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3) 19.910 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3)) 19.910 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) 19.910 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.910 * [backup-simplify]: Simplify (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.911 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0 19.911 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2))) into 0 19.912 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 1) into 0 19.912 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3)))) into 0 19.913 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0 19.913 * [taylor]: Taking taylor expansion of 0 in a 19.913 * [backup-simplify]: Simplify 0 into 0 19.913 * [backup-simplify]: Simplify 0 into 0 19.913 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0 19.913 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2))) into 0 19.914 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 1) into 0 19.914 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3)))) into 0 19.915 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0 19.915 * [backup-simplify]: Simplify 0 into 0 19.925 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0 19.926 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2)))) into 0 19.927 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 2) into 0 19.928 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3))))) into 0 19.929 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 19.929 * [taylor]: Taking taylor expansion of 0 in a 19.929 * [backup-simplify]: Simplify 0 into 0 19.929 * [backup-simplify]: Simplify 0 into 0 19.929 * [backup-simplify]: Simplify 0 into 0 19.929 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0 19.930 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2)))) into 0 19.931 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 2) into 0 19.931 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3))))) into 0 19.932 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 19.932 * [backup-simplify]: Simplify 0 into 0 19.933 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a)))))) into 0 19.935 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2))))) into 0 19.937 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh c) (log1p a)) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 6) into 0 19.938 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3)))))) into 0 19.939 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 19.939 * [taylor]: Taking taylor expansion of 0 in a 19.939 * [backup-simplify]: Simplify 0 into 0 19.939 * [backup-simplify]: Simplify 0 into 0 19.939 * [backup-simplify]: Simplify (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.940 * [backup-simplify]: Simplify (* (sqrt (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) 19.940 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in (c a) around 0 19.940 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a 19.940 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a 19.940 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a 19.940 * [taylor]: Taking taylor expansion of 1/4 in a 19.940 * [backup-simplify]: Simplify 1/4 into 1/4 19.940 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a 19.940 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a 19.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.940 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.940 * [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) 19.940 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 19.940 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) 19.940 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) 19.941 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) 19.941 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in c 19.941 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in c 19.941 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in c 19.941 * [taylor]: Taking taylor expansion of 1/4 in c 19.941 * [backup-simplify]: Simplify 1/4 into 1/4 19.941 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in c 19.941 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in c 19.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.941 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.941 * [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) 19.941 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 19.941 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) 19.941 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) 19.941 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) 19.941 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in c 19.941 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in c 19.941 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in c 19.941 * [taylor]: Taking taylor expansion of 1/4 in c 19.941 * [backup-simplify]: Simplify 1/4 into 1/4 19.941 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in c 19.941 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in c 19.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 19.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.942 * [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) 19.942 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 19.942 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) 19.942 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) 19.942 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) 19.942 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a 19.942 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a 19.942 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a 19.942 * [taylor]: Taking taylor expansion of 1/4 in a 19.942 * [backup-simplify]: Simplify 1/4 into 1/4 19.942 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a 19.942 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a 19.942 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 19.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 19.942 * [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) 19.943 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 19.943 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) 19.943 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) 19.943 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) 19.943 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) 19.943 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0 19.943 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into 0 19.944 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 1) into 0 19.944 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into 0 19.945 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0 19.945 * [taylor]: Taking taylor expansion of 0 in a 19.945 * [backup-simplify]: Simplify 0 into 0 19.945 * [backup-simplify]: Simplify 0 into 0 19.945 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0 19.945 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into 0 19.946 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 1) into 0 19.946 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into 0 19.947 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0 19.947 * [backup-simplify]: Simplify 0 into 0 19.947 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 19.948 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0 19.949 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 2) into 0 19.949 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))))) into 0 19.950 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 19.950 * [taylor]: Taking taylor expansion of 0 in a 19.950 * [backup-simplify]: Simplify 0 into 0 19.950 * [backup-simplify]: Simplify 0 into 0 19.950 * [backup-simplify]: Simplify 0 into 0 19.951 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 19.951 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0 19.952 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 2) into 0 19.953 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))))) into 0 19.954 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 19.954 * [backup-simplify]: Simplify 0 into 0 19.955 * [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 19.955 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))))) into 0 19.957 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 6) into 0 19.958 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))))) into 0 19.960 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 19.960 * [taylor]: Taking taylor expansion of 0 in a 19.960 * [backup-simplify]: Simplify 0 into 0 19.960 * [backup-simplify]: Simplify 0 into 0 19.960 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.960 * [backup-simplify]: Simplify (* (sqrt (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) 19.961 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in (c a) around 0 19.961 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a 19.961 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a 19.961 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a 19.961 * [taylor]: Taking taylor expansion of 1/4 in a 19.961 * [backup-simplify]: Simplify 1/4 into 1/4 19.961 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a 19.961 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a 19.961 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.961 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.961 * [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) 19.961 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 19.962 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) 19.962 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) 19.962 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) 19.962 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in c 19.962 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in c 19.962 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in c 19.962 * [taylor]: Taking taylor expansion of 1/4 in c 19.962 * [backup-simplify]: Simplify 1/4 into 1/4 19.962 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in c 19.962 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in c 19.962 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.963 * [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) 19.963 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 19.963 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) 19.963 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) 19.963 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) 19.963 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in c 19.963 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in c 19.964 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in c 19.964 * [taylor]: Taking taylor expansion of 1/4 in c 19.964 * [backup-simplify]: Simplify 1/4 into 1/4 19.964 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in c 19.964 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in c 19.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 19.964 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.964 * [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) 19.964 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 19.964 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) 19.965 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) 19.965 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) 19.965 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a 19.965 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a 19.965 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a 19.965 * [taylor]: Taking taylor expansion of 1/4 in a 19.965 * [backup-simplify]: Simplify 1/4 into 1/4 19.965 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a 19.965 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a 19.965 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 19.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 19.966 * [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) 19.966 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 19.966 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) 19.966 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) 19.966 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) 19.966 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) 19.966 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0 19.967 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into 0 19.967 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 1) into 0 19.968 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into 0 19.968 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0 19.968 * [taylor]: Taking taylor expansion of 0 in a 19.968 * [backup-simplify]: Simplify 0 into 0 19.968 * [backup-simplify]: Simplify 0 into 0 19.969 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0 19.969 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into 0 19.969 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 1) into 0 19.970 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into 0 19.970 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0 19.970 * [backup-simplify]: Simplify 0 into 0 19.971 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 19.971 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0 19.972 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 2) into 0 19.973 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))))) into 0 19.973 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 19.974 * [taylor]: Taking taylor expansion of 0 in a 19.974 * [backup-simplify]: Simplify 0 into 0 19.974 * [backup-simplify]: Simplify 0 into 0 19.974 * [backup-simplify]: Simplify 0 into 0 19.974 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 19.974 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0 19.976 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 2) into 0 19.976 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))))) into 0 19.977 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 19.977 * [backup-simplify]: Simplify 0 into 0 19.978 * [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 19.978 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))))) into 0 19.980 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 6) into 0 19.981 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))))) into 0 19.982 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 19.982 * [taylor]: Taking taylor expansion of 0 in a 19.982 * [backup-simplify]: Simplify 0 into 0 19.982 * [backup-simplify]: Simplify 0 into 0 19.982 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.982 * * * [progress]: simplifying candidates 19.982 * * * * [progress]: [ 1 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 2 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 3 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 4 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 5 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 6 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 7 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 8 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 9 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 10 / 90 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))> 19.982 * * * * [progress]: [ 11 / 90 ] simplifiying candidate # 19.982 * * * * [progress]: [ 12 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 13 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 14 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 15 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 16 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 17 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 18 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 19 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 20 / 90 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> 19.983 * * * * [progress]: [ 21 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 22 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 23 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 24 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 25 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 26 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 27 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 28 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 29 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 30 / 90 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))> 19.983 * * * * [progress]: [ 31 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 32 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 33 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 34 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 35 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 36 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 37 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 38 / 90 ] simplifiying candidate # 19.983 * * * * [progress]: [ 39 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 40 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 41 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 42 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 43 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 44 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 45 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 46 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 47 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 48 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 49 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 50 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 51 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 52 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 53 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 54 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 55 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 56 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 57 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 58 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 59 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 60 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 61 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 62 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 63 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 64 / 90 ] simplifiying candidate # 19.984 * * * * [progress]: [ 65 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 66 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 67 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 68 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 69 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 70 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 71 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 72 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 73 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 74 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 75 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 76 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 77 / 90 ] simplifiying candidate #real (real->posit16 (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))))> 19.985 * * * * [progress]: [ 78 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 79 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 80 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 81 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 82 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 83 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 84 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 85 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 86 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 87 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 88 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 89 / 90 ] simplifiying candidate # 19.985 * * * * [progress]: [ 90 / 90 ] simplifiying candidate # 19.986 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (log1p (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (+ 1/2 1) (+ (/ 1/2 2) 1/2) (+ (/ 1/2 2) (/ 1 2)) (+ (/ 1 2) 1) (+ (/ (/ 1 2) 2) 1/2) (+ (/ (/ 1 2) 2) (/ 1 2)) (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (+ 1/2 1) (+ (/ 1 2) 1) (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (exp (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1)) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (real->posit16 (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) 19.987 * * [simplify]: iteration 1: (70 enodes) 20.008 * * [simplify]: iteration 2: (265 enodes) 20.069 * * [simplify]: iteration 3: (547 enodes) 20.272 * * [simplify]: iteration 4: (1037 enodes) 20.593 * * [simplify]: iteration 5: (1422 enodes) 21.081 * * [simplify]: Extracting #0: cost 30 inf + 0 21.082 * * [simplify]: Extracting #1: cost 178 inf + 2 21.085 * * [simplify]: Extracting #2: cost 374 inf + 11 21.089 * * [simplify]: Extracting #3: cost 386 inf + 4618 21.104 * * [simplify]: Extracting #4: cost 220 inf + 86206 21.128 * * [simplify]: Extracting #5: cost 30 inf + 199424 21.168 * * [simplify]: Extracting #6: cost 2 inf + 214366 21.219 * * [simplify]: Extracting #7: cost 0 inf + 215150 21.249 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (real->posit16 (fmod (cosh c) (log1p a))) (expm1 (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (log1p (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) 3/2 3/4 3/4 3/2 3/4 3/4 (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) 3/2 3/2 (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (exp (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (fmod (cosh c) (log1p a)) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (* (fmod (cosh c) (log1p a)) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a))) (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (real->posit16 (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (pow (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) 1/4) (pow (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) 1/4) (pow (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) 1/4) 21.254 * * * [progress]: adding candidates to table 22.331 * [progress]: [Phase 3 of 3] Extracting. 22.332 * * [regime]: Finding splitpoints for: (# # # # # # # # #real (real->posit16 (fmod (cosh c) (log1p a)))))> # # # # # # # #) 22.334 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 22.335 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #real (real->posit16 (fmod (cosh c) (log1p a)))))> # # # # # # # #) 22.430 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # #real (real->posit16 (fmod (cosh c) (log1p a)))))> # # # # # # # #) 22.515 * * * * [regimes]: Trying to branch on c from (# # # # # # # # #real (real->posit16 (fmod (cosh c) (log1p a)))))> # # # # # # # #) 22.596 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # #real (real->posit16 (fmod (cosh c) (log1p a)))))> # # # # # # # #) 22.689 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # #real (real->posit16 (fmod (cosh c) (log1p a)))))> # # # # # # # #) 22.781 * * * [regime]: Found split indices: #