1550712643.270 * [misc]progress: [Phase 1 of 3] Setting up. 1550712643.272 * * * [misc]progress: [1/2] Preparing points 1550712643.726 * * * [misc]progress: [2/2] Setting up program. 1550712643.732 * [misc]progress: [Phase 2 of 3] Improving. 1550712643.733 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550712643.734 * [enter]simplify: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1550712643.736 * * [misc]simplify: iters left: 4 (7 enodes) 1550712643.750 * * [misc]simplify: iters left: 3 (29 enodes) 1550712643.763 * * [misc]simplify: iters left: 2 (50 enodes) 1550712643.781 * * [misc]simplify: iters left: 1 (72 enodes) 1550712643.804 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712643.804 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712643.804 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1550712643.805 * * [misc]simplify: Extracting #3: cost 21 inf + 360 1550712643.806 * * [misc]simplify: Extracting #4: cost 12 inf + 1582 1550712643.807 * * [misc]simplify: Extracting #5: cost 1 inf + 2933 1550712643.808 * * [misc]simplify: Extracting #6: cost 0 inf + 2972 1550712643.809 * [exit]simplify: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1550712643.809 * [misc]simplify: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712643.821 * * [misc]progress: iteration 1 / 4 1550712643.821 * * * [misc]progress: picking best candidate 1550712643.825 * * * * [misc]pick: Picked # 1550712643.825 * * * [misc]progress: localizing error 1550712643.859 * * * [misc]progress: generating rewritten candidates 1550712643.860 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1550712643.863 * * * [misc]progress: generating series expansions 1550712643.863 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1550712643.865 * [misc]backup-simplify: Simplify (sinh c) into (sinh c) 1550712643.865 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1550712643.866 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712643.867 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712643.867 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712643.867 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712643.867 * [misc]taylor: Taking taylor expansion of c in c 1550712643.868 * [misc]backup-simplify: Simplify 0 into 0 1550712643.868 * [misc]backup-simplify: Simplify 1 into 1 1550712643.868 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712643.868 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712643.868 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712643.868 * [misc]taylor: Taking taylor expansion of c in c 1550712643.868 * [misc]backup-simplify: Simplify 0 into 0 1550712643.868 * [misc]backup-simplify: Simplify 1 into 1 1550712643.868 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.868 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.868 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712643.868 * [misc]taylor: Taking taylor expansion of 2 in c 1550712643.868 * [misc]backup-simplify: Simplify 2 into 2 1550712643.869 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.869 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712643.872 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712643.872 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.873 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712643.874 * [misc]backup-simplify: Simplify (- -1) into 1 1550712643.874 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712643.874 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712643.874 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712643.874 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712643.874 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712643.874 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712643.874 * [misc]taylor: Taking taylor expansion of c in c 1550712643.874 * [misc]backup-simplify: Simplify 0 into 0 1550712643.874 * [misc]backup-simplify: Simplify 1 into 1 1550712643.874 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712643.874 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712643.874 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712643.874 * [misc]taylor: Taking taylor expansion of c in c 1550712643.874 * [misc]backup-simplify: Simplify 0 into 0 1550712643.874 * [misc]backup-simplify: Simplify 1 into 1 1550712643.874 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.874 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.874 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712643.874 * [misc]taylor: Taking taylor expansion of 2 in c 1550712643.874 * [misc]backup-simplify: Simplify 2 into 2 1550712643.874 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.875 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712643.875 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712643.876 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.876 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712643.876 * [misc]backup-simplify: Simplify (- -1) into 1 1550712643.877 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712643.877 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712643.877 * [misc]backup-simplify: Simplify 1 into 1 1550712643.879 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712643.879 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.879 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.880 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712643.880 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712643.880 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712643.880 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712643.880 * [misc]backup-simplify: Simplify 0 into 0 1550712643.883 * [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 1550712643.883 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.883 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.883 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.883 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.885 * [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 1550712643.885 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712643.885 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712643.886 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712643.886 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550712643.889 * [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 1550712643.889 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.890 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.890 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.890 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.890 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.890 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.890 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.893 * [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 1550712643.893 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712643.893 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712643.894 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712643.894 * [misc]backup-simplify: Simplify 0 into 0 1550712643.899 * [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 1550712643.899 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.899 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.899 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.899 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.899 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.900 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.900 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.900 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.900 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.900 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.900 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.900 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.910 * [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 1550712643.910 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712643.910 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712643.910 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712643.910 * [misc]backup-simplify: Simplify 1/120 into 1/120 1550712643.912 * [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)) 1550712643.913 * [misc]backup-simplify: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1550712643.913 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1550712643.913 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712643.913 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712643.913 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712643.913 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712643.913 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712643.913 * [misc]taylor: Taking taylor expansion of c in c 1550712643.913 * [misc]backup-simplify: Simplify 0 into 0 1550712643.913 * [misc]backup-simplify: Simplify 1 into 1 1550712643.913 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712643.913 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712643.913 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712643.913 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712643.913 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712643.913 * [misc]taylor: Taking taylor expansion of c in c 1550712643.913 * [misc]backup-simplify: Simplify 0 into 0 1550712643.913 * [misc]backup-simplify: Simplify 1 into 1 1550712643.914 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712643.914 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.914 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712643.914 * [misc]taylor: Taking taylor expansion of 2 in c 1550712643.914 * [misc]backup-simplify: Simplify 2 into 2 1550712643.914 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712643.914 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712643.915 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712643.915 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712643.915 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712643.915 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712643.915 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712643.915 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712643.915 * [misc]taylor: Taking taylor expansion of c in c 1550712643.915 * [misc]backup-simplify: Simplify 0 into 0 1550712643.915 * [misc]backup-simplify: Simplify 1 into 1 1550712643.915 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712643.915 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712643.915 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712643.915 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712643.915 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712643.915 * [misc]taylor: Taking taylor expansion of c in c 1550712643.915 * [misc]backup-simplify: Simplify 0 into 0 1550712643.915 * [misc]backup-simplify: Simplify 1 into 1 1550712643.915 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712643.916 * [misc]backup-simplify: Simplify (- 1) into -1 1550712643.916 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712643.916 * [misc]taylor: Taking taylor expansion of 2 in c 1550712643.916 * [misc]backup-simplify: Simplify 2 into 2 1550712643.916 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712643.916 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712643.916 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712643.916 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712643.917 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.917 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.917 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712643.917 * [misc]backup-simplify: Simplify 0 into 0 1550712643.917 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.918 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.918 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712643.918 * [misc]backup-simplify: Simplify 0 into 0 1550712643.918 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.919 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.920 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712643.920 * [misc]backup-simplify: Simplify 0 into 0 1550712643.920 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.920 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.921 * [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 1550712643.921 * [misc]backup-simplify: Simplify 0 into 0 1550712643.921 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.921 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.922 * [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 1550712643.922 * [misc]backup-simplify: Simplify 0 into 0 1550712643.923 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.923 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.924 * [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 1550712643.924 * [misc]backup-simplify: Simplify 0 into 0 1550712643.924 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1550712643.924 * [misc]backup-simplify: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1550712643.924 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1550712643.925 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712643.925 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712643.925 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712643.925 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712643.925 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712643.925 * [misc]taylor: Taking taylor expansion of -1 in c 1550712643.925 * [misc]backup-simplify: Simplify -1 into -1 1550712643.925 * [misc]taylor: Taking taylor expansion of c in c 1550712643.925 * [misc]backup-simplify: Simplify 0 into 0 1550712643.925 * [misc]backup-simplify: Simplify 1 into 1 1550712643.925 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712643.925 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712643.925 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712643.925 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712643.925 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712643.925 * [misc]taylor: Taking taylor expansion of -1 in c 1550712643.925 * [misc]backup-simplify: Simplify -1 into -1 1550712643.925 * [misc]taylor: Taking taylor expansion of c in c 1550712643.925 * [misc]backup-simplify: Simplify 0 into 0 1550712643.925 * [misc]backup-simplify: Simplify 1 into 1 1550712643.925 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712643.926 * [misc]backup-simplify: Simplify (- -1) into 1 1550712643.926 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712643.926 * [misc]taylor: Taking taylor expansion of 2 in c 1550712643.926 * [misc]backup-simplify: Simplify 2 into 2 1550712643.926 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712643.926 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712643.926 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712643.926 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712643.926 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712643.926 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712643.926 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712643.926 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712643.926 * [misc]taylor: Taking taylor expansion of -1 in c 1550712643.926 * [misc]backup-simplify: Simplify -1 into -1 1550712643.926 * [misc]taylor: Taking taylor expansion of c in c 1550712643.926 * [misc]backup-simplify: Simplify 0 into 0 1550712643.927 * [misc]backup-simplify: Simplify 1 into 1 1550712643.927 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712643.927 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712643.927 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712643.927 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712643.927 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712643.927 * [misc]taylor: Taking taylor expansion of -1 in c 1550712643.927 * [misc]backup-simplify: Simplify -1 into -1 1550712643.927 * [misc]taylor: Taking taylor expansion of c in c 1550712643.927 * [misc]backup-simplify: Simplify 0 into 0 1550712643.927 * [misc]backup-simplify: Simplify 1 into 1 1550712643.927 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712643.927 * [misc]backup-simplify: Simplify (- -1) into 1 1550712643.927 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712643.927 * [misc]taylor: Taking taylor expansion of 2 in c 1550712643.927 * [misc]backup-simplify: Simplify 2 into 2 1550712643.928 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712643.928 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712643.928 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712643.928 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712643.928 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.928 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.929 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712643.929 * [misc]backup-simplify: Simplify 0 into 0 1550712643.929 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.929 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.930 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712643.930 * [misc]backup-simplify: Simplify 0 into 0 1550712643.930 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.930 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.931 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712643.931 * [misc]backup-simplify: Simplify 0 into 0 1550712643.931 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.931 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.932 * [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 1550712643.932 * [misc]backup-simplify: Simplify 0 into 0 1550712643.932 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.933 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.934 * [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 1550712643.934 * [misc]backup-simplify: Simplify 0 into 0 1550712643.934 * [misc]backup-simplify: Simplify (- 0) into 0 1550712643.934 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712643.935 * [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 1550712643.935 * [misc]backup-simplify: Simplify 0 into 0 1550712643.936 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712643.936 * * * [misc]progress: simplifying candidates 1550712643.936 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1550712643.936 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1550712643.936 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1550712643.936 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1550712643.936 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1550712643.936 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1550712643.936 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1550712643.937 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1550712643.937 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1550712643.937 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1550712643.937 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712643.937 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1550712643.937 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1550712643.937 * * [misc]simplify: iters left: 6 (11 enodes) 1550712643.944 * * [misc]simplify: iters left: 5 (44 enodes) 1550712643.958 * * [misc]simplify: iters left: 4 (66 enodes) 1550712643.978 * * [misc]simplify: iters left: 3 (102 enodes) 1550712643.992 * * [misc]simplify: iters left: 2 (114 enodes) 1550712644.013 * * [misc]simplify: iters left: 1 (122 enodes) 1550712644.047 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.048 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712644.048 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1550712644.049 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1550712644.050 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1550712644.052 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1550712644.053 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1550712644.055 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1550712644.055 * [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.055 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1550712644.056 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1550712644.056 * * [misc]simplify: iters left: 6 (7 enodes) 1550712644.059 * * [misc]simplify: iters left: 5 (26 enodes) 1550712644.068 * * [misc]simplify: iters left: 4 (42 enodes) 1550712644.082 * * [misc]simplify: iters left: 3 (62 enodes) 1550712644.106 * * [misc]simplify: iters left: 2 (82 enodes) 1550712644.126 * * [misc]simplify: iters left: 1 (86 enodes) 1550712644.144 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.144 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712644.144 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1550712644.145 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1550712644.145 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1550712644.146 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1550712644.147 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1550712644.148 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712644.148 * [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.148 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1550712644.148 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712644.148 * * [misc]simplify: iters left: 6 (8 enodes) 1550712644.153 * * [misc]simplify: iters left: 5 (31 enodes) 1550712644.164 * * [misc]simplify: iters left: 4 (45 enodes) 1550712644.179 * * [misc]simplify: iters left: 3 (67 enodes) 1550712644.201 * * [misc]simplify: iters left: 2 (89 enodes) 1550712644.223 * * [misc]simplify: iters left: 1 (93 enodes) 1550712644.243 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.243 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712644.243 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1550712644.244 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1550712644.244 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1550712644.245 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1550712644.246 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712644.246 * [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.246 * * * [misc]progress: adding candidates to table 1550712644.404 * * [misc]progress: iteration 2 / 4 1550712644.404 * * * [misc]progress: picking best candidate 1550712644.409 * * * * [misc]pick: Picked # 1550712644.409 * * * [misc]progress: localizing error 1550712644.433 * * * [misc]progress: generating rewritten candidates 1550712644.433 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550712644.450 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550712644.476 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1550712644.487 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1550712644.489 * * * [misc]progress: generating series expansions 1550712644.489 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550712644.489 * [misc]backup-simplify: Simplify (cbrt (* (* (sinh c) (sinh c)) (sinh c))) into (sinh c) 1550712644.489 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1550712644.490 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.490 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.490 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.490 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.490 * [misc]taylor: Taking taylor expansion of c in c 1550712644.490 * [misc]backup-simplify: Simplify 0 into 0 1550712644.490 * [misc]backup-simplify: Simplify 1 into 1 1550712644.490 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.490 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.490 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.490 * [misc]taylor: Taking taylor expansion of c in c 1550712644.490 * [misc]backup-simplify: Simplify 0 into 0 1550712644.490 * [misc]backup-simplify: Simplify 1 into 1 1550712644.490 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.490 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.490 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.490 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.491 * [misc]backup-simplify: Simplify 2 into 2 1550712644.491 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.491 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.492 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.493 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.494 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.494 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.494 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.494 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.494 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.494 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.494 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.494 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.495 * [misc]taylor: Taking taylor expansion of c in c 1550712644.495 * [misc]backup-simplify: Simplify 0 into 0 1550712644.495 * [misc]backup-simplify: Simplify 1 into 1 1550712644.495 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.495 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.495 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.495 * [misc]taylor: Taking taylor expansion of c in c 1550712644.495 * [misc]backup-simplify: Simplify 0 into 0 1550712644.495 * [misc]backup-simplify: Simplify 1 into 1 1550712644.495 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.495 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.495 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.495 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.495 * [misc]backup-simplify: Simplify 2 into 2 1550712644.495 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.495 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.497 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.497 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.498 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.498 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.498 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.499 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.499 * [misc]backup-simplify: Simplify 1 into 1 1550712644.501 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.501 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.501 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.503 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.503 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.504 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.504 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.504 * [misc]backup-simplify: Simplify 0 into 0 1550712644.507 * [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.508 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.508 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.508 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.508 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.518 * [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.518 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.519 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.519 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.519 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550712644.525 * [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.525 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.525 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.525 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.526 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.526 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.526 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.526 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.532 * [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.532 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.532 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.532 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.532 * [misc]backup-simplify: Simplify 0 into 0 1550712644.542 * [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.542 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.542 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.543 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.543 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.543 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.543 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.543 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.543 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.544 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.544 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.544 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.544 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.553 * [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.553 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.553 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.554 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.554 * [misc]backup-simplify: Simplify 1/120 into 1/120 1550712644.554 * [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.554 * [misc]backup-simplify: Simplify (cbrt (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c)))) into (sinh (/ 1 c)) 1550712644.554 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1550712644.554 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.555 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.555 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.555 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.555 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.555 * [misc]taylor: Taking taylor expansion of c in c 1550712644.555 * [misc]backup-simplify: Simplify 0 into 0 1550712644.555 * [misc]backup-simplify: Simplify 1 into 1 1550712644.555 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.555 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.555 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.555 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.555 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.555 * [misc]taylor: Taking taylor expansion of c in c 1550712644.555 * [misc]backup-simplify: Simplify 0 into 0 1550712644.555 * [misc]backup-simplify: Simplify 1 into 1 1550712644.555 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.556 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.556 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.556 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.556 * [misc]backup-simplify: Simplify 2 into 2 1550712644.556 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.556 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.556 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.556 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.556 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.556 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.556 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.556 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.556 * [misc]taylor: Taking taylor expansion of c in c 1550712644.556 * [misc]backup-simplify: Simplify 0 into 0 1550712644.556 * [misc]backup-simplify: Simplify 1 into 1 1550712644.557 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.557 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.557 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.557 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.557 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.557 * [misc]taylor: Taking taylor expansion of c in c 1550712644.557 * [misc]backup-simplify: Simplify 0 into 0 1550712644.557 * [misc]backup-simplify: Simplify 1 into 1 1550712644.557 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.557 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.557 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.557 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.557 * [misc]backup-simplify: Simplify 2 into 2 1550712644.557 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.558 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.558 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.558 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.558 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.558 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.559 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.559 * [misc]backup-simplify: Simplify 0 into 0 1550712644.559 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.559 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.560 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.560 * [misc]backup-simplify: Simplify 0 into 0 1550712644.560 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.560 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.561 * [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.561 * [misc]backup-simplify: Simplify 0 into 0 1550712644.561 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.562 * [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.562 * [misc]backup-simplify: Simplify 0 into 0 1550712644.562 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.562 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.563 * [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.563 * [misc]backup-simplify: Simplify 0 into 0 1550712644.564 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.564 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.565 * [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.565 * [misc]backup-simplify: Simplify 0 into 0 1550712644.565 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1550712644.565 * [misc]backup-simplify: Simplify (cbrt (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 1550712644.566 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1550712644.566 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.566 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.566 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.566 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.566 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.566 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.566 * [misc]backup-simplify: Simplify -1 into -1 1550712644.566 * [misc]taylor: Taking taylor expansion of c in c 1550712644.566 * [misc]backup-simplify: Simplify 0 into 0 1550712644.566 * [misc]backup-simplify: Simplify 1 into 1 1550712644.566 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.566 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.566 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.566 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.566 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.566 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.566 * [misc]backup-simplify: Simplify -1 into -1 1550712644.566 * [misc]taylor: Taking taylor expansion of c in c 1550712644.566 * [misc]backup-simplify: Simplify 0 into 0 1550712644.566 * [misc]backup-simplify: Simplify 1 into 1 1550712644.566 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.567 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.567 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.567 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.567 * [misc]backup-simplify: Simplify 2 into 2 1550712644.567 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.567 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.567 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.567 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.567 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.567 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.567 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.567 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.567 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.567 * [misc]backup-simplify: Simplify -1 into -1 1550712644.567 * [misc]taylor: Taking taylor expansion of c in c 1550712644.567 * [misc]backup-simplify: Simplify 0 into 0 1550712644.567 * [misc]backup-simplify: Simplify 1 into 1 1550712644.568 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.568 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.568 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.568 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.568 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.568 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.568 * [misc]backup-simplify: Simplify -1 into -1 1550712644.568 * [misc]taylor: Taking taylor expansion of c in c 1550712644.568 * [misc]backup-simplify: Simplify 0 into 0 1550712644.568 * [misc]backup-simplify: Simplify 1 into 1 1550712644.568 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.568 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.568 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.568 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.568 * [misc]backup-simplify: Simplify 2 into 2 1550712644.569 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.569 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.569 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.569 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.569 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.569 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.570 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.570 * [misc]backup-simplify: Simplify 0 into 0 1550712644.570 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.570 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.571 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.571 * [misc]backup-simplify: Simplify 0 into 0 1550712644.571 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.571 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.572 * [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.572 * [misc]backup-simplify: Simplify 0 into 0 1550712644.572 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.572 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.573 * [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.573 * [misc]backup-simplify: Simplify 0 into 0 1550712644.573 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.573 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.574 * [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.574 * [misc]backup-simplify: Simplify 0 into 0 1550712644.575 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.575 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.576 * [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.576 * [misc]backup-simplify: Simplify 0 into 0 1550712644.576 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712644.576 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550712644.576 * [misc]backup-simplify: Simplify (* (* (sinh c) (sinh c)) (sinh c)) into (pow (sinh c) 3) 1550712644.576 * [misc]approximate: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 1550712644.576 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 3) in c 1550712644.576 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.577 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.577 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.577 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.577 * [misc]taylor: Taking taylor expansion of c in c 1550712644.577 * [misc]backup-simplify: Simplify 0 into 0 1550712644.577 * [misc]backup-simplify: Simplify 1 into 1 1550712644.577 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.577 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.577 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.577 * [misc]taylor: Taking taylor expansion of c in c 1550712644.577 * [misc]backup-simplify: Simplify 0 into 0 1550712644.577 * [misc]backup-simplify: Simplify 1 into 1 1550712644.577 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.577 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.577 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.577 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.577 * [misc]backup-simplify: Simplify 2 into 2 1550712644.577 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.578 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.579 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.579 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.581 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.581 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.581 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.581 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.581 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 3) in c 1550712644.582 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.582 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.582 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.582 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.582 * [misc]taylor: Taking taylor expansion of c in c 1550712644.582 * [misc]backup-simplify: Simplify 0 into 0 1550712644.582 * [misc]backup-simplify: Simplify 1 into 1 1550712644.582 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.582 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.582 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.582 * [misc]taylor: Taking taylor expansion of c in c 1550712644.582 * [misc]backup-simplify: Simplify 0 into 0 1550712644.582 * [misc]backup-simplify: Simplify 1 into 1 1550712644.582 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.582 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.582 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.582 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.582 * [misc]backup-simplify: Simplify 2 into 2 1550712644.582 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.583 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.584 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.584 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.586 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.586 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.586 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.586 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.587 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550712644.587 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550712644.587 * [misc]backup-simplify: Simplify 1 into 1 1550712644.589 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.589 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.589 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.592 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.592 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.592 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.592 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.593 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550712644.593 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550712644.593 * [misc]backup-simplify: Simplify 0 into 0 1550712644.596 * [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.597 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.597 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.597 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.597 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.601 * [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.602 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.602 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.602 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.602 * [misc]backup-simplify: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 1550712644.603 * [misc]backup-simplify: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 1550712644.603 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550712644.609 * [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.609 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.609 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.610 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.610 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.610 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.610 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.610 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.616 * [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.616 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.616 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.617 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 1550712644.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 1550712644.618 * [misc]backup-simplify: Simplify 0 into 0 1550712644.627 * [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.628 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.628 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.628 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.628 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.628 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.629 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.629 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.629 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.629 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.629 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.629 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.629 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.639 * [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.639 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.639 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.639 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.640 * [misc]backup-simplify: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 1550712644.640 * [misc]backup-simplify: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 1550712644.641 * [misc]backup-simplify: Simplify 13/120 into 13/120 1550712644.641 * [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.642 * [misc]backup-simplify: Simplify (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c))) into (pow (sinh (/ 1 c)) 3) 1550712644.642 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 1550712644.642 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1550712644.642 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.642 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.642 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.642 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.642 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.642 * [misc]taylor: Taking taylor expansion of c in c 1550712644.642 * [misc]backup-simplify: Simplify 0 into 0 1550712644.642 * [misc]backup-simplify: Simplify 1 into 1 1550712644.642 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.642 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.642 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.642 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.643 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.643 * [misc]taylor: Taking taylor expansion of c in c 1550712644.643 * [misc]backup-simplify: Simplify 0 into 0 1550712644.643 * [misc]backup-simplify: Simplify 1 into 1 1550712644.643 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.643 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.643 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.643 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.643 * [misc]backup-simplify: Simplify 2 into 2 1550712644.643 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.643 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.644 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.644 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.644 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.644 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of c in c 1550712644.644 * [misc]backup-simplify: Simplify 0 into 0 1550712644.644 * [misc]backup-simplify: Simplify 1 into 1 1550712644.644 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.644 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.644 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.644 * [misc]taylor: Taking taylor expansion of c in c 1550712644.644 * [misc]backup-simplify: Simplify 0 into 0 1550712644.644 * [misc]backup-simplify: Simplify 1 into 1 1550712644.645 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.645 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.645 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.645 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.645 * [misc]backup-simplify: Simplify 2 into 2 1550712644.645 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.645 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.645 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.646 * [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.646 * [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.646 * [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.647 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.647 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.648 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.648 * [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.648 * [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.648 * [misc]backup-simplify: Simplify 0 into 0 1550712644.648 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.649 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.649 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.650 * [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.650 * [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.650 * [misc]backup-simplify: Simplify 0 into 0 1550712644.651 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.651 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.651 * [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.652 * [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.653 * [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.653 * [misc]backup-simplify: Simplify 0 into 0 1550712644.653 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.654 * [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.655 * [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.656 * [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.656 * [misc]backup-simplify: Simplify 0 into 0 1550712644.656 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.657 * [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.658 * [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.659 * [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.659 * [misc]backup-simplify: Simplify 0 into 0 1550712644.659 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.661 * [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.662 * [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.663 * [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.663 * [misc]backup-simplify: Simplify 0 into 0 1550712644.663 * [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.663 * [misc]backup-simplify: Simplify (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c)))) into (pow (sinh (/ -1 c)) 3) 1550712644.663 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 1550712644.663 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1550712644.663 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.663 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.663 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.664 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.664 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.664 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.664 * [misc]backup-simplify: Simplify -1 into -1 1550712644.664 * [misc]taylor: Taking taylor expansion of c in c 1550712644.664 * [misc]backup-simplify: Simplify 0 into 0 1550712644.664 * [misc]backup-simplify: Simplify 1 into 1 1550712644.664 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.664 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.664 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.664 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.664 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.664 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.664 * [misc]backup-simplify: Simplify -1 into -1 1550712644.664 * [misc]taylor: Taking taylor expansion of c in c 1550712644.664 * [misc]backup-simplify: Simplify 0 into 0 1550712644.664 * [misc]backup-simplify: Simplify 1 into 1 1550712644.664 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.664 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.665 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.665 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.665 * [misc]backup-simplify: Simplify 2 into 2 1550712644.665 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.665 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.665 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.665 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1550712644.665 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.665 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.665 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.665 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.665 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.665 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.665 * [misc]backup-simplify: Simplify -1 into -1 1550712644.665 * [misc]taylor: Taking taylor expansion of c in c 1550712644.665 * [misc]backup-simplify: Simplify 0 into 0 1550712644.666 * [misc]backup-simplify: Simplify 1 into 1 1550712644.666 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.666 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.666 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.666 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.666 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.666 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.666 * [misc]backup-simplify: Simplify -1 into -1 1550712644.666 * [misc]taylor: Taking taylor expansion of c in c 1550712644.666 * [misc]backup-simplify: Simplify 0 into 0 1550712644.666 * [misc]backup-simplify: Simplify 1 into 1 1550712644.666 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.666 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.666 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.666 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.666 * [misc]backup-simplify: Simplify 2 into 2 1550712644.667 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.667 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.667 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.667 * [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.668 * [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.668 * [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.668 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.669 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.669 * [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.669 * [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.669 * [misc]backup-simplify: Simplify 0 into 0 1550712644.669 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.670 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.671 * [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.671 * [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.671 * [misc]backup-simplify: Simplify 0 into 0 1550712644.671 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.671 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.674 * [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.675 * [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.675 * [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.675 * [misc]backup-simplify: Simplify 0 into 0 1550712644.676 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.677 * [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.677 * [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.678 * [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.678 * [misc]backup-simplify: Simplify 0 into 0 1550712644.678 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.679 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.679 * [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.680 * [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.681 * [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.681 * [misc]backup-simplify: Simplify 0 into 0 1550712644.682 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.683 * [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.684 * [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.685 * [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.685 * [misc]backup-simplify: Simplify 0 into 0 1550712644.685 * [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.686 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1550712644.686 * [misc]backup-simplify: Simplify (* (sinh c) (sinh c)) into (pow (sinh c) 2) 1550712644.686 * [misc]approximate: Taking taylor expansion of (pow (sinh c) 2) in (c) around 0 1550712644.686 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 2) in c 1550712644.686 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.686 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.686 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.686 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.686 * [misc]taylor: Taking taylor expansion of c in c 1550712644.686 * [misc]backup-simplify: Simplify 0 into 0 1550712644.686 * [misc]backup-simplify: Simplify 1 into 1 1550712644.686 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.686 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.686 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.686 * [misc]taylor: Taking taylor expansion of c in c 1550712644.686 * [misc]backup-simplify: Simplify 0 into 0 1550712644.686 * [misc]backup-simplify: Simplify 1 into 1 1550712644.686 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.687 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.687 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.687 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.687 * [misc]backup-simplify: Simplify 2 into 2 1550712644.687 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.687 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.689 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.689 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.690 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.690 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.690 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.691 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.691 * [misc]taylor: Taking taylor expansion of (pow (sinh c) 2) in c 1550712644.691 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.691 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.691 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.691 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.691 * [misc]taylor: Taking taylor expansion of c in c 1550712644.691 * [misc]backup-simplify: Simplify 0 into 0 1550712644.691 * [misc]backup-simplify: Simplify 1 into 1 1550712644.691 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.691 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.691 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.691 * [misc]taylor: Taking taylor expansion of c in c 1550712644.691 * [misc]backup-simplify: Simplify 0 into 0 1550712644.691 * [misc]backup-simplify: Simplify 1 into 1 1550712644.691 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.691 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.691 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.691 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.691 * [misc]backup-simplify: Simplify 2 into 2 1550712644.692 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.692 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.693 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.693 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.694 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.695 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.695 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.695 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.695 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550712644.695 * [misc]backup-simplify: Simplify 1 into 1 1550712644.698 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.698 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.698 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.701 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.701 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.701 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.701 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550712644.701 * [misc]backup-simplify: Simplify 0 into 0 1550712644.705 * [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.705 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.706 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.706 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.706 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.709 * [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.710 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.710 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.710 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.710 * [misc]backup-simplify: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 1550712644.710 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550712644.716 * [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.717 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.717 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.717 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.717 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.717 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.717 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.718 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.724 * [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.724 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.724 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.724 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.725 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 1550712644.725 * [misc]backup-simplify: Simplify 0 into 0 1550712644.734 * [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.734 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.734 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.735 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.735 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.735 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.735 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.735 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.735 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.736 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.736 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.736 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.736 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.745 * [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.745 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.746 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.746 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.747 * [misc]backup-simplify: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 1550712644.747 * [misc]backup-simplify: Simplify 2/45 into 2/45 1550712644.747 * [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.747 * [misc]backup-simplify: Simplify (* (sinh (/ 1 c)) (sinh (/ 1 c))) into (pow (sinh (/ 1 c)) 2) 1550712644.747 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ 1 c)) 2) in (c) around 0 1550712644.747 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 2) in c 1550712644.747 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.748 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.748 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.748 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.748 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.748 * [misc]taylor: Taking taylor expansion of c in c 1550712644.748 * [misc]backup-simplify: Simplify 0 into 0 1550712644.748 * [misc]backup-simplify: Simplify 1 into 1 1550712644.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.748 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.748 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.748 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.748 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.748 * [misc]taylor: Taking taylor expansion of c in c 1550712644.748 * [misc]backup-simplify: Simplify 0 into 0 1550712644.748 * [misc]backup-simplify: Simplify 1 into 1 1550712644.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.748 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.749 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.749 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.749 * [misc]backup-simplify: Simplify 2 into 2 1550712644.749 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.749 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.749 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.749 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ 1 c)) 2) in c 1550712644.749 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.749 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.749 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.749 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.749 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.749 * [misc]taylor: Taking taylor expansion of c in c 1550712644.749 * [misc]backup-simplify: Simplify 0 into 0 1550712644.749 * [misc]backup-simplify: Simplify 1 into 1 1550712644.750 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.750 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.750 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.750 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.750 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.750 * [misc]taylor: Taking taylor expansion of c in c 1550712644.750 * [misc]backup-simplify: Simplify 0 into 0 1550712644.750 * [misc]backup-simplify: Simplify 1 into 1 1550712644.750 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.750 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.750 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.750 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.750 * [misc]backup-simplify: Simplify 2 into 2 1550712644.750 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.751 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.751 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.751 * [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.751 * [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.752 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.752 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.752 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.753 * [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.753 * [misc]backup-simplify: Simplify 0 into 0 1550712644.753 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.753 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.754 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.754 * [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.754 * [misc]backup-simplify: Simplify 0 into 0 1550712644.754 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.754 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.755 * [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.756 * [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.756 * [misc]backup-simplify: Simplify 0 into 0 1550712644.756 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.757 * [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.758 * [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.758 * [misc]backup-simplify: Simplify 0 into 0 1550712644.759 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.759 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.760 * [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.761 * [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.761 * [misc]backup-simplify: Simplify 0 into 0 1550712644.761 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.761 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.762 * [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.763 * [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.763 * [misc]backup-simplify: Simplify 0 into 0 1550712644.764 * [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.764 * [misc]backup-simplify: Simplify (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) into (pow (sinh (/ -1 c)) 2) 1550712644.764 * [misc]approximate: Taking taylor expansion of (pow (sinh (/ -1 c)) 2) in (c) around 0 1550712644.764 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 2) in c 1550712644.764 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.764 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.764 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.764 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.764 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.764 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.764 * [misc]backup-simplify: Simplify -1 into -1 1550712644.764 * [misc]taylor: Taking taylor expansion of c in c 1550712644.764 * [misc]backup-simplify: Simplify 0 into 0 1550712644.764 * [misc]backup-simplify: Simplify 1 into 1 1550712644.765 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.765 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.765 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.765 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.765 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.765 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.765 * [misc]backup-simplify: Simplify -1 into -1 1550712644.765 * [misc]taylor: Taking taylor expansion of c in c 1550712644.765 * [misc]backup-simplify: Simplify 0 into 0 1550712644.765 * [misc]backup-simplify: Simplify 1 into 1 1550712644.765 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.765 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.765 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.765 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.765 * [misc]backup-simplify: Simplify 2 into 2 1550712644.765 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.766 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.766 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.766 * [misc]taylor: Taking taylor expansion of (pow (sinh (/ -1 c)) 2) in c 1550712644.766 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.766 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.766 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.766 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.766 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.766 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.766 * [misc]backup-simplify: Simplify -1 into -1 1550712644.766 * [misc]taylor: Taking taylor expansion of c in c 1550712644.766 * [misc]backup-simplify: Simplify 0 into 0 1550712644.766 * [misc]backup-simplify: Simplify 1 into 1 1550712644.766 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.766 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.766 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.766 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.766 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.767 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.767 * [misc]backup-simplify: Simplify -1 into -1 1550712644.767 * [misc]taylor: Taking taylor expansion of c in c 1550712644.767 * [misc]backup-simplify: Simplify 0 into 0 1550712644.767 * [misc]backup-simplify: Simplify 1 into 1 1550712644.767 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.767 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.767 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.767 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.767 * [misc]backup-simplify: Simplify 2 into 2 1550712644.767 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.767 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.767 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.768 * [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.768 * [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.768 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.769 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.769 * [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.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.770 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.770 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.771 * [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.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.771 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.772 * [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.772 * [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.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.773 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.774 * [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.774 * [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.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.775 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.776 * [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.777 * [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.777 * [misc]backup-simplify: Simplify 0 into 0 1550712644.777 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.777 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.778 * [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.779 * [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.779 * [misc]backup-simplify: Simplify 0 into 0 1550712644.780 * [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.780 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1550712644.780 * [misc]backup-simplify: Simplify (sinh c) into (sinh c) 1550712644.780 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1550712644.780 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.780 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.780 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.780 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.780 * [misc]taylor: Taking taylor expansion of c in c 1550712644.780 * [misc]backup-simplify: Simplify 0 into 0 1550712644.780 * [misc]backup-simplify: Simplify 1 into 1 1550712644.780 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.780 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.780 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.780 * [misc]taylor: Taking taylor expansion of c in c 1550712644.780 * [misc]backup-simplify: Simplify 0 into 0 1550712644.780 * [misc]backup-simplify: Simplify 1 into 1 1550712644.781 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.781 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.781 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.781 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.781 * [misc]backup-simplify: Simplify 2 into 2 1550712644.781 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.781 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.783 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.783 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.784 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.785 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.785 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.785 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.785 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1550712644.785 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1550712644.785 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1550712644.785 * [misc]taylor: Taking taylor expansion of (exp c) in c 1550712644.785 * [misc]taylor: Taking taylor expansion of c in c 1550712644.785 * [misc]backup-simplify: Simplify 0 into 0 1550712644.785 * [misc]backup-simplify: Simplify 1 into 1 1550712644.785 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.785 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1550712644.785 * [misc]taylor: Taking taylor expansion of (- c) in c 1550712644.785 * [misc]taylor: Taking taylor expansion of c in c 1550712644.785 * [misc]backup-simplify: Simplify 0 into 0 1550712644.785 * [misc]backup-simplify: Simplify 1 into 1 1550712644.786 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.786 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.786 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.786 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.786 * [misc]backup-simplify: Simplify 2 into 2 1550712644.786 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.786 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.788 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.788 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.790 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.790 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.790 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.790 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.790 * [misc]backup-simplify: Simplify 1 into 1 1550712644.793 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.793 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.793 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.795 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.795 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1550712644.796 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1550712644.796 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.796 * [misc]backup-simplify: Simplify 0 into 0 1550712644.800 * [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.800 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.800 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.800 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.800 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.804 * [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.804 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1550712644.804 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1550712644.805 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1550712644.805 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550712644.811 * [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.811 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.812 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.812 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.812 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.812 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.812 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.812 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.818 * [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.819 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1550712644.819 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1550712644.819 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1550712644.819 * [misc]backup-simplify: Simplify 0 into 0 1550712644.829 * [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.829 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.830 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.830 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.830 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.830 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.830 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.830 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.830 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.831 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.831 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.831 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.831 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.842 * [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.842 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1550712644.842 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1550712644.843 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1550712644.843 * [misc]backup-simplify: Simplify 1/120 into 1/120 1550712644.843 * [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.843 * [misc]backup-simplify: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1550712644.844 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1550712644.844 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.844 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.844 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.844 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.844 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.844 * [misc]taylor: Taking taylor expansion of c in c 1550712644.844 * [misc]backup-simplify: Simplify 0 into 0 1550712644.844 * [misc]backup-simplify: Simplify 1 into 1 1550712644.844 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.844 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.844 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.844 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.844 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.844 * [misc]taylor: Taking taylor expansion of c in c 1550712644.844 * [misc]backup-simplify: Simplify 0 into 0 1550712644.844 * [misc]backup-simplify: Simplify 1 into 1 1550712644.845 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.845 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.845 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.845 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.845 * [misc]backup-simplify: Simplify 2 into 2 1550712644.845 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.845 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.845 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.845 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1550712644.845 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1550712644.845 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1550712644.845 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1550712644.845 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.846 * [misc]taylor: Taking taylor expansion of c in c 1550712644.846 * [misc]backup-simplify: Simplify 0 into 0 1550712644.846 * [misc]backup-simplify: Simplify 1 into 1 1550712644.846 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.846 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1550712644.846 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1550712644.846 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1550712644.846 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1550712644.846 * [misc]taylor: Taking taylor expansion of c in c 1550712644.846 * [misc]backup-simplify: Simplify 0 into 0 1550712644.846 * [misc]backup-simplify: Simplify 1 into 1 1550712644.846 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.846 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.846 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1550712644.846 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.846 * [misc]backup-simplify: Simplify 2 into 2 1550712644.847 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1550712644.847 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1550712644.847 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.847 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1550712644.847 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.848 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.848 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1550712644.848 * [misc]backup-simplify: Simplify 0 into 0 1550712644.848 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.848 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.849 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.849 * [misc]backup-simplify: Simplify 0 into 0 1550712644.849 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.849 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.850 * [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.850 * [misc]backup-simplify: Simplify 0 into 0 1550712644.850 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.851 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.852 * [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.852 * [misc]backup-simplify: Simplify 0 into 0 1550712644.852 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.852 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.853 * [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.853 * [misc]backup-simplify: Simplify 0 into 0 1550712644.853 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.855 * [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.855 * [misc]backup-simplify: Simplify 0 into 0 1550712644.855 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1550712644.855 * [misc]backup-simplify: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1550712644.855 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1550712644.855 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.855 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.855 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.855 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.855 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.855 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.855 * [misc]backup-simplify: Simplify -1 into -1 1550712644.855 * [misc]taylor: Taking taylor expansion of c in c 1550712644.855 * [misc]backup-simplify: Simplify 0 into 0 1550712644.855 * [misc]backup-simplify: Simplify 1 into 1 1550712644.856 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.856 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.856 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.856 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.856 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.856 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.856 * [misc]backup-simplify: Simplify -1 into -1 1550712644.856 * [misc]taylor: Taking taylor expansion of c in c 1550712644.856 * [misc]backup-simplify: Simplify 0 into 0 1550712644.856 * [misc]backup-simplify: Simplify 1 into 1 1550712644.856 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.856 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.856 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.856 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.856 * [misc]backup-simplify: Simplify 2 into 2 1550712644.856 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.857 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.857 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.857 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1550712644.857 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1550712644.857 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1550712644.857 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1550712644.857 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.857 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.857 * [misc]backup-simplify: Simplify -1 into -1 1550712644.857 * [misc]taylor: Taking taylor expansion of c in c 1550712644.857 * [misc]backup-simplify: Simplify 0 into 0 1550712644.857 * [misc]backup-simplify: Simplify 1 into 1 1550712644.857 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.857 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1550712644.857 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1550712644.857 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1550712644.857 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1550712644.857 * [misc]taylor: Taking taylor expansion of -1 in c 1550712644.858 * [misc]backup-simplify: Simplify -1 into -1 1550712644.858 * [misc]taylor: Taking taylor expansion of c in c 1550712644.858 * [misc]backup-simplify: Simplify 0 into 0 1550712644.858 * [misc]backup-simplify: Simplify 1 into 1 1550712644.858 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.858 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.858 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1550712644.858 * [misc]taylor: Taking taylor expansion of 2 in c 1550712644.858 * [misc]backup-simplify: Simplify 2 into 2 1550712644.858 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1550712644.858 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1550712644.858 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.859 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1550712644.859 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.859 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.860 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1550712644.860 * [misc]backup-simplify: Simplify 0 into 0 1550712644.860 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.860 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.860 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.861 * [misc]backup-simplify: Simplify 0 into 0 1550712644.861 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.861 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.862 * [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.862 * [misc]backup-simplify: Simplify 0 into 0 1550712644.862 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.862 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.863 * [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.863 * [misc]backup-simplify: Simplify 0 into 0 1550712644.863 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.863 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.864 * [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.864 * [misc]backup-simplify: Simplify 0 into 0 1550712644.865 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.865 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.866 * [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.866 * [misc]backup-simplify: Simplify 0 into 0 1550712644.866 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712644.866 * * * [misc]progress: simplifying candidates 1550712644.866 * * * * [misc]progress: [ 1 / 104 ] simplifiying candidate # 1550712644.866 * * * * [misc]progress: [ 2 / 104 ] simplifiying candidate # 1550712644.867 * * * * [misc]progress: [ 3 / 104 ] simplifiying candidate # 1550712644.867 * * * * [misc]progress: [ 4 / 104 ] simplifiying candidate # 1550712644.867 * * * * [misc]progress: [ 5 / 104 ] simplifiying candidate # 1550712644.867 * * * * [misc]progress: [ 6 / 104 ] simplifiying candidate # 1550712644.867 * * * * [misc]progress: [ 7 / 104 ] simplifiying candidate # 1550712644.867 * [enter]simplify: Simplifying (cbrt (* (sinh c) (sinh c))) 1550712644.867 * * [misc]simplify: iters left: 4 (4 enodes) 1550712644.869 * * [misc]simplify: iters left: 3 (18 enodes) 1550712644.876 * * [misc]simplify: iters left: 2 (39 enodes) 1550712644.891 * * [misc]simplify: iters left: 1 (71 enodes) 1550712644.917 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.917 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712644.917 * * [misc]simplify: Extracting #2: cost 21 inf + 0 1550712644.917 * * [misc]simplify: Extracting #3: cost 42 inf + 2 1550712644.918 * * [misc]simplify: Extracting #4: cost 61 inf + 227 1550712644.919 * * [misc]simplify: Extracting #5: cost 32 inf + 4452 1550712644.922 * * [misc]simplify: Extracting #6: cost 3 inf + 9633 1550712644.925 * * [misc]simplify: Extracting #7: cost 0 inf + 10366 1550712644.928 * [exit]simplify: Simplified to (cbrt (* (sinh c) (sinh c))) 1550712644.928 * [misc]simplify: Simplified (2 1 1) to (λ (c) (fmod (* (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712644.928 * * * * [misc]progress: [ 8 / 104 ] simplifiying candidate # 1550712644.929 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1550712644.929 * * [misc]simplify: iters left: 6 (8 enodes) 1550712644.933 * * [misc]simplify: iters left: 5 (29 enodes) 1550712644.943 * * [misc]simplify: iters left: 4 (53 enodes) 1550712644.965 * * [misc]simplify: iters left: 3 (153 enodes) 1550712645.065 * * [misc]simplify: iters left: 2 (412 enodes) 1550712645.347 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.348 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712645.348 * * [misc]simplify: Extracting #2: cost 66 inf + 1 1550712645.349 * * [misc]simplify: Extracting #3: cost 160 inf + 75 1550712645.353 * * [misc]simplify: Extracting #4: cost 107 inf + 10439 1550712645.362 * * [misc]simplify: Extracting #5: cost 13 inf + 33761 1550712645.371 * * [misc]simplify: Extracting #6: cost 0 inf + 36328 1550712645.381 * * [misc]simplify: Extracting #7: cost 0 inf + 36118 1550712645.392 * [exit]simplify: Simplified to (+ (/ -1 (exp c)) (exp c)) 1550712645.393 * [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.393 * * * * [misc]progress: [ 9 / 104 ] simplifiying candidate # 1550712645.393 * [enter]simplify: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1550712645.393 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.397 * * [misc]simplify: iters left: 5 (37 enodes) 1550712645.410 * * [misc]simplify: iters left: 4 (76 enodes) 1550712645.446 * * [misc]simplify: iters left: 3 (229 enodes) 1550712645.543 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.543 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.543 * * [misc]simplify: Extracting #2: cost 37 inf + 0 1550712645.544 * * [misc]simplify: Extracting #3: cost 143 inf + 1 1550712645.545 * * [misc]simplify: Extracting #4: cost 181 inf + 951 1550712645.549 * * [misc]simplify: Extracting #5: cost 123 inf + 13468 1550712645.566 * * [misc]simplify: Extracting #6: cost 8 inf + 46119 1550712645.584 * * [misc]simplify: Extracting #7: cost 0 inf + 44316 1550712645.599 * * [misc]simplify: Extracting #8: cost 0 inf + 43972 1550712645.608 * [exit]simplify: Simplified to (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1550712645.608 * [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.608 * * * * [misc]progress: [ 10 / 104 ] simplifiying candidate # 1550712645.609 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c))))) 1550712645.609 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.611 * * [misc]simplify: iters left: 5 (35 enodes) 1550712645.617 * * [misc]simplify: iters left: 4 (66 enodes) 1550712645.636 * * [misc]simplify: iters left: 3 (178 enodes) 1550712645.694 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.694 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.694 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550712645.695 * * [misc]simplify: Extracting #3: cost 128 inf + 1 1550712645.695 * * [misc]simplify: Extracting #4: cost 137 inf + 768 1550712645.697 * * [misc]simplify: Extracting #5: cost 84 inf + 11224 1550712645.703 * * [misc]simplify: Extracting #6: cost 9 inf + 30523 1550712645.710 * * [misc]simplify: Extracting #7: cost 0 inf + 32925 1550712645.718 * * [misc]simplify: Extracting #8: cost 0 inf + 32923 1550712645.732 * [exit]simplify: Simplified to (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) 1550712645.732 * [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.732 * * * * [misc]progress: [ 11 / 104 ] simplifiying candidate # 1550712645.732 * [enter]simplify: Simplifying (cbrt (* (* (sinh c) (sinh c)) (- (exp c) (exp (- c))))) 1550712645.733 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.737 * * [misc]simplify: iters left: 5 (36 enodes) 1550712645.747 * * [misc]simplify: iters left: 4 (73 enodes) 1550712645.765 * * [misc]simplify: iters left: 3 (181 enodes) 1550712645.817 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.817 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.817 * * [misc]simplify: Extracting #2: cost 29 inf + 0 1550712645.818 * * [misc]simplify: Extracting #3: cost 114 inf + 2 1550712645.818 * * [misc]simplify: Extracting #4: cost 139 inf + 1678 1550712645.820 * * [misc]simplify: Extracting #5: cost 73 inf + 15769 1550712645.826 * * [misc]simplify: Extracting #6: cost 9 inf + 31547 1550712645.835 * * [misc]simplify: Extracting #7: cost 0 inf + 33318 1550712645.846 * * [misc]simplify: Extracting #8: cost 0 inf + 33262 1550712645.858 * [exit]simplify: Simplified to (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) 1550712645.859 * [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.859 * * * * [misc]progress: [ 12 / 104 ] simplifiying candidate # 1550712645.859 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c))) 1550712645.859 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.863 * * [misc]simplify: iters left: 5 (36 enodes) 1550712645.874 * * [misc]simplify: iters left: 4 (66 enodes) 1550712645.887 * * [misc]simplify: iters left: 3 (167 enodes) 1550712645.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.952 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.952 * * [misc]simplify: Extracting #2: cost 26 inf + 0 1550712645.952 * * [misc]simplify: Extracting #3: cost 98 inf + 1 1550712645.953 * * [misc]simplify: Extracting #4: cost 161 inf + 243 1550712645.954 * * [misc]simplify: Extracting #5: cost 116 inf + 7909 1550712645.962 * * [misc]simplify: Extracting #6: cost 25 inf + 30561 1550712645.977 * * [misc]simplify: Extracting #7: cost 0 inf + 36868 1550712645.986 * * [misc]simplify: Extracting #8: cost 0 inf + 36799 1550712645.994 * [exit]simplify: Simplified to (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) 1550712645.994 * [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)))) 1550712645.994 * * * * [misc]progress: [ 13 / 104 ] simplifiying candidate # 1550712645.994 * [enter]simplify: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c))) 1550712645.995 * * [misc]simplify: iters left: 6 (9 enodes) 1550712645.997 * * [misc]simplify: iters left: 5 (35 enodes) 1550712646.005 * * [misc]simplify: iters left: 4 (65 enodes) 1550712646.027 * * [misc]simplify: iters left: 3 (163 enodes) 1550712646.092 * * [misc]simplify: iters left: 2 (484 enodes) 1550712646.426 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.426 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.426 * * [misc]simplify: Extracting #2: cost 32 inf + 0 1550712646.427 * * [misc]simplify: Extracting #3: cost 194 inf + 2 1550712646.428 * * [misc]simplify: Extracting #4: cost 314 inf + 3469 1550712646.445 * * [misc]simplify: Extracting #5: cost 120 inf + 47694 1550712646.470 * * [misc]simplify: Extracting #6: cost 3 inf + 76892 1550712646.496 * * [misc]simplify: Extracting #7: cost 0 inf + 76714 1550712646.532 * [exit]simplify: Simplified to (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) 1550712646.533 * [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.533 * * * * [misc]progress: [ 14 / 104 ] simplifiying candidate # 1550712646.533 * [enter]simplify: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c))) 1550712646.533 * * [misc]simplify: iters left: 6 (9 enodes) 1550712646.537 * * [misc]simplify: iters left: 5 (37 enodes) 1550712646.550 * * [misc]simplify: iters left: 4 (68 enodes) 1550712646.577 * * [misc]simplify: iters left: 3 (169 enodes) 1550712646.624 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.624 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.624 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550712646.625 * * [misc]simplify: Extracting #3: cost 110 inf + 2 1550712646.626 * * [misc]simplify: Extracting #4: cost 157 inf + 483 1550712646.629 * * [misc]simplify: Extracting #5: cost 95 inf + 13035 1550712646.640 * * [misc]simplify: Extracting #6: cost 12 inf + 33133 1550712646.651 * * [misc]simplify: Extracting #7: cost 0 inf + 35951 1550712646.658 * [exit]simplify: Simplified to (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) 1550712646.658 * [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.659 * * * * [misc]progress: [ 15 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 16 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 17 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 18 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 19 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 20 / 104 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712646.659 * * * * [misc]progress: [ 21 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 22 / 104 ] simplifiying candidate # 1550712646.659 * * * * [misc]progress: [ 23 / 104 ] simplifiying candidate # 1550712646.659 * [enter]simplify: Simplifying (sinh c) 1550712646.659 * * [misc]simplify: iters left: 1 (2 enodes) 1550712646.660 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.660 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712646.660 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712646.660 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712646.660 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712646.660 * [exit]simplify: Simplified to (sinh c) 1550712646.660 * [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.660 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1550712646.660 * * [misc]simplify: iters left: 4 (3 enodes) 1550712646.663 * * [misc]simplify: iters left: 3 (14 enodes) 1550712646.665 * * [misc]simplify: iters left: 2 (16 enodes) 1550712646.667 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.667 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712646.667 * [exit]simplify: Simplified to 3 1550712646.667 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.667 * * * * [misc]progress: [ 24 / 104 ] simplifiying candidate # 1550712646.667 * [enter]simplify: Simplifying (sinh c) 1550712646.668 * * [misc]simplify: iters left: 1 (2 enodes) 1550712646.668 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.668 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712646.668 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712646.668 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712646.668 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712646.668 * [exit]simplify: Simplified to (sinh c) 1550712646.668 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.668 * [enter]simplify: Simplifying (+ 2 1) 1550712646.669 * * [misc]simplify: iters left: 2 (3 enodes) 1550712646.670 * * [misc]simplify: iters left: 1 (13 enodes) 1550712646.673 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.673 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712646.673 * [exit]simplify: Simplified to 3 1550712646.673 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.673 * * * * [misc]progress: [ 25 / 104 ] simplifiying candidate # 1550712646.673 * [enter]simplify: Simplifying (sinh c) 1550712646.673 * * [misc]simplify: iters left: 1 (2 enodes) 1550712646.673 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.673 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712646.675 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712646.675 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712646.675 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712646.676 * [exit]simplify: Simplified to (sinh c) 1550712646.676 * [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.676 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1550712646.676 * * [misc]simplify: iters left: 4 (3 enodes) 1550712646.678 * * [misc]simplify: iters left: 3 (14 enodes) 1550712646.681 * * [misc]simplify: iters left: 2 (16 enodes) 1550712646.685 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.685 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712646.685 * [exit]simplify: Simplified to 3 1550712646.685 * [misc]simplify: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712646.685 * * * * [misc]progress: [ 26 / 104 ] simplifiying candidate # 1550712646.686 * [enter]simplify: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1550712646.686 * * [misc]simplify: iters left: 5 (4 enodes) 1550712646.687 * * [misc]simplify: iters left: 4 (19 enodes) 1550712646.694 * * [misc]simplify: iters left: 3 (46 enodes) 1550712646.712 * * [misc]simplify: iters left: 2 (107 enodes) 1550712646.757 * * [misc]simplify: iters left: 1 (295 enodes) 1550712646.987 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.987 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550712646.988 * * [misc]simplify: Extracting #2: cost 122 inf + 4 1550712646.990 * * [misc]simplify: Extracting #3: cost 239 inf + 1965 1550712647.002 * * [misc]simplify: Extracting #4: cost 95 inf + 33793 1550712647.027 * * [misc]simplify: Extracting #5: cost 0 inf + 58426 1550712647.053 * * [misc]simplify: Extracting #6: cost 0 inf + 54532 1550712647.082 * [exit]simplify: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1550712647.082 * [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.082 * * * * [misc]progress: [ 27 / 104 ] simplifiying candidate # 1550712647.083 * [enter]simplify: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1550712647.083 * * [misc]simplify: iters left: 5 (4 enodes) 1550712647.085 * * [misc]simplify: iters left: 4 (19 enodes) 1550712647.093 * * [misc]simplify: iters left: 3 (46 enodes) 1550712647.111 * * [misc]simplify: iters left: 2 (107 enodes) 1550712647.156 * * [misc]simplify: iters left: 1 (295 enodes) 1550712647.382 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.382 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550712647.383 * * [misc]simplify: Extracting #2: cost 122 inf + 4 1550712647.386 * * [misc]simplify: Extracting #3: cost 239 inf + 1965 1550712647.398 * * [misc]simplify: Extracting #4: cost 95 inf + 33793 1550712647.422 * * [misc]simplify: Extracting #5: cost 0 inf + 58426 1550712647.447 * * [misc]simplify: Extracting #6: cost 0 inf + 54532 1550712647.476 * [exit]simplify: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1550712647.476 * [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.476 * * * * [misc]progress: [ 28 / 104 ] simplifiying candidate # 1550712647.477 * [enter]simplify: Simplifying (sinh c) 1550712647.477 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.478 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.478 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.478 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.478 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.478 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.478 * [exit]simplify: Simplified to (sinh c) 1550712647.478 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.479 * * * * [misc]progress: [ 29 / 104 ] simplifiying candidate # 1550712647.479 * [enter]simplify: Simplifying (sinh c) 1550712647.479 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.480 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.480 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.480 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.480 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.480 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.480 * [exit]simplify: Simplified to (sinh c) 1550712647.480 * [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.481 * * * * [misc]progress: [ 30 / 104 ] simplifiying candidate # 1550712647.481 * [enter]simplify: Simplifying (sinh c) 1550712647.481 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.482 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.482 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.482 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.482 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.482 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.482 * [exit]simplify: Simplified to (sinh c) 1550712647.482 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712647.483 * * * * [misc]progress: [ 31 / 104 ] simplifiying candidate # 1550712647.483 * [enter]simplify: Simplifying (sinh c) 1550712647.483 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.484 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.484 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712647.484 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712647.484 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712647.484 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712647.484 * [exit]simplify: Simplified to (sinh c) 1550712647.484 * [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.484 * * * * [misc]progress: [ 32 / 104 ] simplifiying candidate # 1550712647.485 * * * * [misc]progress: [ 33 / 104 ] simplifiying candidate # 1550712647.485 * [enter]simplify: Simplifying (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1550712647.485 * * [misc]simplify: iters left: 6 (5 enodes) 1550712647.487 * * [misc]simplify: iters left: 5 (22 enodes) 1550712647.495 * * [misc]simplify: iters left: 4 (42 enodes) 1550712647.510 * * [misc]simplify: iters left: 3 (74 enodes) 1550712647.535 * * [misc]simplify: iters left: 2 (129 enodes) 1550712647.583 * * [misc]simplify: iters left: 1 (240 enodes) 1550712647.673 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.673 * * [misc]simplify: Extracting #1: cost 22 inf + 0 1550712647.673 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550712647.674 * * [misc]simplify: Extracting #3: cost 74 inf + 1 1550712647.674 * * [misc]simplify: Extracting #4: cost 82 inf + 200 1550712647.675 * * [misc]simplify: Extracting #5: cost 44 inf + 6356 1550712647.677 * * [misc]simplify: Extracting #6: cost 21 inf + 11363 1550712647.681 * * [misc]simplify: Extracting #7: cost 4 inf + 17783 1550712647.685 * * [misc]simplify: Extracting #8: cost 0 inf + 19037 1550712647.691 * * [misc]simplify: Extracting #9: cost 0 inf + 19009 1550712647.695 * [exit]simplify: Simplified to (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1550712647.695 * [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.696 * * * * [misc]progress: [ 34 / 104 ] simplifiying candidate # 1550712647.696 * [enter]simplify: Simplifying (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1550712647.696 * * [misc]simplify: iters left: 6 (6 enodes) 1550712647.698 * * [misc]simplify: iters left: 5 (26 enodes) 1550712647.707 * * [misc]simplify: iters left: 4 (50 enodes) 1550712647.726 * * [misc]simplify: iters left: 3 (100 enodes) 1550712647.745 * * [misc]simplify: iters left: 2 (233 enodes) 1550712647.798 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.798 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550712647.799 * * [misc]simplify: Extracting #2: cost 71 inf + 0 1550712647.799 * * [misc]simplify: Extracting #3: cost 98 inf + 778 1550712647.800 * * [misc]simplify: Extracting #4: cost 152 inf + 2916 1550712647.801 * * [misc]simplify: Extracting #5: cost 103 inf + 10922 1550712647.808 * * [misc]simplify: Extracting #6: cost 26 inf + 30234 1550712647.820 * * [misc]simplify: Extracting #7: cost 0 inf + 36118 1550712647.833 * * [misc]simplify: Extracting #8: cost 0 inf + 34969 1550712647.840 * * [misc]simplify: Extracting #9: cost 0 inf + 34801 1550712647.848 * [exit]simplify: Simplified to (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1550712647.848 * [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)))) 1550712647.848 * * * * [misc]progress: [ 35 / 104 ] simplifiying candidate # 1550712647.848 * * * * [misc]progress: [ 36 / 104 ] simplifiying candidate # 1550712647.848 * * * * [misc]progress: [ 37 / 104 ] simplifiying candidate # 1550712647.848 * [enter]simplify: Simplifying (* (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1550712647.848 * * [misc]simplify: iters left: 6 (6 enodes) 1550712647.850 * * [misc]simplify: iters left: 5 (32 enodes) 1550712647.857 * * [misc]simplify: iters left: 4 (93 enodes) 1550712647.885 * * [misc]simplify: iters left: 3 (308 enodes) 1550712648.027 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.028 * * [misc]simplify: Extracting #1: cost 31 inf + 0 1550712648.028 * * [misc]simplify: Extracting #2: cost 189 inf + 3 1550712648.031 * * [misc]simplify: Extracting #3: cost 277 inf + 4936 1550712648.041 * * [misc]simplify: Extracting #4: cost 192 inf + 32041 1550712648.071 * * [misc]simplify: Extracting #5: cost 23 inf + 86838 1550712648.108 * * [misc]simplify: Extracting #6: cost 0 inf + 95906 1550712648.149 * * [misc]simplify: Extracting #7: cost 0 inf + 95769 1550712648.191 * [exit]simplify: Simplified to (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))) 1550712648.191 * [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.192 * * * * [misc]progress: [ 38 / 104 ] simplifiying candidate # 1550712648.192 * [enter]simplify: Simplifying (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1550712648.192 * * [misc]simplify: iters left: 6 (7 enodes) 1550712648.196 * * [misc]simplify: iters left: 5 (38 enodes) 1550712648.213 * * [misc]simplify: iters left: 4 (102 enodes) 1550712648.255 * * [misc]simplify: iters left: 3 (321 enodes) 1550712648.416 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.416 * * [misc]simplify: Extracting #1: cost 31 inf + 0 1550712648.418 * * [misc]simplify: Extracting #2: cost 190 inf + 3 1550712648.421 * * [misc]simplify: Extracting #3: cost 258 inf + 6355 1550712648.433 * * [misc]simplify: Extracting #4: cost 189 inf + 32524 1550712648.468 * * [misc]simplify: Extracting #5: cost 25 inf + 86374 1550712648.511 * * [misc]simplify: Extracting #6: cost 0 inf + 93982 1550712648.554 * * [misc]simplify: Extracting #7: cost 0 inf + 93954 1550712648.598 * [exit]simplify: Simplified to (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)) 1550712648.598 * [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.599 * * * * [misc]progress: [ 39 / 104 ] simplifiying candidate # 1550712648.599 * * * * [misc]progress: [ 40 / 104 ] simplifiying candidate # 1550712648.599 * * * * [misc]progress: [ 41 / 104 ] simplifiying candidate # 1550712648.599 * * * * [misc]progress: [ 42 / 104 ] simplifiying candidate # 1550712648.599 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1550712648.599 * * [misc]simplify: iters left: 6 (7 enodes) 1550712648.602 * * [misc]simplify: iters left: 5 (26 enodes) 1550712648.611 * * [misc]simplify: iters left: 4 (50 enodes) 1550712648.631 * * [misc]simplify: iters left: 3 (132 enodes) 1550712648.701 * * [misc]simplify: iters left: 2 (431 enodes) 1550712649.089 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.089 * * [misc]simplify: Extracting #1: cost 51 inf + 0 1550712649.091 * * [misc]simplify: Extracting #2: cost 329 inf + 2 1550712649.095 * * [misc]simplify: Extracting #3: cost 293 inf + 9500 1550712649.114 * * [misc]simplify: Extracting #4: cost 82 inf + 56649 1550712649.148 * * [misc]simplify: Extracting #5: cost 0 inf + 79248 1550712649.181 * * [misc]simplify: Extracting #6: cost 0 inf + 77986 1550712649.215 * [exit]simplify: Simplified to (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 1550712649.215 * [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.215 * [enter]simplify: Simplifying (* (* 2 2) 2) 1550712649.216 * * [misc]simplify: iters left: 4 (3 enodes) 1550712649.220 * * [misc]simplify: iters left: 3 (12 enodes) 1550712649.223 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.223 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712649.223 * [exit]simplify: Simplified to 8 1550712649.223 * [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.223 * * * * [misc]progress: [ 43 / 104 ] simplifiying candidate # 1550712649.224 * [enter]simplify: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1550712649.224 * * [misc]simplify: iters left: 6 (8 enodes) 1550712649.228 * * [misc]simplify: iters left: 5 (34 enodes) 1550712649.243 * * [misc]simplify: iters left: 4 (73 enodes) 1550712649.277 * * [misc]simplify: iters left: 3 (226 enodes) 1550712649.364 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.364 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550712649.364 * * [misc]simplify: Extracting #2: cost 144 inf + 1 1550712649.365 * * [misc]simplify: Extracting #3: cost 187 inf + 522 1550712649.367 * * [misc]simplify: Extracting #4: cost 130 inf + 13285 1550712649.375 * * [misc]simplify: Extracting #5: cost 9 inf + 46426 1550712649.384 * * [misc]simplify: Extracting #6: cost 0 inf + 44955 1550712649.394 * * [misc]simplify: Extracting #7: cost 0 inf + 44799 1550712649.412 * [exit]simplify: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 1550712649.412 * [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.413 * [enter]simplify: Simplifying (* 2 2) 1550712649.413 * * [misc]simplify: iters left: 2 (2 enodes) 1550712649.416 * * [misc]simplify: iters left: 1 (7 enodes) 1550712649.418 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.418 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712649.418 * [exit]simplify: Simplified to 4 1550712649.418 * [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.418 * * * * [misc]progress: [ 44 / 104 ] simplifiying candidate # 1550712649.419 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c)))) 1550712649.419 * * [misc]simplify: iters left: 6 (8 enodes) 1550712649.423 * * [misc]simplify: iters left: 5 (32 enodes) 1550712649.434 * * [misc]simplify: iters left: 4 (63 enodes) 1550712649.467 * * [misc]simplify: iters left: 3 (175 enodes) 1550712649.561 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.561 * * [misc]simplify: Extracting #1: cost 32 inf + 0 1550712649.562 * * [misc]simplify: Extracting #2: cost 126 inf + 1 1550712649.563 * * [misc]simplify: Extracting #3: cost 135 inf + 753 1550712649.568 * * [misc]simplify: Extracting #4: cost 77 inf + 13423 1550712649.579 * * [misc]simplify: Extracting #5: cost 8 inf + 30426 1550712649.596 * * [misc]simplify: Extracting #6: cost 0 inf + 32395 1550712649.609 * [exit]simplify: Simplified to (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 1550712649.609 * [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.609 * [enter]simplify: Simplifying (* 2 2) 1550712649.609 * * [misc]simplify: iters left: 2 (2 enodes) 1550712649.612 * * [misc]simplify: iters left: 1 (7 enodes) 1550712649.615 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.615 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712649.615 * [exit]simplify: Simplified to 4 1550712649.615 * [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)))) 1550712649.615 * * * * [misc]progress: [ 45 / 104 ] simplifiying candidate # 1550712649.615 * * * * [misc]progress: [ 46 / 104 ] simplifiying candidate # 1550712649.615 * [enter]simplify: Simplifying (cbrt (sinh c)) 1550712649.616 * * [misc]simplify: iters left: 2 (3 enodes) 1550712649.617 * * [misc]simplify: iters left: 1 (15 enodes) 1550712649.622 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.622 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712649.622 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712649.623 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712649.623 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712649.623 * * [misc]simplify: Extracting #5: cost 5 inf + 904 1550712649.623 * * [misc]simplify: Extracting #6: cost 0 inf + 1690 1550712649.624 * [exit]simplify: Simplified to (cbrt (sinh c)) 1550712649.624 * [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)))) 1550712649.624 * * * * [misc]progress: [ 47 / 104 ] simplifiying candidate # 1550712649.624 * [enter]simplify: Simplifying (sqrt (sinh c)) 1550712649.624 * * [misc]simplify: iters left: 2 (3 enodes) 1550712649.626 * * [misc]simplify: iters left: 1 (15 enodes) 1550712649.631 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.631 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712649.631 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712649.632 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712649.632 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712649.632 * * [misc]simplify: Extracting #5: cost 5 inf + 824 1550712649.632 * * [misc]simplify: Extracting #6: cost 0 inf + 1610 1550712649.633 * [exit]simplify: Simplified to (sqrt (sinh c)) 1550712649.633 * [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)))) 1550712649.633 * * * * [misc]progress: [ 48 / 104 ] simplifiying candidate # 1550712649.633 * [enter]simplify: Simplifying (sinh c) 1550712649.633 * * [misc]simplify: iters left: 1 (2 enodes) 1550712649.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.634 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712649.634 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712649.635 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712649.635 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712649.635 * [exit]simplify: Simplified to (sinh c) 1550712649.635 * [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)))) 1550712649.635 * * * * [misc]progress: [ 49 / 104 ] simplifiying candidate # 1550712649.635 * [enter]simplify: Simplifying (sinh c) 1550712649.635 * * [misc]simplify: iters left: 1 (2 enodes) 1550712649.636 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.636 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712649.636 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712649.637 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712649.637 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712649.637 * [exit]simplify: Simplified to (sinh c) 1550712649.637 * [misc]simplify: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (sinh c) (* (sinh c) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712649.637 * * * * [misc]progress: [ 50 / 104 ] simplifiying candidate # 1550712649.637 * * * * [misc]progress: [ 51 / 104 ] simplifiying candidate # 1550712649.638 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c)) 1550712649.638 * * [misc]simplify: iters left: 6 (8 enodes) 1550712649.641 * * [misc]simplify: iters left: 5 (33 enodes) 1550712649.653 * * [misc]simplify: iters left: 4 (63 enodes) 1550712649.678 * * [misc]simplify: iters left: 3 (164 enodes) 1550712649.782 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.782 * * [misc]simplify: Extracting #1: cost 26 inf + 0 1550712649.783 * * [misc]simplify: Extracting #2: cost 104 inf + 1 1550712649.784 * * [misc]simplify: Extracting #3: cost 174 inf + 726 1550712649.789 * * [misc]simplify: Extracting #4: cost 96 inf + 19777 1550712649.804 * * [misc]simplify: Extracting #5: cost 4 inf + 44060 1550712649.819 * * [misc]simplify: Extracting #6: cost 0 inf + 40461 1550712649.834 * * [misc]simplify: Extracting #7: cost 0 inf + 40185 1550712649.849 * [exit]simplify: Simplified to (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) 1550712649.849 * [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.850 * * * * [misc]progress: [ 52 / 104 ] simplifiying candidate # 1550712649.850 * [enter]simplify: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c)) 1550712649.850 * * [misc]simplify: iters left: 6 (8 enodes) 1550712649.854 * * [misc]simplify: iters left: 5 (32 enodes) 1550712649.865 * * [misc]simplify: iters left: 4 (62 enodes) 1550712649.895 * * [misc]simplify: iters left: 3 (160 enodes) 1550712649.980 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712649.980 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1550712649.981 * * [misc]simplify: Extracting #2: cost 105 inf + 2 1550712649.982 * * [misc]simplify: Extracting #3: cost 153 inf + 1320 1550712649.985 * * [misc]simplify: Extracting #4: cost 109 inf + 9614 1550712649.995 * * [misc]simplify: Extracting #5: cost 11 inf + 33779 1550712650.008 * * [misc]simplify: Extracting #6: cost 0 inf + 35877 1550712650.023 * * [misc]simplify: Extracting #7: cost 0 inf + 35863 1550712650.037 * [exit]simplify: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 1550712650.037 * [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.037 * * * * [misc]progress: [ 53 / 104 ] simplifiying candidate # 1550712650.038 * [enter]simplify: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c)) 1550712650.038 * * [misc]simplify: iters left: 6 (8 enodes) 1550712650.041 * * [misc]simplify: iters left: 5 (34 enodes) 1550712650.054 * * [misc]simplify: iters left: 4 (65 enodes) 1550712650.079 * * [misc]simplify: iters left: 3 (166 enodes) 1550712650.172 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.172 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1550712650.172 * * [misc]simplify: Extracting #2: cost 109 inf + 2 1550712650.173 * * [misc]simplify: Extracting #3: cost 161 inf + 397 1550712650.177 * * [misc]simplify: Extracting #4: cost 89 inf + 14681 1550712650.187 * * [misc]simplify: Extracting #5: cost 16 inf + 32861 1550712650.200 * * [misc]simplify: Extracting #6: cost 0 inf + 36627 1550712650.214 * * [misc]simplify: Extracting #7: cost 0 inf + 36613 1550712650.227 * [exit]simplify: Simplified to (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1550712650.227 * [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.228 * * * * [misc]progress: [ 54 / 104 ] simplifiying candidate #real (real->posit16 (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712650.228 * * * * [misc]progress: [ 55 / 104 ] simplifiying candidate # 1550712650.228 * * * * [misc]progress: [ 56 / 104 ] simplifiying candidate # 1550712650.228 * * * * [misc]progress: [ 57 / 104 ] simplifiying candidate # 1550712650.228 * * * * [misc]progress: [ 58 / 104 ] simplifiying candidate # 1550712650.228 * [enter]simplify: Simplifying (sinh c) 1550712650.228 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.229 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.229 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.229 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.229 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.230 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.230 * [exit]simplify: Simplified to (sinh c) 1550712650.230 * [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.230 * [enter]simplify: Simplifying (+ 1 1) 1550712650.230 * * [misc]simplify: iters left: 2 (2 enodes) 1550712650.233 * * [misc]simplify: iters left: 1 (9 enodes) 1550712650.236 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.236 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712650.236 * [exit]simplify: Simplified to 2 1550712650.236 * [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.236 * * * * [misc]progress: [ 59 / 104 ] simplifiying candidate # 1550712650.237 * [enter]simplify: Simplifying (* (sinh c) (sinh c)) 1550712650.237 * * [misc]simplify: iters left: 3 (3 enodes) 1550712650.238 * * [misc]simplify: iters left: 2 (15 enodes) 1550712650.244 * * [misc]simplify: iters left: 1 (36 enodes) 1550712650.257 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.257 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550712650.257 * * [misc]simplify: Extracting #2: cost 22 inf + 1 1550712650.257 * * [misc]simplify: Extracting #3: cost 30 inf + 2 1550712650.257 * * [misc]simplify: Extracting #4: cost 18 inf + 1023 1550712650.258 * * [misc]simplify: Extracting #5: cost 0 inf + 3808 1550712650.260 * [exit]simplify: Simplified to (* (sinh c) (sinh c)) 1550712650.260 * [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.260 * * * * [misc]progress: [ 60 / 104 ] simplifiying candidate # 1550712650.260 * * * * [misc]progress: [ 61 / 104 ] simplifiying candidate # 1550712650.260 * [enter]simplify: Simplifying (sinh c) 1550712650.260 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.261 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.261 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.261 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.261 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.262 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.262 * [exit]simplify: Simplified to (sinh c) 1550712650.262 * [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.262 * * * * [misc]progress: [ 62 / 104 ] simplifiying candidate # 1550712650.262 * * * * [misc]progress: [ 63 / 104 ] simplifiying candidate # 1550712650.262 * [enter]simplify: Simplifying (+ (log (sinh c)) (log (sinh c))) 1550712650.262 * * [misc]simplify: iters left: 4 (4 enodes) 1550712650.264 * * [misc]simplify: iters left: 3 (18 enodes) 1550712650.271 * * [misc]simplify: iters left: 2 (38 enodes) 1550712650.284 * * [misc]simplify: iters left: 1 (66 enodes) 1550712650.306 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.307 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550712650.307 * * [misc]simplify: Extracting #2: cost 21 inf + 0 1550712650.307 * * [misc]simplify: Extracting #3: cost 29 inf + 1 1550712650.307 * * [misc]simplify: Extracting #4: cost 33 inf + 493 1550712650.308 * * [misc]simplify: Extracting #5: cost 18 inf + 2528 1550712650.309 * * [misc]simplify: Extracting #6: cost 6 inf + 4127 1550712650.313 * * [misc]simplify: Extracting #7: cost 0 inf + 6174 1550712650.315 * * [misc]simplify: Extracting #8: cost 0 inf + 5760 1550712650.317 * * [misc]simplify: Extracting #9: cost 0 inf + 5732 1550712650.318 * [exit]simplify: Simplified to (+ (log (sinh c)) (log (sinh c))) 1550712650.319 * [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.319 * * * * [misc]progress: [ 64 / 104 ] simplifiying candidate # 1550712650.319 * * * * [misc]progress: [ 65 / 104 ] simplifiying candidate # 1550712650.319 * * * * [misc]progress: [ 66 / 104 ] simplifiying candidate # 1550712650.319 * [enter]simplify: Simplifying (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) 1550712650.319 * * [misc]simplify: iters left: 6 (5 enodes) 1550712650.322 * * [misc]simplify: iters left: 5 (26 enodes) 1550712650.332 * * [misc]simplify: iters left: 4 (68 enodes) 1550712650.363 * * [misc]simplify: iters left: 3 (200 enodes) 1550712650.488 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.488 * * [misc]simplify: Extracting #1: cost 28 inf + 0 1550712650.489 * * [misc]simplify: Extracting #2: cost 147 inf + 3 1550712650.490 * * [misc]simplify: Extracting #3: cost 182 inf + 1336 1550712650.494 * * [misc]simplify: Extracting #4: cost 135 inf + 16177 1550712650.510 * * [misc]simplify: Extracting #5: cost 25 inf + 49416 1550712650.529 * * [misc]simplify: Extracting #6: cost 0 inf + 54800 1550712650.539 * * [misc]simplify: Extracting #7: cost 0 inf + 53235 1550712650.551 * * [misc]simplify: Extracting #8: cost 0 inf + 52806 1550712650.569 * [exit]simplify: Simplified to (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) 1550712650.569 * [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.570 * * * * [misc]progress: [ 67 / 104 ] simplifiying candidate # 1550712650.570 * * * * [misc]progress: [ 68 / 104 ] simplifiying candidate # 1550712650.570 * * * * [misc]progress: [ 69 / 104 ] simplifiying candidate # 1550712650.570 * * * * [misc]progress: [ 70 / 104 ] simplifiying candidate # 1550712650.570 * [enter]simplify: Simplifying (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) 1550712650.570 * * [misc]simplify: iters left: 6 (6 enodes) 1550712650.573 * * [misc]simplify: iters left: 5 (22 enodes) 1550712650.580 * * [misc]simplify: iters left: 4 (38 enodes) 1550712650.594 * * [misc]simplify: iters left: 3 (70 enodes) 1550712650.621 * * [misc]simplify: iters left: 2 (156 enodes) 1550712650.692 * * [misc]simplify: iters left: 1 (333 enodes) 1550712650.821 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.821 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550712650.821 * * [misc]simplify: Extracting #2: cost 56 inf + 3 1550712650.822 * * [misc]simplify: Extracting #3: cost 59 inf + 299 1550712650.825 * * [misc]simplify: Extracting #4: cost 18 inf + 5811 1550712650.831 * * [misc]simplify: Extracting #5: cost 0 inf + 9153 1550712650.837 * * [misc]simplify: Extracting #6: cost 0 inf + 9152 1550712650.842 * [exit]simplify: Simplified to (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c)))) 1550712650.843 * [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)))) 1550712650.843 * [enter]simplify: Simplifying (* 2 2) 1550712650.843 * * [misc]simplify: iters left: 2 (2 enodes) 1550712650.845 * * [misc]simplify: iters left: 1 (7 enodes) 1550712650.848 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.848 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712650.848 * [exit]simplify: Simplified to 4 1550712650.848 * [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)))) 1550712650.848 * * * * [misc]progress: [ 71 / 104 ] simplifiying candidate # 1550712650.848 * * * * [misc]progress: [ 72 / 104 ] simplifiying candidate # 1550712650.848 * [enter]simplify: Simplifying (cbrt (sinh c)) 1550712650.848 * * [misc]simplify: iters left: 2 (3 enodes) 1550712650.850 * * [misc]simplify: iters left: 1 (15 enodes) 1550712650.855 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.855 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712650.855 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712650.855 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712650.855 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712650.855 * * [misc]simplify: Extracting #5: cost 5 inf + 904 1550712650.856 * * [misc]simplify: Extracting #6: cost 0 inf + 1690 1550712650.856 * [exit]simplify: Simplified to (cbrt (sinh c)) 1550712650.856 * [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)))) 1550712650.857 * * * * [misc]progress: [ 73 / 104 ] simplifiying candidate # 1550712650.857 * [enter]simplify: Simplifying (sqrt (sinh c)) 1550712650.857 * * [misc]simplify: iters left: 2 (3 enodes) 1550712650.858 * * [misc]simplify: iters left: 1 (15 enodes) 1550712650.864 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.864 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712650.864 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712650.864 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712650.864 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712650.864 * * [misc]simplify: Extracting #5: cost 5 inf + 824 1550712650.865 * * [misc]simplify: Extracting #6: cost 0 inf + 1610 1550712650.865 * [exit]simplify: Simplified to (sqrt (sinh c)) 1550712650.865 * [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)))) 1550712650.865 * * * * [misc]progress: [ 74 / 104 ] simplifiying candidate # 1550712650.866 * [enter]simplify: Simplifying (sinh c) 1550712650.866 * * [misc]simplify: iters left: 1 (2 enodes) 1550712650.867 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.867 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712650.867 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712650.867 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712650.867 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712650.867 * [exit]simplify: Simplified to (sinh c) 1550712650.867 * [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)))) 1550712650.867 * * * * [misc]progress: [ 75 / 104 ] simplifiying candidate # 1550712650.868 * [enter]simplify: Simplifying (* (cbrt (sinh c)) (cbrt (sinh c))) 1550712650.868 * * [misc]simplify: iters left: 4 (4 enodes) 1550712650.870 * * [misc]simplify: iters left: 3 (18 enodes) 1550712650.876 * * [misc]simplify: iters left: 2 (35 enodes) 1550712650.887 * * [misc]simplify: iters left: 1 (53 enodes) 1550712650.903 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.903 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712650.903 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712650.903 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1550712650.903 * * [misc]simplify: Extracting #4: cost 21 inf + 2 1550712650.904 * * [misc]simplify: Extracting #5: cost 19 inf + 356 1550712650.904 * * [misc]simplify: Extracting #6: cost 3 inf + 2326 1550712650.905 * * [misc]simplify: Extracting #7: cost 0 inf + 2691 1550712650.906 * [exit]simplify: Simplified to (* (cbrt (sinh c)) (cbrt (sinh c))) 1550712650.906 * [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)))) 1550712650.906 * * * * [misc]progress: [ 76 / 104 ] simplifiying candidate # 1550712650.906 * [enter]simplify: Simplifying (sqrt (sinh c)) 1550712650.907 * * [misc]simplify: iters left: 2 (3 enodes) 1550712650.908 * * [misc]simplify: iters left: 1 (15 enodes) 1550712650.913 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712650.913 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712650.913 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712650.913 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550712650.913 * * [misc]simplify: Extracting #4: cost 12 inf + 185 1550712650.914 * * [misc]simplify: Extracting #5: cost 5 inf + 824 1550712650.914 * * [misc]simplify: Extracting #6: cost 0 inf + 1610 1550712650.914 * [exit]simplify: Simplified to (sqrt (sinh c)) 1550712650.914 * [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)))) 1550712650.915 * * * * [misc]progress: [ 77 / 104 ] simplifiying candidate # 1550712650.915 * * * * [misc]progress: [ 78 / 104 ] simplifiying candidate # 1550712650.915 * * * * [misc]progress: [ 79 / 104 ] simplifiying candidate # 1550712650.915 * [enter]simplify: Simplifying (* (- (exp c) (exp (- c))) (sinh c)) 1550712650.915 * * [misc]simplify: iters left: 6 (7 enodes) 1550712650.918 * * [misc]simplify: iters left: 5 (28 enodes) 1550712650.928 * * [misc]simplify: iters left: 4 (51 enodes) 1550712650.948 * * [misc]simplify: iters left: 3 (95 enodes) 1550712650.980 * * [misc]simplify: iters left: 2 (193 enodes) 1550712651.067 * * [misc]simplify: iters left: 1 (461 enodes) 1550712651.372 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.372 * * [misc]simplify: Extracting #1: cost 33 inf + 0 1550712651.373 * * [misc]simplify: Extracting #2: cost 115 inf + 4 1550712651.375 * * [misc]simplify: Extracting #3: cost 132 inf + 2694 1550712651.383 * * [misc]simplify: Extracting #4: cost 42 inf + 18670 1550712651.396 * * [misc]simplify: Extracting #5: cost 1 inf + 26601 1550712651.414 * * [misc]simplify: Extracting #6: cost 0 inf + 26693 1550712651.428 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) 1550712651.428 * [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.428 * * * * [misc]progress: [ 80 / 104 ] simplifiying candidate #real (real->posit16 (* (sinh c) (sinh c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712651.428 * * * * [misc]progress: [ 81 / 104 ] simplifiying candidate # 1550712651.428 * * * * [misc]progress: [ 82 / 104 ] simplifiying candidate # 1550712651.428 * * * * [misc]progress: [ 83 / 104 ] simplifiying candidate # 1550712651.428 * * * * [misc]progress: [ 84 / 104 ] simplifiying candidate # 1550712651.428 * * * * [misc]progress: [ 85 / 104 ] simplifiying candidate # 1550712651.428 * * * * [misc]progress: [ 86 / 104 ] simplifiying candidate # 1550712651.428 * * * * [misc]progress: [ 87 / 104 ] simplifiying candidate # 1550712651.429 * * * * [misc]progress: [ 88 / 104 ] simplifiying candidate # 1550712651.429 * * * * [misc]progress: [ 89 / 104 ] simplifiying candidate # 1550712651.429 * * * * [misc]progress: [ 90 / 104 ] simplifiying candidate # 1550712651.429 * * * * [misc]progress: [ 91 / 104 ] simplifiying candidate # 1550712651.429 * * * * [misc]progress: [ 92 / 104 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1550712651.429 * * * * [misc]progress: [ 93 / 104 ] simplifiying candidate # 1550712651.429 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1550712651.429 * * [misc]simplify: iters left: 6 (11 enodes) 1550712651.436 * * [misc]simplify: iters left: 5 (44 enodes) 1550712651.451 * * [misc]simplify: iters left: 4 (66 enodes) 1550712651.473 * * [misc]simplify: iters left: 3 (102 enodes) 1550712651.497 * * [misc]simplify: iters left: 2 (114 enodes) 1550712651.524 * * [misc]simplify: iters left: 1 (122 enodes) 1550712651.559 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.559 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712651.559 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1550712651.560 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1550712651.562 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1550712651.564 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1550712651.565 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1550712651.567 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1550712651.567 * [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)))) 1550712651.567 * * * * [misc]progress: [ 94 / 104 ] simplifiying candidate # 1550712651.568 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1550712651.568 * * [misc]simplify: iters left: 6 (7 enodes) 1550712651.572 * * [misc]simplify: iters left: 5 (26 enodes) 1550712651.581 * * [misc]simplify: iters left: 4 (42 enodes) 1550712651.595 * * [misc]simplify: iters left: 3 (62 enodes) 1550712651.615 * * [misc]simplify: iters left: 2 (82 enodes) 1550712651.630 * * [misc]simplify: iters left: 1 (86 enodes) 1550712651.639 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.639 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712651.639 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1550712651.639 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1550712651.639 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1550712651.640 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1550712651.640 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1550712651.641 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712651.641 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.641 * * * * [misc]progress: [ 95 / 104 ] simplifiying candidate # 1550712651.641 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712651.641 * * [misc]simplify: iters left: 6 (8 enodes) 1550712651.644 * * [misc]simplify: iters left: 5 (31 enodes) 1550712651.649 * * [misc]simplify: iters left: 4 (45 enodes) 1550712651.660 * * [misc]simplify: iters left: 3 (67 enodes) 1550712651.683 * * [misc]simplify: iters left: 2 (89 enodes) 1550712651.704 * * [misc]simplify: iters left: 1 (93 enodes) 1550712651.723 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.723 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712651.724 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1550712651.724 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1550712651.724 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1550712651.725 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1550712651.726 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712651.726 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1550712651.726 * * * * [misc]progress: [ 96 / 104 ] simplifiying candidate # 1550712651.727 * [enter]simplify: Simplifying (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1550712651.727 * * [misc]simplify: iters left: 6 (13 enodes) 1550712651.735 * * [misc]simplify: iters left: 5 (49 enodes) 1550712651.744 * * [misc]simplify: iters left: 4 (66 enodes) 1550712651.754 * * [misc]simplify: iters left: 3 (81 enodes) 1550712651.764 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.765 * * [misc]simplify: Extracting #1: cost 14 inf + 0 1550712651.765 * * [misc]simplify: Extracting #2: cost 23 inf + 3 1550712651.765 * * [misc]simplify: Extracting #3: cost 16 inf + 512 1550712651.765 * * [misc]simplify: Extracting #4: cost 1 inf + 5252 1550712651.766 * * [misc]simplify: Extracting #5: cost 0 inf + 5772 1550712651.767 * [exit]simplify: Simplified to (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c)))) 1550712651.767 * [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)))) 1550712651.767 * * * * [misc]progress: [ 97 / 104 ] simplifiying candidate # 1550712651.767 * [enter]simplify: Simplifying (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1550712651.767 * * [misc]simplify: iters left: 6 (9 enodes) 1550712651.770 * * [misc]simplify: iters left: 5 (35 enodes) 1550712651.776 * * [misc]simplify: iters left: 4 (67 enodes) 1550712651.800 * * [misc]simplify: iters left: 3 (209 enodes) 1550712651.932 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712651.932 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1550712651.933 * * [misc]simplify: Extracting #2: cost 147 inf + 1 1550712651.934 * * [misc]simplify: Extracting #3: cost 215 inf + 146 1550712651.938 * * [misc]simplify: Extracting #4: cost 148 inf + 17658 1550712651.954 * * [misc]simplify: Extracting #5: cost 17 inf + 56678 1550712651.974 * * [misc]simplify: Extracting #6: cost 0 inf + 56530 1550712651.994 * * [misc]simplify: Extracting #7: cost 0 inf + 54321 1550712652.018 * * [misc]simplify: Extracting #8: cost 0 inf + 54271 1550712652.037 * [exit]simplify: Simplified to (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8) 1550712652.037 * [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.038 * * * * [misc]progress: [ 98 / 104 ] simplifiying candidate # 1550712652.038 * [enter]simplify: Simplifying (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1550712652.038 * * [misc]simplify: iters left: 6 (10 enodes) 1550712652.043 * * [misc]simplify: iters left: 5 (40 enodes) 1550712652.055 * * [misc]simplify: iters left: 4 (70 enodes) 1550712652.086 * * [misc]simplify: iters left: 3 (214 enodes) 1550712652.251 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.251 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1550712652.252 * * [misc]simplify: Extracting #2: cost 134 inf + 1 1550712652.254 * * [misc]simplify: Extracting #3: cost 202 inf + 1394 1550712652.259 * * [misc]simplify: Extracting #4: cost 129 inf + 22890 1550712652.281 * * [misc]simplify: Extracting #5: cost 11 inf + 55130 1550712652.293 * * [misc]simplify: Extracting #6: cost 0 inf + 50767 1550712652.305 * * [misc]simplify: Extracting #7: cost 0 inf + 50225 1550712652.317 * [exit]simplify: Simplified to (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c)))) 1550712652.317 * [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)))) 1550712652.317 * * * * [misc]progress: [ 99 / 104 ] simplifiying candidate # 1550712652.317 * [enter]simplify: Simplifying (+ (pow c 2) (+ (* 1/3 (pow c 4)) (* 2/45 (pow c 6)))) 1550712652.317 * * [misc]simplify: iters left: 6 (13 enodes) 1550712652.322 * * [misc]simplify: iters left: 5 (47 enodes) 1550712652.337 * * [misc]simplify: iters left: 4 (60 enodes) 1550712652.356 * * [misc]simplify: iters left: 3 (74 enodes) 1550712652.375 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.375 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550712652.375 * * [misc]simplify: Extracting #2: cost 21 inf + 3 1550712652.376 * * [misc]simplify: Extracting #3: cost 14 inf + 512 1550712652.376 * * [misc]simplify: Extracting #4: cost 2 inf + 4487 1550712652.378 * * [misc]simplify: Extracting #5: cost 0 inf + 5370 1550712652.379 * [exit]simplify: Simplified to (fma (pow c 6) 2/45 (fma (pow c 4) 1/3 (* c c))) 1550712652.379 * [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)))) 1550712652.379 * * * * [misc]progress: [ 100 / 104 ] simplifiying candidate # 1550712652.379 * [enter]simplify: Simplifying (* 1/4 (pow (- (exp c) (exp (- c))) 2)) 1550712652.380 * * [misc]simplify: iters left: 6 (9 enodes) 1550712652.382 * * [misc]simplify: iters left: 5 (33 enodes) 1550712652.390 * * [misc]simplify: iters left: 4 (53 enodes) 1550712652.400 * * [misc]simplify: iters left: 3 (118 enodes) 1550712652.430 * * [misc]simplify: iters left: 2 (343 enodes) 1550712652.571 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.572 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550712652.572 * * [misc]simplify: Extracting #2: cost 118 inf + 2 1550712652.573 * * [misc]simplify: Extracting #3: cost 143 inf + 189 1550712652.580 * * [misc]simplify: Extracting #4: cost 45 inf + 17548 1550712652.591 * * [misc]simplify: Extracting #5: cost 1 inf + 26290 1550712652.604 * * [misc]simplify: Extracting #6: cost 0 inf + 26478 1550712652.616 * * [misc]simplify: Extracting #7: cost 0 inf + 26477 1550712652.628 * [exit]simplify: Simplified to (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 1/4) 1550712652.628 * [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)))) 1550712652.629 * * * * [misc]progress: [ 101 / 104 ] simplifiying candidate # 1550712652.629 * [enter]simplify: Simplifying (* 1/4 (pow (- (exp c) (exp (* -1 c))) 2)) 1550712652.629 * * [misc]simplify: iters left: 6 (10 enodes) 1550712652.635 * * [misc]simplify: iters left: 5 (38 enodes) 1550712652.648 * * [misc]simplify: iters left: 4 (56 enodes) 1550712652.669 * * [misc]simplify: iters left: 3 (122 enodes) 1550712652.717 * * [misc]simplify: iters left: 2 (343 enodes) 1550712652.879 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712652.879 * * [misc]simplify: Extracting #1: cost 36 inf + 0 1550712652.880 * * [misc]simplify: Extracting #2: cost 117 inf + 2 1550712652.881 * * [misc]simplify: Extracting #3: cost 134 inf + 1597 1550712652.890 * * [misc]simplify: Extracting #4: cost 42 inf + 18459 1550712652.902 * * [misc]simplify: Extracting #5: cost 0 inf + 26497 1550712652.915 * * [misc]simplify: Extracting #6: cost 0 inf + 26494 1550712652.927 * [exit]simplify: Simplified to (* 1/4 (* (- (exp c) (/ 1 (exp c))) (- (exp c) (/ 1 (exp c))))) 1550712652.927 * [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)))) 1550712652.927 * * * * [misc]progress: [ 102 / 104 ] simplifiying candidate # 1550712652.927 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1550712652.928 * * [misc]simplify: iters left: 6 (11 enodes) 1550712652.935 * * [misc]simplify: iters left: 5 (44 enodes) 1550712652.950 * * [misc]simplify: iters left: 4 (66 enodes) 1550712652.973 * * [misc]simplify: iters left: 3 (102 enodes) 1550712652.998 * * [misc]simplify: iters left: 2 (114 enodes) 1550712653.027 * * [misc]simplify: iters left: 1 (122 enodes) 1550712653.060 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.060 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550712653.060 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1550712653.061 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1550712653.063 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1550712653.065 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1550712653.067 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1550712653.069 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1550712653.069 * [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.069 * * * * [misc]progress: [ 103 / 104 ] simplifiying candidate # 1550712653.069 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1550712653.069 * * [misc]simplify: iters left: 6 (7 enodes) 1550712653.073 * * [misc]simplify: iters left: 5 (26 enodes) 1550712653.082 * * [misc]simplify: iters left: 4 (42 enodes) 1550712653.096 * * [misc]simplify: iters left: 3 (62 enodes) 1550712653.117 * * [misc]simplify: iters left: 2 (82 enodes) 1550712653.137 * * [misc]simplify: iters left: 1 (86 enodes) 1550712653.154 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.154 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712653.155 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1550712653.155 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1550712653.157 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1550712653.158 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1550712653.160 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1550712653.160 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712653.161 * [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.161 * * * * [misc]progress: [ 104 / 104 ] simplifiying candidate # 1550712653.161 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1550712653.161 * * [misc]simplify: iters left: 6 (8 enodes) 1550712653.166 * * [misc]simplify: iters left: 5 (31 enodes) 1550712653.176 * * [misc]simplify: iters left: 4 (45 enodes) 1550712653.192 * * [misc]simplify: iters left: 3 (67 enodes) 1550712653.213 * * [misc]simplify: iters left: 2 (89 enodes) 1550712653.235 * * [misc]simplify: iters left: 1 (93 enodes) 1550712653.255 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712653.255 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550712653.255 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1550712653.255 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1550712653.256 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1550712653.257 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1550712653.258 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1550712653.258 * [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.258 * * * [misc]progress: adding candidates to table 1550712654.292 * [misc]progress: [Phase 3 of 3] Extracting. 1550712654.293 * * [misc]regime: Finding splitpoints for: (# #) 1550712654.294 * * * [misc]regime-changes: Trying 1 branch expressions: (c) 1550712654.294 * * * * [misc]regimes: Trying to branch on c from (# #) 1550712654.311 * * * [misc]regime: Found split indices: #