1554301806.162 * [misc]progress: [Phase 1 of 3] Setting up. 1554301806.163 * * * [misc]progress: [1/2] Preparing points 1554301806.669 * * * [misc]progress: [2/2] Setting up program. 1554301806.675 * [misc]progress: [Phase 2 of 3] Improving. 1554301806.676 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554301806.677 * [enter]simplify: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1554301806.679 * * [misc]simplify: iters left: 4 (7 enodes) 1554301806.688 * * [misc]simplify: iters left: 3 (29 enodes) 1554301807.128 * * [misc]simplify: iters left: 2 (50 enodes) 1554301807.147 * * [misc]simplify: iters left: 1 (72 enodes) 1554301807.165 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.166 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301807.166 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554301807.166 * * [misc]simplify: Extracting #3: cost 21 inf + 360 1554301807.167 * * [misc]simplify: Extracting #4: cost 12 inf + 1582 1554301807.168 * * [misc]simplify: Extracting #5: cost 1 inf + 2933 1554301807.169 * * [misc]simplify: Extracting #6: cost 0 inf + 2972 1554301807.170 * [exit]simplify: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1554301807.170 * [misc]simplify: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.179 * * [misc]progress: iteration 1 / 4 1554301807.179 * * * [misc]progress: picking best candidate 1554301807.181 * * * * [misc]pick: Picked # 1554301807.181 * * * [misc]progress: localizing error 1554301807.195 * * * [misc]progress: generating rewritten candidates 1554301807.195 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1554301807.198 * * * [misc]progress: generating series expansions 1554301807.199 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1554301807.201 * [misc]backup-simplify: Simplify (sinh c) into (sinh c) 1554301807.201 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1554301807.202 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1554301807.203 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1554301807.203 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1554301807.203 * [misc]taylor: Taking taylor expansion of (exp c) in c 1554301807.203 * [misc]taylor: Taking taylor expansion of c in c 1554301807.203 * [misc]backup-simplify: Simplify 0 into 0 1554301807.203 * [misc]backup-simplify: Simplify 1 into 1 1554301807.203 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.203 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1554301807.203 * [misc]taylor: Taking taylor expansion of (- c) in c 1554301807.203 * [misc]taylor: Taking taylor expansion of c in c 1554301807.203 * [misc]backup-simplify: Simplify 0 into 0 1554301807.203 * [misc]backup-simplify: Simplify 1 into 1 1554301807.204 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.204 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.204 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.204 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.204 * [misc]backup-simplify: Simplify 2 into 2 1554301807.204 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.205 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554301807.208 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301807.208 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.209 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1554301807.209 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.209 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554301807.209 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1554301807.209 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1554301807.209 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1554301807.209 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1554301807.209 * [misc]taylor: Taking taylor expansion of (exp c) in c 1554301807.209 * [misc]taylor: Taking taylor expansion of c in c 1554301807.209 * [misc]backup-simplify: Simplify 0 into 0 1554301807.209 * [misc]backup-simplify: Simplify 1 into 1 1554301807.209 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.209 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1554301807.209 * [misc]taylor: Taking taylor expansion of (- c) in c 1554301807.209 * [misc]taylor: Taking taylor expansion of c in c 1554301807.209 * [misc]backup-simplify: Simplify 0 into 0 1554301807.209 * [misc]backup-simplify: Simplify 1 into 1 1554301807.210 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.210 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.210 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.210 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.210 * [misc]backup-simplify: Simplify 2 into 2 1554301807.210 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.210 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554301807.211 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301807.211 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.212 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1554301807.212 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.212 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554301807.212 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1554301807.212 * [misc]backup-simplify: Simplify 1 into 1 1554301807.214 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554301807.214 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.214 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.215 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554301807.215 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1554301807.215 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1554301807.216 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1554301807.216 * [misc]backup-simplify: Simplify 0 into 0 1554301807.218 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554301807.218 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.218 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.218 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.218 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.220 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1554301807.221 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1554301807.221 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1554301807.221 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1554301807.221 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.236 * [misc]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 1554301807.236 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.236 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.236 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.236 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.236 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.236 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.237 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.240 * [misc]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 1554301807.240 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1554301807.241 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1554301807.241 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1554301807.241 * [misc]backup-simplify: Simplify 0 into 0 1554301807.247 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1554301807.247 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.247 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.247 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.247 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.247 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.247 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.247 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.247 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.248 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.248 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.248 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.248 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.253 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1554301807.254 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1554301807.254 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1554301807.254 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1554301807.254 * [misc]backup-simplify: Simplify 1/120 into 1/120 1554301807.256 * [misc]backup-simplify: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1554301807.256 * [misc]backup-simplify: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1554301807.256 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1554301807.256 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1554301807.256 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1554301807.256 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1554301807.257 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1554301807.257 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.257 * [misc]taylor: Taking taylor expansion of c in c 1554301807.257 * [misc]backup-simplify: Simplify 0 into 0 1554301807.257 * [misc]backup-simplify: Simplify 1 into 1 1554301807.257 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.257 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1554301807.257 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1554301807.257 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1554301807.257 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.257 * [misc]taylor: Taking taylor expansion of c in c 1554301807.257 * [misc]backup-simplify: Simplify 0 into 0 1554301807.257 * [misc]backup-simplify: Simplify 1 into 1 1554301807.257 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.258 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.258 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1554301807.258 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.258 * [misc]backup-simplify: Simplify 2 into 2 1554301807.258 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1554301807.258 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1554301807.258 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1554301807.258 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1554301807.258 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1554301807.258 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1554301807.258 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1554301807.258 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.258 * [misc]taylor: Taking taylor expansion of c in c 1554301807.258 * [misc]backup-simplify: Simplify 0 into 0 1554301807.258 * [misc]backup-simplify: Simplify 1 into 1 1554301807.259 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.259 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1554301807.259 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1554301807.259 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1554301807.259 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.259 * [misc]taylor: Taking taylor expansion of c in c 1554301807.259 * [misc]backup-simplify: Simplify 0 into 0 1554301807.259 * [misc]backup-simplify: Simplify 1 into 1 1554301807.259 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.259 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.259 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1554301807.259 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.259 * [misc]backup-simplify: Simplify 2 into 2 1554301807.259 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1554301807.259 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1554301807.260 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1554301807.260 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1554301807.260 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.260 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.261 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1554301807.261 * [misc]backup-simplify: Simplify 0 into 0 1554301807.261 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.261 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.261 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.261 * [misc]backup-simplify: Simplify 0 into 0 1554301807.262 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.262 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.263 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.263 * [misc]backup-simplify: Simplify 0 into 0 1554301807.263 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.264 * [misc]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 1554301807.264 * [misc]backup-simplify: Simplify 0 into 0 1554301807.264 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.264 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.265 * [misc]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 1554301807.265 * [misc]backup-simplify: Simplify 0 into 0 1554301807.265 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.265 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.266 * [misc]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 1554301807.266 * [misc]backup-simplify: Simplify 0 into 0 1554301807.267 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1554301807.267 * [misc]backup-simplify: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1554301807.267 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1554301807.267 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1554301807.267 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1554301807.267 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1554301807.267 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1554301807.267 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.267 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.267 * [misc]backup-simplify: Simplify -1 into -1 1554301807.267 * [misc]taylor: Taking taylor expansion of c in c 1554301807.267 * [misc]backup-simplify: Simplify 0 into 0 1554301807.267 * [misc]backup-simplify: Simplify 1 into 1 1554301807.267 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.267 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1554301807.267 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1554301807.267 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1554301807.267 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.267 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.267 * [misc]backup-simplify: Simplify -1 into -1 1554301807.268 * [misc]taylor: Taking taylor expansion of c in c 1554301807.268 * [misc]backup-simplify: Simplify 0 into 0 1554301807.268 * [misc]backup-simplify: Simplify 1 into 1 1554301807.268 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.268 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.268 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1554301807.268 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.268 * [misc]backup-simplify: Simplify 2 into 2 1554301807.268 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1554301807.268 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1554301807.268 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1554301807.268 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1554301807.268 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1554301807.268 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1554301807.268 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1554301807.268 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.268 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.269 * [misc]backup-simplify: Simplify -1 into -1 1554301807.269 * [misc]taylor: Taking taylor expansion of c in c 1554301807.269 * [misc]backup-simplify: Simplify 0 into 0 1554301807.269 * [misc]backup-simplify: Simplify 1 into 1 1554301807.269 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.269 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1554301807.269 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1554301807.269 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1554301807.269 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.269 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.269 * [misc]backup-simplify: Simplify -1 into -1 1554301807.269 * [misc]taylor: Taking taylor expansion of c in c 1554301807.269 * [misc]backup-simplify: Simplify 0 into 0 1554301807.269 * [misc]backup-simplify: Simplify 1 into 1 1554301807.269 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.269 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.269 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1554301807.269 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.269 * [misc]backup-simplify: Simplify 2 into 2 1554301807.269 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1554301807.270 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1554301807.270 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1554301807.270 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1554301807.270 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.270 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.271 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1554301807.271 * [misc]backup-simplify: Simplify 0 into 0 1554301807.271 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.271 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.272 * [misc]backup-simplify: Simplify 0 into 0 1554301807.272 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.272 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.272 * [misc]backup-simplify: Simplify 0 into 0 1554301807.273 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.274 * [misc]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 1554301807.274 * [misc]backup-simplify: Simplify 0 into 0 1554301807.274 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.275 * [misc]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 1554301807.275 * [misc]backup-simplify: Simplify 0 into 0 1554301807.275 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.275 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.276 * [misc]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 1554301807.276 * [misc]backup-simplify: Simplify 0 into 0 1554301807.276 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1554301807.277 * * * [misc]progress: simplifying candidates 1554301807.277 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1554301807.277 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1554301807.278 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1554301807.278 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1554301807.278 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1554301807.278 * * [misc]simplify: iters left: 6 (11 enodes) 1554301807.284 * * [misc]simplify: iters left: 5 (44 enodes) 1554301807.297 * * [misc]simplify: iters left: 4 (66 enodes) 1554301807.309 * * [misc]simplify: iters left: 3 (102 enodes) 1554301807.322 * * [misc]simplify: iters left: 2 (114 enodes) 1554301807.341 * * [misc]simplify: iters left: 1 (122 enodes) 1554301807.357 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.357 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1554301807.358 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1554301807.358 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1554301807.359 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1554301807.360 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1554301807.360 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1554301807.361 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1554301807.361 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.361 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1554301807.362 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1554301807.362 * * [misc]simplify: iters left: 6 (7 enodes) 1554301807.364 * * [misc]simplify: iters left: 5 (26 enodes) 1554301807.368 * * [misc]simplify: iters left: 4 (42 enodes) 1554301807.376 * * [misc]simplify: iters left: 3 (62 enodes) 1554301807.386 * * [misc]simplify: iters left: 2 (82 enodes) 1554301807.397 * * [misc]simplify: iters left: 1 (86 enodes) 1554301807.409 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.409 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554301807.409 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1554301807.409 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1554301807.410 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1554301807.411 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1554301807.411 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1554301807.412 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1554301807.412 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.412 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1554301807.413 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1554301807.413 * * [misc]simplify: iters left: 6 (8 enodes) 1554301807.417 * * [misc]simplify: iters left: 5 (31 enodes) 1554301807.430 * * [misc]simplify: iters left: 4 (45 enodes) 1554301807.445 * * [misc]simplify: iters left: 3 (67 enodes) 1554301807.467 * * [misc]simplify: iters left: 2 (89 enodes) 1554301807.489 * * [misc]simplify: iters left: 1 (93 enodes) 1554301807.510 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.510 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554301807.510 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1554301807.510 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1554301807.510 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1554301807.511 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1554301807.512 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1554301807.512 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.513 * * * [misc]progress: adding candidates to table 1554301807.642 * * [misc]progress: iteration 2 / 4 1554301807.642 * * * [misc]progress: picking best candidate 1554301807.648 * * * * [misc]pick: Picked # 1554301807.648 * * * [misc]progress: localizing error 1554301807.691 * * * [misc]progress: generating rewritten candidates 1554301807.691 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 2) 1554301807.691 * * * [misc]progress: generating series expansions 1554301807.692 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 2) 1554301807.692 * [misc]backup-simplify: Simplify (* 1/6 c) into (* 1/6 c) 1554301807.692 * [misc]approximate: Taking taylor expansion of (* 1/6 c) in (c) around 0 1554301807.692 * [misc]taylor: Taking taylor expansion of (* 1/6 c) in c 1554301807.692 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301807.692 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.692 * [misc]taylor: Taking taylor expansion of c in c 1554301807.692 * [misc]backup-simplify: Simplify 0 into 0 1554301807.692 * [misc]backup-simplify: Simplify 1 into 1 1554301807.692 * [misc]taylor: Taking taylor expansion of (* 1/6 c) in c 1554301807.692 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301807.692 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.692 * [misc]taylor: Taking taylor expansion of c in c 1554301807.692 * [misc]backup-simplify: Simplify 0 into 0 1554301807.692 * [misc]backup-simplify: Simplify 1 into 1 1554301807.693 * [misc]backup-simplify: Simplify (* 1/6 0) into 0 1554301807.693 * [misc]backup-simplify: Simplify 0 into 0 1554301807.693 * [misc]backup-simplify: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1554301807.693 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.693 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1554301807.693 * [misc]backup-simplify: Simplify 0 into 0 1554301807.694 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554301807.694 * [misc]backup-simplify: Simplify 0 into 0 1554301807.694 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554301807.694 * [misc]backup-simplify: Simplify 0 into 0 1554301807.695 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554301807.695 * [misc]backup-simplify: Simplify 0 into 0 1554301807.695 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554301807.695 * [misc]backup-simplify: Simplify 0 into 0 1554301807.696 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554301807.696 * [misc]backup-simplify: Simplify 0 into 0 1554301807.696 * [misc]backup-simplify: Simplify (* 1/6 c) into (* 1/6 c) 1554301807.696 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 c)) into (/ 1/6 c) 1554301807.696 * [misc]approximate: Taking taylor expansion of (/ 1/6 c) in (c) around 0 1554301807.696 * [misc]taylor: Taking taylor expansion of (/ 1/6 c) in c 1554301807.696 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301807.696 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.696 * [misc]taylor: Taking taylor expansion of c in c 1554301807.696 * [misc]backup-simplify: Simplify 0 into 0 1554301807.696 * [misc]backup-simplify: Simplify 1 into 1 1554301807.697 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554301807.697 * [misc]taylor: Taking taylor expansion of (/ 1/6 c) in c 1554301807.697 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301807.697 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.697 * [misc]taylor: Taking taylor expansion of c in c 1554301807.697 * [misc]backup-simplify: Simplify 0 into 0 1554301807.697 * [misc]backup-simplify: Simplify 1 into 1 1554301807.697 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554301807.697 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.697 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1554301807.698 * [misc]backup-simplify: Simplify 0 into 0 1554301807.698 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.698 * [misc]backup-simplify: Simplify 0 into 0 1554301807.698 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.698 * [misc]backup-simplify: Simplify 0 into 0 1554301807.699 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.699 * [misc]backup-simplify: Simplify 0 into 0 1554301807.699 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.699 * [misc]backup-simplify: Simplify 0 into 0 1554301807.700 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.700 * [misc]backup-simplify: Simplify 0 into 0 1554301807.700 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 (/ 1 c))) into (* 1/6 c) 1554301807.700 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 (- c))) into (/ -1/6 c) 1554301807.700 * [misc]approximate: Taking taylor expansion of (/ -1/6 c) in (c) around 0 1554301807.700 * [misc]taylor: Taking taylor expansion of (/ -1/6 c) in c 1554301807.700 * [misc]taylor: Taking taylor expansion of -1/6 in c 1554301807.700 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554301807.700 * [misc]taylor: Taking taylor expansion of c in c 1554301807.700 * [misc]backup-simplify: Simplify 0 into 0 1554301807.700 * [misc]backup-simplify: Simplify 1 into 1 1554301807.700 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554301807.700 * [misc]taylor: Taking taylor expansion of (/ -1/6 c) in c 1554301807.700 * [misc]taylor: Taking taylor expansion of -1/6 in c 1554301807.700 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554301807.700 * [misc]taylor: Taking taylor expansion of c in c 1554301807.700 * [misc]backup-simplify: Simplify 0 into 0 1554301807.700 * [misc]backup-simplify: Simplify 1 into 1 1554301807.701 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554301807.701 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554301807.701 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1554301807.701 * [misc]backup-simplify: Simplify 0 into 0 1554301807.702 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.702 * [misc]backup-simplify: Simplify 0 into 0 1554301807.702 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.702 * [misc]backup-simplify: Simplify 0 into 0 1554301807.702 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.702 * [misc]backup-simplify: Simplify 0 into 0 1554301807.703 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.703 * [misc]backup-simplify: Simplify 0 into 0 1554301807.703 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301807.703 * [misc]backup-simplify: Simplify 0 into 0 1554301807.704 * [misc]backup-simplify: Simplify (* -1/6 (/ 1 (/ 1 (- c)))) into (* 1/6 c) 1554301807.704 * * * [misc]progress: simplifying candidates 1554301807.704 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1554301807.704 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate #real (real->posit16 (* 1/6 c))) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1554301807.705 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # 1554301807.705 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1554301807.705 * [enter]simplify: Simplifying (* 1/6 c) 1554301807.705 * * [misc]simplify: iters left: 2 (3 enodes) 1554301807.708 * * [misc]simplify: iters left: 1 (10 enodes) 1554301807.711 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.711 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301807.711 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554301807.711 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554301807.711 * [exit]simplify: Simplified to (* 1/6 c) 1554301807.711 * [misc]simplify: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.711 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1554301807.712 * [enter]simplify: Simplifying (* 1/6 c) 1554301807.712 * * [misc]simplify: iters left: 2 (3 enodes) 1554301807.714 * * [misc]simplify: iters left: 1 (10 enodes) 1554301807.717 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.717 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301807.717 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554301807.717 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554301807.717 * [exit]simplify: Simplified to (* 1/6 c) 1554301807.717 * [misc]simplify: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.717 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1554301807.718 * [enter]simplify: Simplifying (* 1/6 c) 1554301807.718 * * [misc]simplify: iters left: 2 (3 enodes) 1554301807.719 * * [misc]simplify: iters left: 1 (10 enodes) 1554301807.722 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.723 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301807.723 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554301807.723 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554301807.723 * [exit]simplify: Simplified to (* 1/6 c) 1554301807.723 * [misc]simplify: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.723 * * * [misc]progress: adding candidates to table 1554301807.916 * [misc]progress: [Phase 3 of 3] Extracting. 1554301807.916 * * [misc]regime: Finding splitpoints for: (# #) 1554301807.917 * * * [misc]regime-changes: Trying 1 branch expressions: (c) 1554301807.918 * * * * [misc]regimes: Trying to branch on c from (# #) 1554301807.943 * * * [misc]regime: Found split indices: #