1554301807.007 * [misc]progress: [Phase 1 of 3] Setting up. 1554301807.007 * * * [misc]progress: [1/2] Preparing points 1554301807.642 * * * [misc]progress: [2/2] Setting up program. 1554301807.645 * [misc]progress: [Phase 2 of 3] Improving. 1554301807.646 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554301807.647 * [enter]simplify: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1554301807.648 * * [misc]simplify: iters left: 4 (7 enodes) 1554301807.654 * * [misc]simplify: iters left: 3 (29 enodes) 1554301807.665 * * [misc]simplify: iters left: 2 (50 enodes) 1554301807.714 * * [misc]simplify: iters left: 1 (72 enodes) 1554301807.738 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.739 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301807.739 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554301807.740 * * [misc]simplify: Extracting #3: cost 21 inf + 360 1554301807.740 * * [misc]simplify: Extracting #4: cost 12 inf + 1582 1554301807.741 * * [misc]simplify: Extracting #5: cost 1 inf + 2933 1554301807.742 * * [misc]simplify: Extracting #6: cost 0 inf + 2972 1554301807.744 * [exit]simplify: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1554301807.744 * [misc]simplify: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.758 * * [misc]progress: iteration 1 / 4 1554301807.758 * * * [misc]progress: picking best candidate 1554301807.762 * * * * [misc]pick: Picked # 1554301807.762 * * * [misc]progress: localizing error 1554301807.788 * * * [misc]progress: generating rewritten candidates 1554301807.788 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1554301807.793 * * * [misc]progress: generating series expansions 1554301807.793 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1554301807.795 * [misc]backup-simplify: Simplify (sinh c) into (sinh c) 1554301807.795 * [misc]approximate: Taking taylor expansion of (sinh c) in (c) around 0 1554301807.796 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1554301807.797 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1554301807.797 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1554301807.797 * [misc]taylor: Taking taylor expansion of (exp c) in c 1554301807.797 * [misc]taylor: Taking taylor expansion of c in c 1554301807.798 * [misc]backup-simplify: Simplify 0 into 0 1554301807.798 * [misc]backup-simplify: Simplify 1 into 1 1554301807.798 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.798 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1554301807.798 * [misc]taylor: Taking taylor expansion of (- c) in c 1554301807.798 * [misc]taylor: Taking taylor expansion of c in c 1554301807.798 * [misc]backup-simplify: Simplify 0 into 0 1554301807.798 * [misc]backup-simplify: Simplify 1 into 1 1554301807.798 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.798 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.798 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.798 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.799 * [misc]backup-simplify: Simplify 2 into 2 1554301807.799 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.799 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554301807.802 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301807.802 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.803 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1554301807.803 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.803 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554301807.804 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1554301807.804 * [misc]taylor: Taking taylor expansion of (sinh c) in c 1554301807.804 * [misc]taylor: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1554301807.804 * [misc]taylor: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1554301807.804 * [misc]taylor: Taking taylor expansion of (exp c) in c 1554301807.804 * [misc]taylor: Taking taylor expansion of c in c 1554301807.804 * [misc]backup-simplify: Simplify 0 into 0 1554301807.804 * [misc]backup-simplify: Simplify 1 into 1 1554301807.804 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.804 * [misc]taylor: Taking taylor expansion of (exp (- c)) in c 1554301807.804 * [misc]taylor: Taking taylor expansion of (- c) in c 1554301807.804 * [misc]taylor: Taking taylor expansion of c in c 1554301807.804 * [misc]backup-simplify: Simplify 0 into 0 1554301807.804 * [misc]backup-simplify: Simplify 1 into 1 1554301807.804 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.804 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.804 * [misc]backup-simplify: Simplify (exp 0) into 1 1554301807.804 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.804 * [misc]backup-simplify: Simplify 2 into 2 1554301807.804 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.804 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554301807.805 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554301807.805 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.806 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1554301807.806 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.806 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554301807.806 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1554301807.807 * [misc]backup-simplify: Simplify 1 into 1 1554301807.808 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554301807.809 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.809 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.810 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554301807.810 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1554301807.810 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1554301807.811 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1554301807.811 * [misc]backup-simplify: Simplify 0 into 0 1554301807.813 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554301807.813 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.813 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.813 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.813 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.815 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1554301807.815 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1554301807.816 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1554301807.816 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1554301807.816 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301807.819 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1554301807.820 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.820 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.820 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.820 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.820 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.820 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.820 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.826 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1554301807.826 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1554301807.826 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1554301807.826 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1554301807.826 * [misc]backup-simplify: Simplify 0 into 0 1554301807.850 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1554301807.851 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.851 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.851 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.851 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.851 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.851 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.851 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.852 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.852 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.852 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.852 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.852 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.862 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1554301807.862 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1554301807.862 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1554301807.862 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1554301807.862 * [misc]backup-simplify: Simplify 1/120 into 1/120 1554301807.864 * [misc]backup-simplify: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1554301807.864 * [misc]backup-simplify: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1554301807.864 * [misc]approximate: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1554301807.864 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1554301807.864 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1554301807.864 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1554301807.864 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1554301807.864 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.864 * [misc]taylor: Taking taylor expansion of c in c 1554301807.864 * [misc]backup-simplify: Simplify 0 into 0 1554301807.864 * [misc]backup-simplify: Simplify 1 into 1 1554301807.864 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.864 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1554301807.864 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1554301807.864 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1554301807.864 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.864 * [misc]taylor: Taking taylor expansion of c in c 1554301807.864 * [misc]backup-simplify: Simplify 0 into 0 1554301807.864 * [misc]backup-simplify: Simplify 1 into 1 1554301807.865 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.865 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.865 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1554301807.865 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.865 * [misc]backup-simplify: Simplify 2 into 2 1554301807.865 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1554301807.865 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1554301807.865 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1554301807.865 * [misc]taylor: Taking taylor expansion of (sinh (/ 1 c)) in c 1554301807.865 * [misc]taylor: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1554301807.865 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1554301807.865 * [misc]taylor: Taking taylor expansion of (exp (/ 1 c)) in c 1554301807.865 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.865 * [misc]taylor: Taking taylor expansion of c in c 1554301807.865 * [misc]backup-simplify: Simplify 0 into 0 1554301807.865 * [misc]backup-simplify: Simplify 1 into 1 1554301807.865 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.865 * [misc]backup-simplify: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1554301807.866 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 c))) in c 1554301807.866 * [misc]taylor: Taking taylor expansion of (- (/ 1 c)) in c 1554301807.866 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1554301807.866 * [misc]taylor: Taking taylor expansion of c in c 1554301807.866 * [misc]backup-simplify: Simplify 0 into 0 1554301807.866 * [misc]backup-simplify: Simplify 1 into 1 1554301807.866 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554301807.866 * [misc]backup-simplify: Simplify (- 1) into -1 1554301807.866 * [misc]backup-simplify: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1554301807.866 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.866 * [misc]backup-simplify: Simplify 2 into 2 1554301807.866 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1554301807.866 * [misc]backup-simplify: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1554301807.866 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1554301807.866 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1554301807.866 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.866 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.867 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1554301807.867 * [misc]backup-simplify: Simplify 0 into 0 1554301807.867 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.867 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.867 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.867 * [misc]backup-simplify: Simplify 0 into 0 1554301807.868 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.868 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.868 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.868 * [misc]backup-simplify: Simplify 0 into 0 1554301807.868 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.868 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.869 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.869 * [misc]backup-simplify: Simplify 0 into 0 1554301807.869 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.869 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.870 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.870 * [misc]backup-simplify: Simplify 0 into 0 1554301807.870 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.870 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.871 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.871 * [misc]backup-simplify: Simplify 0 into 0 1554301807.871 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1554301807.871 * [misc]backup-simplify: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1554301807.871 * [misc]approximate: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1554301807.871 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1554301807.871 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1554301807.871 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1554301807.871 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1554301807.871 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.871 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.871 * [misc]backup-simplify: Simplify -1 into -1 1554301807.871 * [misc]taylor: Taking taylor expansion of c in c 1554301807.871 * [misc]backup-simplify: Simplify 0 into 0 1554301807.871 * [misc]backup-simplify: Simplify 1 into 1 1554301807.871 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.871 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1554301807.871 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1554301807.871 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1554301807.871 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.871 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.871 * [misc]backup-simplify: Simplify -1 into -1 1554301807.872 * [misc]taylor: Taking taylor expansion of c in c 1554301807.872 * [misc]backup-simplify: Simplify 0 into 0 1554301807.872 * [misc]backup-simplify: Simplify 1 into 1 1554301807.872 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.872 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.872 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1554301807.872 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.872 * [misc]backup-simplify: Simplify 2 into 2 1554301807.872 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1554301807.872 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1554301807.872 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1554301807.872 * [misc]taylor: Taking taylor expansion of (sinh (/ -1 c)) in c 1554301807.872 * [misc]taylor: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1554301807.872 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1554301807.872 * [misc]taylor: Taking taylor expansion of (exp (/ -1 c)) in c 1554301807.872 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.872 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.872 * [misc]backup-simplify: Simplify -1 into -1 1554301807.872 * [misc]taylor: Taking taylor expansion of c in c 1554301807.872 * [misc]backup-simplify: Simplify 0 into 0 1554301807.872 * [misc]backup-simplify: Simplify 1 into 1 1554301807.872 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.872 * [misc]backup-simplify: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1554301807.872 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 c))) in c 1554301807.872 * [misc]taylor: Taking taylor expansion of (- (/ -1 c)) in c 1554301807.872 * [misc]taylor: Taking taylor expansion of (/ -1 c) in c 1554301807.872 * [misc]taylor: Taking taylor expansion of -1 in c 1554301807.872 * [misc]backup-simplify: Simplify -1 into -1 1554301807.872 * [misc]taylor: Taking taylor expansion of c in c 1554301807.873 * [misc]backup-simplify: Simplify 0 into 0 1554301807.873 * [misc]backup-simplify: Simplify 1 into 1 1554301807.873 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554301807.873 * [misc]backup-simplify: Simplify (- -1) into 1 1554301807.873 * [misc]backup-simplify: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1554301807.873 * [misc]taylor: Taking taylor expansion of 2 in c 1554301807.873 * [misc]backup-simplify: Simplify 2 into 2 1554301807.873 * [misc]backup-simplify: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1554301807.873 * [misc]backup-simplify: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1554301807.873 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1554301807.873 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1554301807.873 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.873 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.874 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1554301807.874 * [misc]backup-simplify: Simplify 0 into 0 1554301807.874 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.874 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.874 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.874 * [misc]backup-simplify: Simplify 0 into 0 1554301807.874 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.874 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.875 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.875 * [misc]backup-simplify: Simplify 0 into 0 1554301807.875 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.875 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.876 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.876 * [misc]backup-simplify: Simplify 0 into 0 1554301807.876 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.876 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.877 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.877 * [misc]backup-simplify: Simplify 0 into 0 1554301807.877 * [misc]backup-simplify: Simplify (- 0) into 0 1554301807.877 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554301807.877 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1554301807.877 * [misc]backup-simplify: Simplify 0 into 0 1554301807.878 * [misc]backup-simplify: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1554301807.878 * * * [misc]progress: simplifying candidates 1554301807.878 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1554301807.878 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1554301807.878 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1554301807.879 * [enter]simplify: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1554301807.879 * * [misc]simplify: iters left: 6 (11 enodes) 1554301807.882 * * [misc]simplify: iters left: 5 (44 enodes) 1554301807.891 * * [misc]simplify: iters left: 4 (66 enodes) 1554301807.914 * * [misc]simplify: iters left: 3 (102 enodes) 1554301807.939 * * [misc]simplify: iters left: 2 (114 enodes) 1554301807.965 * * [misc]simplify: iters left: 1 (122 enodes) 1554301807.984 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301807.984 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1554301807.984 * * [misc]simplify: Extracting #2: cost 25 inf + 44 1554301807.985 * * [misc]simplify: Extracting #3: cost 8 inf + 2506 1554301807.986 * * [misc]simplify: Extracting #4: cost 2 inf + 3748 1554301807.987 * * [misc]simplify: Extracting #5: cost 0 inf + 4289 1554301807.988 * * [misc]simplify: Extracting #6: cost 0 inf + 4264 1554301807.988 * [exit]simplify: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1554301807.989 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301807.989 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1554301807.989 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1554301807.989 * * [misc]simplify: iters left: 6 (7 enodes) 1554301807.991 * * [misc]simplify: iters left: 5 (26 enodes) 1554301807.996 * * [misc]simplify: iters left: 4 (42 enodes) 1554301808.003 * * [misc]simplify: iters left: 3 (62 enodes) 1554301808.015 * * [misc]simplify: iters left: 2 (82 enodes) 1554301808.035 * * [misc]simplify: iters left: 1 (86 enodes) 1554301808.052 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301808.052 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554301808.052 * * [misc]simplify: Extracting #2: cost 20 inf + 2 1554301808.052 * * [misc]simplify: Extracting #3: cost 17 inf + 46 1554301808.053 * * [misc]simplify: Extracting #4: cost 5 inf + 1453 1554301808.054 * * [misc]simplify: Extracting #5: cost 1 inf + 1819 1554301808.055 * * [misc]simplify: Extracting #6: cost 0 inf + 1987 1554301808.056 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1554301808.056 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301808.056 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1554301808.056 * [enter]simplify: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1554301808.056 * * [misc]simplify: iters left: 6 (8 enodes) 1554301808.061 * * [misc]simplify: iters left: 5 (31 enodes) 1554301808.071 * * [misc]simplify: iters left: 4 (45 enodes) 1554301808.088 * * [misc]simplify: iters left: 3 (67 enodes) 1554301808.100 * * [misc]simplify: iters left: 2 (89 enodes) 1554301808.111 * * [misc]simplify: iters left: 1 (93 enodes) 1554301808.130 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301808.130 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554301808.131 * * [misc]simplify: Extracting #2: cost 21 inf + 2 1554301808.131 * * [misc]simplify: Extracting #3: cost 20 inf + 5 1554301808.131 * * [misc]simplify: Extracting #4: cost 10 inf + 889 1554301808.132 * * [misc]simplify: Extracting #5: cost 0 inf + 2129 1554301808.133 * [exit]simplify: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1554301808.133 * [misc]simplify: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301808.133 * * * [misc]progress: adding candidates to table 1554301808.228 * * [misc]progress: iteration 2 / 4 1554301808.228 * * * [misc]progress: picking best candidate 1554301808.231 * * * * [misc]pick: Picked # 1554301808.231 * * * [misc]progress: localizing error 1554301808.254 * * * [misc]progress: generating rewritten candidates 1554301808.254 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 2) 1554301808.255 * * * [misc]progress: generating series expansions 1554301808.255 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 2) 1554301808.255 * [misc]backup-simplify: Simplify (* 1/6 c) into (* 1/6 c) 1554301808.255 * [misc]approximate: Taking taylor expansion of (* 1/6 c) in (c) around 0 1554301808.255 * [misc]taylor: Taking taylor expansion of (* 1/6 c) in c 1554301808.255 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301808.255 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301808.255 * [misc]taylor: Taking taylor expansion of c in c 1554301808.255 * [misc]backup-simplify: Simplify 0 into 0 1554301808.255 * [misc]backup-simplify: Simplify 1 into 1 1554301808.255 * [misc]taylor: Taking taylor expansion of (* 1/6 c) in c 1554301808.255 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301808.255 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301808.255 * [misc]taylor: Taking taylor expansion of c in c 1554301808.255 * [misc]backup-simplify: Simplify 0 into 0 1554301808.255 * [misc]backup-simplify: Simplify 1 into 1 1554301808.256 * [misc]backup-simplify: Simplify (* 1/6 0) into 0 1554301808.256 * [misc]backup-simplify: Simplify 0 into 0 1554301808.256 * [misc]backup-simplify: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1554301808.256 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301808.257 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1554301808.257 * [misc]backup-simplify: Simplify 0 into 0 1554301808.257 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554301808.257 * [misc]backup-simplify: Simplify 0 into 0 1554301808.258 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554301808.258 * [misc]backup-simplify: Simplify 0 into 0 1554301808.258 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554301808.258 * [misc]backup-simplify: Simplify 0 into 0 1554301808.259 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554301808.259 * [misc]backup-simplify: Simplify 0 into 0 1554301808.259 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554301808.259 * [misc]backup-simplify: Simplify 0 into 0 1554301808.259 * [misc]backup-simplify: Simplify (* 1/6 c) into (* 1/6 c) 1554301808.259 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 c)) into (/ 1/6 c) 1554301808.259 * [misc]approximate: Taking taylor expansion of (/ 1/6 c) in (c) around 0 1554301808.259 * [misc]taylor: Taking taylor expansion of (/ 1/6 c) in c 1554301808.260 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301808.260 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301808.260 * [misc]taylor: Taking taylor expansion of c in c 1554301808.260 * [misc]backup-simplify: Simplify 0 into 0 1554301808.260 * [misc]backup-simplify: Simplify 1 into 1 1554301808.260 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554301808.260 * [misc]taylor: Taking taylor expansion of (/ 1/6 c) in c 1554301808.260 * [misc]taylor: Taking taylor expansion of 1/6 in c 1554301808.260 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301808.260 * [misc]taylor: Taking taylor expansion of c in c 1554301808.260 * [misc]backup-simplify: Simplify 0 into 0 1554301808.260 * [misc]backup-simplify: Simplify 1 into 1 1554301808.260 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554301808.260 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554301808.260 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1554301808.260 * [misc]backup-simplify: Simplify 0 into 0 1554301808.261 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.261 * [misc]backup-simplify: Simplify 0 into 0 1554301808.261 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.261 * [misc]backup-simplify: Simplify 0 into 0 1554301808.262 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.262 * [misc]backup-simplify: Simplify 0 into 0 1554301808.262 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.262 * [misc]backup-simplify: Simplify 0 into 0 1554301808.263 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.263 * [misc]backup-simplify: Simplify 0 into 0 1554301808.263 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 (/ 1 c))) into (* 1/6 c) 1554301808.264 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 (- c))) into (/ -1/6 c) 1554301808.264 * [misc]approximate: Taking taylor expansion of (/ -1/6 c) in (c) around 0 1554301808.264 * [misc]taylor: Taking taylor expansion of (/ -1/6 c) in c 1554301808.264 * [misc]taylor: Taking taylor expansion of -1/6 in c 1554301808.264 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554301808.264 * [misc]taylor: Taking taylor expansion of c in c 1554301808.264 * [misc]backup-simplify: Simplify 0 into 0 1554301808.264 * [misc]backup-simplify: Simplify 1 into 1 1554301808.264 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554301808.264 * [misc]taylor: Taking taylor expansion of (/ -1/6 c) in c 1554301808.264 * [misc]taylor: Taking taylor expansion of -1/6 in c 1554301808.264 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554301808.264 * [misc]taylor: Taking taylor expansion of c in c 1554301808.264 * [misc]backup-simplify: Simplify 0 into 0 1554301808.264 * [misc]backup-simplify: Simplify 1 into 1 1554301808.264 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554301808.264 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554301808.265 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1554301808.265 * [misc]backup-simplify: Simplify 0 into 0 1554301808.265 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.265 * [misc]backup-simplify: Simplify 0 into 0 1554301808.265 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.265 * [misc]backup-simplify: Simplify 0 into 0 1554301808.266 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.266 * [misc]backup-simplify: Simplify 0 into 0 1554301808.266 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.266 * [misc]backup-simplify: Simplify 0 into 0 1554301808.267 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554301808.267 * [misc]backup-simplify: Simplify 0 into 0 1554301808.267 * [misc]backup-simplify: Simplify (* -1/6 (/ 1 (/ 1 (- c)))) into (* 1/6 c) 1554301808.267 * * * [misc]progress: simplifying candidates 1554301808.267 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1554301808.267 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1554301808.267 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate #real (real->posit16 (* 1/6 c))) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1554301808.268 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # 1554301808.268 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1554301808.269 * [enter]simplify: Simplifying (* 1/6 c) 1554301808.269 * * [misc]simplify: iters left: 2 (3 enodes) 1554301808.271 * * [misc]simplify: iters left: 1 (10 enodes) 1554301808.274 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301808.274 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301808.274 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554301808.274 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554301808.274 * [exit]simplify: Simplified to (* 1/6 c) 1554301808.274 * [misc]simplify: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301808.274 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1554301808.275 * [enter]simplify: Simplifying (* 1/6 c) 1554301808.275 * * [misc]simplify: iters left: 2 (3 enodes) 1554301808.277 * * [misc]simplify: iters left: 1 (10 enodes) 1554301808.280 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301808.280 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301808.280 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554301808.280 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554301808.280 * [exit]simplify: Simplified to (* 1/6 c) 1554301808.280 * [misc]simplify: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301808.280 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1554301808.281 * [enter]simplify: Simplifying (* 1/6 c) 1554301808.281 * * [misc]simplify: iters left: 2 (3 enodes) 1554301808.283 * * [misc]simplify: iters left: 1 (10 enodes) 1554301808.286 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554301808.286 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554301808.286 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554301808.286 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554301808.286 * [exit]simplify: Simplified to (* 1/6 c) 1554301808.286 * [misc]simplify: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1554301808.286 * * * [misc]progress: adding candidates to table 1554301808.481 * [misc]progress: [Phase 3 of 3] Extracting. 1554301808.482 * * [misc]regime: Finding splitpoints for: (# #) 1554301808.483 * * * [misc]regime-changes: Trying 1 branch expressions: (c) 1554301808.483 * * * * [misc]regimes: Trying to branch on c from (# #) 1554301808.519 * * * [misc]regime: Found split indices: #