0.032 * [progress]: [Phase 1 of 3] Setting up. 0.032 * * * [progress]: [1/2] Preparing points 1.094 * * * [progress]: [2/2] Setting up program. 1.099 * [progress]: [Phase 2 of 3] Improving. 1.099 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.100 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.101 * * [simplify]: iters left: 2 (5 enodes) 1.106 * * [simplify]: iters left: 1 (21 enodes) 1.111 * * [simplify]: Extracting #0: cost 1 inf + 0 1.134 * * [simplify]: Extracting #1: cost 4 inf + 0 1.134 * * [simplify]: Extracting #2: cost 10 inf + 0 1.135 * * [simplify]: Extracting #3: cost 10 inf + 3 1.135 * * [simplify]: Extracting #4: cost 9 inf + 368 1.135 * * [simplify]: Extracting #5: cost 5 inf + 809 1.135 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.136 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.136 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.141 * * [progress]: iteration 1 / 4 1.141 * * * [progress]: picking best candidate 1.144 * * * * [pick]: Picked # 1.145 * * * [progress]: localizing error 1.158 * * * [progress]: generating rewritten candidates 1.159 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.160 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.163 * * * [progress]: generating series expansions 1.164 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.166 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.166 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.167 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.169 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.169 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.169 * [taylor]: Taking taylor expansion of 0 in a 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [taylor]: Taking taylor expansion of 0 in a 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [taylor]: Taking taylor expansion of 0 in a 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.171 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.171 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.171 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.171 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.171 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.171 * [taylor]: Taking taylor expansion of 0 in a 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [taylor]: Taking taylor expansion of 0 in a 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [taylor]: Taking taylor expansion of 0 in a 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.172 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.172 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.172 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.172 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.172 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.172 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.172 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.172 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.172 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.172 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.173 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.173 * [taylor]: Taking taylor expansion of 0 in a 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [taylor]: Taking taylor expansion of 0 in a 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [taylor]: Taking taylor expansion of 0 in a 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.173 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.173 * [backup-simplify]: Simplify (cosh c) into (cosh c) 1.173 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 1.173 * [taylor]: Taking taylor expansion of (cosh c) in c 1.173 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 1.173 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 1.173 * [taylor]: Taking taylor expansion of (exp c) in c 1.173 * [taylor]: Taking taylor expansion of c in c 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 1 into 1 1.173 * [backup-simplify]: Simplify (exp 0) into 1 1.173 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.173 * [taylor]: Taking taylor expansion of (- c) in c 1.173 * [taylor]: Taking taylor expansion of c in c 1.173 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify 1 into 1 1.174 * [backup-simplify]: Simplify (- 0) into 0 1.174 * [backup-simplify]: Simplify (- 1) into -1 1.174 * [backup-simplify]: Simplify (exp 0) into 1 1.174 * [taylor]: Taking taylor expansion of 2 in c 1.174 * [backup-simplify]: Simplify 2 into 2 1.175 * [backup-simplify]: Simplify (+ 1 1) into 2 1.175 * [backup-simplify]: Simplify (/ 2 2) into 1 1.175 * [taylor]: Taking taylor expansion of (cosh c) in c 1.175 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 1.175 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 1.175 * [taylor]: Taking taylor expansion of (exp c) in c 1.175 * [taylor]: Taking taylor expansion of c in c 1.175 * [backup-simplify]: Simplify 0 into 0 1.175 * [backup-simplify]: Simplify 1 into 1 1.175 * [backup-simplify]: Simplify (exp 0) into 1 1.176 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.176 * [taylor]: Taking taylor expansion of (- c) in c 1.176 * [taylor]: Taking taylor expansion of c in c 1.176 * [backup-simplify]: Simplify 0 into 0 1.176 * [backup-simplify]: Simplify 1 into 1 1.176 * [backup-simplify]: Simplify (- 0) into 0 1.176 * [backup-simplify]: Simplify (- 1) into -1 1.176 * [backup-simplify]: Simplify (exp 0) into 1 1.176 * [taylor]: Taking taylor expansion of 2 in c 1.176 * [backup-simplify]: Simplify 2 into 2 1.176 * [backup-simplify]: Simplify (+ 1 1) into 2 1.177 * [backup-simplify]: Simplify (/ 2 2) into 1 1.177 * [backup-simplify]: Simplify 1 into 1 1.178 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.178 * [backup-simplify]: Simplify (- 1) into -1 1.179 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.179 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.179 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.180 * [backup-simplify]: Simplify 0 into 0 1.180 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.181 * [backup-simplify]: Simplify (- 1) into -1 1.181 * [backup-simplify]: Simplify (- 0) into 0 1.182 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.182 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.183 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1.183 * [backup-simplify]: Simplify 1/2 into 1/2 1.184 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.185 * [backup-simplify]: Simplify (- 1) into -1 1.185 * [backup-simplify]: Simplify (- 1) into -1 1.185 * [backup-simplify]: Simplify (- 0) into 0 1.185 * [backup-simplify]: Simplify (- 0) into 0 1.187 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.187 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 1.188 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1.188 * [backup-simplify]: Simplify 0 into 0 1.190 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.190 * [backup-simplify]: Simplify (- 1) into -1 1.191 * [backup-simplify]: Simplify (- 1) into -1 1.191 * [backup-simplify]: Simplify (- 0) into 0 1.191 * [backup-simplify]: Simplify (- 1) into -1 1.192 * [backup-simplify]: Simplify (- 0) into 0 1.192 * [backup-simplify]: Simplify (- 0) into 0 1.192 * [backup-simplify]: Simplify (- 0) into 0 1.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.196 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 1.197 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1.197 * [backup-simplify]: Simplify 1/24 into 1/24 1.199 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 1.199 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 1.199 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 1.200 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 1.200 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.200 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.200 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.200 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.200 * [taylor]: Taking taylor expansion of c in c 1.200 * [backup-simplify]: Simplify 0 into 0 1.200 * [backup-simplify]: Simplify 1 into 1 1.200 * [backup-simplify]: Simplify (/ 1 1) into 1 1.200 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.200 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.201 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.201 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.201 * [taylor]: Taking taylor expansion of c in c 1.201 * [backup-simplify]: Simplify 0 into 0 1.201 * [backup-simplify]: Simplify 1 into 1 1.201 * [backup-simplify]: Simplify (/ 1 1) into 1 1.201 * [backup-simplify]: Simplify (- 1) into -1 1.202 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.202 * [taylor]: Taking taylor expansion of 2 in c 1.202 * [backup-simplify]: Simplify 2 into 2 1.202 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 1.202 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.202 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 1.202 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.202 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.202 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.202 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.202 * [taylor]: Taking taylor expansion of c in c 1.202 * [backup-simplify]: Simplify 0 into 0 1.202 * [backup-simplify]: Simplify 1 into 1 1.203 * [backup-simplify]: Simplify (/ 1 1) into 1 1.203 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.203 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.203 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.203 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.203 * [taylor]: Taking taylor expansion of c in c 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [backup-simplify]: Simplify 1 into 1 1.203 * [backup-simplify]: Simplify (/ 1 1) into 1 1.205 * [backup-simplify]: Simplify (- 1) into -1 1.205 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.205 * [taylor]: Taking taylor expansion of 2 in c 1.205 * [backup-simplify]: Simplify 2 into 2 1.206 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 1.206 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.206 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.206 * [backup-simplify]: Simplify (+ 0 0) into 0 1.207 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.208 * [backup-simplify]: Simplify 0 into 0 1.208 * [backup-simplify]: Simplify (+ 0 0) into 0 1.209 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.209 * [backup-simplify]: Simplify 0 into 0 1.210 * [backup-simplify]: Simplify (+ 0 0) into 0 1.212 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.212 * [backup-simplify]: Simplify 0 into 0 1.212 * [backup-simplify]: Simplify (+ 0 0) into 0 1.215 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.215 * [backup-simplify]: Simplify 0 into 0 1.215 * [backup-simplify]: Simplify (+ 0 0) into 0 1.218 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.218 * [backup-simplify]: Simplify 0 into 0 1.218 * [backup-simplify]: Simplify (+ 0 0) into 0 1.222 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.222 * [backup-simplify]: Simplify 0 into 0 1.223 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c)))) 1.223 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 1.223 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 1.223 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 1.223 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.223 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.223 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.223 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.223 * [taylor]: Taking taylor expansion of -1 in c 1.223 * [backup-simplify]: Simplify -1 into -1 1.223 * [taylor]: Taking taylor expansion of c in c 1.223 * [backup-simplify]: Simplify 0 into 0 1.223 * [backup-simplify]: Simplify 1 into 1 1.223 * [backup-simplify]: Simplify (/ -1 1) into -1 1.223 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.224 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.224 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.224 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.224 * [taylor]: Taking taylor expansion of -1 in c 1.224 * [backup-simplify]: Simplify -1 into -1 1.224 * [taylor]: Taking taylor expansion of c in c 1.224 * [backup-simplify]: Simplify 0 into 0 1.224 * [backup-simplify]: Simplify 1 into 1 1.224 * [backup-simplify]: Simplify (/ -1 1) into -1 1.224 * [backup-simplify]: Simplify (- -1) into 1 1.225 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.225 * [taylor]: Taking taylor expansion of 2 in c 1.225 * [backup-simplify]: Simplify 2 into 2 1.225 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 1.225 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.225 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 1.225 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.225 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.225 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.225 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.225 * [taylor]: Taking taylor expansion of -1 in c 1.225 * [backup-simplify]: Simplify -1 into -1 1.225 * [taylor]: Taking taylor expansion of c in c 1.225 * [backup-simplify]: Simplify 0 into 0 1.225 * [backup-simplify]: Simplify 1 into 1 1.226 * [backup-simplify]: Simplify (/ -1 1) into -1 1.226 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.226 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.226 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.226 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.226 * [taylor]: Taking taylor expansion of -1 in c 1.226 * [backup-simplify]: Simplify -1 into -1 1.226 * [taylor]: Taking taylor expansion of c in c 1.226 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify 1 into 1 1.226 * [backup-simplify]: Simplify (/ -1 1) into -1 1.227 * [backup-simplify]: Simplify (- -1) into 1 1.227 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.227 * [taylor]: Taking taylor expansion of 2 in c 1.227 * [backup-simplify]: Simplify 2 into 2 1.227 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 1.227 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.227 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.228 * [backup-simplify]: Simplify (+ 0 0) into 0 1.229 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.229 * [backup-simplify]: Simplify 0 into 0 1.229 * [backup-simplify]: Simplify (+ 0 0) into 0 1.247 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.247 * [backup-simplify]: Simplify 0 into 0 1.248 * [backup-simplify]: Simplify (+ 0 0) into 0 1.250 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.250 * [backup-simplify]: Simplify 0 into 0 1.251 * [backup-simplify]: Simplify (+ 0 0) into 0 1.253 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.253 * [backup-simplify]: Simplify 0 into 0 1.254 * [backup-simplify]: Simplify (+ 0 0) into 0 1.257 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.257 * [backup-simplify]: Simplify 0 into 0 1.257 * [backup-simplify]: Simplify (+ 0 0) into 0 1.261 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.261 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 1.261 * * * [progress]: simplifying candidates 1.261 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 1.261 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 1.262 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 1.262 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #real (real->posit16 (cosh c))) (log1p a)))> 1.263 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 1.263 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.263 * * [simplify]: iters left: 2 (5 enodes) 1.265 * * [simplify]: iters left: 1 (21 enodes) 1.272 * * [simplify]: Extracting #0: cost 1 inf + 0 1.272 * * [simplify]: Extracting #1: cost 4 inf + 0 1.272 * * [simplify]: Extracting #2: cost 10 inf + 0 1.272 * * [simplify]: Extracting #3: cost 10 inf + 3 1.273 * * [simplify]: Extracting #4: cost 9 inf + 368 1.273 * * [simplify]: Extracting #5: cost 5 inf + 809 1.273 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.274 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.274 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.274 * * * * [progress]: [ 19 / 23 ] simplifiying candidate # 1.274 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.274 * * [simplify]: iters left: 2 (5 enodes) 1.276 * * [simplify]: iters left: 1 (21 enodes) 1.283 * * [simplify]: Extracting #0: cost 1 inf + 0 1.283 * * [simplify]: Extracting #1: cost 4 inf + 0 1.283 * * [simplify]: Extracting #2: cost 10 inf + 0 1.283 * * [simplify]: Extracting #3: cost 10 inf + 3 1.283 * * [simplify]: Extracting #4: cost 9 inf + 368 1.283 * * [simplify]: Extracting #5: cost 5 inf + 809 1.284 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.284 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.284 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.284 * * * * [progress]: [ 20 / 23 ] simplifiying candidate # 1.284 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.284 * * [simplify]: iters left: 2 (5 enodes) 1.286 * * [simplify]: iters left: 1 (21 enodes) 1.293 * * [simplify]: Extracting #0: cost 1 inf + 0 1.293 * * [simplify]: Extracting #1: cost 4 inf + 0 1.293 * * [simplify]: Extracting #2: cost 10 inf + 0 1.293 * * [simplify]: Extracting #3: cost 10 inf + 3 1.293 * * [simplify]: Extracting #4: cost 9 inf + 368 1.294 * * [simplify]: Extracting #5: cost 5 inf + 809 1.294 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.294 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.294 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.295 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 1.295 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 1.295 * * [simplify]: iters left: 6 (12 enodes) 1.304 * * [simplify]: iters left: 5 (51 enodes) 1.321 * * [simplify]: iters left: 4 (67 enodes) 1.341 * * [simplify]: iters left: 3 (79 enodes) 1.361 * * [simplify]: Extracting #0: cost 1 inf + 0 1.361 * * [simplify]: Extracting #1: cost 8 inf + 0 1.361 * * [simplify]: Extracting #2: cost 18 inf + 1 1.361 * * [simplify]: Extracting #3: cost 18 inf + 126 1.362 * * [simplify]: Extracting #4: cost 7 inf + 866 1.362 * * [simplify]: Extracting #5: cost 0 inf + 2208 1.363 * [simplify]: Simplified to (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) 1.363 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) (log1p a))) 1.364 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 1.364 * [simplify]: Simplifying (* 1/2 (+ (exp c) (exp (- c)))) 1.364 * * [simplify]: iters left: 6 (7 enodes) 1.368 * * [simplify]: iters left: 5 (31 enodes) 1.380 * * [simplify]: iters left: 4 (49 enodes) 1.394 * * [simplify]: iters left: 3 (51 enodes) 1.410 * * [simplify]: Extracting #0: cost 1 inf + 0 1.410 * * [simplify]: Extracting #1: cost 6 inf + 0 1.410 * * [simplify]: Extracting #2: cost 10 inf + 1 1.410 * * [simplify]: Extracting #3: cost 15 inf + 1 1.410 * * [simplify]: Extracting #4: cost 13 inf + 44 1.410 * * [simplify]: Extracting #5: cost 4 inf + 1047 1.411 * * [simplify]: Extracting #6: cost 0 inf + 1723 1.411 * [simplify]: Simplified to (+ (* 1/2 (exp c)) (/ 1/2 (exp c))) 1.412 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (+ (* 1/2 (exp c)) (/ 1/2 (exp c))) (log1p a))) 1.412 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 1.412 * [simplify]: Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c))) 1.412 * * [simplify]: iters left: 6 (8 enodes) 1.417 * * [simplify]: iters left: 5 (36 enodes) 1.429 * * [simplify]: iters left: 4 (55 enodes) 1.446 * * [simplify]: iters left: 3 (78 enodes) 1.469 * * [simplify]: iters left: 2 (121 enodes) 1.500 * * [simplify]: iters left: 1 (233 enodes) 1.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1.567 * * [simplify]: Extracting #1: cost 6 inf + 0 1.568 * * [simplify]: Extracting #2: cost 43 inf + 1 1.568 * * [simplify]: Extracting #3: cost 128 inf + 1 1.568 * * [simplify]: Extracting #4: cost 135 inf + 1291 1.570 * * [simplify]: Extracting #5: cost 102 inf + 9244 1.576 * * [simplify]: Extracting #6: cost 18 inf + 46396 1.592 * * [simplify]: Extracting #7: cost 0 inf + 54396 1.608 * * [simplify]: Extracting #8: cost 0 inf + 54356 1.624 * [simplify]: Simplified to (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) 1.624 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) (log1p a))) 1.624 * * * [progress]: adding candidates to table 1.896 * * [progress]: iteration 2 / 4 1.896 * * * [progress]: picking best candidate 1.939 * * * * [pick]: Picked # 1.939 * * * [progress]: localizing error 1.970 * * * [progress]: generating rewritten candidates 1.970 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.970 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.971 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.974 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.976 * * * [progress]: generating series expansions 1.976 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.976 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.976 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.976 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.976 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.976 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.976 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.977 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.977 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.978 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 0 into 0 1.979 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.979 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.979 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.979 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.979 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.979 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.979 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.979 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.979 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.979 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.979 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.979 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.979 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.979 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.979 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.980 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.980 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.980 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.981 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.981 * [taylor]: Taking taylor expansion of 0 in a 1.981 * [backup-simplify]: Simplify 0 into 0 1.981 * [backup-simplify]: Simplify 0 into 0 1.981 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.981 * [backup-simplify]: Simplify 0 into 0 1.983 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.983 * [taylor]: Taking taylor expansion of 0 in a 1.983 * [backup-simplify]: Simplify 0 into 0 1.983 * [backup-simplify]: Simplify 0 into 0 1.983 * [backup-simplify]: Simplify 0 into 0 1.989 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.989 * [backup-simplify]: Simplify 0 into 0 1.991 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 1.991 * [taylor]: Taking taylor expansion of 0 in a 1.991 * [backup-simplify]: Simplify 0 into 0 1.991 * [backup-simplify]: Simplify 0 into 0 1.991 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.991 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.992 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.992 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.993 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.993 * [taylor]: Taking taylor expansion of 0 in a 1.993 * [backup-simplify]: Simplify 0 into 0 1.993 * [backup-simplify]: Simplify 0 into 0 1.993 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.993 * [backup-simplify]: Simplify 0 into 0 1.994 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.994 * [taylor]: Taking taylor expansion of 0 in a 1.994 * [backup-simplify]: Simplify 0 into 0 1.994 * [backup-simplify]: Simplify 0 into 0 1.994 * [backup-simplify]: Simplify 0 into 0 1.995 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.995 * [backup-simplify]: Simplify 0 into 0 1.997 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 1.997 * [taylor]: Taking taylor expansion of 0 in a 1.997 * [backup-simplify]: Simplify 0 into 0 1.997 * [backup-simplify]: Simplify 0 into 0 1.997 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.997 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.998 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.998 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.998 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.998 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.998 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.998 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.998 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.998 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.998 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.998 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.998 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.998 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.998 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.998 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.998 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.998 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.998 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.998 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.999 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.999 * [taylor]: Taking taylor expansion of 0 in a 1.999 * [backup-simplify]: Simplify 0 into 0 1.999 * [backup-simplify]: Simplify 0 into 0 2.000 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.000 * [backup-simplify]: Simplify 0 into 0 2.001 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 2.001 * [taylor]: Taking taylor expansion of 0 in a 2.001 * [backup-simplify]: Simplify 0 into 0 2.001 * [backup-simplify]: Simplify 0 into 0 2.001 * [backup-simplify]: Simplify 0 into 0 2.002 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 2.002 * [backup-simplify]: Simplify 0 into 0 2.005 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 2.005 * [taylor]: Taking taylor expansion of 0 in a 2.005 * [backup-simplify]: Simplify 0 into 0 2.005 * [backup-simplify]: Simplify 0 into 0 2.005 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 2.005 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.005 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 2.005 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.005 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.006 * [taylor]: Taking taylor expansion of 0 in a 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [taylor]: Taking taylor expansion of 0 in a 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [backup-simplify]: Simplify 0 into 0 2.006 * [taylor]: Taking taylor expansion of 0 in a 2.006 * [backup-simplify]: Simplify 0 into 0 2.007 * [backup-simplify]: Simplify 0 into 0 2.007 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.007 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.007 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.008 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.008 * [taylor]: Taking taylor expansion of 0 in a 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [taylor]: Taking taylor expansion of 0 in a 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [taylor]: Taking taylor expansion of 0 in a 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify 0 into 0 2.008 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.008 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.008 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.008 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.008 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.009 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.009 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.009 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.009 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.009 * [taylor]: Taking taylor expansion of 0 in a 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [taylor]: Taking taylor expansion of 0 in a 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify 0 into 0 2.009 * [taylor]: Taking taylor expansion of 0 in a 2.010 * [backup-simplify]: Simplify 0 into 0 2.010 * [backup-simplify]: Simplify 0 into 0 2.010 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.010 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 2.010 * [backup-simplify]: Simplify (cosh c) into (cosh c) 2.010 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 2.010 * [taylor]: Taking taylor expansion of (cosh c) in c 2.010 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 2.010 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 2.010 * [taylor]: Taking taylor expansion of (exp c) in c 2.010 * [taylor]: Taking taylor expansion of c in c 2.010 * [backup-simplify]: Simplify 0 into 0 2.010 * [backup-simplify]: Simplify 1 into 1 2.010 * [backup-simplify]: Simplify (exp 0) into 1 2.010 * [taylor]: Taking taylor expansion of (exp (- c)) in c 2.010 * [taylor]: Taking taylor expansion of (- c) in c 2.010 * [taylor]: Taking taylor expansion of c in c 2.010 * [backup-simplify]: Simplify 0 into 0 2.010 * [backup-simplify]: Simplify 1 into 1 2.011 * [backup-simplify]: Simplify (- 0) into 0 2.011 * [backup-simplify]: Simplify (- 1) into -1 2.011 * [backup-simplify]: Simplify (exp 0) into 1 2.011 * [taylor]: Taking taylor expansion of 2 in c 2.011 * [backup-simplify]: Simplify 2 into 2 2.012 * [backup-simplify]: Simplify (+ 1 1) into 2 2.012 * [backup-simplify]: Simplify (/ 2 2) into 1 2.012 * [taylor]: Taking taylor expansion of (cosh c) in c 2.012 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 2.012 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 2.012 * [taylor]: Taking taylor expansion of (exp c) in c 2.012 * [taylor]: Taking taylor expansion of c in c 2.012 * [backup-simplify]: Simplify 0 into 0 2.012 * [backup-simplify]: Simplify 1 into 1 2.012 * [backup-simplify]: Simplify (exp 0) into 1 2.012 * [taylor]: Taking taylor expansion of (exp (- c)) in c 2.012 * [taylor]: Taking taylor expansion of (- c) in c 2.012 * [taylor]: Taking taylor expansion of c in c 2.012 * [backup-simplify]: Simplify 0 into 0 2.012 * [backup-simplify]: Simplify 1 into 1 2.013 * [backup-simplify]: Simplify (- 0) into 0 2.013 * [backup-simplify]: Simplify (- 1) into -1 2.013 * [backup-simplify]: Simplify (exp 0) into 1 2.013 * [taylor]: Taking taylor expansion of 2 in c 2.013 * [backup-simplify]: Simplify 2 into 2 2.014 * [backup-simplify]: Simplify (+ 1 1) into 2 2.014 * [backup-simplify]: Simplify (/ 2 2) into 1 2.014 * [backup-simplify]: Simplify 1 into 1 2.015 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.016 * [backup-simplify]: Simplify (- 1) into -1 2.017 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 2.017 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.018 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 2.018 * [backup-simplify]: Simplify 0 into 0 2.020 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.020 * [backup-simplify]: Simplify (- 1) into -1 2.021 * [backup-simplify]: Simplify (- 0) into 0 2.022 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.023 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 2.024 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 2.024 * [backup-simplify]: Simplify 1/2 into 1/2 2.027 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 2.027 * [backup-simplify]: Simplify (- 1) into -1 2.027 * [backup-simplify]: Simplify (- 1) into -1 2.028 * [backup-simplify]: Simplify (- 0) into 0 2.028 * [backup-simplify]: Simplify (- 0) into 0 2.031 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 2.031 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 2.033 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 2.033 * [backup-simplify]: Simplify 0 into 0 2.037 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 2.038 * [backup-simplify]: Simplify (- 1) into -1 2.038 * [backup-simplify]: Simplify (- 1) into -1 2.039 * [backup-simplify]: Simplify (- 0) into 0 2.039 * [backup-simplify]: Simplify (- 1) into -1 2.039 * [backup-simplify]: Simplify (- 0) into 0 2.040 * [backup-simplify]: Simplify (- 0) into 0 2.040 * [backup-simplify]: Simplify (- 0) into 0 2.045 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 2.046 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 2.048 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 2.048 * [backup-simplify]: Simplify 1/24 into 1/24 2.048 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 2.048 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 2.048 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 2.048 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 2.048 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 2.048 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 2.048 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 2.048 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.048 * [taylor]: Taking taylor expansion of c in c 2.048 * [backup-simplify]: Simplify 0 into 0 2.048 * [backup-simplify]: Simplify 1 into 1 2.049 * [backup-simplify]: Simplify (/ 1 1) into 1 2.049 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 2.049 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 2.049 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 2.049 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.049 * [taylor]: Taking taylor expansion of c in c 2.049 * [backup-simplify]: Simplify 0 into 0 2.049 * [backup-simplify]: Simplify 1 into 1 2.050 * [backup-simplify]: Simplify (/ 1 1) into 1 2.050 * [backup-simplify]: Simplify (- 1) into -1 2.050 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 2.050 * [taylor]: Taking taylor expansion of 2 in c 2.050 * [backup-simplify]: Simplify 2 into 2 2.050 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2.051 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 2.051 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 2.051 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 2.051 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 2.051 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 2.051 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.051 * [taylor]: Taking taylor expansion of c in c 2.051 * [backup-simplify]: Simplify 0 into 0 2.051 * [backup-simplify]: Simplify 1 into 1 2.051 * [backup-simplify]: Simplify (/ 1 1) into 1 2.051 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 2.051 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 2.052 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 2.052 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.052 * [taylor]: Taking taylor expansion of c in c 2.052 * [backup-simplify]: Simplify 0 into 0 2.052 * [backup-simplify]: Simplify 1 into 1 2.052 * [backup-simplify]: Simplify (/ 1 1) into 1 2.053 * [backup-simplify]: Simplify (- 1) into -1 2.053 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 2.053 * [taylor]: Taking taylor expansion of 2 in c 2.053 * [backup-simplify]: Simplify 2 into 2 2.053 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2.053 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 2.053 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 2.054 * [backup-simplify]: Simplify (+ 0 0) into 0 2.055 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0 2.055 * [backup-simplify]: Simplify 0 into 0 2.055 * [backup-simplify]: Simplify (+ 0 0) into 0 2.057 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.057 * [backup-simplify]: Simplify 0 into 0 2.057 * [backup-simplify]: Simplify (+ 0 0) into 0 2.059 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.059 * [backup-simplify]: Simplify 0 into 0 2.060 * [backup-simplify]: Simplify (+ 0 0) into 0 2.062 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.063 * [backup-simplify]: Simplify 0 into 0 2.063 * [backup-simplify]: Simplify (+ 0 0) into 0 2.066 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.066 * [backup-simplify]: Simplify 0 into 0 2.066 * [backup-simplify]: Simplify (+ 0 0) into 0 2.068 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.068 * [backup-simplify]: Simplify 0 into 0 2.069 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c)))) 2.069 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 2.069 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 2.069 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 2.069 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 2.069 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 2.069 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 2.069 * [taylor]: Taking taylor expansion of (/ -1 c) in c 2.069 * [taylor]: Taking taylor expansion of -1 in c 2.069 * [backup-simplify]: Simplify -1 into -1 2.069 * [taylor]: Taking taylor expansion of c in c 2.069 * [backup-simplify]: Simplify 0 into 0 2.069 * [backup-simplify]: Simplify 1 into 1 2.069 * [backup-simplify]: Simplify (/ -1 1) into -1 2.069 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 2.069 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 2.069 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 2.069 * [taylor]: Taking taylor expansion of (/ -1 c) in c 2.069 * [taylor]: Taking taylor expansion of -1 in c 2.069 * [backup-simplify]: Simplify -1 into -1 2.069 * [taylor]: Taking taylor expansion of c in c 2.069 * [backup-simplify]: Simplify 0 into 0 2.069 * [backup-simplify]: Simplify 1 into 1 2.070 * [backup-simplify]: Simplify (/ -1 1) into -1 2.070 * [backup-simplify]: Simplify (- -1) into 1 2.070 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 2.070 * [taylor]: Taking taylor expansion of 2 in c 2.070 * [backup-simplify]: Simplify 2 into 2 2.070 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 2.070 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 2.070 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 2.070 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 2.070 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 2.070 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 2.070 * [taylor]: Taking taylor expansion of (/ -1 c) in c 2.070 * [taylor]: Taking taylor expansion of -1 in c 2.070 * [backup-simplify]: Simplify -1 into -1 2.070 * [taylor]: Taking taylor expansion of c in c 2.070 * [backup-simplify]: Simplify 0 into 0 2.070 * [backup-simplify]: Simplify 1 into 1 2.071 * [backup-simplify]: Simplify (/ -1 1) into -1 2.071 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 2.071 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 2.071 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 2.071 * [taylor]: Taking taylor expansion of (/ -1 c) in c 2.071 * [taylor]: Taking taylor expansion of -1 in c 2.071 * [backup-simplify]: Simplify -1 into -1 2.071 * [taylor]: Taking taylor expansion of c in c 2.071 * [backup-simplify]: Simplify 0 into 0 2.071 * [backup-simplify]: Simplify 1 into 1 2.071 * [backup-simplify]: Simplify (/ -1 1) into -1 2.071 * [backup-simplify]: Simplify (- -1) into 1 2.071 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 2.071 * [taylor]: Taking taylor expansion of 2 in c 2.071 * [backup-simplify]: Simplify 2 into 2 2.071 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 2.071 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 2.072 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 2.072 * [backup-simplify]: Simplify (+ 0 0) into 0 2.072 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 2.073 * [backup-simplify]: Simplify 0 into 0 2.073 * [backup-simplify]: Simplify (+ 0 0) into 0 2.074 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.074 * [backup-simplify]: Simplify 0 into 0 2.074 * [backup-simplify]: Simplify (+ 0 0) into 0 2.075 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.075 * [backup-simplify]: Simplify 0 into 0 2.075 * [backup-simplify]: Simplify (+ 0 0) into 0 2.077 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.077 * [backup-simplify]: Simplify 0 into 0 2.077 * [backup-simplify]: Simplify (+ 0 0) into 0 2.079 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.079 * [backup-simplify]: Simplify 0 into 0 2.079 * [backup-simplify]: Simplify (+ 0 0) into 0 2.081 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 2.081 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 2.082 * * * [progress]: simplifying candidates 2.082 * * * * [progress]: [ 1 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 2 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 3 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 4 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 5 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 6 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 7 / 58 ] simplifiying candidate # 2.082 * * * * [progress]: [ 8 / 58 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 2.082 * * * * [progress]: [ 9 / 58 ] simplifiying candidate # 2.082 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 2.082 * * [simplify]: iters left: 6 (8 enodes) 2.084 * * [simplify]: iters left: 5 (32 enodes) 2.089 * * [simplify]: iters left: 4 (47 enodes) 2.097 * * [simplify]: iters left: 3 (51 enodes) 2.114 * * [simplify]: iters left: 2 (53 enodes) 2.128 * * [simplify]: Extracting #0: cost 1 inf + 0 2.129 * * [simplify]: Extracting #1: cost 4 inf + 0 2.129 * * [simplify]: Extracting #2: cost 7 inf + 0 2.129 * * [simplify]: Extracting #3: cost 9 inf + 0 2.129 * * [simplify]: Extracting #4: cost 12 inf + 0 2.129 * * [simplify]: Extracting #5: cost 18 inf + 0 2.129 * * [simplify]: Extracting #6: cost 16 inf + 185 2.129 * * [simplify]: Extracting #7: cost 18 inf + 312 2.129 * * [simplify]: Extracting #8: cost 12 inf + 1292 2.130 * * [simplify]: Extracting #9: cost 1 inf + 4069 2.130 * * [simplify]: Extracting #10: cost 0 inf + 4436 2.131 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 2.131 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 2.131 * * * * [progress]: [ 10 / 58 ] simplifiying candidate # 2.131 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 2.131 * * [simplify]: iters left: 4 (7 enodes) 2.132 * * [simplify]: iters left: 3 (27 enodes) 2.136 * * [simplify]: iters left: 2 (40 enodes) 2.143 * * [simplify]: iters left: 1 (44 enodes) 2.149 * * [simplify]: Extracting #0: cost 1 inf + 0 2.149 * * [simplify]: Extracting #1: cost 3 inf + 0 2.149 * * [simplify]: Extracting #2: cost 5 inf + 0 2.150 * * [simplify]: Extracting #3: cost 8 inf + 0 2.150 * * [simplify]: Extracting #4: cost 14 inf + 0 2.150 * * [simplify]: Extracting #5: cost 13 inf + 94 2.150 * * [simplify]: Extracting #6: cost 13 inf + 368 2.150 * * [simplify]: Extracting #7: cost 7 inf + 1177 2.150 * * [simplify]: Extracting #8: cost 0 inf + 2788 2.150 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 2.150 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 2.151 * * * * [progress]: [ 11 / 58 ] simplifiying candidate # 2.151 * [simplify]: Simplifying (log 1) 2.151 * * [simplify]: iters left: 1 (2 enodes) 2.153 * * [simplify]: Extracting #0: cost 1 inf + 0 2.153 * * [simplify]: Extracting #1: cost 0 inf + 1 2.153 * [simplify]: Simplified to 0 2.153 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a)))))) 2.153 * * * * [progress]: [ 12 / 58 ] simplifiying candidate # 2.153 * * * * [progress]: [ 13 / 58 ] simplifiying candidate # 2.153 * * * * [progress]: [ 14 / 58 ] simplifiying candidate # 2.153 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.153 * * [simplify]: iters left: 2 (5 enodes) 2.154 * * [simplify]: iters left: 1 (21 enodes) 2.158 * * [simplify]: Extracting #0: cost 1 inf + 0 2.158 * * [simplify]: Extracting #1: cost 4 inf + 0 2.158 * * [simplify]: Extracting #2: cost 10 inf + 0 2.158 * * [simplify]: Extracting #3: cost 10 inf + 3 2.158 * * [simplify]: Extracting #4: cost 9 inf + 368 2.158 * * [simplify]: Extracting #5: cost 5 inf + 809 2.158 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.158 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.158 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.159 * * * * [progress]: [ 15 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 16 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 17 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 18 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 19 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 20 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 21 / 58 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> 2.159 * * * * [progress]: [ 22 / 58 ] simplifiying candidate # 2.159 * * * * [progress]: [ 23 / 58 ] simplifiying candidate # 2.159 * [simplify]: Simplifying (exp 1) 2.159 * * [simplify]: iters left: 1 (2 enodes) 2.160 * * [simplify]: Extracting #0: cost 1 inf + 0 2.160 * * [simplify]: Extracting #1: cost 0 inf + 1 2.160 * [simplify]: Simplified to E 2.160 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 2.160 * * * * [progress]: [ 24 / 58 ] simplifiying candidate # 2.160 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 2.160 * * [simplify]: iters left: 6 (9 enodes) 2.162 * * [simplify]: iters left: 5 (35 enodes) 2.173 * * [simplify]: iters left: 4 (53 enodes) 2.183 * * [simplify]: iters left: 3 (66 enodes) 2.194 * * [simplify]: iters left: 2 (92 enodes) 2.209 * * [simplify]: iters left: 1 (144 enodes) 2.243 * * [simplify]: Extracting #0: cost 1 inf + 0 2.243 * * [simplify]: Extracting #1: cost 15 inf + 0 2.243 * * [simplify]: Extracting #2: cost 53 inf + 1 2.244 * * [simplify]: Extracting #3: cost 71 inf + 4 2.244 * * [simplify]: Extracting #4: cost 75 inf + 5 2.245 * * [simplify]: Extracting #5: cost 80 inf + 5 2.245 * * [simplify]: Extracting #6: cost 78 inf + 245 2.246 * * [simplify]: Extracting #7: cost 69 inf + 4045 2.248 * * [simplify]: Extracting #8: cost 35 inf + 19243 2.252 * * [simplify]: Extracting #9: cost 4 inf + 43907 2.258 * * [simplify]: Extracting #10: cost 0 inf + 46719 2.263 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 2.263 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 2.263 * * * * [progress]: [ 25 / 58 ] simplifiying candidate # 2.264 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a))))) 2.264 * * [simplify]: iters left: 5 (8 enodes) 2.265 * * [simplify]: iters left: 4 (30 enodes) 2.270 * * [simplify]: iters left: 3 (43 enodes) 2.276 * * [simplify]: iters left: 2 (47 enodes) 2.287 * * [simplify]: iters left: 1 (49 enodes) 2.301 * * [simplify]: Extracting #0: cost 1 inf + 0 2.301 * * [simplify]: Extracting #1: cost 3 inf + 0 2.301 * * [simplify]: Extracting #2: cost 5 inf + 0 2.301 * * [simplify]: Extracting #3: cost 7 inf + 0 2.301 * * [simplify]: Extracting #4: cost 10 inf + 0 2.301 * * [simplify]: Extracting #5: cost 16 inf + 0 2.301 * * [simplify]: Extracting #6: cost 15 inf + 94 2.302 * * [simplify]: Extracting #7: cost 16 inf + 312 2.302 * * [simplify]: Extracting #8: cost 9 inf + 1489 2.303 * * [simplify]: Extracting #9: cost 0 inf + 3642 2.304 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a))))) 2.304 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a)))))) 2.304 * * * * [progress]: [ 26 / 58 ] simplifiying candidate # 2.304 * [simplify]: Simplifying (exp 1) 2.304 * * [simplify]: iters left: 1 (2 enodes) 2.306 * * [simplify]: Extracting #0: cost 1 inf + 0 2.306 * * [simplify]: Extracting #1: cost 0 inf + 1 2.306 * [simplify]: Simplified to E 2.306 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 2.306 * * * * [progress]: [ 27 / 58 ] simplifiying candidate # 2.306 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 2.306 * * [simplify]: iters left: 6 (9 enodes) 2.310 * * [simplify]: iters left: 5 (33 enodes) 2.323 * * [simplify]: iters left: 4 (50 enodes) 2.336 * * [simplify]: iters left: 3 (54 enodes) 2.351 * * [simplify]: iters left: 2 (56 enodes) 2.366 * * [simplify]: Extracting #0: cost 1 inf + 0 2.367 * * [simplify]: Extracting #1: cost 4 inf + 0 2.367 * * [simplify]: Extracting #2: cost 8 inf + 0 2.367 * * [simplify]: Extracting #3: cost 12 inf + 0 2.367 * * [simplify]: Extracting #4: cost 18 inf + 0 2.367 * * [simplify]: Extracting #5: cost 17 inf + 94 2.367 * * [simplify]: Extracting #6: cost 18 inf + 312 2.367 * * [simplify]: Extracting #7: cost 9 inf + 1659 2.368 * * [simplify]: Extracting #8: cost 3 inf + 3255 2.369 * * [simplify]: Extracting #9: cost 1 inf + 4029 2.370 * * [simplify]: Extracting #10: cost 0 inf + 4436 2.371 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 2.371 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a))))))) 2.371 * * * * [progress]: [ 28 / 58 ] simplifiying candidate # 2.371 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a))))) 2.372 * * [simplify]: iters left: 5 (8 enodes) 2.375 * * [simplify]: iters left: 4 (28 enodes) 2.383 * * [simplify]: iters left: 3 (41 enodes) 2.395 * * [simplify]: iters left: 2 (45 enodes) 2.408 * * [simplify]: iters left: 1 (47 enodes) 2.415 * * [simplify]: Extracting #0: cost 1 inf + 0 2.415 * * [simplify]: Extracting #1: cost 4 inf + 0 2.415 * * [simplify]: Extracting #2: cost 8 inf + 0 2.415 * * [simplify]: Extracting #3: cost 14 inf + 0 2.415 * * [simplify]: Extracting #4: cost 13 inf + 94 2.416 * * [simplify]: Extracting #5: cost 14 inf + 312 2.416 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.416 * * [simplify]: Extracting #7: cost 1 inf + 2567 2.416 * * [simplify]: Extracting #8: cost 0 inf + 2788 2.417 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.417 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a))))))) 2.417 * * * * [progress]: [ 29 / 58 ] simplifiying candidate # 2.417 * [simplify]: Simplifying (exp (log 1)) 2.417 * * [simplify]: iters left: 2 (3 enodes) 2.418 * * [simplify]: iters left: 1 (9 enodes) 2.420 * * [simplify]: Extracting #0: cost 1 inf + 0 2.420 * * [simplify]: Extracting #1: cost 0 inf + 1 2.420 * [simplify]: Simplified to 1 2.420 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a)))))) 2.420 * * * * [progress]: [ 30 / 58 ] simplifiying candidate # 2.420 * [simplify]: Simplifying (cosh c) 2.420 * * [simplify]: iters left: 1 (2 enodes) 2.421 * * [simplify]: Extracting #0: cost 1 inf + 0 2.421 * * [simplify]: Extracting #1: cost 5 inf + 0 2.421 * * [simplify]: Extracting #2: cost 5 inf + 2 2.421 * * [simplify]: Extracting #3: cost 3 inf + 185 2.421 * * [simplify]: Extracting #4: cost 0 inf + 558 2.421 * [simplify]: Simplified to (cosh c) 2.421 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 2.421 * * * * [progress]: [ 31 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 32 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 33 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 34 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 35 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 36 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 37 / 58 ] simplifiying candidate #real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))> 2.421 * * * * [progress]: [ 38 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 39 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 40 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 41 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 42 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 43 / 58 ] simplifiying candidate # 2.421 * * * * [progress]: [ 44 / 58 ] simplifiying candidate # 2.422 * * * * [progress]: [ 45 / 58 ] simplifiying candidate # 2.422 * * * * [progress]: [ 46 / 58 ] simplifiying candidate #real (real->posit16 (cosh c))) (log1p a)))))> 2.422 * * * * [progress]: [ 47 / 58 ] simplifiying candidate # 2.422 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.422 * * [simplify]: iters left: 2 (5 enodes) 2.423 * * [simplify]: iters left: 1 (21 enodes) 2.426 * * [simplify]: Extracting #0: cost 1 inf + 0 2.426 * * [simplify]: Extracting #1: cost 4 inf + 0 2.426 * * [simplify]: Extracting #2: cost 10 inf + 0 2.426 * * [simplify]: Extracting #3: cost 10 inf + 3 2.426 * * [simplify]: Extracting #4: cost 9 inf + 368 2.427 * * [simplify]: Extracting #5: cost 5 inf + 809 2.427 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.427 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.427 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.427 * * * * [progress]: [ 48 / 58 ] simplifiying candidate # 2.427 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.427 * * [simplify]: iters left: 2 (5 enodes) 2.428 * * [simplify]: iters left: 1 (21 enodes) 2.432 * * [simplify]: Extracting #0: cost 1 inf + 0 2.432 * * [simplify]: Extracting #1: cost 4 inf + 0 2.432 * * [simplify]: Extracting #2: cost 10 inf + 0 2.432 * * [simplify]: Extracting #3: cost 10 inf + 3 2.432 * * [simplify]: Extracting #4: cost 9 inf + 368 2.432 * * [simplify]: Extracting #5: cost 5 inf + 809 2.432 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.432 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.432 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.433 * * * * [progress]: [ 49 / 58 ] simplifiying candidate # 2.433 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.433 * * [simplify]: iters left: 2 (5 enodes) 2.434 * * [simplify]: iters left: 1 (21 enodes) 2.438 * * [simplify]: Extracting #0: cost 1 inf + 0 2.438 * * [simplify]: Extracting #1: cost 4 inf + 0 2.438 * * [simplify]: Extracting #2: cost 10 inf + 0 2.438 * * [simplify]: Extracting #3: cost 10 inf + 3 2.438 * * [simplify]: Extracting #4: cost 9 inf + 368 2.438 * * [simplify]: Extracting #5: cost 5 inf + 809 2.438 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.438 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.438 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.439 * * * * [progress]: [ 50 / 58 ] simplifiying candidate # 2.439 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 2.439 * * [simplify]: iters left: 3 (6 enodes) 2.440 * * [simplify]: iters left: 2 (24 enodes) 2.444 * * [simplify]: iters left: 1 (37 enodes) 2.451 * * [simplify]: Extracting #0: cost 1 inf + 0 2.451 * * [simplify]: Extracting #1: cost 3 inf + 0 2.451 * * [simplify]: Extracting #2: cost 6 inf + 0 2.451 * * [simplify]: Extracting #3: cost 12 inf + 0 2.451 * * [simplify]: Extracting #4: cost 12 inf + 3 2.451 * * [simplify]: Extracting #5: cost 13 inf + 221 2.452 * * [simplify]: Extracting #6: cost 6 inf + 1202 2.452 * * [simplify]: Extracting #7: cost 1 inf + 1973 2.452 * * [simplify]: Extracting #8: cost 0 inf + 2194 2.452 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 2.452 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.452 * * * * [progress]: [ 51 / 58 ] simplifiying candidate # 2.453 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 2.453 * * [simplify]: iters left: 3 (6 enodes) 2.454 * * [simplify]: iters left: 2 (24 enodes) 2.462 * * [simplify]: iters left: 1 (37 enodes) 2.473 * * [simplify]: Extracting #0: cost 1 inf + 0 2.473 * * [simplify]: Extracting #1: cost 3 inf + 0 2.473 * * [simplify]: Extracting #2: cost 6 inf + 0 2.473 * * [simplify]: Extracting #3: cost 12 inf + 0 2.473 * * [simplify]: Extracting #4: cost 12 inf + 3 2.473 * * [simplify]: Extracting #5: cost 13 inf + 221 2.473 * * [simplify]: Extracting #6: cost 6 inf + 1202 2.474 * * [simplify]: Extracting #7: cost 1 inf + 1973 2.474 * * [simplify]: Extracting #8: cost 0 inf + 2194 2.475 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 2.475 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.475 * * * * [progress]: [ 52 / 58 ] simplifiying candidate # 2.475 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 2.475 * * [simplify]: iters left: 3 (6 enodes) 2.478 * * [simplify]: iters left: 2 (24 enodes) 2.486 * * [simplify]: iters left: 1 (37 enodes) 2.496 * * [simplify]: Extracting #0: cost 1 inf + 0 2.496 * * [simplify]: Extracting #1: cost 3 inf + 0 2.496 * * [simplify]: Extracting #2: cost 6 inf + 0 2.496 * * [simplify]: Extracting #3: cost 12 inf + 0 2.496 * * [simplify]: Extracting #4: cost 12 inf + 3 2.497 * * [simplify]: Extracting #5: cost 13 inf + 221 2.497 * * [simplify]: Extracting #6: cost 6 inf + 1202 2.497 * * [simplify]: Extracting #7: cost 1 inf + 1973 2.498 * * [simplify]: Extracting #8: cost 0 inf + 2194 2.499 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 2.499 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.499 * * * * [progress]: [ 53 / 58 ] simplifiying candidate # 2.499 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.499 * * [simplify]: iters left: 2 (5 enodes) 2.501 * * [simplify]: iters left: 1 (21 enodes) 2.508 * * [simplify]: Extracting #0: cost 1 inf + 0 2.508 * * [simplify]: Extracting #1: cost 4 inf + 0 2.508 * * [simplify]: Extracting #2: cost 10 inf + 0 2.508 * * [simplify]: Extracting #3: cost 10 inf + 3 2.508 * * [simplify]: Extracting #4: cost 9 inf + 368 2.509 * * [simplify]: Extracting #5: cost 5 inf + 809 2.509 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.509 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.509 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.509 * * * * [progress]: [ 54 / 58 ] simplifiying candidate # 2.510 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.510 * * [simplify]: iters left: 2 (5 enodes) 2.512 * * [simplify]: iters left: 1 (21 enodes) 2.519 * * [simplify]: Extracting #0: cost 1 inf + 0 2.519 * * [simplify]: Extracting #1: cost 4 inf + 0 2.519 * * [simplify]: Extracting #2: cost 10 inf + 0 2.519 * * [simplify]: Extracting #3: cost 10 inf + 3 2.519 * * [simplify]: Extracting #4: cost 9 inf + 368 2.520 * * [simplify]: Extracting #5: cost 5 inf + 809 2.520 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.521 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.521 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.521 * * * * [progress]: [ 55 / 58 ] simplifiying candidate # 2.521 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.521 * * [simplify]: iters left: 2 (5 enodes) 2.523 * * [simplify]: iters left: 1 (21 enodes) 2.530 * * [simplify]: Extracting #0: cost 1 inf + 0 2.530 * * [simplify]: Extracting #1: cost 4 inf + 0 2.530 * * [simplify]: Extracting #2: cost 10 inf + 0 2.530 * * [simplify]: Extracting #3: cost 10 inf + 3 2.530 * * [simplify]: Extracting #4: cost 9 inf + 368 2.530 * * [simplify]: Extracting #5: cost 5 inf + 809 2.531 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.531 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.531 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.531 * * * * [progress]: [ 56 / 58 ] simplifiying candidate # 2.532 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 2.532 * * [simplify]: iters left: 6 (12 enodes) 2.541 * * [simplify]: iters left: 5 (51 enodes) 2.550 * * [simplify]: iters left: 4 (67 enodes) 2.560 * * [simplify]: iters left: 3 (79 enodes) 2.574 * * [simplify]: Extracting #0: cost 1 inf + 0 2.574 * * [simplify]: Extracting #1: cost 8 inf + 0 2.575 * * [simplify]: Extracting #2: cost 18 inf + 1 2.575 * * [simplify]: Extracting #3: cost 18 inf + 126 2.575 * * [simplify]: Extracting #4: cost 7 inf + 866 2.576 * * [simplify]: Extracting #5: cost 0 inf + 2208 2.577 * [simplify]: Simplified to (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) 2.577 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) (log1p a))))) 2.577 * * * * [progress]: [ 57 / 58 ] simplifiying candidate # 2.577 * [simplify]: Simplifying (* 1/2 (+ (exp c) (exp (- c)))) 2.578 * * [simplify]: iters left: 6 (7 enodes) 2.581 * * [simplify]: iters left: 5 (31 enodes) 2.587 * * [simplify]: iters left: 4 (49 enodes) 2.593 * * [simplify]: iters left: 3 (51 enodes) 2.599 * * [simplify]: Extracting #0: cost 1 inf + 0 2.599 * * [simplify]: Extracting #1: cost 6 inf + 0 2.599 * * [simplify]: Extracting #2: cost 10 inf + 1 2.599 * * [simplify]: Extracting #3: cost 15 inf + 1 2.599 * * [simplify]: Extracting #4: cost 13 inf + 44 2.599 * * [simplify]: Extracting #5: cost 4 inf + 1047 2.600 * * [simplify]: Extracting #6: cost 0 inf + 1723 2.600 * [simplify]: Simplified to (+ (* 1/2 (exp c)) (/ 1/2 (exp c))) 2.600 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (+ (* 1/2 (exp c)) (/ 1/2 (exp c))) (log1p a))))) 2.600 * * * * [progress]: [ 58 / 58 ] simplifiying candidate # 2.600 * [simplify]: Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c))) 2.600 * * [simplify]: iters left: 6 (8 enodes) 2.603 * * [simplify]: iters left: 5 (36 enodes) 2.609 * * [simplify]: iters left: 4 (55 enodes) 2.626 * * [simplify]: iters left: 3 (78 enodes) 2.648 * * [simplify]: iters left: 2 (121 enodes) 2.681 * * [simplify]: iters left: 1 (233 enodes) 2.748 * * [simplify]: Extracting #0: cost 1 inf + 0 2.748 * * [simplify]: Extracting #1: cost 6 inf + 0 2.748 * * [simplify]: Extracting #2: cost 43 inf + 1 2.748 * * [simplify]: Extracting #3: cost 128 inf + 1 2.749 * * [simplify]: Extracting #4: cost 135 inf + 1291 2.750 * * [simplify]: Extracting #5: cost 102 inf + 9244 2.755 * * [simplify]: Extracting #6: cost 18 inf + 46396 2.766 * * [simplify]: Extracting #7: cost 0 inf + 54396 2.786 * * [simplify]: Extracting #8: cost 0 inf + 54356 2.803 * [simplify]: Simplified to (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) 2.803 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) (log1p a))))) 2.803 * * * [progress]: adding candidates to table 3.533 * * [progress]: iteration 3 / 4 3.533 * * * [progress]: picking best candidate 3.628 * * * * [pick]: Picked # 3.628 * * * [progress]: localizing error 3.674 * * * [progress]: generating rewritten candidates 3.674 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.674 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 3.675 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 3.675 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.676 * * * [progress]: generating series expansions 3.676 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.676 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.676 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.676 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.676 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.677 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.677 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.677 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.677 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.677 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.677 * [taylor]: Taking taylor expansion of 0 in a 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [taylor]: Taking taylor expansion of 0 in a 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [taylor]: Taking taylor expansion of 0 in a 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.677 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.678 * [taylor]: Taking taylor expansion of 0 in a 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [taylor]: Taking taylor expansion of 0 in a 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [taylor]: Taking taylor expansion of 0 in a 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.678 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.678 * [taylor]: Taking taylor expansion of 0 in a 3.678 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [taylor]: Taking taylor expansion of 0 in a 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [taylor]: Taking taylor expansion of 0 in a 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.679 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.679 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.679 * [taylor]: Taking taylor expansion of 0 in a 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [taylor]: Taking taylor expansion of 0 in a 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [taylor]: Taking taylor expansion of 0 in a 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.680 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.680 * [taylor]: Taking taylor expansion of 0 in a 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [taylor]: Taking taylor expansion of 0 in a 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [taylor]: Taking taylor expansion of 0 in a 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.680 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.681 * [taylor]: Taking taylor expansion of 0 in a 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [taylor]: Taking taylor expansion of 0 in a 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [taylor]: Taking taylor expansion of 0 in a 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.681 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 3.681 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.681 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.681 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.681 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.681 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.681 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.681 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.682 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.682 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.682 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.682 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.682 * [taylor]: Taking taylor expansion of 0 in a 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [taylor]: Taking taylor expansion of 0 in a 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [taylor]: Taking taylor expansion of 0 in a 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.682 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.683 * [taylor]: Taking taylor expansion of 0 in a 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [taylor]: Taking taylor expansion of 0 in a 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [taylor]: Taking taylor expansion of 0 in a 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.683 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.683 * [taylor]: Taking taylor expansion of 0 in a 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [taylor]: Taking taylor expansion of 0 in a 3.683 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [taylor]: Taking taylor expansion of 0 in a 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.684 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.684 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 3.684 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.684 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.684 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.684 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.684 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.684 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.684 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.684 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.684 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.684 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.684 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.684 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.685 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.685 * [taylor]: Taking taylor expansion of 0 in a 3.685 * [backup-simplify]: Simplify 0 into 0 3.685 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.686 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.687 * [taylor]: Taking taylor expansion of 0 in a 3.687 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.688 * [backup-simplify]: Simplify 0 into 0 3.690 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 3.690 * [taylor]: Taking taylor expansion of 0 in a 3.690 * [backup-simplify]: Simplify 0 into 0 3.690 * [backup-simplify]: Simplify 0 into 0 3.690 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.690 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.690 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.690 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.690 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.690 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.690 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.690 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.691 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.691 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.691 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.691 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.691 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.691 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.691 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.692 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.692 * [taylor]: Taking taylor expansion of 0 in a 3.692 * [backup-simplify]: Simplify 0 into 0 3.692 * [backup-simplify]: Simplify 0 into 0 3.692 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.692 * [backup-simplify]: Simplify 0 into 0 3.693 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.693 * [taylor]: Taking taylor expansion of 0 in a 3.693 * [backup-simplify]: Simplify 0 into 0 3.693 * [backup-simplify]: Simplify 0 into 0 3.693 * [backup-simplify]: Simplify 0 into 0 3.695 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.695 * [backup-simplify]: Simplify 0 into 0 3.699 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 3.699 * [taylor]: Taking taylor expansion of 0 in a 3.699 * [backup-simplify]: Simplify 0 into 0 3.699 * [backup-simplify]: Simplify 0 into 0 3.699 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 3.699 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.699 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.699 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.700 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.700 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.700 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.701 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.701 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.702 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.702 * [taylor]: Taking taylor expansion of 0 in a 3.702 * [backup-simplify]: Simplify 0 into 0 3.702 * [backup-simplify]: Simplify 0 into 0 3.703 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.703 * [backup-simplify]: Simplify 0 into 0 3.705 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.705 * [taylor]: Taking taylor expansion of 0 in a 3.705 * [backup-simplify]: Simplify 0 into 0 3.705 * [backup-simplify]: Simplify 0 into 0 3.705 * [backup-simplify]: Simplify 0 into 0 3.707 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.707 * [backup-simplify]: Simplify 0 into 0 3.710 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 3.710 * [taylor]: Taking taylor expansion of 0 in a 3.710 * [backup-simplify]: Simplify 0 into 0 3.711 * [backup-simplify]: Simplify 0 into 0 3.711 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 3.711 * * * [progress]: simplifying candidates 3.711 * * * * [progress]: [ 1 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 2 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 3 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 4 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 5 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 6 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 7 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))> 3.711 * * * * [progress]: [ 9 / 49 ] simplifiying candidate # 3.711 * * * * [progress]: [ 10 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 11 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 12 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 13 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 14 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 15 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> 3.712 * * * * [progress]: [ 17 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 18 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 19 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 20 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 21 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 22 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 23 / 49 ] simplifiying candidate # 3.712 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> 3.712 * * * * [progress]: [ 25 / 49 ] simplifiying candidate # 3.713 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 3.713 * * [simplify]: iters left: 6 (8 enodes) 3.716 * * [simplify]: iters left: 5 (32 enodes) 3.726 * * [simplify]: iters left: 4 (47 enodes) 3.739 * * [simplify]: iters left: 3 (51 enodes) 3.754 * * [simplify]: iters left: 2 (53 enodes) 3.773 * * [simplify]: Extracting #0: cost 1 inf + 0 3.773 * * [simplify]: Extracting #1: cost 4 inf + 0 3.773 * * [simplify]: Extracting #2: cost 7 inf + 0 3.773 * * [simplify]: Extracting #3: cost 9 inf + 0 3.773 * * [simplify]: Extracting #4: cost 12 inf + 0 3.773 * * [simplify]: Extracting #5: cost 18 inf + 0 3.774 * * [simplify]: Extracting #6: cost 16 inf + 185 3.774 * * [simplify]: Extracting #7: cost 18 inf + 312 3.774 * * [simplify]: Extracting #8: cost 12 inf + 1292 3.774 * * [simplify]: Extracting #9: cost 1 inf + 4069 3.775 * * [simplify]: Extracting #10: cost 0 inf + 4436 3.775 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 3.775 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))) 3.775 * * * * [progress]: [ 26 / 49 ] simplifiying candidate # 3.775 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 3.775 * * [simplify]: iters left: 4 (7 enodes) 3.777 * * [simplify]: iters left: 3 (27 enodes) 3.781 * * [simplify]: iters left: 2 (40 enodes) 3.788 * * [simplify]: iters left: 1 (44 enodes) 3.794 * * [simplify]: Extracting #0: cost 1 inf + 0 3.794 * * [simplify]: Extracting #1: cost 3 inf + 0 3.794 * * [simplify]: Extracting #2: cost 5 inf + 0 3.794 * * [simplify]: Extracting #3: cost 8 inf + 0 3.794 * * [simplify]: Extracting #4: cost 14 inf + 0 3.794 * * [simplify]: Extracting #5: cost 13 inf + 94 3.794 * * [simplify]: Extracting #6: cost 13 inf + 368 3.795 * * [simplify]: Extracting #7: cost 7 inf + 1177 3.795 * * [simplify]: Extracting #8: cost 0 inf + 2788 3.795 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 3.795 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))) 3.795 * * * * [progress]: [ 27 / 49 ] simplifiying candidate # 3.795 * [simplify]: Simplifying (log 1) 3.795 * * [simplify]: iters left: 1 (2 enodes) 3.797 * * [simplify]: Extracting #0: cost 1 inf + 0 3.797 * * [simplify]: Extracting #1: cost 0 inf + 1 3.797 * [simplify]: Simplified to 0 3.797 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))) 3.797 * * * * [progress]: [ 28 / 49 ] simplifiying candidate # 3.797 * * * * [progress]: [ 29 / 49 ] simplifiying candidate # 3.797 * * * * [progress]: [ 30 / 49 ] simplifiying candidate # 3.797 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.797 * * [simplify]: iters left: 2 (5 enodes) 3.799 * * [simplify]: iters left: 1 (21 enodes) 3.806 * * [simplify]: Extracting #0: cost 1 inf + 0 3.806 * * [simplify]: Extracting #1: cost 4 inf + 0 3.806 * * [simplify]: Extracting #2: cost 10 inf + 0 3.806 * * [simplify]: Extracting #3: cost 10 inf + 3 3.806 * * [simplify]: Extracting #4: cost 9 inf + 368 3.806 * * [simplify]: Extracting #5: cost 5 inf + 809 3.807 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.807 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.807 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.807 * * * * [progress]: [ 31 / 49 ] simplifiying candidate # 3.808 * * * * [progress]: [ 32 / 49 ] simplifiying candidate # 3.808 * * * * [progress]: [ 33 / 49 ] simplifiying candidate # 3.808 * * * * [progress]: [ 34 / 49 ] simplifiying candidate # 3.808 * * * * [progress]: [ 35 / 49 ] simplifiying candidate # 3.808 * * * * [progress]: [ 36 / 49 ] simplifiying candidate # 3.808 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> 3.808 * * * * [progress]: [ 38 / 49 ] simplifiying candidate # 3.808 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.808 * * [simplify]: iters left: 2 (5 enodes) 3.810 * * [simplify]: iters left: 1 (21 enodes) 3.817 * * [simplify]: Extracting #0: cost 1 inf + 0 3.817 * * [simplify]: Extracting #1: cost 4 inf + 0 3.817 * * [simplify]: Extracting #2: cost 10 inf + 0 3.817 * * [simplify]: Extracting #3: cost 10 inf + 3 3.817 * * [simplify]: Extracting #4: cost 9 inf + 368 3.817 * * [simplify]: Extracting #5: cost 5 inf + 809 3.818 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.818 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.818 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.819 * * * * [progress]: [ 39 / 49 ] simplifiying candidate # 3.819 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.819 * * [simplify]: iters left: 2 (5 enodes) 3.821 * * [simplify]: iters left: 1 (21 enodes) 3.828 * * [simplify]: Extracting #0: cost 1 inf + 0 3.828 * * [simplify]: Extracting #1: cost 4 inf + 0 3.828 * * [simplify]: Extracting #2: cost 10 inf + 0 3.828 * * [simplify]: Extracting #3: cost 10 inf + 3 3.828 * * [simplify]: Extracting #4: cost 9 inf + 368 3.828 * * [simplify]: Extracting #5: cost 5 inf + 809 3.829 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.829 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.829 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.829 * * * * [progress]: [ 40 / 49 ] simplifiying candidate # 3.829 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.830 * * [simplify]: iters left: 2 (5 enodes) 3.831 * * [simplify]: iters left: 1 (21 enodes) 3.839 * * [simplify]: Extracting #0: cost 1 inf + 0 3.839 * * [simplify]: Extracting #1: cost 4 inf + 0 3.839 * * [simplify]: Extracting #2: cost 10 inf + 0 3.839 * * [simplify]: Extracting #3: cost 10 inf + 3 3.839 * * [simplify]: Extracting #4: cost 9 inf + 368 3.839 * * [simplify]: Extracting #5: cost 5 inf + 809 3.840 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.840 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.840 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.840 * * * * [progress]: [ 41 / 49 ] simplifiying candidate # 3.841 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.841 * * [simplify]: iters left: 2 (5 enodes) 3.843 * * [simplify]: iters left: 1 (21 enodes) 3.850 * * [simplify]: Extracting #0: cost 1 inf + 0 3.850 * * [simplify]: Extracting #1: cost 4 inf + 0 3.850 * * [simplify]: Extracting #2: cost 10 inf + 0 3.850 * * [simplify]: Extracting #3: cost 10 inf + 3 3.850 * * [simplify]: Extracting #4: cost 9 inf + 368 3.850 * * [simplify]: Extracting #5: cost 5 inf + 809 3.851 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.851 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.851 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.851 * * * * [progress]: [ 42 / 49 ] simplifiying candidate # 3.852 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.852 * * [simplify]: iters left: 2 (5 enodes) 3.854 * * [simplify]: iters left: 1 (21 enodes) 3.859 * * [simplify]: Extracting #0: cost 1 inf + 0 3.859 * * [simplify]: Extracting #1: cost 4 inf + 0 3.859 * * [simplify]: Extracting #2: cost 10 inf + 0 3.860 * * [simplify]: Extracting #3: cost 10 inf + 3 3.860 * * [simplify]: Extracting #4: cost 9 inf + 368 3.860 * * [simplify]: Extracting #5: cost 5 inf + 809 3.860 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.860 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.860 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.860 * * * * [progress]: [ 43 / 49 ] simplifiying candidate # 3.860 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.860 * * [simplify]: iters left: 2 (5 enodes) 3.862 * * [simplify]: iters left: 1 (21 enodes) 3.865 * * [simplify]: Extracting #0: cost 1 inf + 0 3.865 * * [simplify]: Extracting #1: cost 4 inf + 0 3.865 * * [simplify]: Extracting #2: cost 10 inf + 0 3.865 * * [simplify]: Extracting #3: cost 10 inf + 3 3.865 * * [simplify]: Extracting #4: cost 9 inf + 368 3.865 * * [simplify]: Extracting #5: cost 5 inf + 809 3.866 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.866 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.866 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.866 * * * * [progress]: [ 44 / 49 ] simplifiying candidate # 3.866 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.866 * * [simplify]: iters left: 2 (5 enodes) 3.867 * * [simplify]: iters left: 1 (21 enodes) 3.871 * * [simplify]: Extracting #0: cost 1 inf + 0 3.871 * * [simplify]: Extracting #1: cost 4 inf + 0 3.871 * * [simplify]: Extracting #2: cost 10 inf + 0 3.871 * * [simplify]: Extracting #3: cost 10 inf + 3 3.871 * * [simplify]: Extracting #4: cost 9 inf + 368 3.871 * * [simplify]: Extracting #5: cost 5 inf + 809 3.871 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.871 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.871 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.871 * * * * [progress]: [ 45 / 49 ] simplifiying candidate # 3.872 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.872 * * [simplify]: iters left: 2 (5 enodes) 3.873 * * [simplify]: iters left: 1 (21 enodes) 3.876 * * [simplify]: Extracting #0: cost 1 inf + 0 3.876 * * [simplify]: Extracting #1: cost 4 inf + 0 3.876 * * [simplify]: Extracting #2: cost 10 inf + 0 3.876 * * [simplify]: Extracting #3: cost 10 inf + 3 3.876 * * [simplify]: Extracting #4: cost 9 inf + 368 3.876 * * [simplify]: Extracting #5: cost 5 inf + 809 3.876 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.877 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.877 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.877 * * * * [progress]: [ 46 / 49 ] simplifiying candidate # 3.877 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.877 * * [simplify]: iters left: 2 (5 enodes) 3.878 * * [simplify]: iters left: 1 (21 enodes) 3.883 * * [simplify]: Extracting #0: cost 1 inf + 0 3.883 * * [simplify]: Extracting #1: cost 4 inf + 0 3.883 * * [simplify]: Extracting #2: cost 10 inf + 0 3.883 * * [simplify]: Extracting #3: cost 10 inf + 3 3.883 * * [simplify]: Extracting #4: cost 9 inf + 368 3.883 * * [simplify]: Extracting #5: cost 5 inf + 809 3.884 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.884 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.884 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.884 * * * * [progress]: [ 47 / 49 ] simplifiying candidate # 3.884 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.884 * * [simplify]: iters left: 3 (6 enodes) 3.885 * * [simplify]: iters left: 2 (24 enodes) 3.893 * * [simplify]: iters left: 1 (37 enodes) 3.904 * * [simplify]: Extracting #0: cost 1 inf + 0 3.904 * * [simplify]: Extracting #1: cost 3 inf + 0 3.904 * * [simplify]: Extracting #2: cost 6 inf + 0 3.904 * * [simplify]: Extracting #3: cost 12 inf + 0 3.904 * * [simplify]: Extracting #4: cost 12 inf + 3 3.904 * * [simplify]: Extracting #5: cost 13 inf + 221 3.905 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.905 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.906 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.906 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.906 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.906 * * * * [progress]: [ 48 / 49 ] simplifiying candidate # 3.907 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.907 * * [simplify]: iters left: 3 (6 enodes) 3.909 * * [simplify]: iters left: 2 (24 enodes) 3.917 * * [simplify]: iters left: 1 (37 enodes) 3.927 * * [simplify]: Extracting #0: cost 1 inf + 0 3.927 * * [simplify]: Extracting #1: cost 3 inf + 0 3.928 * * [simplify]: Extracting #2: cost 6 inf + 0 3.928 * * [simplify]: Extracting #3: cost 12 inf + 0 3.928 * * [simplify]: Extracting #4: cost 12 inf + 3 3.928 * * [simplify]: Extracting #5: cost 13 inf + 221 3.928 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.929 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.929 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.930 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.930 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.930 * * * * [progress]: [ 49 / 49 ] simplifiying candidate # 3.930 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.931 * * [simplify]: iters left: 3 (6 enodes) 3.933 * * [simplify]: iters left: 2 (24 enodes) 3.941 * * [simplify]: iters left: 1 (37 enodes) 3.952 * * [simplify]: Extracting #0: cost 1 inf + 0 3.953 * * [simplify]: Extracting #1: cost 3 inf + 0 3.953 * * [simplify]: Extracting #2: cost 6 inf + 0 3.953 * * [simplify]: Extracting #3: cost 12 inf + 0 3.953 * * [simplify]: Extracting #4: cost 12 inf + 3 3.953 * * [simplify]: Extracting #5: cost 13 inf + 221 3.953 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.954 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.954 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.955 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.955 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.955 * * * [progress]: adding candidates to table 4.663 * * [progress]: iteration 4 / 4 4.663 * * * [progress]: picking best candidate 4.770 * * * * [pick]: Picked # 4.770 * * * [progress]: localizing error 4.856 * * * [progress]: generating rewritten candidates 4.856 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1) 4.856 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 2 1) 4.857 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1) 4.857 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 4.858 * * * [progress]: generating series expansions 4.858 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1) 4.858 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.858 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.858 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.858 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.858 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.859 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.859 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.859 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.859 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.859 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.859 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.859 * [taylor]: Taking taylor expansion of 0 in a 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [taylor]: Taking taylor expansion of 0 in a 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [taylor]: Taking taylor expansion of 0 in a 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.860 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.860 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.860 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.860 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.860 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.860 * [taylor]: Taking taylor expansion of 0 in a 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [taylor]: Taking taylor expansion of 0 in a 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [taylor]: Taking taylor expansion of 0 in a 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.861 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.861 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.861 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.862 * [taylor]: Taking taylor expansion of 0 in a 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [taylor]: Taking taylor expansion of 0 in a 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [taylor]: Taking taylor expansion of 0 in a 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.863 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 2 1) 4.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.863 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.863 * [taylor]: Taking taylor expansion of 0 in a 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [taylor]: Taking taylor expansion of 0 in a 4.863 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [taylor]: Taking taylor expansion of 0 in a 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.864 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.865 * [taylor]: Taking taylor expansion of 0 in a 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [taylor]: Taking taylor expansion of 0 in a 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [taylor]: Taking taylor expansion of 0 in a 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.865 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.866 * [taylor]: Taking taylor expansion of 0 in a 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [taylor]: Taking taylor expansion of 0 in a 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 0 into 0 4.867 * [backup-simplify]: Simplify 0 into 0 4.867 * [backup-simplify]: Simplify 0 into 0 4.867 * [taylor]: Taking taylor expansion of 0 in a 4.867 * [backup-simplify]: Simplify 0 into 0 4.867 * [backup-simplify]: Simplify 0 into 0 4.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.867 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1) 4.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.867 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.868 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.868 * [taylor]: Taking taylor expansion of 0 in a 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [taylor]: Taking taylor expansion of 0 in a 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [taylor]: Taking taylor expansion of 0 in a 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.868 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.869 * [taylor]: Taking taylor expansion of 0 in a 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [taylor]: Taking taylor expansion of 0 in a 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [taylor]: Taking taylor expansion of 0 in a 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.870 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.870 * [taylor]: Taking taylor expansion of 0 in a 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [taylor]: Taking taylor expansion of 0 in a 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [taylor]: Taking taylor expansion of 0 in a 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.870 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [taylor]: Taking taylor expansion of 0 in a 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [taylor]: Taking taylor expansion of 0 in a 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [taylor]: Taking taylor expansion of 0 in a 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.871 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.872 * [taylor]: Taking taylor expansion of 0 in a 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [taylor]: Taking taylor expansion of 0 in a 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [taylor]: Taking taylor expansion of 0 in a 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.872 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.872 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.873 * [taylor]: Taking taylor expansion of 0 in a 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [taylor]: Taking taylor expansion of 0 in a 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [taylor]: Taking taylor expansion of 0 in a 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.873 * * * [progress]: simplifying candidates 4.873 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> 4.873 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 4.873 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))> 4.874 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> 4.874 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 4.874 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> 4.874 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 4.875 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.875 * * [simplify]: iters left: 2 (5 enodes) 4.876 * * [simplify]: iters left: 1 (21 enodes) 4.879 * * [simplify]: Extracting #0: cost 1 inf + 0 4.879 * * [simplify]: Extracting #1: cost 4 inf + 0 4.879 * * [simplify]: Extracting #2: cost 10 inf + 0 4.879 * * [simplify]: Extracting #3: cost 10 inf + 3 4.879 * * [simplify]: Extracting #4: cost 9 inf + 368 4.880 * * [simplify]: Extracting #5: cost 5 inf + 809 4.880 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.880 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.880 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.880 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 4.880 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.880 * * [simplify]: iters left: 2 (5 enodes) 4.881 * * [simplify]: iters left: 1 (21 enodes) 4.890 * * [simplify]: Extracting #0: cost 1 inf + 0 4.890 * * [simplify]: Extracting #1: cost 4 inf + 0 4.891 * * [simplify]: Extracting #2: cost 10 inf + 0 4.891 * * [simplify]: Extracting #3: cost 10 inf + 3 4.891 * * [simplify]: Extracting #4: cost 9 inf + 368 4.891 * * [simplify]: Extracting #5: cost 5 inf + 809 4.891 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.891 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.891 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.891 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 4.891 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.892 * * [simplify]: iters left: 2 (5 enodes) 4.892 * * [simplify]: iters left: 1 (21 enodes) 4.896 * * [simplify]: Extracting #0: cost 1 inf + 0 4.896 * * [simplify]: Extracting #1: cost 4 inf + 0 4.896 * * [simplify]: Extracting #2: cost 10 inf + 0 4.896 * * [simplify]: Extracting #3: cost 10 inf + 3 4.896 * * [simplify]: Extracting #4: cost 9 inf + 368 4.896 * * [simplify]: Extracting #5: cost 5 inf + 809 4.896 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.897 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.897 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.897 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 4.897 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.897 * * [simplify]: iters left: 2 (5 enodes) 4.898 * * [simplify]: iters left: 1 (21 enodes) 4.901 * * [simplify]: Extracting #0: cost 1 inf + 0 4.901 * * [simplify]: Extracting #1: cost 4 inf + 0 4.901 * * [simplify]: Extracting #2: cost 10 inf + 0 4.901 * * [simplify]: Extracting #3: cost 10 inf + 3 4.901 * * [simplify]: Extracting #4: cost 9 inf + 368 4.902 * * [simplify]: Extracting #5: cost 5 inf + 809 4.902 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.902 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.902 * [simplify]: Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.902 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 4.902 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.902 * * [simplify]: iters left: 2 (5 enodes) 4.903 * * [simplify]: iters left: 1 (21 enodes) 4.907 * * [simplify]: Extracting #0: cost 1 inf + 0 4.907 * * [simplify]: Extracting #1: cost 4 inf + 0 4.907 * * [simplify]: Extracting #2: cost 10 inf + 0 4.907 * * [simplify]: Extracting #3: cost 10 inf + 3 4.907 * * [simplify]: Extracting #4: cost 9 inf + 368 4.907 * * [simplify]: Extracting #5: cost 5 inf + 809 4.907 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.908 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.908 * [simplify]: Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.908 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 4.908 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.908 * * [simplify]: iters left: 2 (5 enodes) 4.909 * * [simplify]: iters left: 1 (21 enodes) 4.912 * * [simplify]: Extracting #0: cost 1 inf + 0 4.912 * * [simplify]: Extracting #1: cost 4 inf + 0 4.912 * * [simplify]: Extracting #2: cost 10 inf + 0 4.912 * * [simplify]: Extracting #3: cost 10 inf + 3 4.912 * * [simplify]: Extracting #4: cost 9 inf + 368 4.913 * * [simplify]: Extracting #5: cost 5 inf + 809 4.913 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.913 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.913 * [simplify]: Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.913 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 4.913 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.913 * * [simplify]: iters left: 2 (5 enodes) 4.914 * * [simplify]: iters left: 1 (21 enodes) 4.918 * * [simplify]: Extracting #0: cost 1 inf + 0 4.918 * * [simplify]: Extracting #1: cost 4 inf + 0 4.918 * * [simplify]: Extracting #2: cost 10 inf + 0 4.918 * * [simplify]: Extracting #3: cost 10 inf + 3 4.918 * * [simplify]: Extracting #4: cost 9 inf + 368 4.918 * * [simplify]: Extracting #5: cost 5 inf + 809 4.918 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.919 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.919 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.919 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 4.919 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.919 * * [simplify]: iters left: 2 (5 enodes) 4.920 * * [simplify]: iters left: 1 (21 enodes) 4.923 * * [simplify]: Extracting #0: cost 1 inf + 0 4.923 * * [simplify]: Extracting #1: cost 4 inf + 0 4.923 * * [simplify]: Extracting #2: cost 10 inf + 0 4.923 * * [simplify]: Extracting #3: cost 10 inf + 3 4.923 * * [simplify]: Extracting #4: cost 9 inf + 368 4.923 * * [simplify]: Extracting #5: cost 5 inf + 809 4.924 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.924 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.924 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.924 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 4.924 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.924 * * [simplify]: iters left: 2 (5 enodes) 4.925 * * [simplify]: iters left: 1 (21 enodes) 4.928 * * [simplify]: Extracting #0: cost 1 inf + 0 4.929 * * [simplify]: Extracting #1: cost 4 inf + 0 4.929 * * [simplify]: Extracting #2: cost 10 inf + 0 4.929 * * [simplify]: Extracting #3: cost 10 inf + 3 4.929 * * [simplify]: Extracting #4: cost 9 inf + 368 4.929 * * [simplify]: Extracting #5: cost 5 inf + 809 4.929 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.929 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.929 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.929 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 4.930 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.930 * * [simplify]: iters left: 2 (5 enodes) 4.931 * * [simplify]: iters left: 1 (21 enodes) 4.934 * * [simplify]: Extracting #0: cost 1 inf + 0 4.934 * * [simplify]: Extracting #1: cost 4 inf + 0 4.934 * * [simplify]: Extracting #2: cost 10 inf + 0 4.934 * * [simplify]: Extracting #3: cost 10 inf + 3 4.934 * * [simplify]: Extracting #4: cost 9 inf + 368 4.934 * * [simplify]: Extracting #5: cost 5 inf + 809 4.934 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.934 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.934 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.935 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 4.935 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.935 * * [simplify]: iters left: 2 (5 enodes) 4.936 * * [simplify]: iters left: 1 (21 enodes) 4.939 * * [simplify]: Extracting #0: cost 1 inf + 0 4.939 * * [simplify]: Extracting #1: cost 4 inf + 0 4.939 * * [simplify]: Extracting #2: cost 10 inf + 0 4.939 * * [simplify]: Extracting #3: cost 10 inf + 3 4.939 * * [simplify]: Extracting #4: cost 9 inf + 368 4.939 * * [simplify]: Extracting #5: cost 5 inf + 809 4.939 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.940 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.940 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.940 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 4.940 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.940 * * [simplify]: iters left: 2 (5 enodes) 4.941 * * [simplify]: iters left: 1 (21 enodes) 4.944 * * [simplify]: Extracting #0: cost 1 inf + 0 4.944 * * [simplify]: Extracting #1: cost 4 inf + 0 4.944 * * [simplify]: Extracting #2: cost 10 inf + 0 4.944 * * [simplify]: Extracting #3: cost 10 inf + 3 4.944 * * [simplify]: Extracting #4: cost 9 inf + 368 4.945 * * [simplify]: Extracting #5: cost 5 inf + 809 4.945 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.945 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.945 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.945 * * * [progress]: adding candidates to table 5.730 * [progress]: [Phase 3 of 3] Extracting. 5.730 * * [regime]: Finding splitpoints for: (#real (real->posit16 (cosh c))) (log1p a)))> # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #) 5.736 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 5.737 * * * * [regimes]: Trying to branch on a from (#real (real->posit16 (cosh c))) (log1p a)))> # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #) 5.920 * * * * [regimes]: Trying to branch on (log1p a) from (#real (real->posit16 (cosh c))) (log1p a)))> # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #) 6.131 * * * * [regimes]: Trying to branch on c from (#real (real->posit16 (cosh c))) (log1p a)))> # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #) 6.333 * * * * [regimes]: Trying to branch on (cosh c) from (#real (real->posit16 (cosh c))) (log1p a)))> # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #) 6.504 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#real (real->posit16 (cosh c))) (log1p a)))> # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #) 6.671 * * * [regime]: Found split indices: #