39.826 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.266 * * * [progress]: [2/2] Setting up program. 0.272 * [progress]: [Phase 2 of 3] Improving. 0.272 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.272 * * [simplify]: Extracting # 0 : cost 0 0.272 * * [simplify]: Extracting # 1 : cost 0 0.272 * * [simplify]: Extracting # 2 : cost 0 0.272 * * [simplify]: Extracting # 3 : cost 0 0.272 * * [simplify]: Extracting # 4 : cost 0 0.272 * * [simplify]: Extracting # 5 : cost 0 0.272 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.275 * * [simplify]: Extracting # 0 : cost 0 0.276 * * [simplify]: Extracting # 1 : cost 0 0.276 * * [simplify]: Extracting # 2 : cost 0 0.276 * * [simplify]: Extracting # 3 : cost 0 0.276 * * [simplify]: Extracting # 4 : cost 0 0.276 * * [simplify]: Extracting # 5 : cost 0 0.276 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.282 * * [simplify]: Extracting # 0 : cost 0 0.282 * * [simplify]: Extracting # 1 : cost 0 0.283 * * [simplify]: Extracting # 2 : cost 0 0.283 * * [simplify]: Extracting # 3 : cost 0 0.283 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.296 * * [simplify]: Extracting # 0 : cost 0 0.296 * * [simplify]: Extracting # 1 : cost 0 0.296 * * [simplify]: Extracting # 2 : cost 0 0.296 * * [simplify]: Extracting # 3 : cost 0 0.296 * * [simplify]: Extracting # 4 : cost 0 0.296 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 0.326 * * [simplify]: Extracting # 0 : cost 0 0.327 * * [simplify]: Extracting # 1 : cost 0 0.327 * * [simplify]: Extracting # 2 : cost 0 0.327 * * [simplify]: Extracting # 3 : cost 0 0.327 * * [simplify]: Extracting # 4 : cost 0 0.328 * * [simplify]: iteration 4 : 150 enodes (cost 8 ) 0.458 * * [simplify]: Extracting # 0 : cost 0 0.459 * * [simplify]: Extracting # 1 : cost 0 0.460 * * [simplify]: Extracting # 2 : cost 0 0.462 * * [simplify]: Extracting # 3 : cost 0 0.463 * * [simplify]: Extracting # 4 : cost 0 0.464 * * [simplify]: Extracting # 5 : cost 0 0.465 * * [simplify]: iteration 5 : 671 enodes (cost 8 ) 1.722 * * [simplify]: Extracting # 0 : cost 0 1.745 * * [simplify]: Extracting # 1 : cost 0 1.757 * * [simplify]: Extracting # 2 : cost 0 1.770 * * [simplify]: Extracting # 3 : cost 0 1.780 * * [simplify]: Extracting # 4 : cost 0 1.793 * * [simplify]: iteration done: 5001 enodes (cost 8 ) 1.793 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 1.794 * * [progress]: iteration 1 / 4 1.794 * * * [progress]: picking best candidate 1.799 * * * * [pick]: Picked # 1.799 * * * [progress]: localizing error 1.822 * * * [progress]: generating rewritten candidates 1.822 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.825 * * * [progress]: generating series expansions 1.825 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.825 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.825 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.826 * [taylor]: Taking taylor expansion of (sinh c) in c 1.826 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.826 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.826 * [taylor]: Taking taylor expansion of (exp c) in c 1.826 * [taylor]: Taking taylor expansion of c in c 1.826 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify 1 into 1 1.826 * [backup-simplify]: Simplify (exp 0) into 1 1.826 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.826 * [taylor]: Taking taylor expansion of (- c) in c 1.826 * [taylor]: Taking taylor expansion of c in c 1.826 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify 1 into 1 1.827 * [backup-simplify]: Simplify (- 0) into 0 1.827 * [backup-simplify]: Simplify (- 1) into -1 1.827 * [backup-simplify]: Simplify (exp 0) into 1 1.827 * [taylor]: Taking taylor expansion of 2 in c 1.828 * [backup-simplify]: Simplify 2 into 2 1.828 * [backup-simplify]: Simplify (- 1) into -1 1.828 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.829 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.830 * [backup-simplify]: Simplify (- 1) into -1 1.831 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.831 * [backup-simplify]: Simplify (- -1) into 1 1.832 * [backup-simplify]: Simplify (+ 1 1) into 2 1.832 * [backup-simplify]: Simplify (/ 2 2) into 1 1.832 * [taylor]: Taking taylor expansion of (sinh c) in c 1.832 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.832 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.832 * [taylor]: Taking taylor expansion of (exp c) in c 1.832 * [taylor]: Taking taylor expansion of c in c 1.832 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify 1 into 1 1.832 * [backup-simplify]: Simplify (exp 0) into 1 1.832 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.832 * [taylor]: Taking taylor expansion of (- c) in c 1.832 * [taylor]: Taking taylor expansion of c in c 1.832 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 1 into 1 1.833 * [backup-simplify]: Simplify (- 0) into 0 1.833 * [backup-simplify]: Simplify (- 1) into -1 1.833 * [backup-simplify]: Simplify (exp 0) into 1 1.833 * [taylor]: Taking taylor expansion of 2 in c 1.833 * [backup-simplify]: Simplify 2 into 2 1.834 * [backup-simplify]: Simplify (- 1) into -1 1.834 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.835 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.835 * [backup-simplify]: Simplify (- 1) into -1 1.836 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.837 * [backup-simplify]: Simplify (- -1) into 1 1.837 * [backup-simplify]: Simplify (+ 1 1) into 2 1.837 * [backup-simplify]: Simplify (/ 2 2) into 1 1.837 * [backup-simplify]: Simplify 1 into 1 1.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.840 * [backup-simplify]: Simplify (- 1) into -1 1.840 * [backup-simplify]: Simplify (- 0) into 0 1.842 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.842 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.843 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.844 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.844 * [backup-simplify]: Simplify 0 into 0 1.846 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.847 * [backup-simplify]: Simplify (- 1) into -1 1.847 * [backup-simplify]: Simplify (- 1) into -1 1.848 * [backup-simplify]: Simplify (- 0) into 0 1.848 * [backup-simplify]: Simplify (- 0) into 0 1.850 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.851 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.851 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.853 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.853 * [backup-simplify]: Simplify 1/6 into 1/6 1.858 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.858 * [backup-simplify]: Simplify (- 1) into -1 1.858 * [backup-simplify]: Simplify (- 1) into -1 1.859 * [backup-simplify]: Simplify (- 0) into 0 1.859 * [backup-simplify]: Simplify (- 1) into -1 1.859 * [backup-simplify]: Simplify (- 0) into 0 1.860 * [backup-simplify]: Simplify (- 0) into 0 1.860 * [backup-simplify]: Simplify (- 0) into 0 1.865 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.865 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.866 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.867 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.867 * [backup-simplify]: Simplify 0 into 0 1.873 * [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 1.874 * [backup-simplify]: Simplify (- 1) into -1 1.874 * [backup-simplify]: Simplify (- 1) into -1 1.875 * [backup-simplify]: Simplify (- 0) into 0 1.875 * [backup-simplify]: Simplify (- 1) into -1 1.875 * [backup-simplify]: Simplify (- 0) into 0 1.876 * [backup-simplify]: Simplify (- 1) into -1 1.876 * [backup-simplify]: Simplify (- 0) into 0 1.876 * [backup-simplify]: Simplify (- 1) into -1 1.877 * [backup-simplify]: Simplify (- 0) into 0 1.877 * [backup-simplify]: Simplify (- 0) into 0 1.878 * [backup-simplify]: Simplify (- 0) into 0 1.878 * [backup-simplify]: Simplify (- 0) into 0 1.884 * [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 1.885 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.885 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.887 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.887 * [backup-simplify]: Simplify 1/120 into 1/120 1.888 * [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)) 1.888 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.888 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.888 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.888 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.888 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.889 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.889 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.889 * [taylor]: Taking taylor expansion of c in c 1.889 * [backup-simplify]: Simplify 0 into 0 1.889 * [backup-simplify]: Simplify 1 into 1 1.889 * [backup-simplify]: Simplify (/ 1 1) into 1 1.889 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.889 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.889 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.889 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.889 * [taylor]: Taking taylor expansion of c in c 1.889 * [backup-simplify]: Simplify 0 into 0 1.890 * [backup-simplify]: Simplify 1 into 1 1.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1.890 * [backup-simplify]: Simplify (- 1) into -1 1.890 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.890 * [taylor]: Taking taylor expansion of 2 in c 1.890 * [backup-simplify]: Simplify 2 into 2 1.891 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.891 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.891 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.891 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.891 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.891 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.891 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.891 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.891 * [taylor]: Taking taylor expansion of c in c 1.891 * [backup-simplify]: Simplify 0 into 0 1.891 * [backup-simplify]: Simplify 1 into 1 1.892 * [backup-simplify]: Simplify (/ 1 1) into 1 1.892 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.892 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.892 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.892 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.892 * [taylor]: Taking taylor expansion of c in c 1.892 * [backup-simplify]: Simplify 0 into 0 1.892 * [backup-simplify]: Simplify 1 into 1 1.893 * [backup-simplify]: Simplify (/ 1 1) into 1 1.893 * [backup-simplify]: Simplify (- 1) into -1 1.893 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.893 * [taylor]: Taking taylor expansion of 2 in c 1.893 * [backup-simplify]: Simplify 2 into 2 1.893 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.893 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.894 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.894 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.895 * [backup-simplify]: Simplify (- 0) into 0 1.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1.896 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.896 * [backup-simplify]: Simplify 0 into 0 1.896 * [backup-simplify]: Simplify (- 0) into 0 1.897 * [backup-simplify]: Simplify (+ 0 0) into 0 1.898 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.898 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify (- 0) into 0 1.899 * [backup-simplify]: Simplify (+ 0 0) into 0 1.902 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.902 * [backup-simplify]: Simplify 0 into 0 1.902 * [backup-simplify]: Simplify (- 0) into 0 1.903 * [backup-simplify]: Simplify (+ 0 0) into 0 1.905 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.906 * [backup-simplify]: Simplify 0 into 0 1.906 * [backup-simplify]: Simplify (- 0) into 0 1.906 * [backup-simplify]: Simplify (+ 0 0) into 0 1.909 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.910 * [backup-simplify]: Simplify 0 into 0 1.910 * [backup-simplify]: Simplify (- 0) into 0 1.910 * [backup-simplify]: Simplify (+ 0 0) into 0 1.914 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.914 * [backup-simplify]: Simplify 0 into 0 1.915 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.915 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.915 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.915 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.915 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.915 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.915 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.915 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.915 * [taylor]: Taking taylor expansion of -1 in c 1.915 * [backup-simplify]: Simplify -1 into -1 1.915 * [taylor]: Taking taylor expansion of c in c 1.915 * [backup-simplify]: Simplify 0 into 0 1.915 * [backup-simplify]: Simplify 1 into 1 1.916 * [backup-simplify]: Simplify (/ -1 1) into -1 1.916 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.916 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.916 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.916 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.916 * [taylor]: Taking taylor expansion of -1 in c 1.916 * [backup-simplify]: Simplify -1 into -1 1.916 * [taylor]: Taking taylor expansion of c in c 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.917 * [backup-simplify]: Simplify (/ -1 1) into -1 1.917 * [backup-simplify]: Simplify (- -1) into 1 1.917 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.917 * [taylor]: Taking taylor expansion of 2 in c 1.917 * [backup-simplify]: Simplify 2 into 2 1.917 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.918 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.918 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.918 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.918 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.918 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.918 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.918 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.918 * [taylor]: Taking taylor expansion of -1 in c 1.918 * [backup-simplify]: Simplify -1 into -1 1.918 * [taylor]: Taking taylor expansion of c in c 1.918 * [backup-simplify]: Simplify 0 into 0 1.918 * [backup-simplify]: Simplify 1 into 1 1.919 * [backup-simplify]: Simplify (/ -1 1) into -1 1.919 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.919 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.919 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.919 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.919 * [taylor]: Taking taylor expansion of -1 in c 1.919 * [backup-simplify]: Simplify -1 into -1 1.919 * [taylor]: Taking taylor expansion of c in c 1.919 * [backup-simplify]: Simplify 0 into 0 1.919 * [backup-simplify]: Simplify 1 into 1 1.919 * [backup-simplify]: Simplify (/ -1 1) into -1 1.920 * [backup-simplify]: Simplify (- -1) into 1 1.920 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.920 * [taylor]: Taking taylor expansion of 2 in c 1.920 * [backup-simplify]: Simplify 2 into 2 1.920 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.920 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.921 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.921 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.921 * [backup-simplify]: Simplify (- 0) into 0 1.922 * [backup-simplify]: Simplify (+ 0 0) into 0 1.923 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.923 * [backup-simplify]: Simplify 0 into 0 1.923 * [backup-simplify]: Simplify (- 0) into 0 1.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1.925 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.925 * [backup-simplify]: Simplify 0 into 0 1.926 * [backup-simplify]: Simplify (- 0) into 0 1.926 * [backup-simplify]: Simplify (+ 0 0) into 0 1.928 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.928 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify (- 0) into 0 1.929 * [backup-simplify]: Simplify (+ 0 0) into 0 1.931 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.931 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify (- 0) into 0 1.932 * [backup-simplify]: Simplify (+ 0 0) into 0 1.935 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.935 * [backup-simplify]: Simplify 0 into 0 1.936 * [backup-simplify]: Simplify (- 0) into 0 1.936 * [backup-simplify]: Simplify (+ 0 0) into 0 1.950 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.950 * [backup-simplify]: Simplify 0 into 0 1.951 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.951 * * * [progress]: simplifying candidates 1.951 * [simplify]: Simplifying: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 1.952 * * [simplify]: Extracting # 0 : cost 0 1.952 * * [simplify]: Extracting # 1 : cost 0 1.952 * * [simplify]: Extracting # 2 : cost 0 1.952 * * [simplify]: Extracting # 3 : cost 0 1.952 * * [simplify]: Extracting # 4 : cost 0 1.952 * * [simplify]: Extracting # 5 : cost 0 1.952 * * [simplify]: Extracting # 6 : cost 0 1.952 * * [simplify]: Extracting # 7 : cost 0 1.952 * * [simplify]: Extracting # 8 : cost 0 1.952 * * [simplify]: iteration 0 : 30 enodes (cost 66 ) 1.965 * * [simplify]: Extracting # 0 : cost 0 1.966 * * [simplify]: Extracting # 1 : cost 0 1.966 * * [simplify]: Extracting # 2 : cost 0 1.966 * * [simplify]: Extracting # 3 : cost 0 1.966 * * [simplify]: Extracting # 4 : cost 0 1.966 * * [simplify]: iteration 1 : 59 enodes (cost 65 ) 1.991 * * [simplify]: Extracting # 0 : cost 0 1.992 * * [simplify]: Extracting # 1 : cost 0 1.992 * * [simplify]: Extracting # 2 : cost 0 1.992 * * [simplify]: Extracting # 3 : cost 0 1.992 * * [simplify]: Extracting # 4 : cost 0 1.993 * * [simplify]: iteration 2 : 131 enodes (cost 61 ) 2.058 * * [simplify]: Extracting # 0 : cost 0 2.059 * * [simplify]: Extracting # 1 : cost 0 2.059 * * [simplify]: Extracting # 2 : cost 0 2.060 * * [simplify]: Extracting # 3 : cost 0 2.060 * * [simplify]: iteration 3 : 309 enodes (cost 61 ) 2.236 * * [simplify]: Extracting # 0 : cost 0 2.238 * * [simplify]: Extracting # 1 : cost 0 2.239 * * [simplify]: Extracting # 2 : cost 0 2.247 * * [simplify]: Extracting # 3 : cost 0 2.249 * * [simplify]: Extracting # 4 : cost 0 2.250 * * [simplify]: iteration 4 : 808 enodes (cost 61 ) 3.053 * * [simplify]: Extracting # 0 : cost 0 3.061 * * [simplify]: Extracting # 1 : cost 0 3.067 * * [simplify]: Extracting # 2 : cost 0 3.072 * * [simplify]: Extracting # 3 : cost 0 3.078 * * [simplify]: Extracting # 4 : cost 0 3.084 * * [simplify]: iteration 5 : 3331 enodes (cost 61 ) 5.416 * * [simplify]: Extracting # 0 : cost 0 5.434 * * [simplify]: Extracting # 1 : cost 0 5.443 * * [simplify]: Extracting # 2 : cost 0 5.452 * * [simplify]: Extracting # 3 : cost 0 5.461 * * [simplify]: Extracting # 4 : cost 0 5.470 * * [simplify]: iteration done: 5001 enodes (cost 61 ) 5.470 * [simplify]: Simplified to: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 5.470 * * * [progress]: adding candidates to table 5.547 * * [progress]: iteration 2 / 4 5.547 * * * [progress]: picking best candidate 5.555 * * * * [pick]: Picked # 5.555 * * * [progress]: localizing error 5.600 * * * [progress]: generating rewritten candidates 5.600 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.628 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2 1) 5.656 * * * [progress]: generating series expansions 5.656 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.657 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 5.657 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 5.657 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 5.657 * [taylor]: Taking taylor expansion of 1/6 in c 5.657 * [backup-simplify]: Simplify 1/6 into 1/6 5.657 * [taylor]: Taking taylor expansion of (pow c 3) in c 5.657 * [taylor]: Taking taylor expansion of c in c 5.657 * [backup-simplify]: Simplify 0 into 0 5.657 * [backup-simplify]: Simplify 1 into 1 5.657 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 5.658 * [taylor]: Taking taylor expansion of 1/6 in c 5.658 * [backup-simplify]: Simplify 1/6 into 1/6 5.658 * [taylor]: Taking taylor expansion of (pow c 3) in c 5.658 * [taylor]: Taking taylor expansion of c in c 5.658 * [backup-simplify]: Simplify 0 into 0 5.658 * [backup-simplify]: Simplify 1 into 1 5.659 * [backup-simplify]: Simplify (* 1 1) into 1 5.659 * [backup-simplify]: Simplify (* 1 1) into 1 5.659 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 5.659 * [backup-simplify]: Simplify 1/6 into 1/6 5.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.662 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 5.662 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.665 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 5.665 * [backup-simplify]: Simplify 0 into 0 5.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.669 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.669 * [backup-simplify]: Simplify 0 into 0 5.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.672 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.672 * [backup-simplify]: Simplify 0 into 0 5.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.677 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.677 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.693 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 5.694 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3)) 5.694 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 5.694 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 5.694 * [taylor]: Taking taylor expansion of 1/6 in c 5.694 * [backup-simplify]: Simplify 1/6 into 1/6 5.694 * [taylor]: Taking taylor expansion of (pow c 3) in c 5.694 * [taylor]: Taking taylor expansion of c in c 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify 1 into 1 5.694 * [backup-simplify]: Simplify (* 1 1) into 1 5.695 * [backup-simplify]: Simplify (* 1 1) into 1 5.695 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 5.695 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 5.695 * [taylor]: Taking taylor expansion of 1/6 in c 5.695 * [backup-simplify]: Simplify 1/6 into 1/6 5.695 * [taylor]: Taking taylor expansion of (pow c 3) in c 5.695 * [taylor]: Taking taylor expansion of c in c 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.696 * [backup-simplify]: Simplify (* 1 1) into 1 5.696 * [backup-simplify]: Simplify (* 1 1) into 1 5.697 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 5.697 * [backup-simplify]: Simplify 1/6 into 1/6 5.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 5.699 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.702 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.706 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.716 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.721 * [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 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 5.722 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3)) 5.722 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 5.722 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 5.722 * [taylor]: Taking taylor expansion of -1/6 in c 5.722 * [backup-simplify]: Simplify -1/6 into -1/6 5.722 * [taylor]: Taking taylor expansion of (pow c 3) in c 5.722 * [taylor]: Taking taylor expansion of c in c 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify 1 into 1 5.723 * [backup-simplify]: Simplify (* 1 1) into 1 5.723 * [backup-simplify]: Simplify (* 1 1) into 1 5.723 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 5.723 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 5.723 * [taylor]: Taking taylor expansion of -1/6 in c 5.723 * [backup-simplify]: Simplify -1/6 into -1/6 5.723 * [taylor]: Taking taylor expansion of (pow c 3) in c 5.724 * [taylor]: Taking taylor expansion of c in c 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify 1 into 1 5.724 * [backup-simplify]: Simplify (* 1 1) into 1 5.724 * [backup-simplify]: Simplify (* 1 1) into 1 5.725 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 5.725 * [backup-simplify]: Simplify -1/6 into -1/6 5.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 5.727 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.730 * [backup-simplify]: Simplify 0 into 0 5.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.733 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.736 * [backup-simplify]: Simplify 0 into 0 5.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.740 * [backup-simplify]: Simplify 0 into 0 5.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.744 * [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 5.745 * [backup-simplify]: Simplify 0 into 0 5.745 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 5.745 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2 1) 5.745 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 5.745 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 5.745 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 5.745 * [taylor]: Taking taylor expansion of 1/120 in c 5.745 * [backup-simplify]: Simplify 1/120 into 1/120 5.745 * [taylor]: Taking taylor expansion of (pow c 5) in c 5.745 * [taylor]: Taking taylor expansion of c in c 5.745 * [backup-simplify]: Simplify 0 into 0 5.745 * [backup-simplify]: Simplify 1 into 1 5.745 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 5.745 * [taylor]: Taking taylor expansion of 1/120 in c 5.745 * [backup-simplify]: Simplify 1/120 into 1/120 5.745 * [taylor]: Taking taylor expansion of (pow c 5) in c 5.746 * [taylor]: Taking taylor expansion of c in c 5.746 * [backup-simplify]: Simplify 0 into 0 5.746 * [backup-simplify]: Simplify 1 into 1 5.746 * [backup-simplify]: Simplify (* 1 1) into 1 5.746 * [backup-simplify]: Simplify (* 1 1) into 1 5.747 * [backup-simplify]: Simplify (* 1 1) into 1 5.747 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 5.747 * [backup-simplify]: Simplify 1/120 into 1/120 5.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.750 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 5.750 * [backup-simplify]: Simplify 0 into 0 5.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.754 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 5.754 * [backup-simplify]: Simplify 0 into 0 5.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.758 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.758 * [backup-simplify]: Simplify 0 into 0 5.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.763 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.763 * [backup-simplify]: Simplify 0 into 0 5.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.768 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.775 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.775 * [backup-simplify]: Simplify 0 into 0 5.775 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 5.775 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5)) 5.775 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 5.775 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 5.775 * [taylor]: Taking taylor expansion of 1/120 in c 5.775 * [backup-simplify]: Simplify 1/120 into 1/120 5.775 * [taylor]: Taking taylor expansion of (pow c 5) in c 5.775 * [taylor]: Taking taylor expansion of c in c 5.775 * [backup-simplify]: Simplify 0 into 0 5.775 * [backup-simplify]: Simplify 1 into 1 5.776 * [backup-simplify]: Simplify (* 1 1) into 1 5.776 * [backup-simplify]: Simplify (* 1 1) into 1 5.777 * [backup-simplify]: Simplify (* 1 1) into 1 5.777 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 5.777 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 5.777 * [taylor]: Taking taylor expansion of 1/120 in c 5.777 * [backup-simplify]: Simplify 1/120 into 1/120 5.777 * [taylor]: Taking taylor expansion of (pow c 5) in c 5.777 * [taylor]: Taking taylor expansion of c in c 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 1 into 1 5.778 * [backup-simplify]: Simplify (* 1 1) into 1 5.778 * [backup-simplify]: Simplify (* 1 1) into 1 5.778 * [backup-simplify]: Simplify (* 1 1) into 1 5.779 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 5.779 * [backup-simplify]: Simplify 1/120 into 1/120 5.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 5.782 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.790 * [backup-simplify]: Simplify 0 into 0 5.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.795 * [backup-simplify]: Simplify 0 into 0 5.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.800 * [backup-simplify]: Simplify 0 into 0 5.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.806 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 5.807 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5)) 5.807 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 5.807 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 5.807 * [taylor]: Taking taylor expansion of -1/120 in c 5.807 * [backup-simplify]: Simplify -1/120 into -1/120 5.807 * [taylor]: Taking taylor expansion of (pow c 5) in c 5.807 * [taylor]: Taking taylor expansion of c in c 5.807 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify 1 into 1 5.808 * [backup-simplify]: Simplify (* 1 1) into 1 5.808 * [backup-simplify]: Simplify (* 1 1) into 1 5.809 * [backup-simplify]: Simplify (* 1 1) into 1 5.809 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 5.809 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 5.809 * [taylor]: Taking taylor expansion of -1/120 in c 5.809 * [backup-simplify]: Simplify -1/120 into -1/120 5.809 * [taylor]: Taking taylor expansion of (pow c 5) in c 5.809 * [taylor]: Taking taylor expansion of c in c 5.809 * [backup-simplify]: Simplify 0 into 0 5.809 * [backup-simplify]: Simplify 1 into 1 5.810 * [backup-simplify]: Simplify (* 1 1) into 1 5.810 * [backup-simplify]: Simplify (* 1 1) into 1 5.810 * [backup-simplify]: Simplify (* 1 1) into 1 5.811 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 5.811 * [backup-simplify]: Simplify -1/120 into -1/120 5.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 5.814 * [backup-simplify]: Simplify 0 into 0 5.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.818 * [backup-simplify]: Simplify 0 into 0 5.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.823 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.823 * [backup-simplify]: Simplify 0 into 0 5.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.828 * [backup-simplify]: Simplify 0 into 0 5.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.834 * [backup-simplify]: Simplify 0 into 0 5.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.840 * [backup-simplify]: Simplify 0 into 0 5.840 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 5.841 * * * [progress]: simplifying candidates 5.842 * [simplify]: Simplifying: (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (log (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow c 3) (pow c 3)) (pow c 3))) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (* (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c (/ 3 2))) (* (sqrt 1/6) (pow c (/ 3 2))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* c c)) (* 1/6 (* (cbrt (pow c 3)) (cbrt (pow c 3)))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 c) (* 1/6 (sqrt (pow c 3))) (* 1/6 1) (* 1/6 (pow c (/ 3 2))) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (log (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* (* (* 1/120 1/120) 1/120) (* (* (pow c 5) (pow c 5)) (pow c 5))) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c (/ 5 2))) (* (sqrt 1/120) (pow c (/ 5 2))) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) (* 1/120 (pow 1 5)) (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) (* 1/120 1) (* 1/120 (pow c (/ 5 2))) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) 5.844 * * [simplify]: Extracting # 0 : cost 0 5.844 * * [simplify]: Extracting # 1 : cost 0 5.844 * * [simplify]: Extracting # 2 : cost 0 5.845 * * [simplify]: Extracting # 3 : cost 0 5.845 * * [simplify]: Extracting # 4 : cost 0 5.845 * * [simplify]: Extracting # 5 : cost 0 5.845 * * [simplify]: Extracting # 6 : cost 0 5.846 * * [simplify]: iteration 0 : 96 enodes (cost 484 ) 5.915 * * [simplify]: Extracting # 0 : cost 0 5.915 * * [simplify]: Extracting # 1 : cost 0 5.916 * * [simplify]: Extracting # 2 : cost 0 5.916 * * [simplify]: Extracting # 3 : cost 0 5.916 * * [simplify]: Extracting # 4 : cost 0 5.917 * * [simplify]: iteration 1 : 236 enodes (cost 416 ) 6.077 * * [simplify]: Extracting # 0 : cost 0 6.078 * * [simplify]: Extracting # 1 : cost 0 6.079 * * [simplify]: Extracting # 2 : cost 0 6.080 * * [simplify]: Extracting # 3 : cost 0 6.082 * * [simplify]: Extracting # 4 : cost 0 6.083 * * [simplify]: iteration 2 : 776 enodes (cost 396 ) 6.671 * * [simplify]: Extracting # 0 : cost 0 6.690 * * [simplify]: Extracting # 1 : cost 0 6.703 * * [simplify]: Extracting # 2 : cost 0 6.717 * * [simplify]: Extracting # 3 : cost 0 6.732 * * [simplify]: Extracting # 4 : cost 0 6.747 * * [simplify]: iteration done: 5001 enodes (cost 396 ) 6.748 * [simplify]: Simplified to: (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (pow (* 1/6 (pow c 3)) 3) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (pow (* 1/6 (pow c 3)) 3) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c 3/2)) (* (sqrt 1/6) (pow c 3/2)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 c) (* 1/6 (sqrt (pow c 3))) 1/6 (* 1/6 (pow c 3/2)) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* 1/1728000 (pow (pow c 5) 3)) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* 1/1728000 (pow (pow c 5) 3)) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c 5/2)) (* (sqrt 1/120) (pow c 5/2)) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) 1/120 (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) 1/120 (* (pow c 5/2) 1/120) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) 6.749 * * * [progress]: adding candidates to table 7.151 * [progress]: [Phase 3 of 3] Extracting. 7.151 * * [regime]: Finding splitpoints for: (# #) 7.152 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 7.152 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# #) 7.232 * * * * [regimes]: Trying to branch on c from (# #) 7.282 * * * [regime]: Found split indices: #