1550712643.615 * [misc]progress: [Phase 1 of 3] Setting up. 1550712643.615 * * * [misc]progress: [1/2] Preparing points 1550712643.932 * * * [misc]progress: [2/2] Setting up program. 1550712643.938 * [misc]progress: [Phase 2 of 3] Improving. 1550712643.939 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550712643.940 * [enter]simplify: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1550712643.941 * * [misc]simplify: iters left: 4 (7 enodes) 1550712643.950 * * [misc]simplify: iters left: 3 (29 enodes) 1550712643.986 * * [misc]simplify: iters left: 2 (50 enodes) 1550712644.005 * * [misc]simplify: iters left: 1 (72 enodes) 1550712644.026 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.027 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712644.027 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1550712644.028 * * [misc]simplify: Extracting #3: cost 21 inf + 360 1550712644.028 * * [misc]simplify: Extracting #4: cost 12 inf + 1582 1550712644.029 * * [misc]simplify: Extracting #5: cost 1 inf + 2933 1550712644.030 * * [misc]simplify: Extracting #6: cost 0 inf + 2972 1550712644.031 * [exit]simplify: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1550712644.032 * [misc]simplify: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712644.047 * * [misc]progress: iteration 1 / 4 1550712644.047 * * * [misc]progress: picking best candidate 1550712644.051 * * * * [misc]pick: Picked # 1550712644.051 * * * [misc]progress: localizing error 1550712644.076 * * * [misc]progress: generating rewritten candidates 1550712644.077 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1550712644.081 * * * [misc]progress: generating series expansions 1550712644.081 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1550712644.085 * [misc]backup-simplify: Simplify (sinh c) into (sinh c) 1550712644.085 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1550712644.086 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.088 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.088 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.088 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.088 * [misc]taylor: Taking taylor expansion of c in c 1550712644.088 * [misc]backup-simplify: Simplify 0 into 0 1550712644.088 * [misc]backup-simplify: Simplify 1 into 1 1550712644.089 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.089 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.089 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.089 * [misc]taylor: Taking taylor expansion of c in c 1550712644.089 * [misc]backup-simplify: Simplify 0 into 0 1550712644.089 * [misc]backup-simplify: Simplify 1 into 1 1550712644.089 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.089 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.089 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.090 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.090 * [misc]backup-simplify: Simplify 2 into 2 1550712644.090 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.091 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.096 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.096 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.098 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.098 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.098 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.098 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.098 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.098 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.098 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.098 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.098 * [misc]taylor: Taking taylor expansion of c in c 1550712644.098 * [misc]backup-simplify: Simplify 0 into 0 1550712644.099 * [misc]backup-simplify: Simplify 1 into 1 1550712644.099 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.099 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.099 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.099 * [misc]taylor: Taking taylor expansion of c in c 1550712644.099 * [misc]backup-simplify: Simplify 0 into 0 1550712644.099 * [misc]backup-simplify: Simplify 1 into 1 1550712644.099 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.099 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.099 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.099 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.099 * [misc]backup-simplify: Simplify 2 into 2 1550712644.099 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.099 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.101 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.101 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.103 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.103 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.103 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.103 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.105 * [misc]backup-simplify: Simplify 1 into 1 1550712644.108 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.108 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.108 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.110 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.110 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.111 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.111 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.111 * [misc]backup-simplify: Simplify 0 into 0 1550712644.115 * [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 1550712644.115 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.115 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.115 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.115 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.119 * [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 1550712644.119 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.119 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.119 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.119 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550712644.138 * [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 1550712644.138 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.139 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.139 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.139 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.139 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.139 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.139 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.145 * [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 1550712644.145 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.145 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.146 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.146 * [misc]backup-simplify: Simplify 0 into 0 1550712644.155 * [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 1550712644.156 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.156 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.156 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.156 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.156 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.157 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.157 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.157 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.157 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.157 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.157 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.157 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.166 * [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 1550712644.167 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.167 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.167 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.167 * [misc]backup-simplify: Simplify 1/120 into 1/120 1550712644.169 * [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)) 1550712644.169 * [misc]backup-simplify: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1550712644.170 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1550712644.170 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.170 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.170 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.170 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.170 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.170 * [misc]taylor: Taking taylor expansion of c in c 1550712644.170 * [misc]backup-simplify: Simplify 0 into 0 1550712644.170 * [misc]backup-simplify: Simplify 1 into 1 1550712644.170 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.170 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.170 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.170 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.170 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.170 * [misc]taylor: Taking taylor expansion of c in c 1550712644.170 * [misc]backup-simplify: Simplify 0 into 0 1550712644.170 * [misc]backup-simplify: Simplify 1 into 1 1550712644.171 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.171 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.171 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.171 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.171 * [misc]backup-simplify: Simplify 2 into 2 1550712644.171 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.171 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.171 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.171 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.172 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.172 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.172 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.172 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.172 * [misc]taylor: Taking taylor expansion of c in c 1550712644.172 * [misc]backup-simplify: Simplify 0 into 0 1550712644.172 * [misc]backup-simplify: Simplify 1 into 1 1550712644.172 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.172 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.172 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.172 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.172 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.172 * [misc]taylor: Taking taylor expansion of c in c 1550712644.172 * [misc]backup-simplify: Simplify 0 into 0 1550712644.172 * [misc]backup-simplify: Simplify 1 into 1 1550712644.172 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.172 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.173 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.173 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.173 * [misc]backup-simplify: Simplify 2 into 2 1550712644.173 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.173 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.173 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.173 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.174 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.174 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.174 * [misc]backup-simplify: Simplify 0 into 0 1550712644.174 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.175 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.175 * [misc]backup-simplify: Simplify 0 into 0 1550712644.175 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.175 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.176 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.176 * [misc]backup-simplify: Simplify 0 into 0 1550712644.176 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.177 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.178 * [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 1550712644.178 * [misc]backup-simplify: Simplify 0 into 0 1550712644.178 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.178 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.179 * [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 1550712644.179 * [misc]backup-simplify: Simplify 0 into 0 1550712644.179 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.179 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.180 * [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 1550712644.181 * [misc]backup-simplify: Simplify 0 into 0 1550712644.181 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1550712644.181 * [misc]backup-simplify: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1550712644.181 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1550712644.181 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.181 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.181 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.181 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.181 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.181 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.181 * [misc]backup-simplify: Simplify -1 into -1 1550712644.181 * [misc]taylor: Taking taylor expansion of c in c 1550712644.181 * [misc]backup-simplify: Simplify 0 into 0 1550712644.181 * [misc]backup-simplify: Simplify 1 into 1 1550712644.181 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.182 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.182 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.182 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.182 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.182 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.182 * [misc]backup-simplify: Simplify -1 into -1 1550712644.182 * [misc]taylor: Taking taylor expansion of c in c 1550712644.182 * [misc]backup-simplify: Simplify 0 into 0 1550712644.182 * [misc]backup-simplify: Simplify 1 into 1 1550712644.182 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.182 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.182 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.182 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.182 * [misc]backup-simplify: Simplify 2 into 2 1550712644.182 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.182 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.183 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.183 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.183 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.183 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.183 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.183 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.183 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.183 * [misc]backup-simplify: Simplify -1 into -1 1550712644.183 * [misc]taylor: Taking taylor expansion of c in c 1550712644.183 * [misc]backup-simplify: Simplify 0 into 0 1550712644.183 * [misc]backup-simplify: Simplify 1 into 1 1550712644.183 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.183 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.183 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.183 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.183 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.183 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.183 * [misc]backup-simplify: Simplify -1 into -1 1550712644.183 * [misc]taylor: Taking taylor expansion of c in c 1550712644.183 * [misc]backup-simplify: Simplify 0 into 0 1550712644.183 * [misc]backup-simplify: Simplify 1 into 1 1550712644.183 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.184 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.184 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.184 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.184 * [misc]backup-simplify: Simplify 2 into 2 1550712644.184 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.184 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.184 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.184 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.184 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.185 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.185 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.185 * [misc]backup-simplify: Simplify 0 into 0 1550712644.185 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.185 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.186 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.186 * [misc]backup-simplify: Simplify 0 into 0 1550712644.186 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.186 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.187 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.187 * [misc]backup-simplify: Simplify 0 into 0 1550712644.187 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.187 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.188 * [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 1550712644.188 * [misc]backup-simplify: Simplify 0 into 0 1550712644.189 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.189 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.190 * [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 1550712644.190 * [misc]backup-simplify: Simplify 0 into 0 1550712644.190 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.190 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.191 * [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 1550712644.191 * [misc]backup-simplify: Simplify 0 into 0 1550712644.192 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712644.192 * * * [misc]progress: simplifying candidates 1550712644.192 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1550712644.192 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1550712644.192 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1550712644.192 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1550712644.192 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1550712644.192 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1550712644.193 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1550712644.193 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1550712644.193 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1550712644.193 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1550712644.193 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712644.193 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1550712644.193 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1550712644.193 * * [misc]simplify: iters left: 6 (11 enodes) 1550712644.200 * * [misc]simplify: iters left: 5 (44 enodes) 1550712644.214 * * [misc]simplify: iters left: 4 (66 enodes) 1550712644.236 * * [misc]simplify: iters left: 3 (102 enodes) 1550712644.261 * * [misc]simplify: iters left: 2 (114 enodes) 1550712644.292 * * [misc]simplify: iters left: 1 (122 enodes) 1550712644.323 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.323 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712644.323 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1550712644.324 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1550712644.325 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1550712644.325 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1550712644.326 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1550712644.327 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1550712644.327 * [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)))) 1550712644.327 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1550712644.328 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1550712644.328 * * [misc]simplify: iters left: 6 (7 enodes) 1550712644.330 * * [misc]simplify: iters left: 5 (26 enodes) 1550712644.335 * * [misc]simplify: iters left: 4 (42 enodes) 1550712644.342 * * [misc]simplify: iters left: 3 (62 enodes) 1550712644.352 * * [misc]simplify: iters left: 2 (82 enodes) 1550712644.372 * * [misc]simplify: iters left: 1 (86 enodes) 1550712644.389 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.389 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712644.389 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1550712644.389 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1550712644.390 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1550712644.391 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1550712644.391 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1550712644.392 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712644.392 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712644.392 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1550712644.393 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712644.393 * * [misc]simplify: iters left: 6 (8 enodes) 1550712644.397 * * [misc]simplify: iters left: 5 (31 enodes) 1550712644.409 * * [misc]simplify: iters left: 4 (45 enodes) 1550712644.424 * * [misc]simplify: iters left: 3 (67 enodes) 1550712644.445 * * [misc]simplify: iters left: 2 (89 enodes) 1550712644.466 * * [misc]simplify: iters left: 1 (93 enodes) 1550712644.486 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.486 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712644.486 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1550712644.486 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1550712644.487 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1550712644.488 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1550712644.488 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712644.488 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712644.489 * * * [misc]progress: adding candidates to table 1550712644.643 * * [misc]progress: iteration 2 / 4 1550712644.643 * * * [misc]progress: picking best candidate 1550712644.648 * * * * [misc]pick: Picked # 1550712644.648 * * * [misc]progress: localizing error 1550712644.677 * * * [misc]progress: generating rewritten candidates 1550712644.677 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550712644.694 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550712644.720 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1550712644.731 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1550712644.733 * * * [misc]progress: generating series expansions 1550712644.733 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550712644.733 * [misc]backup-simplify: Simplify (cbrt (* (* (sinh c) (sinh c)) (sinh c))) into (sinh c) 1550712644.733 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1550712644.733 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.733 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.733 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.733 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.733 * [misc]taylor: Taking taylor expansion of c in c 1550712644.733 * [misc]backup-simplify: Simplify 0 into 0 1550712644.733 * [misc]backup-simplify: Simplify 1 into 1 1550712644.733 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.733 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.734 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.734 * [misc]taylor: Taking taylor expansion of c in c 1550712644.734 * [misc]backup-simplify: Simplify 0 into 0 1550712644.734 * [misc]backup-simplify: Simplify 1 into 1 1550712644.734 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.734 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.734 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.734 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.734 * [misc]backup-simplify: Simplify 2 into 2 1550712644.734 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.735 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.736 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.736 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.738 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.738 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.738 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.738 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.738 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.738 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.738 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.738 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.738 * [misc]taylor: Taking taylor expansion of c in c 1550712644.738 * [misc]backup-simplify: Simplify 0 into 0 1550712644.738 * [misc]backup-simplify: Simplify 1 into 1 1550712644.738 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.739 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.739 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.739 * [misc]taylor: Taking taylor expansion of c in c 1550712644.739 * [misc]backup-simplify: Simplify 0 into 0 1550712644.739 * [misc]backup-simplify: Simplify 1 into 1 1550712644.739 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.739 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.739 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.739 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.739 * [misc]backup-simplify: Simplify 2 into 2 1550712644.739 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.739 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.741 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.741 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.742 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.742 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.743 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.743 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.743 * [misc]backup-simplify: Simplify 1 into 1 1550712644.745 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.745 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.746 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.748 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.748 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.748 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.749 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.749 * [misc]backup-simplify: Simplify 0 into 0 1550712644.752 * [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 1550712644.753 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.753 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.753 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.753 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.757 * [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 1550712644.757 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.757 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.757 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.757 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550712644.763 * [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 1550712644.764 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.764 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.764 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.764 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.764 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.764 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.765 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.771 * [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 1550712644.771 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.771 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.771 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.781 * [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 1550712644.782 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.782 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.782 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.782 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.782 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.782 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.783 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.783 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.783 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.783 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.783 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.783 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.794 * [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 1550712644.794 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.794 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.794 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.795 * [misc]backup-simplify: Simplify 1/120 into 1/120 1550712644.795 * [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)) 1550712644.795 * [misc]backup-simplify: Simplify (cbrt (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c)))) into (sinh (/ 1 c)) 1550712644.795 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1550712644.795 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.795 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.795 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.795 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.795 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.795 * [misc]taylor: Taking taylor expansion of c in c 1550712644.795 * [misc]backup-simplify: Simplify 0 into 0 1550712644.795 * [misc]backup-simplify: Simplify 1 into 1 1550712644.796 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.796 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.796 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.796 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.796 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.796 * [misc]taylor: Taking taylor expansion of c in c 1550712644.796 * [misc]backup-simplify: Simplify 0 into 0 1550712644.796 * [misc]backup-simplify: Simplify 1 into 1 1550712644.796 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.796 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.796 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.796 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.796 * [misc]backup-simplify: Simplify 2 into 2 1550712644.797 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.797 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.797 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.797 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.797 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.797 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.797 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.797 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.797 * [misc]taylor: Taking taylor expansion of c in c 1550712644.797 * [misc]backup-simplify: Simplify 0 into 0 1550712644.797 * [misc]backup-simplify: Simplify 1 into 1 1550712644.797 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.797 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.798 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.798 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.798 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.798 * [misc]taylor: Taking taylor expansion of c in c 1550712644.798 * [misc]backup-simplify: Simplify 0 into 0 1550712644.798 * [misc]backup-simplify: Simplify 1 into 1 1550712644.798 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.798 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.798 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.798 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.798 * [misc]backup-simplify: Simplify 2 into 2 1550712644.798 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.798 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.799 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.799 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.799 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.799 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.800 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.800 * [misc]backup-simplify: Simplify 0 into 0 1550712644.800 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.801 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.801 * [misc]backup-simplify: Simplify 0 into 0 1550712644.801 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.801 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.802 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.802 * [misc]backup-simplify: Simplify 0 into 0 1550712644.802 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.802 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.803 * [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 1550712644.803 * [misc]backup-simplify: Simplify 0 into 0 1550712644.803 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.803 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.805 * [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 1550712644.805 * [misc]backup-simplify: Simplify 0 into 0 1550712644.805 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.806 * [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 1550712644.806 * [misc]backup-simplify: Simplify 0 into 0 1550712644.806 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1550712644.807 * [misc]backup-simplify: Simplify (cbrt (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 1550712644.807 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1550712644.807 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.807 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.807 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.807 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.807 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.807 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.807 * [misc]backup-simplify: Simplify -1 into -1 1550712644.807 * [misc]taylor: Taking taylor expansion of c in c 1550712644.807 * [misc]backup-simplify: Simplify 0 into 0 1550712644.807 * [misc]backup-simplify: Simplify 1 into 1 1550712644.807 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.808 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.808 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.808 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.808 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.808 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.808 * [misc]backup-simplify: Simplify -1 into -1 1550712644.808 * [misc]taylor: Taking taylor expansion of c in c 1550712644.808 * [misc]backup-simplify: Simplify 0 into 0 1550712644.808 * [misc]backup-simplify: Simplify 1 into 1 1550712644.808 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.808 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.808 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.808 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.808 * [misc]backup-simplify: Simplify 2 into 2 1550712644.808 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.809 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.809 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.809 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.809 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.809 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.809 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.809 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.809 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.809 * [misc]backup-simplify: Simplify -1 into -1 1550712644.809 * [misc]taylor: Taking taylor expansion of c in c 1550712644.809 * [misc]backup-simplify: Simplify 0 into 0 1550712644.809 * [misc]backup-simplify: Simplify 1 into 1 1550712644.809 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.809 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.809 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.809 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.809 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.809 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.809 * [misc]backup-simplify: Simplify -1 into -1 1550712644.809 * [misc]taylor: Taking taylor expansion of c in c 1550712644.810 * [misc]backup-simplify: Simplify 0 into 0 1550712644.810 * [misc]backup-simplify: Simplify 1 into 1 1550712644.810 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.810 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.810 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.810 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.810 * [misc]backup-simplify: Simplify 2 into 2 1550712644.810 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.810 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.810 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.811 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.811 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.811 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.811 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.811 * [misc]backup-simplify: Simplify 0 into 0 1550712644.812 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.812 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.812 * [misc]backup-simplify: Simplify 0 into 0 1550712644.813 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.818 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.818 * [misc]backup-simplify: Simplify 0 into 0 1550712644.818 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.818 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.819 * [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 1550712644.819 * [misc]backup-simplify: Simplify 0 into 0 1550712644.820 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.820 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.821 * [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 1550712644.821 * [misc]backup-simplify: Simplify 0 into 0 1550712644.821 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.821 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.822 * [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 1550712644.822 * [misc]backup-simplify: Simplify 0 into 0 1550712644.822 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712644.822 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550712644.822 * [misc]backup-simplify: Simplify (* (* (sinh c) (sinh c)) (sinh c)) into (pow (sinh c) 3) 1550712644.822 * [misc]approximate: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 1550712644.822 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 3) in c 1550712644.822 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.822 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.822 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.822 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.822 * [misc]taylor: Taking taylor expansion of c in c 1550712644.822 * [misc]backup-simplify: Simplify 0 into 0 1550712644.822 * [misc]backup-simplify: Simplify 1 into 1 1550712644.822 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.822 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.822 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.822 * [misc]taylor: Taking taylor expansion of c in c 1550712644.822 * [misc]backup-simplify: Simplify 0 into 0 1550712644.822 * [misc]backup-simplify: Simplify 1 into 1 1550712644.822 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.823 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.823 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.823 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.823 * [misc]backup-simplify: Simplify 2 into 2 1550712644.823 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.823 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.824 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.824 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.825 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.825 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.825 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.825 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.825 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 3) in c 1550712644.825 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.825 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.825 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.825 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.825 * [misc]taylor: Taking taylor expansion of c in c 1550712644.825 * [misc]backup-simplify: Simplify 0 into 0 1550712644.825 * [misc]backup-simplify: Simplify 1 into 1 1550712644.825 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.825 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.825 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.825 * [misc]taylor: Taking taylor expansion of c in c 1550712644.825 * [misc]backup-simplify: Simplify 0 into 0 1550712644.825 * [misc]backup-simplify: Simplify 1 into 1 1550712644.826 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.826 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.826 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.826 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.826 * [misc]backup-simplify: Simplify 2 into 2 1550712644.826 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.826 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.827 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.827 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.828 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.828 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.828 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.828 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.828 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550712644.829 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550712644.829 * [misc]backup-simplify: Simplify 1 into 1 1550712644.830 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.830 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.830 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.832 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.832 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.832 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.832 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.832 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550712644.833 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550712644.833 * [misc]backup-simplify: Simplify 0 into 0 1550712644.835 * [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 1550712644.835 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.835 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.835 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.835 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.837 * [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 1550712644.838 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.838 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.838 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.838 * [misc]backup-simplify: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 1550712644.838 * [misc]backup-simplify: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 1550712644.838 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550712644.842 * [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 1550712644.842 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.842 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.842 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.842 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.842 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.842 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.843 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.846 * [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 1550712644.846 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.846 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.846 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.846 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 1550712644.847 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 1550712644.847 * [misc]backup-simplify: Simplify 0 into 0 1550712644.855 * [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 1550712644.856 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.856 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.856 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.856 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.856 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.856 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.857 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.857 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.857 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.857 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.857 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.857 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.867 * [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 1550712644.867 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.867 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.868 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.868 * [misc]backup-simplify: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 1550712644.868 * [misc]backup-simplify: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 1550712644.868 * [misc]backup-simplify: Simplify 13/120 into 13/120 1550712644.869 * [misc]backup-simplify: Simplify (+ (* 13/120 (pow c 7)) (+ (* 1/2 (pow c 5)) (* 1 (pow c 3)))) into (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1550712644.869 * [misc]backup-simplify: Simplify (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c))) into (pow (sinh (/ 1 c)) 3) 1550712644.869 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 1550712644.869 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1550712644.869 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.869 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.869 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.869 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.869 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.869 * [misc]taylor: Taking taylor expansion of c in c 1550712644.869 * [misc]backup-simplify: Simplify 0 into 0 1550712644.869 * [misc]backup-simplify: Simplify 1 into 1 1550712644.870 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.870 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.870 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.870 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.870 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.870 * [misc]taylor: Taking taylor expansion of c in c 1550712644.870 * [misc]backup-simplify: Simplify 0 into 0 1550712644.870 * [misc]backup-simplify: Simplify 1 into 1 1550712644.870 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.870 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.870 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.870 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.870 * [misc]backup-simplify: Simplify 2 into 2 1550712644.870 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.871 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.871 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.871 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.871 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.871 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of c in c 1550712644.871 * [misc]backup-simplify: Simplify 0 into 0 1550712644.871 * [misc]backup-simplify: Simplify 1 into 1 1550712644.871 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.871 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.871 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.871 * [misc]taylor: Taking taylor expansion of c in c 1550712644.871 * [misc]backup-simplify: Simplify 0 into 0 1550712644.871 * [misc]backup-simplify: Simplify 1 into 1 1550712644.872 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.872 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.872 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.872 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.872 * [misc]backup-simplify: Simplify 2 into 2 1550712644.872 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.872 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.872 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.873 * [misc]backup-simplify: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 1550712644.873 * [misc]backup-simplify: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 1550712644.873 * [misc]backup-simplify: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 1550712644.873 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.874 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.874 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.874 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 1550712644.875 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 1550712644.875 * [misc]backup-simplify: Simplify 0 into 0 1550712644.875 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.875 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.876 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.876 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 1550712644.877 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 1550712644.877 * [misc]backup-simplify: Simplify 0 into 0 1550712644.877 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.877 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.878 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.879 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 1550712644.879 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 1550712644.880 * [misc]backup-simplify: Simplify 0 into 0 1550712644.880 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.880 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.881 * [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 1550712644.881 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 1550712644.882 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 1550712644.882 * [misc]backup-simplify: Simplify 0 into 0 1550712644.882 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.882 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.883 * [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 1550712644.883 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 1550712644.884 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 1550712644.884 * [misc]backup-simplify: Simplify 0 into 0 1550712644.884 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.884 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.885 * [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 1550712644.886 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 1550712644.886 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0 1550712644.886 * [misc]backup-simplify: Simplify 0 into 0 1550712644.887 * [misc]backup-simplify: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1550712644.887 * [misc]backup-simplify: Simplify (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c)))) into (pow (sinh (/ -1 c)) 3) 1550712644.887 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 1550712644.887 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.887 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.887 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.887 * [misc]backup-simplify: Simplify -1 into -1 1550712644.887 * [misc]taylor: Taking taylor expansion of c in c 1550712644.887 * [misc]backup-simplify: Simplify 0 into 0 1550712644.887 * [misc]backup-simplify: Simplify 1 into 1 1550712644.887 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.887 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.887 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.887 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.887 * [misc]backup-simplify: Simplify -1 into -1 1550712644.887 * [misc]taylor: Taking taylor expansion of c in c 1550712644.887 * [misc]backup-simplify: Simplify 0 into 0 1550712644.887 * [misc]backup-simplify: Simplify 1 into 1 1550712644.887 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.887 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.887 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.887 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.888 * [misc]backup-simplify: Simplify 2 into 2 1550712644.888 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.888 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.888 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.888 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.888 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.888 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.888 * [misc]backup-simplify: Simplify -1 into -1 1550712644.888 * [misc]taylor: Taking taylor expansion of c in c 1550712644.888 * [misc]backup-simplify: Simplify 0 into 0 1550712644.888 * [misc]backup-simplify: Simplify 1 into 1 1550712644.888 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.888 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.888 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.888 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.888 * [misc]backup-simplify: Simplify -1 into -1 1550712644.888 * [misc]taylor: Taking taylor expansion of c in c 1550712644.888 * [misc]backup-simplify: Simplify 0 into 0 1550712644.888 * [misc]backup-simplify: Simplify 1 into 1 1550712644.888 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.888 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.888 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.889 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.889 * [misc]backup-simplify: Simplify 2 into 2 1550712644.889 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.889 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.889 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.889 * [misc]backup-simplify: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 1550712644.889 * [misc]backup-simplify: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 1550712644.889 * [misc]backup-simplify: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 1550712644.889 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.889 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.890 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.890 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 1550712644.890 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))) into 0 1550712644.890 * [misc]backup-simplify: Simplify 0 into 0 1550712644.890 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.890 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.891 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.891 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0 1550712644.891 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))) into 0 1550712644.891 * [misc]backup-simplify: Simplify 0 into 0 1550712644.891 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.892 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.892 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0 1550712644.893 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))) into 0 1550712644.893 * [misc]backup-simplify: Simplify 0 into 0 1550712644.893 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.893 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.893 * [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 1550712644.894 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0 1550712644.894 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))) into 0 1550712644.894 * [misc]backup-simplify: Simplify 0 into 0 1550712644.894 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.895 * [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 1550712644.896 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0 1550712644.896 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))))) into 0 1550712644.896 * [misc]backup-simplify: Simplify 0 into 0 1550712644.896 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.897 * [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 1550712644.898 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0 1550712644.898 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))))) into 0 1550712644.898 * [misc]backup-simplify: Simplify 0 into 0 1550712644.898 * [misc]backup-simplify: Simplify (* 1/8 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1550712644.899 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1550712644.899 * [misc]backup-simplify: Simplify (* (sinh c) (sinh c)) into (pow (sinh c) 2) 1550712644.899 * [misc]approximate: Taking taylor expansion of (pow (sinh c) 2) in (c) around 0 1550712644.899 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 2) in c 1550712644.899 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.899 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.899 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.899 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.899 * [misc]taylor: Taking taylor expansion of c in c 1550712644.899 * [misc]backup-simplify: Simplify 0 into 0 1550712644.899 * [misc]backup-simplify: Simplify 1 into 1 1550712644.899 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.899 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.899 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.899 * [misc]taylor: Taking taylor expansion of c in c 1550712644.899 * [misc]backup-simplify: Simplify 0 into 0 1550712644.899 * [misc]backup-simplify: Simplify 1 into 1 1550712644.899 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.899 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.899 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.899 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.899 * [misc]backup-simplify: Simplify 2 into 2 1550712644.899 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.899 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.900 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.900 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.901 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.901 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.901 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.902 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.902 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 2) in c 1550712644.902 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.902 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.902 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.902 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.902 * [misc]taylor: Taking taylor expansion of c in c 1550712644.902 * [misc]backup-simplify: Simplify 0 into 0 1550712644.902 * [misc]backup-simplify: Simplify 1 into 1 1550712644.902 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.902 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.902 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.902 * [misc]taylor: Taking taylor expansion of c in c 1550712644.902 * [misc]backup-simplify: Simplify 0 into 0 1550712644.902 * [misc]backup-simplify: Simplify 1 into 1 1550712644.902 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.902 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.902 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.902 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.902 * [misc]backup-simplify: Simplify 2 into 2 1550712644.902 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.902 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.903 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.903 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.904 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.904 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.904 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.904 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.905 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550712644.905 * [misc]backup-simplify: Simplify 1 into 1 1550712644.906 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.906 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.906 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.907 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.907 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.908 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.908 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.908 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550712644.908 * [misc]backup-simplify: Simplify 0 into 0 1550712644.910 * [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 1550712644.910 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.910 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.910 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.910 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.913 * [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 1550712644.913 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.913 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.913 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.913 * [misc]backup-simplify: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 1550712644.913 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550712644.917 * [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 1550712644.917 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.917 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.917 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.917 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.917 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.917 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.917 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.921 * [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 1550712644.921 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.921 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.921 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 1550712644.922 * [misc]backup-simplify: Simplify 0 into 0 1550712644.928 * [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 1550712644.928 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.928 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.929 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.929 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.929 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.935 * [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 1550712644.935 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.935 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.935 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.936 * [misc]backup-simplify: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 1550712644.936 * [misc]backup-simplify: Simplify 2/45 into 2/45 1550712644.936 * [misc]backup-simplify: Simplify (+ (* 2/45 (pow c 6)) (+ (* 1/3 (pow c 4)) (* 1 (pow c 2)))) into (+ (pow c 2) (+ (* 1/3 (pow c 4)) (* 2/45 (pow c 6)))) 1550712644.936 * [misc]backup-simplify: Simplify (* (sinh (/ 1 c)) (sinh (/ 1 c))) into (pow (sinh (/ 1 c)) 2) 1550712644.936 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ 1 c)) 2) in (c) around 0 1550712644.936 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 2) in c 1550712644.936 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.936 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.936 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.936 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.936 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.936 * [misc]taylor: Taking taylor expansion of c in c 1550712644.936 * [misc]backup-simplify: Simplify 0 into 0 1550712644.936 * [misc]backup-simplify: Simplify 1 into 1 1550712644.936 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.937 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.937 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of c in c 1550712644.937 * [misc]backup-simplify: Simplify 0 into 0 1550712644.937 * [misc]backup-simplify: Simplify 1 into 1 1550712644.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.937 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.937 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.937 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.937 * [misc]backup-simplify: Simplify 2 into 2 1550712644.937 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.937 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.937 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.937 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 2) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.937 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.937 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.937 * [misc]taylor: Taking taylor expansion of c in c 1550712644.937 * [misc]backup-simplify: Simplify 0 into 0 1550712644.937 * [misc]backup-simplify: Simplify 1 into 1 1550712644.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.937 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.938 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.938 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.938 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.938 * [misc]taylor: Taking taylor expansion of c in c 1550712644.938 * [misc]backup-simplify: Simplify 0 into 0 1550712644.938 * [misc]backup-simplify: Simplify 1 into 1 1550712644.938 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.938 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.938 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.938 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.938 * [misc]backup-simplify: Simplify 2 into 2 1550712644.938 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.938 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.938 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.938 * [misc]backup-simplify: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 1550712644.939 * [misc]backup-simplify: Simplify (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 1550712644.939 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.939 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.939 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 1550712644.939 * [misc]backup-simplify: Simplify 0 into 0 1550712644.939 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.940 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.940 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 1550712644.940 * [misc]backup-simplify: Simplify 0 into 0 1550712644.940 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.940 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.941 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.942 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 1550712644.942 * [misc]backup-simplify: Simplify 0 into 0 1550712644.942 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.942 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.943 * [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 1550712644.944 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 1550712644.944 * [misc]backup-simplify: Simplify 0 into 0 1550712644.944 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.944 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.945 * [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 1550712644.946 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 1550712644.946 * [misc]backup-simplify: Simplify 0 into 0 1550712644.947 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.947 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.948 * [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 1550712644.949 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 1550712644.949 * [misc]backup-simplify: Simplify 0 into 0 1550712644.949 * [misc]backup-simplify: Simplify (* 1/4 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 2)) into (* 1/4 (pow (- (exp c) (exp (- c))) 2)) 1550712644.949 * [misc]backup-simplify: Simplify (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) into (pow (sinh (/ -1 c)) 2) 1550712644.949 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ -1 c)) 2) in (c) around 0 1550712644.950 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 2) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.950 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.950 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.950 * [misc]backup-simplify: Simplify -1 into -1 1550712644.950 * [misc]taylor: Taking taylor expansion of c in c 1550712644.950 * [misc]backup-simplify: Simplify 0 into 0 1550712644.950 * [misc]backup-simplify: Simplify 1 into 1 1550712644.950 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.950 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.950 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.950 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.950 * [misc]backup-simplify: Simplify -1 into -1 1550712644.950 * [misc]taylor: Taking taylor expansion of c in c 1550712644.950 * [misc]backup-simplify: Simplify 0 into 0 1550712644.950 * [misc]backup-simplify: Simplify 1 into 1 1550712644.950 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.951 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.951 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.951 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.951 * [misc]backup-simplify: Simplify 2 into 2 1550712644.951 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.951 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.951 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.951 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 2) in c 1550712644.951 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.951 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.951 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.951 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.951 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.951 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.951 * [misc]backup-simplify: Simplify -1 into -1 1550712644.952 * [misc]taylor: Taking taylor expansion of c in c 1550712644.952 * [misc]backup-simplify: Simplify 0 into 0 1550712644.952 * [misc]backup-simplify: Simplify 1 into 1 1550712644.952 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.952 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.952 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.952 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.952 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.952 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.952 * [misc]backup-simplify: Simplify -1 into -1 1550712644.952 * [misc]taylor: Taking taylor expansion of c in c 1550712644.952 * [misc]backup-simplify: Simplify 0 into 0 1550712644.952 * [misc]backup-simplify: Simplify 1 into 1 1550712644.952 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.952 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.952 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.953 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.953 * [misc]backup-simplify: Simplify 2 into 2 1550712644.953 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.953 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.953 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.953 * [misc]backup-simplify: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 1550712644.954 * [misc]backup-simplify: Simplify (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 1550712644.954 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.954 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.954 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.955 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 1550712644.955 * [misc]backup-simplify: Simplify 0 into 0 1550712644.955 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.955 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.956 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.956 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0 1550712644.956 * [misc]backup-simplify: Simplify 0 into 0 1550712644.956 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.956 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.957 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.958 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0 1550712644.958 * [misc]backup-simplify: Simplify 0 into 0 1550712644.958 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.958 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.959 * [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 1550712644.960 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0 1550712644.960 * [misc]backup-simplify: Simplify 0 into 0 1550712644.960 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.960 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.962 * [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 1550712644.962 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0 1550712644.962 * [misc]backup-simplify: Simplify 0 into 0 1550712644.963 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.963 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.964 * [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 1550712644.965 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0 1550712644.965 * [misc]backup-simplify: Simplify 0 into 0 1550712644.965 * [misc]backup-simplify: Simplify (* 1/4 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 2)) into (* 1/4 (pow (- (exp c) (exp (* -1 c))) 2)) 1550712644.965 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1550712644.966 * [misc]backup-simplify: Simplify (sinh c) into (sinh c) 1550712644.966 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1550712644.966 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.966 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.966 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.966 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.966 * [misc]taylor: Taking taylor expansion of c in c 1550712644.966 * [misc]backup-simplify: Simplify 0 into 0 1550712644.966 * [misc]backup-simplify: Simplify 1 into 1 1550712644.966 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.966 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.966 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.966 * [misc]taylor: Taking taylor expansion of c in c 1550712644.966 * [misc]backup-simplify: Simplify 0 into 0 1550712644.966 * [misc]backup-simplify: Simplify 1 into 1 1550712644.966 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.966 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.966 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.966 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.966 * [misc]backup-simplify: Simplify 2 into 2 1550712644.967 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.967 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.968 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.968 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.970 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.970 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.970 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.970 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.970 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.970 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.970 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.970 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.970 * [misc]taylor: Taking taylor expansion of c in c 1550712644.970 * [misc]backup-simplify: Simplify 0 into 0 1550712644.970 * [misc]backup-simplify: Simplify 1 into 1 1550712644.970 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.970 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.971 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.971 * [misc]taylor: Taking taylor expansion of c in c 1550712644.971 * [misc]backup-simplify: Simplify 0 into 0 1550712644.971 * [misc]backup-simplify: Simplify 1 into 1 1550712644.971 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.971 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.971 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.971 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.971 * [misc]backup-simplify: Simplify 2 into 2 1550712644.971 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.971 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.973 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.973 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.974 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.975 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.975 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.975 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.975 * [misc]backup-simplify: Simplify 1 into 1 1550712644.977 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.977 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.978 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.980 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.980 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.980 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.980 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.981 * [misc]backup-simplify: Simplify 0 into 0 1550712644.984 * [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 1550712644.985 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.985 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.985 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.985 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.988 * [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 1550712644.989 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.989 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.989 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.989 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550712644.993 * [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 1550712644.993 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.993 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.993 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.993 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.993 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.993 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.993 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.996 * [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 1550712644.997 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.997 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.997 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.997 * [misc]backup-simplify: Simplify 0 into 0 1550712645.002 * [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 1550712645.003 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.003 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.003 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.003 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.003 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.003 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.003 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.003 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.003 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.003 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.004 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.004 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.009 * [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 1550712645.009 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712645.009 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712645.010 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712645.010 * [misc]backup-simplify: Simplify 1/120 into 1/120 1550712645.010 * [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)) 1550712645.010 * [misc]backup-simplify: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1550712645.010 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1550712645.010 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712645.010 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712645.010 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712645.010 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712645.010 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712645.010 * [misc]taylor: Taking taylor expansion of c in c 1550712645.010 * [misc]backup-simplify: Simplify 0 into 0 1550712645.010 * [misc]backup-simplify: Simplify 1 into 1 1550712645.010 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.010 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712645.010 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712645.010 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712645.010 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712645.010 * [misc]taylor: Taking taylor expansion of c in c 1550712645.010 * [misc]backup-simplify: Simplify 0 into 0 1550712645.010 * [misc]backup-simplify: Simplify 1 into 1 1550712645.011 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.011 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.011 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712645.011 * [misc]taylor: Taking taylor expansion of 2 in c 1550712645.011 * [misc]backup-simplify: Simplify 2 into 2 1550712645.011 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712645.011 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712645.011 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712645.011 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712645.011 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712645.011 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712645.011 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712645.011 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712645.011 * [misc]taylor: Taking taylor expansion of c in c 1550712645.011 * [misc]backup-simplify: Simplify 0 into 0 1550712645.011 * [misc]backup-simplify: Simplify 1 into 1 1550712645.011 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.011 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712645.011 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712645.011 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712645.011 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712645.011 * [misc]taylor: Taking taylor expansion of c in c 1550712645.011 * [misc]backup-simplify: Simplify 0 into 0 1550712645.011 * [misc]backup-simplify: Simplify 1 into 1 1550712645.011 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.012 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.012 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712645.012 * [misc]taylor: Taking taylor expansion of 2 in c 1550712645.012 * [misc]backup-simplify: Simplify 2 into 2 1550712645.012 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712645.012 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712645.012 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712645.012 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712645.012 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.012 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.013 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712645.013 * [misc]backup-simplify: Simplify 0 into 0 1550712645.013 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.013 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.013 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.013 * [misc]backup-simplify: Simplify 0 into 0 1550712645.013 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.013 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.014 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.014 * [misc]backup-simplify: Simplify 0 into 0 1550712645.014 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.014 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.015 * [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 1550712645.015 * [misc]backup-simplify: Simplify 0 into 0 1550712645.015 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.015 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.015 * [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 1550712645.015 * [misc]backup-simplify: Simplify 0 into 0 1550712645.016 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.016 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.016 * [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 1550712645.016 * [misc]backup-simplify: Simplify 0 into 0 1550712645.016 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1550712645.017 * [misc]backup-simplify: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1550712645.017 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1550712645.017 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712645.017 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712645.017 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712645.017 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712645.017 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712645.017 * [misc]taylor: Taking taylor expansion of -1 in c 1550712645.017 * [misc]backup-simplify: Simplify -1 into -1 1550712645.017 * [misc]taylor: Taking taylor expansion of c in c 1550712645.017 * [misc]backup-simplify: Simplify 0 into 0 1550712645.017 * [misc]backup-simplify: Simplify 1 into 1 1550712645.017 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.017 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712645.017 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712645.017 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712645.017 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712645.017 * [misc]taylor: Taking taylor expansion of -1 in c 1550712645.017 * [misc]backup-simplify: Simplify -1 into -1 1550712645.017 * [misc]taylor: Taking taylor expansion of c in c 1550712645.017 * [misc]backup-simplify: Simplify 0 into 0 1550712645.017 * [misc]backup-simplify: Simplify 1 into 1 1550712645.017 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.017 * [misc]backup-simplify: Simplify (- -1) into 1 1550712645.017 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712645.017 * [misc]taylor: Taking taylor expansion of 2 in c 1550712645.017 * [misc]backup-simplify: Simplify 2 into 2 1550712645.017 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712645.017 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712645.018 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712645.018 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712645.018 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712645.018 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712645.018 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712645.018 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712645.018 * [misc]taylor: Taking taylor expansion of -1 in c 1550712645.018 * [misc]backup-simplify: Simplify -1 into -1 1550712645.018 * [misc]taylor: Taking taylor expansion of c in c 1550712645.018 * [misc]backup-simplify: Simplify 0 into 0 1550712645.018 * [misc]backup-simplify: Simplify 1 into 1 1550712645.018 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.018 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712645.018 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712645.018 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712645.018 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712645.018 * [misc]taylor: Taking taylor expansion of -1 in c 1550712645.018 * [misc]backup-simplify: Simplify -1 into -1 1550712645.018 * [misc]taylor: Taking taylor expansion of c in c 1550712645.018 * [misc]backup-simplify: Simplify 0 into 0 1550712645.018 * [misc]backup-simplify: Simplify 1 into 1 1550712645.018 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.018 * [misc]backup-simplify: Simplify (- -1) into 1 1550712645.018 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712645.018 * [misc]taylor: Taking taylor expansion of 2 in c 1550712645.018 * [misc]backup-simplify: Simplify 2 into 2 1550712645.018 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712645.018 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712645.019 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712645.019 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712645.019 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.019 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712645.019 * [misc]backup-simplify: Simplify 0 into 0 1550712645.019 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.020 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.020 * [misc]backup-simplify: Simplify 0 into 0 1550712645.020 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.020 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.021 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.021 * [misc]backup-simplify: Simplify 0 into 0 1550712645.021 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.021 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.022 * [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 1550712645.022 * [misc]backup-simplify: Simplify 0 into 0 1550712645.022 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.022 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.023 * [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 1550712645.023 * [misc]backup-simplify: Simplify 0 into 0 1550712645.023 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.023 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.025 * [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 1550712645.025 * [misc]backup-simplify: Simplify 0 into 0 1550712645.025 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712645.025 * * * [misc]progress: simplifying candidates 1550712645.025 * * * * [misc]progress: [ 1 / 104 ] simplifiying candidate # 1550712645.025 * * * * [misc]progress: [ 2 / 104 ] simplifiying candidate # 1550712645.025 * * * * [misc]progress: [ 3 / 104 ] simplifiying candidate # 1550712645.025 * * * * [misc]progress: [ 4 / 104 ] simplifiying candidate # 1550712645.025 * * * * [misc]progress: [ 5 / 104 ] simplifiying candidate # 1550712645.025 * * * * [misc]progress: [ 6 / 104 ] simplifiying candidate # 1550712645.026 * * * * [misc]progress: [ 7 / 104 ] simplifiying candidate # 1550712645.026 * [enter]simplify: Simplifying (cbrt (* (sinh c) (sinh c))) 1550712645.026 * * [misc]simplify: iters left: 4 (4 enodes) 1550712645.028 * * [misc]simplify: iters left: 3 (18 enodes) 1550712645.034 * * [misc]simplify: iters left: 2 (39 enodes) 1550712645.047 * * [misc]simplify: iters left: 1 (71 enodes) 1550712645.074 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.074 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.074 * * [misc]simplify: Extracting #2: cost 21 inf + 0 1550712645.074 * * [misc]simplify: Extracting #3: cost 42 inf + 2 1550712645.075 * * [misc]simplify: Extracting #4: cost 61 inf + 227 1550712645.076 * * [misc]simplify: Extracting #5: cost 32 inf + 4452 1550712645.078 * * [misc]simplify: Extracting #6: cost 3 inf + 9633 1550712645.081 * * [misc]simplify: Extracting #7: cost 0 inf + 10366 1550712645.084 * [exit]simplify: Simplified to (cbrt (* (sinh c) (sinh c))) 1550712645.084 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (* (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712645.084 * * * * [misc]progress: [ 8 / 104 ] simplifiying candidate # 1550712645.085 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1550712645.085 * * [misc]simplify: iters left: 6 (8 enodes) 1550712645.088 * * [misc]simplify: iters left: 5 (29 enodes) 1550712645.098 * * [misc]simplify: iters left: 4 (53 enodes) 1550712645.118 * * [misc]simplify: iters left: 3 (153 enodes) 1550712645.187 * * [misc]simplify: iters left: 2 (412 enodes) 1550712645.408 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.408 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712645.408 * * [misc]simplify: Extracting #2: cost 66 inf + 1 1550712645.410 * * [misc]simplify: Extracting #3: cost 160 inf + 75 1550712645.413 * * [misc]simplify: Extracting #4: cost 107 inf + 10439 1550712645.422 * * [misc]simplify: Extracting #5: cost 13 inf + 33761 1550712645.430 * * [misc]simplify: Extracting #6: cost 0 inf + 36328 1550712645.442 * * [misc]simplify: Extracting #7: cost 0 inf + 36118 1550712645.457 * [exit]simplify: Simplified to (+ (/ -1 (exp c)) (exp c)) 1550712645.457 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) (cbrt (* (* 2 2) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712645.457 * * * * [misc]progress: [ 9 / 104 ] simplifiying candidate # 1550712645.458 * [enter]simplify: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1550712645.458 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.462 * * [misc]simplify: iters left: 5 (37 enodes) 1550712645.475 * * [misc]simplify: iters left: 4 (76 enodes) 1550712645.508 * * [misc]simplify: iters left: 3 (229 enodes) 1550712645.575 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.575 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.575 * * [misc]simplify: Extracting #2: cost 37 inf + 0 1550712645.575 * * [misc]simplify: Extracting #3: cost 143 inf + 1 1550712645.577 * * [misc]simplify: Extracting #4: cost 181 inf + 951 1550712645.580 * * [misc]simplify: Extracting #5: cost 123 inf + 13468 1550712645.593 * * [misc]simplify: Extracting #6: cost 8 inf + 46119 1550712645.612 * * [misc]simplify: Extracting #7: cost 0 inf + 44316 1550712645.629 * * [misc]simplify: Extracting #8: cost 0 inf + 43972 1550712645.649 * [exit]simplify: Simplified to (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1550712645.649 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712645.649 * * * * [misc]progress: [ 10 / 104 ] simplifiying candidate # 1550712645.649 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c))))) 1550712645.649 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.653 * * [misc]simplify: iters left: 5 (35 enodes) 1550712645.659 * * [misc]simplify: iters left: 4 (66 enodes) 1550712645.673 * * [misc]simplify: iters left: 3 (178 enodes) 1550712645.761 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.761 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.761 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550712645.762 * * [misc]simplify: Extracting #3: cost 128 inf + 1 1550712645.763 * * [misc]simplify: Extracting #4: cost 137 inf + 768 1550712645.767 * * [misc]simplify: Extracting #5: cost 84 inf + 11224 1550712645.778 * * [misc]simplify: Extracting #6: cost 9 inf + 30523 1550712645.791 * * [misc]simplify: Extracting #7: cost 0 inf + 32925 1550712645.804 * * [misc]simplify: Extracting #8: cost 0 inf + 32923 1550712645.818 * [exit]simplify: Simplified to (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) 1550712645.818 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712645.818 * * * * [misc]progress: [ 11 / 104 ] simplifiying candidate # 1550712645.818 * [enter]simplify: Simplifying (cbrt (* (* (sinh c) (sinh c)) (- (exp c) (exp (- c))))) 1550712645.819 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.823 * * [misc]simplify: iters left: 5 (36 enodes) 1550712645.836 * * [misc]simplify: iters left: 4 (73 enodes) 1550712645.865 * * [misc]simplify: iters left: 3 (181 enodes) 1550712645.909 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.909 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.909 * * [misc]simplify: Extracting #2: cost 29 inf + 0 1550712645.910 * * [misc]simplify: Extracting #3: cost 114 inf + 2 1550712645.910 * * [misc]simplify: Extracting #4: cost 139 inf + 1678 1550712645.912 * * [misc]simplify: Extracting #5: cost 73 inf + 15769 1550712645.917 * * [misc]simplify: Extracting #6: cost 9 inf + 31547 1550712645.926 * * [misc]simplify: Extracting #7: cost 0 inf + 33318 1550712645.939 * * [misc]simplify: Extracting #8: cost 0 inf + 33262 1550712645.952 * [exit]simplify: Simplified to (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) 1550712645.952 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712645.952 * * * * [misc]progress: [ 12 / 104 ] simplifiying candidate # 1550712645.953 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c))) 1550712645.953 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.957 * * [misc]simplify: iters left: 5 (36 enodes) 1550712645.969 * * [misc]simplify: iters left: 4 (66 enodes) 1550712645.997 * * [misc]simplify: iters left: 3 (167 enodes) 1550712646.096 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.096 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.096 * * [misc]simplify: Extracting #2: cost 26 inf + 0 1550712646.096 * * [misc]simplify: Extracting #3: cost 98 inf + 1 1550712646.097 * * [misc]simplify: Extracting #4: cost 161 inf + 243 1550712646.100 * * [misc]simplify: Extracting #5: cost 116 inf + 7909 1550712646.110 * * [misc]simplify: Extracting #6: cost 25 inf + 30561 1550712646.127 * * [misc]simplify: Extracting #7: cost 0 inf + 36868 1550712646.141 * * [misc]simplify: Extracting #8: cost 0 inf + 36799 1550712646.155 * [exit]simplify: Simplified to (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) 1550712646.155 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.156 * * * * [misc]progress: [ 13 / 104 ] simplifiying candidate # 1550712646.156 * [enter]simplify: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c))) 1550712646.156 * * [misc]simplify: iters left: 6 (9 enodes) 1550712646.160 * * [misc]simplify: iters left: 5 (35 enodes) 1550712646.172 * * [misc]simplify: iters left: 4 (65 enodes) 1550712646.198 * * [misc]simplify: iters left: 3 (163 enodes) 1550712646.268 * * [misc]simplify: iters left: 2 (484 enodes) 1550712646.627 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.627 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.627 * * [misc]simplify: Extracting #2: cost 32 inf + 0 1550712646.628 * * [misc]simplify: Extracting #3: cost 194 inf + 2 1550712646.631 * * [misc]simplify: Extracting #4: cost 314 inf + 3469 1550712646.645 * * [misc]simplify: Extracting #5: cost 120 inf + 47694 1550712646.679 * * [misc]simplify: Extracting #6: cost 3 inf + 76892 1550712646.715 * * [misc]simplify: Extracting #7: cost 0 inf + 76714 1550712646.755 * [exit]simplify: Simplified to (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) 1550712646.756 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.756 * * * * [misc]progress: [ 14 / 104 ] simplifiying candidate # 1550712646.756 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c))) 1550712646.756 * * [misc]simplify: iters left: 6 (9 enodes) 1550712646.760 * * [misc]simplify: iters left: 5 (37 enodes) 1550712646.773 * * [misc]simplify: iters left: 4 (68 enodes) 1550712646.798 * * [misc]simplify: iters left: 3 (169 enodes) 1550712646.888 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.888 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.888 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550712646.889 * * [misc]simplify: Extracting #3: cost 110 inf + 2 1550712646.889 * * [misc]simplify: Extracting #4: cost 157 inf + 483 1550712646.893 * * [misc]simplify: Extracting #5: cost 95 inf + 13035 1550712646.902 * * [misc]simplify: Extracting #6: cost 12 inf + 33133 1550712646.914 * * [misc]simplify: Extracting #7: cost 0 inf + 35951 1550712646.927 * [exit]simplify: Simplified to (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) 1550712646.927 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.927 * * * * [misc]progress: [ 15 / 104 ] simplifiying candidate # 1550712646.927 * * * * [misc]progress: [ 16 / 104 ] simplifiying candidate # 1550712646.927 * * * * [misc]progress: [ 17 / 104 ] simplifiying candidate # 1550712646.927 * * * * [misc]progress: [ 18 / 104 ] simplifiying candidate # 1550712646.927 * * * * [misc]progress: [ 19 / 104 ] simplifiying candidate # 1550712646.927 * * * * [misc]progress: [ 20 / 104 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712646.928 * * * * [misc]progress: [ 21 / 104 ] simplifiying candidate # 1550712646.928 * * * * [misc]progress: [ 22 / 104 ] simplifiying candidate # 1550712646.928 * * * * [misc]progress: [ 23 / 104 ] simplifiying candidate # 1550712646.928 * [enter]simplify: Simplifying (sinh c) 1550712646.928 * * [misc]simplify: iters left: 1 (2 enodes) 1550712646.929 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.929 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712646.929 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712646.929 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712646.929 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712646.929 * [exit]simplify: Simplified to (sinh c) 1550712646.929 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.930 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1550712646.930 * * [misc]simplify: iters left: 4 (3 enodes) 1550712646.934 * * [misc]simplify: iters left: 3 (14 enodes) 1550712646.938 * * [misc]simplify: iters left: 2 (16 enodes) 1550712646.942 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.942 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712646.942 * [exit]simplify: Simplified to 3 1550712646.942 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.943 * * * * [misc]progress: [ 24 / 104 ] simplifiying candidate # 1550712646.943 * [enter]simplify: Simplifying (sinh c) 1550712646.943 * * [misc]simplify: iters left: 1 (2 enodes) 1550712646.944 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.944 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712646.944 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712646.944 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712646.944 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712646.944 * [exit]simplify: Simplified to (sinh c) 1550712646.944 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.945 * [enter]simplify: Simplifying (+ 2 1) 1550712646.945 * * [misc]simplify: iters left: 2 (3 enodes) 1550712646.948 * * [misc]simplify: iters left: 1 (13 enodes) 1550712646.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.952 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712646.953 * [exit]simplify: Simplified to 3 1550712646.953 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.953 * * * * [misc]progress: [ 25 / 104 ] simplifiying candidate # 1550712646.953 * [enter]simplify: Simplifying (sinh c) 1550712646.953 * * [misc]simplify: iters left: 1 (2 enodes) 1550712646.954 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.954 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712646.954 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712646.954 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712646.954 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712646.954 * [exit]simplify: Simplified to (sinh c) 1550712646.954 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.955 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1550712646.955 * * [misc]simplify: iters left: 4 (3 enodes) 1550712646.959 * * [misc]simplify: iters left: 3 (14 enodes) 1550712646.963 * * [misc]simplify: iters left: 2 (16 enodes) 1550712646.967 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.967 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712646.967 * [exit]simplify: Simplified to 3 1550712646.967 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.968 * * * * [misc]progress: [ 26 / 104 ] simplifiying candidate # 1550712646.968 * [enter]simplify: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1550712646.968 * * [misc]simplify: iters left: 5 (4 enodes) 1550712646.970 * * [misc]simplify: iters left: 4 (19 enodes) 1550712646.976 * * [misc]simplify: iters left: 3 (46 enodes) 1550712646.993 * * [misc]simplify: iters left: 2 (107 enodes) 1550712647.042 * * [misc]simplify: iters left: 1 (295 enodes) 1550712647.266 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.266 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550712647.267 * * [misc]simplify: Extracting #2: cost 122 inf + 4 1550712647.269 * * [misc]simplify: Extracting #3: cost 239 inf + 1965 1550712647.281 * * [misc]simplify: Extracting #4: cost 95 inf + 33793 1550712647.304 * * [misc]simplify: Extracting #5: cost 0 inf + 58426 1550712647.328 * * [misc]simplify: Extracting #6: cost 0 inf + 54532 1550712647.352 * [exit]simplify: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1550712647.352 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (* (* (sinh c) (sinh c)) (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.352 * * * * [misc]progress: [ 27 / 104 ] simplifiying candidate # 1550712647.353 * [enter]simplify: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1550712647.353 * * [misc]simplify: iters left: 5 (4 enodes) 1550712647.355 * * [misc]simplify: iters left: 4 (19 enodes) 1550712647.361 * * [misc]simplify: iters left: 3 (46 enodes) 1550712647.380 * * [misc]simplify: iters left: 2 (107 enodes) 1550712647.429 * * [misc]simplify: iters left: 1 (295 enodes) 1550712647.609 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.609 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550712647.610 * * [misc]simplify: Extracting #2: cost 122 inf + 4 1550712647.612 * * [misc]simplify: Extracting #3: cost 239 inf + 1965 1550712647.623 * * [misc]simplify: Extracting #4: cost 95 inf + 33793 1550712647.647 * * [misc]simplify: Extracting #5: cost 0 inf + 58426 1550712647.671 * * [misc]simplify: Extracting #6: cost 0 inf + 54532 1550712647.695 * [exit]simplify: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1550712647.695 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (* (* (sinh c) (sinh c)) (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.695 * * * * [misc]progress: [ 28 / 104 ] simplifiying candidate # 1550712647.696 * [enter]simplify: Simplifying (sinh c) 1550712647.696 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.697 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.697 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.697 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.697 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.697 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.697 * [exit]simplify: Simplified to (sinh c) 1550712647.697 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.697 * * * * [misc]progress: [ 29 / 104 ] simplifiying candidate # 1550712647.698 * [enter]simplify: Simplifying (sinh c) 1550712647.698 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.699 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.699 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.699 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.699 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.699 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.699 * [exit]simplify: Simplified to (sinh c) 1550712647.699 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.699 * * * * [misc]progress: [ 30 / 104 ] simplifiying candidate # 1550712647.700 * [enter]simplify: Simplifying (sinh c) 1550712647.700 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.700 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.701 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.701 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.701 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.701 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.701 * [exit]simplify: Simplified to (sinh c) 1550712647.701 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.701 * * * * [misc]progress: [ 31 / 104 ] simplifiying candidate # 1550712647.701 * [enter]simplify: Simplifying (sinh c) 1550712647.701 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.702 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.702 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.702 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.703 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.703 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.703 * [exit]simplify: Simplified to (sinh c) 1550712647.703 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.703 * * * * [misc]progress: [ 32 / 104 ] simplifiying candidate # 1550712647.703 * * * * [misc]progress: [ 33 / 104 ] simplifiying candidate # 1550712647.703 * [enter]simplify: Simplifying (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1550712647.703 * * [misc]simplify: iters left: 6 (5 enodes) 1550712647.706 * * [misc]simplify: iters left: 5 (22 enodes) 1550712647.713 * * [misc]simplify: iters left: 4 (42 enodes) 1550712647.727 * * [misc]simplify: iters left: 3 (74 enodes) 1550712647.755 * * [misc]simplify: iters left: 2 (129 enodes) 1550712647.800 * * [misc]simplify: iters left: 1 (240 enodes) 1550712647.898 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.898 * * [misc]simplify: Extracting #1: cost 22 inf + 0 1550712647.898 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550712647.899 * * [misc]simplify: Extracting #3: cost 74 inf + 1 1550712647.900 * * [misc]simplify: Extracting #4: cost 82 inf + 200 1550712647.902 * * [misc]simplify: Extracting #5: cost 44 inf + 6356 1550712647.905 * * [misc]simplify: Extracting #6: cost 21 inf + 11363 1550712647.912 * * [misc]simplify: Extracting #7: cost 4 inf + 17783 1550712647.921 * * [misc]simplify: Extracting #8: cost 0 inf + 19037 1550712647.930 * * [misc]simplify: Extracting #9: cost 0 inf + 19009 1550712647.939 * [exit]simplify: Simplified to (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1550712647.939 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (exp (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.939 * * * * [misc]progress: [ 34 / 104 ] simplifiying candidate # 1550712647.939 * [enter]simplify: Simplifying (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1550712647.940 * * [misc]simplify: iters left: 6 (6 enodes) 1550712647.942 * * [misc]simplify: iters left: 5 (26 enodes) 1550712647.952 * * [misc]simplify: iters left: 4 (50 enodes) 1550712647.969 * * [misc]simplify: iters left: 3 (100 enodes) 1550712648.005 * * [misc]simplify: iters left: 2 (233 enodes) 1550712648.108 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.109 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550712648.109 * * [misc]simplify: Extracting #2: cost 71 inf + 0 1550712648.110 * * [misc]simplify: Extracting #3: cost 98 inf + 778 1550712648.111 * * [misc]simplify: Extracting #4: cost 152 inf + 2916 1550712648.114 * * [misc]simplify: Extracting #5: cost 103 inf + 10922 1550712648.123 * * [misc]simplify: Extracting #6: cost 26 inf + 30234 1550712648.136 * * [misc]simplify: Extracting #7: cost 0 inf + 36118 1550712648.150 * * [misc]simplify: Extracting #8: cost 0 inf + 34969 1550712648.166 * * [misc]simplify: Extracting #9: cost 0 inf + 34801 1550712648.179 * [exit]simplify: Simplified to (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1550712648.179 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (exp (+ (log (* (sinh c) (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712648.179 * * * * [misc]progress: [ 35 / 104 ] simplifiying candidate # 1550712648.180 * * * * [misc]progress: [ 36 / 104 ] simplifiying candidate # 1550712648.180 * * * * [misc]progress: [ 37 / 104 ] simplifiying candidate # 1550712648.180 * [enter]simplify: Simplifying (* (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1550712648.180 * * [misc]simplify: iters left: 6 (6 enodes) 1550712648.183 * * [misc]simplify: iters left: 5 (32 enodes) 1550712648.195 * * [misc]simplify: iters left: 4 (93 enodes) 1550712648.245 * * [misc]simplify: iters left: 3 (308 enodes) 1550712648.474 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.474 * * [misc]simplify: Extracting #1: cost 31 inf + 0 1550712648.475 * * [misc]simplify: Extracting #2: cost 189 inf + 3 1550712648.481 * * [misc]simplify: Extracting #3: cost 277 inf + 4936 1550712648.491 * * [misc]simplify: Extracting #4: cost 192 inf + 32041 1550712648.521 * * [misc]simplify: Extracting #5: cost 23 inf + 86838 1550712648.559 * * [misc]simplify: Extracting #6: cost 0 inf + 95906 1550712648.599 * * [misc]simplify: Extracting #7: cost 0 inf + 95769 1550712648.638 * [exit]simplify: Simplified to (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))) 1550712648.638 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (cbrt (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712648.638 * * * * [misc]progress: [ 38 / 104 ] simplifiying candidate # 1550712648.639 * [enter]simplify: Simplifying (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1550712648.639 * * [misc]simplify: iters left: 6 (7 enodes) 1550712648.642 * * [misc]simplify: iters left: 5 (38 enodes) 1550712648.659 * * [misc]simplify: iters left: 4 (102 enodes) 1550712648.715 * * [misc]simplify: iters left: 3 (321 enodes) 1550712648.926 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.926 * * [misc]simplify: Extracting #1: cost 31 inf + 0 1550712648.927 * * [misc]simplify: Extracting #2: cost 190 inf + 3 1550712648.930 * * [misc]simplify: Extracting #3: cost 258 inf + 6355 1550712648.940 * * [misc]simplify: Extracting #4: cost 189 inf + 32524 1550712648.973 * * [misc]simplify: Extracting #5: cost 25 inf + 86374 1550712649.010 * * [misc]simplify: Extracting #6: cost 0 inf + 93982 1550712649.046 * * [misc]simplify: Extracting #7: cost 0 inf + 93954 1550712649.083 * [exit]simplify: Simplified to (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)) 1550712649.083 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (cbrt (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712649.084 * * * * [misc]progress: [ 39 / 104 ] simplifiying candidate # 1550712649.084 * * * * [misc]progress: [ 40 / 104 ] simplifiying candidate # 1550712649.084 * * * * [misc]progress: [ 41 / 104 ] simplifiying candidate # 1550712649.084 * * * * [misc]progress: [ 42 / 104 ] simplifiying candidate # 1550712649.084 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1550712649.084 * * [misc]simplify: iters left: 6 (7 enodes) 1550712649.087 * * [misc]simplify: iters left: 5 (26 enodes) 1550712649.095 * * [misc]simplify: iters left: 4 (50 enodes) 1550712649.115 * * [misc]simplify: iters left: 3 (132 enodes) 1550712649.186 * * [misc]simplify: iters left: 2 (431 enodes) 1550712649.519 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.519 * * [misc]simplify: Extracting #1: cost 51 inf + 0 1550712649.520 * * [misc]simplify: Extracting #2: cost 329 inf + 2 1550712649.522 * * [misc]simplify: Extracting #3: cost 293 inf + 9500 1550712649.532 * * [misc]simplify: Extracting #4: cost 82 inf + 56649 1550712649.562 * * [misc]simplify: Extracting #5: cost 0 inf + 79248 1550712649.595 * * [misc]simplify: Extracting #6: cost 0 inf + 77986 1550712649.627 * [exit]simplify: Simplified to (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 1550712649.627 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) (* (* 2 2) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712649.627 * [enter]simplify: Simplifying (* (* 2 2) 2) 1550712649.627 * * [misc]simplify: iters left: 4 (3 enodes) 1550712649.632 * * [misc]simplify: iters left: 3 (12 enodes) 1550712649.635 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.635 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712649.635 * [exit]simplify: Simplified to 8 1550712649.635 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 8)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712649.636 * * * * [misc]progress: [ 43 / 104 ] simplifiying candidate # 1550712649.636 * [enter]simplify: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1550712649.636 * * [misc]simplify: iters left: 6 (8 enodes) 1550712649.639 * * [misc]simplify: iters left: 5 (34 enodes) 1550712649.650 * * [misc]simplify: iters left: 4 (73 enodes) 1550712649.667 * * [misc]simplify: iters left: 3 (226 enodes) 1550712649.776 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.776 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550712649.777 * * [misc]simplify: Extracting #2: cost 144 inf + 1 1550712649.778 * * [misc]simplify: Extracting #3: cost 187 inf + 522 1550712649.782 * * [misc]simplify: Extracting #4: cost 130 inf + 13285 1550712649.800 * * [misc]simplify: Extracting #5: cost 9 inf + 46426 1550712649.817 * * [misc]simplify: Extracting #6: cost 0 inf + 44955 1550712649.833 * * [misc]simplify: Extracting #7: cost 0 inf + 44799 1550712649.851 * [exit]simplify: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 1550712649.851 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712649.851 * [enter]simplify: Simplifying (* 2 2) 1550712649.851 * * [misc]simplify: iters left: 2 (2 enodes) 1550712649.854 * * [misc]simplify: iters left: 1 (7 enodes) 1550712649.856 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.856 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712649.856 * [exit]simplify: Simplified to 4 1550712649.856 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 4)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712649.856 * * * * [misc]progress: [ 44 / 104 ] simplifiying candidate # 1550712649.857 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c)))) 1550712649.857 * * [misc]simplify: iters left: 6 (8 enodes) 1550712649.860 * * [misc]simplify: iters left: 5 (32 enodes) 1550712649.871 * * [misc]simplify: iters left: 4 (63 enodes) 1550712649.898 * * [misc]simplify: iters left: 3 (175 enodes) 1550712649.987 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.987 * * [misc]simplify: Extracting #1: cost 32 inf + 0 1550712649.987 * * [misc]simplify: Extracting #2: cost 126 inf + 1 1550712649.988 * * [misc]simplify: Extracting #3: cost 135 inf + 753 1550712649.990 * * [misc]simplify: Extracting #4: cost 77 inf + 13423 1550712649.995 * * [misc]simplify: Extracting #5: cost 8 inf + 30426 1550712650.002 * * [misc]simplify: Extracting #6: cost 0 inf + 32395 1550712650.009 * [exit]simplify: Simplified to (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 1550712650.009 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.009 * [enter]simplify: Simplifying (* 2 2) 1550712650.009 * * [misc]simplify: iters left: 2 (2 enodes) 1550712650.011 * * [misc]simplify: iters left: 1 (7 enodes) 1550712650.012 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.012 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712650.012 * [exit]simplify: Simplified to 4 1550712650.012 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 4)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.012 * * * * [misc]progress: [ 45 / 104 ] simplifiying candidate # 1550712650.012 * * * * [misc]progress: [ 46 / 104 ] simplifiying candidate # 1550712650.012 * [enter]simplify: Simplifying (cbrt (sinh c)) 1550712650.012 * * [misc]simplify: iters left: 2 (3 enodes) 1550712650.014 * * [misc]simplify: iters left: 1 (15 enodes) 1550712650.019 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.019 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712650.019 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712650.019 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712650.019 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712650.019 * * [misc]simplify: Extracting #5: cost 5 inf + 904 1550712650.020 * * [misc]simplify: Extracting #6: cost 0 inf + 1690 1550712650.020 * [exit]simplify: Simplified to (cbrt (sinh c)) 1550712650.020 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c)))) (cbrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.020 * * * * [misc]progress: [ 47 / 104 ] simplifiying candidate # 1550712650.021 * [enter]simplify: Simplifying (sqrt (sinh c)) 1550712650.021 * * [misc]simplify: iters left: 2 (3 enodes) 1550712650.022 * * [misc]simplify: iters left: 1 (15 enodes) 1550712650.027 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.027 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712650.027 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712650.027 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712650.028 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712650.028 * * [misc]simplify: Extracting #5: cost 5 inf + 824 1550712650.028 * * [misc]simplify: Extracting #6: cost 0 inf + 1610 1550712650.029 * [exit]simplify: Simplified to (sqrt (sinh c)) 1550712650.029 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.029 * * * * [misc]progress: [ 48 / 104 ] simplifiying candidate # 1550712650.029 * [enter]simplify: Simplifying (sinh c) 1550712650.029 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.030 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.030 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.030 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.030 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.030 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.031 * [exit]simplify: Simplified to (sinh c) 1550712650.031 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) 1) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.031 * * * * [misc]progress: [ 49 / 104 ] simplifiying candidate # 1550712650.031 * [enter]simplify: Simplifying (sinh c) 1550712650.031 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.032 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.032 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.032 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.032 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.033 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.033 * [exit]simplify: Simplified to (sinh c) 1550712650.033 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (sinh c) (* (sinh c) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.033 * * * * [misc]progress: [ 50 / 104 ] simplifiying candidate # 1550712650.033 * * * * [misc]progress: [ 51 / 104 ] simplifiying candidate # 1550712650.033 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c)) 1550712650.033 * * [misc]simplify: iters left: 6 (8 enodes) 1550712650.037 * * [misc]simplify: iters left: 5 (33 enodes) 1550712650.048 * * [misc]simplify: iters left: 4 (63 enodes) 1550712650.061 * * [misc]simplify: iters left: 3 (164 enodes) 1550712650.141 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.141 * * [misc]simplify: Extracting #1: cost 26 inf + 0 1550712650.141 * * [misc]simplify: Extracting #2: cost 104 inf + 1 1550712650.143 * * [misc]simplify: Extracting #3: cost 174 inf + 726 1550712650.147 * * [misc]simplify: Extracting #4: cost 96 inf + 19777 1550712650.162 * * [misc]simplify: Extracting #5: cost 4 inf + 44060 1550712650.176 * * [misc]simplify: Extracting #6: cost 0 inf + 40461 1550712650.190 * * [misc]simplify: Extracting #7: cost 0 inf + 40185 1550712650.204 * [exit]simplify: Simplified to (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) 1550712650.204 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.205 * * * * [misc]progress: [ 52 / 104 ] simplifiying candidate # 1550712650.205 * [enter]simplify: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c)) 1550712650.205 * * [misc]simplify: iters left: 6 (8 enodes) 1550712650.209 * * [misc]simplify: iters left: 5 (32 enodes) 1550712650.220 * * [misc]simplify: iters left: 4 (62 enodes) 1550712650.243 * * [misc]simplify: iters left: 3 (160 enodes) 1550712650.327 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.327 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1550712650.328 * * [misc]simplify: Extracting #2: cost 105 inf + 2 1550712650.329 * * [misc]simplify: Extracting #3: cost 153 inf + 1320 1550712650.332 * * [misc]simplify: Extracting #4: cost 109 inf + 9614 1550712650.341 * * [misc]simplify: Extracting #5: cost 11 inf + 33779 1550712650.353 * * [misc]simplify: Extracting #6: cost 0 inf + 35877 1550712650.365 * * [misc]simplify: Extracting #7: cost 0 inf + 35863 1550712650.377 * [exit]simplify: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 1550712650.378 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.378 * * * * [misc]progress: [ 53 / 104 ] simplifiying candidate # 1550712650.379 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c)) 1550712650.379 * * [misc]simplify: iters left: 6 (8 enodes) 1550712650.382 * * [misc]simplify: iters left: 5 (34 enodes) 1550712650.393 * * [misc]simplify: iters left: 4 (65 enodes) 1550712650.421 * * [misc]simplify: iters left: 3 (166 enodes) 1550712650.503 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.503 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1550712650.503 * * [misc]simplify: Extracting #2: cost 109 inf + 2 1550712650.503 * * [misc]simplify: Extracting #3: cost 161 inf + 397 1550712650.505 * * [misc]simplify: Extracting #4: cost 89 inf + 14681 1550712650.510 * * [misc]simplify: Extracting #5: cost 16 inf + 32861 1550712650.516 * * [misc]simplify: Extracting #6: cost 0 inf + 36627 1550712650.524 * * [misc]simplify: Extracting #7: cost 0 inf + 36613 1550712650.533 * [exit]simplify: Simplified to (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1550712650.534 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.534 * * * * [misc]progress: [ 54 / 104 ] simplifiying candidate #real (real->posit16 (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712650.534 * * * * [misc]progress: [ 55 / 104 ] simplifiying candidate # 1550712650.534 * * * * [misc]progress: [ 56 / 104 ] simplifiying candidate # 1550712650.534 * * * * [misc]progress: [ 57 / 104 ] simplifiying candidate # 1550712650.534 * * * * [misc]progress: [ 58 / 104 ] simplifiying candidate # 1550712650.534 * [enter]simplify: Simplifying (sinh c) 1550712650.535 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.536 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.536 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.536 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.536 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.536 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.536 * [exit]simplify: Simplified to (sinh c) 1550712650.536 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (pow (sinh c) (+ 1 1)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.536 * [enter]simplify: Simplifying (+ 1 1) 1550712650.536 * * [misc]simplify: iters left: 2 (2 enodes) 1550712650.539 * * [misc]simplify: iters left: 1 (9 enodes) 1550712650.542 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.542 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712650.542 * [exit]simplify: Simplified to 2 1550712650.542 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (pow (sinh c) 2) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.542 * * * * [misc]progress: [ 59 / 104 ] simplifiying candidate # 1550712650.543 * [enter]simplify: Simplifying (* (sinh c) (sinh c)) 1550712650.543 * * [misc]simplify: iters left: 3 (3 enodes) 1550712650.544 * * [misc]simplify: iters left: 2 (15 enodes) 1550712650.549 * * [misc]simplify: iters left: 1 (36 enodes) 1550712650.561 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.561 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550712650.562 * * [misc]simplify: Extracting #2: cost 22 inf + 1 1550712650.562 * * [misc]simplify: Extracting #3: cost 30 inf + 2 1550712650.562 * * [misc]simplify: Extracting #4: cost 18 inf + 1023 1550712650.563 * * [misc]simplify: Extracting #5: cost 0 inf + 3808 1550712650.564 * [exit]simplify: Simplified to (* (sinh c) (sinh c)) 1550712650.564 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (pow (* (sinh c) (sinh c)) 1) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.564 * * * * [misc]progress: [ 60 / 104 ] simplifiying candidate # 1550712650.564 * * * * [misc]progress: [ 61 / 104 ] simplifiying candidate # 1550712650.565 * [enter]simplify: Simplifying (sinh c) 1550712650.565 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.566 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.566 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.566 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.566 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.566 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.566 * [exit]simplify: Simplified to (sinh c) 1550712650.566 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (pow (sinh c) (+ 1 1)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.566 * * * * [misc]progress: [ 62 / 104 ] simplifiying candidate # 1550712650.566 * * * * [misc]progress: [ 63 / 104 ] simplifiying candidate # 1550712650.567 * [enter]simplify: Simplifying (+ (log (sinh c)) (log (sinh c))) 1550712650.567 * * [misc]simplify: iters left: 4 (4 enodes) 1550712650.568 * * [misc]simplify: iters left: 3 (18 enodes) 1550712650.575 * * [misc]simplify: iters left: 2 (38 enodes) 1550712650.588 * * [misc]simplify: iters left: 1 (66 enodes) 1550712650.608 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.608 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550712650.609 * * [misc]simplify: Extracting #2: cost 21 inf + 0 1550712650.609 * * [misc]simplify: Extracting #3: cost 29 inf + 1 1550712650.609 * * [misc]simplify: Extracting #4: cost 33 inf + 493 1550712650.610 * * [misc]simplify: Extracting #5: cost 18 inf + 2528 1550712650.611 * * [misc]simplify: Extracting #6: cost 6 inf + 4127 1550712650.612 * * [misc]simplify: Extracting #7: cost 0 inf + 6174 1550712650.614 * * [misc]simplify: Extracting #8: cost 0 inf + 5760 1550712650.616 * * [misc]simplify: Extracting #9: cost 0 inf + 5732 1550712650.618 * [exit]simplify: Simplified to (+ (log (sinh c)) (log (sinh c))) 1550712650.618 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (exp (+ (log (sinh c)) (log (sinh c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.618 * * * * [misc]progress: [ 64 / 104 ] simplifiying candidate # 1550712650.618 * * * * [misc]progress: [ 65 / 104 ] simplifiying candidate # 1550712650.618 * * * * [misc]progress: [ 66 / 104 ] simplifiying candidate # 1550712650.618 * [enter]simplify: Simplifying (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) 1550712650.618 * * [misc]simplify: iters left: 6 (5 enodes) 1550712650.621 * * [misc]simplify: iters left: 5 (26 enodes) 1550712650.630 * * [misc]simplify: iters left: 4 (68 enodes) 1550712650.657 * * [misc]simplify: iters left: 3 (200 enodes) 1550712650.746 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.747 * * [misc]simplify: Extracting #1: cost 28 inf + 0 1550712650.747 * * [misc]simplify: Extracting #2: cost 147 inf + 3 1550712650.749 * * [misc]simplify: Extracting #3: cost 182 inf + 1336 1550712650.753 * * [misc]simplify: Extracting #4: cost 135 inf + 16177 1550712650.767 * * [misc]simplify: Extracting #5: cost 25 inf + 49416 1550712650.786 * * [misc]simplify: Extracting #6: cost 0 inf + 54800 1550712650.807 * * [misc]simplify: Extracting #7: cost 0 inf + 53235 1550712650.827 * * [misc]simplify: Extracting #8: cost 0 inf + 52806 1550712650.848 * [exit]simplify: Simplified to (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) 1550712650.848 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (cbrt (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712650.848 * * * * [misc]progress: [ 67 / 104 ] simplifiying candidate # 1550712650.848 * * * * [misc]progress: [ 68 / 104 ] simplifiying candidate # 1550712650.848 * * * * [misc]progress: [ 69 / 104 ] simplifiying candidate # 1550712650.849 * * * * [misc]progress: [ 70 / 104 ] simplifiying candidate # 1550712650.849 * [enter]simplify: Simplifying (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) 1550712650.849 * * [misc]simplify: iters left: 6 (6 enodes) 1550712650.851 * * [misc]simplify: iters left: 5 (22 enodes) 1550712650.859 * * [misc]simplify: iters left: 4 (38 enodes) 1550712650.872 * * [misc]simplify: iters left: 3 (70 enodes) 1550712650.899 * * [misc]simplify: iters left: 2 (156 enodes) 1550712650.968 * * [misc]simplify: iters left: 1 (333 enodes) 1550712651.118 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.118 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550712651.119 * * [misc]simplify: Extracting #2: cost 56 inf + 3 1550712651.120 * * [misc]simplify: Extracting #3: cost 59 inf + 299 1550712651.122 * * [misc]simplify: Extracting #4: cost 18 inf + 5811 1550712651.127 * * [misc]simplify: Extracting #5: cost 0 inf + 9153 1550712651.133 * * [misc]simplify: Extracting #6: cost 0 inf + 9152 1550712651.138 * [exit]simplify: Simplified to (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c)))) 1550712651.138 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (/ (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c)))) (* 2 2)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.138 * [enter]simplify: Simplifying (* 2 2) 1550712651.138 * * [misc]simplify: iters left: 2 (2 enodes) 1550712651.143 * * [misc]simplify: iters left: 1 (7 enodes) 1550712651.146 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.146 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712651.146 * [exit]simplify: Simplified to 4 1550712651.146 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (/ (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c)))) 4) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.146 * * * * [misc]progress: [ 71 / 104 ] simplifiying candidate # 1550712651.146 * * * * [misc]progress: [ 72 / 104 ] simplifiying candidate # 1550712651.146 * [enter]simplify: Simplifying (cbrt (sinh c)) 1550712651.146 * * [misc]simplify: iters left: 2 (3 enodes) 1550712651.147 * * [misc]simplify: iters left: 1 (15 enodes) 1550712651.152 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.152 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712651.153 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712651.153 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712651.153 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712651.153 * * [misc]simplify: Extracting #5: cost 5 inf + 904 1550712651.153 * * [misc]simplify: Extracting #6: cost 0 inf + 1690 1550712651.154 * [exit]simplify: Simplified to (cbrt (sinh c)) 1550712651.154 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (* (cbrt (sinh c)) (cbrt (sinh c)))) (cbrt (sinh c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.154 * * * * [misc]progress: [ 73 / 104 ] simplifiying candidate # 1550712651.154 * [enter]simplify: Simplifying (sqrt (sinh c)) 1550712651.154 * * [misc]simplify: iters left: 2 (3 enodes) 1550712651.156 * * [misc]simplify: iters left: 1 (15 enodes) 1550712651.161 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.161 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712651.161 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712651.161 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712651.161 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712651.161 * * [misc]simplify: Extracting #5: cost 5 inf + 824 1550712651.162 * * [misc]simplify: Extracting #6: cost 0 inf + 1610 1550712651.162 * [exit]simplify: Simplified to (sqrt (sinh c)) 1550712651.162 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sqrt (sinh c))) (sqrt (sinh c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.162 * * * * [misc]progress: [ 74 / 104 ] simplifiying candidate # 1550712651.163 * [enter]simplify: Simplifying (sinh c) 1550712651.163 * * [misc]simplify: iters left: 1 (2 enodes) 1550712651.164 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.164 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712651.164 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712651.164 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712651.164 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712651.164 * [exit]simplify: Simplified to (sinh c) 1550712651.164 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) 1) (sinh c)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.164 * * * * [misc]progress: [ 75 / 104 ] simplifiying candidate # 1550712651.165 * [enter]simplify: Simplifying (* (cbrt (sinh c)) (cbrt (sinh c))) 1550712651.165 * * [misc]simplify: iters left: 4 (4 enodes) 1550712651.166 * * [misc]simplify: iters left: 3 (18 enodes) 1550712651.172 * * [misc]simplify: iters left: 2 (35 enodes) 1550712651.183 * * [misc]simplify: iters left: 1 (53 enodes) 1550712651.198 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.199 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712651.199 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712651.199 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1550712651.199 * * [misc]simplify: Extracting #4: cost 21 inf + 2 1550712651.199 * * [misc]simplify: Extracting #5: cost 19 inf + 356 1550712651.200 * * [misc]simplify: Extracting #6: cost 3 inf + 2326 1550712651.200 * * [misc]simplify: Extracting #7: cost 0 inf + 2691 1550712651.201 * [exit]simplify: Simplified to (* (cbrt (sinh c)) (cbrt (sinh c))) 1550712651.201 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (* (* (cbrt (sinh c)) (cbrt (sinh c))) (* (cbrt (sinh c)) (sinh c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.201 * * * * [misc]progress: [ 76 / 104 ] simplifiying candidate # 1550712651.202 * [enter]simplify: Simplifying (sqrt (sinh c)) 1550712651.202 * * [misc]simplify: iters left: 2 (3 enodes) 1550712651.203 * * [misc]simplify: iters left: 1 (15 enodes) 1550712651.208 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.208 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712651.208 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712651.208 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712651.208 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712651.208 * * [misc]simplify: Extracting #5: cost 5 inf + 824 1550712651.209 * * [misc]simplify: Extracting #6: cost 0 inf + 1610 1550712651.209 * [exit]simplify: Simplified to (sqrt (sinh c)) 1550712651.209 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (* (sqrt (sinh c)) (* (sqrt (sinh c)) (sinh c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.209 * * * * [misc]progress: [ 77 / 104 ] simplifiying candidate # 1550712651.210 * * * * [misc]progress: [ 78 / 104 ] simplifiying candidate # 1550712651.210 * * * * [misc]progress: [ 79 / 104 ] simplifiying candidate # 1550712651.210 * [enter]simplify: Simplifying (* (- (exp c) (exp (- c))) (sinh c)) 1550712651.210 * * [misc]simplify: iters left: 6 (7 enodes) 1550712651.213 * * [misc]simplify: iters left: 5 (28 enodes) 1550712651.222 * * [misc]simplify: iters left: 4 (51 enodes) 1550712651.238 * * [misc]simplify: iters left: 3 (95 enodes) 1550712651.266 * * [misc]simplify: iters left: 2 (193 enodes) 1550712651.355 * * [misc]simplify: iters left: 1 (461 enodes) 1550712651.662 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.663 * * [misc]simplify: Extracting #1: cost 33 inf + 0 1550712651.663 * * [misc]simplify: Extracting #2: cost 115 inf + 4 1550712651.665 * * [misc]simplify: Extracting #3: cost 132 inf + 2694 1550712651.673 * * [misc]simplify: Extracting #4: cost 42 inf + 18670 1550712651.686 * * [misc]simplify: Extracting #5: cost 1 inf + 26601 1550712651.699 * * [misc]simplify: Extracting #6: cost 0 inf + 26693 1550712651.712 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) 1550712651.712 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (c) (fmod (cbrt (* (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) 2) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.712 * * * * [misc]progress: [ 80 / 104 ] simplifiying candidate #real (real->posit16 (* (sinh c) (sinh c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712651.712 * * * * [misc]progress: [ 81 / 104 ] simplifiying candidate # 1550712651.712 * * * * [misc]progress: [ 82 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 83 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 84 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 85 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 86 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 87 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 88 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 89 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 90 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 91 / 104 ] simplifiying candidate # 1550712651.713 * * * * [misc]progress: [ 92 / 104 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712651.713 * * * * [misc]progress: [ 93 / 104 ] simplifiying candidate # 1550712651.714 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1550712651.714 * * [misc]simplify: iters left: 6 (11 enodes) 1550712651.720 * * [misc]simplify: iters left: 5 (44 enodes) 1550712651.734 * * [misc]simplify: iters left: 4 (66 enodes) 1550712652.158 * * [misc]simplify: iters left: 3 (102 enodes) 1550712652.171 * * [misc]simplify: iters left: 2 (114 enodes) 1550712652.185 * * [misc]simplify: iters left: 1 (122 enodes) 1550712652.201 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.201 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712652.202 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1550712652.202 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1550712652.203 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1550712652.204 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1550712652.204 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1550712652.205 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1550712652.205 * [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)))) 1550712652.206 * * * * [misc]progress: [ 94 / 104 ] simplifiying candidate # 1550712652.206 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1550712652.206 * * [misc]simplify: iters left: 6 (7 enodes) 1550712652.208 * * [misc]simplify: iters left: 5 (26 enodes) 1550712652.213 * * [misc]simplify: iters left: 4 (42 enodes) 1550712652.220 * * [misc]simplify: iters left: 3 (62 enodes) 1550712652.235 * * [misc]simplify: iters left: 2 (82 enodes) 1550712652.245 * * [misc]simplify: iters left: 1 (86 enodes) 1550712652.263 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.263 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712652.263 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1550712652.263 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1550712652.264 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1550712652.264 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1550712652.265 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1550712652.266 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712652.266 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712652.267 * * * * [misc]progress: [ 95 / 104 ] simplifiying candidate # 1550712652.267 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712652.267 * * [misc]simplify: iters left: 6 (8 enodes) 1550712652.272 * * [misc]simplify: iters left: 5 (31 enodes) 1550712652.282 * * [misc]simplify: iters left: 4 (45 enodes) 1550712652.297 * * [misc]simplify: iters left: 3 (67 enodes) 1550712652.319 * * [misc]simplify: iters left: 2 (89 enodes) 1550712652.342 * * [misc]simplify: iters left: 1 (93 enodes) 1550712652.363 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.364 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712652.364 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1550712652.364 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1550712652.364 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1550712652.365 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1550712652.366 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712652.366 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712652.366 * * * * [misc]progress: [ 96 / 104 ] simplifiying candidate # 1550712652.366 * [enter]simplify: Simplifying (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1550712652.367 * * [misc]simplify: iters left: 6 (13 enodes) 1550712652.374 * * [misc]simplify: iters left: 5 (49 enodes) 1550712652.390 * * [misc]simplify: iters left: 4 (66 enodes) 1550712652.410 * * [misc]simplify: iters left: 3 (81 enodes) 1550712652.430 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.431 * * [misc]simplify: Extracting #1: cost 14 inf + 0 1550712652.431 * * [misc]simplify: Extracting #2: cost 23 inf + 3 1550712652.431 * * [misc]simplify: Extracting #3: cost 16 inf + 512 1550712652.432 * * [misc]simplify: Extracting #4: cost 1 inf + 5252 1550712652.434 * * [misc]simplify: Extracting #5: cost 0 inf + 5772 1550712652.435 * [exit]simplify: Simplified to (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c)))) 1550712652.435 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (cbrt (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712652.435 * * * * [misc]progress: [ 97 / 104 ] simplifiying candidate # 1550712652.436 * [enter]simplify: Simplifying (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1550712652.436 * * [misc]simplify: iters left: 6 (9 enodes) 1550712652.440 * * [misc]simplify: iters left: 5 (35 enodes) 1550712652.453 * * [misc]simplify: iters left: 4 (67 enodes) 1550712652.484 * * [misc]simplify: iters left: 3 (209 enodes) 1550712652.635 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.635 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1550712652.635 * * [misc]simplify: Extracting #2: cost 147 inf + 1 1550712652.637 * * [misc]simplify: Extracting #3: cost 215 inf + 146 1550712652.642 * * [misc]simplify: Extracting #4: cost 148 inf + 17658 1550712652.659 * * [misc]simplify: Extracting #5: cost 17 inf + 56678 1550712652.682 * * [misc]simplify: Extracting #6: cost 0 inf + 56530 1550712652.705 * * [misc]simplify: Extracting #7: cost 0 inf + 54321 1550712652.727 * * [misc]simplify: Extracting #8: cost 0 inf + 54271 1550712652.749 * [exit]simplify: Simplified to (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8) 1550712652.749 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712652.749 * * * * [misc]progress: [ 98 / 104 ] simplifiying candidate # 1550712652.750 * [enter]simplify: Simplifying (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1550712652.750 * * [misc]simplify: iters left: 6 (10 enodes) 1550712652.756 * * [misc]simplify: iters left: 5 (40 enodes) 1550712652.768 * * [misc]simplify: iters left: 4 (70 enodes) 1550712652.786 * * [misc]simplify: iters left: 3 (214 enodes) 1550712652.942 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.942 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1550712652.943 * * [misc]simplify: Extracting #2: cost 134 inf + 1 1550712652.945 * * [misc]simplify: Extracting #3: cost 202 inf + 1394 1550712652.950 * * [misc]simplify: Extracting #4: cost 129 inf + 22890 1550712652.960 * * [misc]simplify: Extracting #5: cost 11 inf + 55130 1550712652.972 * * [misc]simplify: Extracting #6: cost 0 inf + 50767 1550712652.983 * * [misc]simplify: Extracting #7: cost 0 inf + 50225 1550712653.006 * [exit]simplify: Simplified to (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c)))) 1550712653.006 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.006 * * * * [misc]progress: [ 99 / 104 ] simplifiying candidate # 1550712653.006 * [enter]simplify: Simplifying (+ (pow c 2) (+ (* 1/3 (pow c 4)) (* 2/45 (pow c 6)))) 1550712653.006 * * [misc]simplify: iters left: 6 (13 enodes) 1550712653.014 * * [misc]simplify: iters left: 5 (47 enodes) 1550712653.028 * * [misc]simplify: iters left: 4 (60 enodes) 1550712653.045 * * [misc]simplify: iters left: 3 (74 enodes) 1550712653.064 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.064 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550712653.064 * * [misc]simplify: Extracting #2: cost 21 inf + 3 1550712653.065 * * [misc]simplify: Extracting #3: cost 14 inf + 512 1550712653.066 * * [misc]simplify: Extracting #4: cost 2 inf + 4487 1550712653.067 * * [misc]simplify: Extracting #5: cost 0 inf + 5370 1550712653.068 * [exit]simplify: Simplified to (fma (pow c 6) 2/45 (fma (pow c 4) 1/3 (* c c))) 1550712653.068 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (fma (pow c 6) 2/45 (fma (pow c 4) 1/3 (* c c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.068 * * * * [misc]progress: [ 100 / 104 ] simplifiying candidate # 1550712653.069 * [enter]simplify: Simplifying (* 1/4 (pow (- (exp c) (exp (- c))) 2)) 1550712653.069 * * [misc]simplify: iters left: 6 (9 enodes) 1550712653.073 * * [misc]simplify: iters left: 5 (33 enodes) 1550712653.084 * * [misc]simplify: iters left: 4 (53 enodes) 1550712653.102 * * [misc]simplify: iters left: 3 (118 enodes) 1550712653.162 * * [misc]simplify: iters left: 2 (343 enodes) 1550712653.305 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.305 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550712653.306 * * [misc]simplify: Extracting #2: cost 118 inf + 2 1550712653.307 * * [misc]simplify: Extracting #3: cost 143 inf + 189 1550712653.313 * * [misc]simplify: Extracting #4: cost 45 inf + 17548 1550712653.328 * * [misc]simplify: Extracting #5: cost 1 inf + 26290 1550712653.339 * * [misc]simplify: Extracting #6: cost 0 inf + 26478 1550712653.351 * * [misc]simplify: Extracting #7: cost 0 inf + 26477 1550712653.362 * [exit]simplify: Simplified to (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 1/4) 1550712653.362 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 1/4) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.363 * * * * [misc]progress: [ 101 / 104 ] simplifiying candidate # 1550712653.363 * [enter]simplify: Simplifying (* 1/4 (pow (- (exp c) (exp (* -1 c))) 2)) 1550712653.363 * * [misc]simplify: iters left: 6 (10 enodes) 1550712653.367 * * [misc]simplify: iters left: 5 (38 enodes) 1550712653.373 * * [misc]simplify: iters left: 4 (56 enodes) 1550712653.385 * * [misc]simplify: iters left: 3 (122 enodes) 1550712653.435 * * [misc]simplify: iters left: 2 (343 enodes) 1550712653.611 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.611 * * [misc]simplify: Extracting #1: cost 36 inf + 0 1550712653.612 * * [misc]simplify: Extracting #2: cost 117 inf + 2 1550712653.613 * * [misc]simplify: Extracting #3: cost 134 inf + 1597 1550712653.621 * * [misc]simplify: Extracting #4: cost 42 inf + 18459 1550712653.632 * * [misc]simplify: Extracting #5: cost 0 inf + 26497 1550712653.647 * * [misc]simplify: Extracting #6: cost 0 inf + 26494 1550712653.659 * [exit]simplify: Simplified to (* 1/4 (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c))))) 1550712653.659 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (* 1/4 (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c))))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.659 * * * * [misc]progress: [ 102 / 104 ] simplifiying candidate # 1550712653.660 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1550712653.660 * * [misc]simplify: iters left: 6 (11 enodes) 1550712653.666 * * [misc]simplify: iters left: 5 (44 enodes) 1550712653.679 * * [misc]simplify: iters left: 4 (66 enodes) 1550712653.699 * * [misc]simplify: iters left: 3 (102 enodes) 1550712653.718 * * [misc]simplify: iters left: 2 (114 enodes) 1550712653.732 * * [misc]simplify: iters left: 1 (122 enodes) 1550712653.755 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.755 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712653.758 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1550712653.758 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1550712653.760 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1550712653.762 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1550712653.763 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1550712653.765 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1550712653.765 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.765 * * * * [misc]progress: [ 103 / 104 ] simplifiying candidate # 1550712653.765 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1550712653.765 * * [misc]simplify: iters left: 6 (7 enodes) 1550712653.767 * * [misc]simplify: iters left: 5 (26 enodes) 1550712653.772 * * [misc]simplify: iters left: 4 (42 enodes) 1550712653.779 * * [misc]simplify: iters left: 3 (62 enodes) 1550712653.789 * * [misc]simplify: iters left: 2 (82 enodes) 1550712653.805 * * [misc]simplify: iters left: 1 (86 enodes) 1550712653.822 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.822 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712653.822 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1550712653.823 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1550712653.823 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1550712653.824 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1550712653.825 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1550712653.826 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712653.826 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.826 * * * * [misc]progress: [ 104 / 104 ] simplifiying candidate # 1550712653.826 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712653.826 * * [misc]simplify: iters left: 6 (8 enodes) 1550712653.831 * * [misc]simplify: iters left: 5 (31 enodes) 1550712653.840 * * [misc]simplify: iters left: 4 (45 enodes) 1550712653.855 * * [misc]simplify: iters left: 3 (67 enodes) 1550712653.876 * * [misc]simplify: iters left: 2 (89 enodes) 1550712653.898 * * [misc]simplify: iters left: 1 (93 enodes) 1550712653.908 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.909 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712653.909 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1550712653.909 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1550712653.909 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1550712653.909 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1550712653.910 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712653.910 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712653.910 * * * [misc]progress: adding candidates to table 1550712654.878 * [misc]progress: [Phase 3 of 3] Extracting. 1550712654.879 * * [misc]regime: Finding splitpoints for: (# #) 1550712654.880 * * * [misc]regime-changes: Trying 1 branch expressions: (c) 1550712654.880 * * * * [misc]regimes: Trying to branch on c from (# #) 1550712654.900 * * * [misc]regime: Found split indices: #