9.724 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.240 * * * [progress]: [2/2] Setting up program. 0.247 * [progress]: [Phase 2 of 3] Improving. 0.248 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.248 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.248 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.248 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.248 * * [simplify]: Extracting # 3 : cost 6 inf + 1 0.248 * * [simplify]: Extracting # 4 : cost 0 inf + 902 0.248 * * [simplify]: iteration 0 : 7 enodes (cost 378 ) 0.251 * * [simplify]: Extracting # 0 : cost 0 inf + 902 0.251 * * [simplify]: Extracting # 1 : cost 4 inf + 902 0.252 * * [simplify]: Extracting # 2 : cost 5 inf + 1155 0.252 * * [simplify]: Extracting # 3 : cost 4 inf + 1268 0.252 * * [simplify]: Extracting # 4 : cost 1 inf + 1673 0.252 * * [simplify]: Extracting # 5 : cost 0 inf + 1894 0.252 * * [simplify]: iteration 1 : 18 enodes (cost 378 ) 0.259 * * [simplify]: Extracting # 0 : cost 0 inf + 1894 0.259 * * [simplify]: Extracting # 1 : cost 7 inf + 1894 0.259 * * [simplify]: Extracting # 2 : cost 2 inf + 2685 0.260 * * [simplify]: Extracting # 3 : cost 0 inf + 3060 0.260 * * [simplify]: iteration 2 : 34 enodes (cost 378 ) 0.273 * * [simplify]: Extracting # 0 : cost 0 inf + 3060 0.274 * * [simplify]: Extracting # 1 : cost 13 inf + 3060 0.275 * * [simplify]: Extracting # 2 : cost 4 inf + 6115 0.276 * * [simplify]: Extracting # 3 : cost 1 inf + 6495 0.277 * * [simplify]: Extracting # 4 : cost 0 inf + 6680 0.278 * * [simplify]: iteration 3 : 69 enodes (cost 378 ) 0.341 * * [simplify]: Extracting # 0 : cost 0 inf + 6680 0.343 * * [simplify]: Extracting # 1 : cost 20 inf + 6522 0.346 * * [simplify]: Extracting # 2 : cost 4 inf + 13648 0.352 * * [simplify]: Extracting # 3 : cost 0 inf + 14164 0.355 * * [simplify]: Extracting # 4 : cost 0 inf + 13605 0.358 * * [simplify]: iteration 4 : 143 enodes (cost 378 ) 0.395 * * [simplify]: Extracting # 0 : cost 0 inf + 13605 0.398 * * [simplify]: Extracting # 1 : cost 52 inf + 11944 0.403 * * [simplify]: Extracting # 2 : cost 3 inf + 32102 0.412 * * [simplify]: Extracting # 3 : cost 0 inf + 31947 0.418 * * [simplify]: Extracting # 4 : cost 0 inf + 31304 0.423 * * [simplify]: Extracting # 5 : cost 0 inf + 31184 0.432 * * [simplify]: iteration 5 : 333 enodes (cost 378 ) 0.770 * * [simplify]: Extracting # 0 : cost 0 inf + 31184 0.797 * * [simplify]: Extracting # 1 : cost 132 inf + 29354 0.820 * * [simplify]: Extracting # 2 : cost 32 inf + 94530 0.856 * * [simplify]: Extracting # 3 : cost 3 inf + 95774 0.890 * * [simplify]: Extracting # 4 : cost 0 inf + 95795 0.937 * * [simplify]: iteration 6 : 1119 enodes (cost 378 ) 2.758 * * [simplify]: Extracting # 0 : cost 0 inf + 95795 2.901 * * [simplify]: Extracting # 1 : cost 595 inf + 87490 3.213 * * [simplify]: Extracting # 2 : cost 8 inf + 463250 3.596 * * [simplify]: Extracting # 3 : cost 2 inf + 453172 3.979 * * [simplify]: Extracting # 4 : cost 0 inf + 448225 4.351 * * [simplify]: Extracting # 5 : cost 0 inf + 447779 4.714 * * [simplify]: Extracting # 6 : cost 0 inf + 447738 5.099 * * [simplify]: iteration 7 : 3995 enodes (cost 378 ) 6.423 * * [simplify]: Extracting # 0 : cost 0 inf + 447738 6.773 * * [simplify]: Extracting # 1 : cost 534 inf + 445627 7.164 * * [simplify]: Extracting # 2 : cost 0 inf + 499507 7.530 * * [simplify]: Extracting # 3 : cost 0 inf + 498402 7.907 * * [simplify]: iteration complete: 5013 enodes (cost 378 ) 7.907 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 7.908 * * [progress]: iteration 1 / 4 7.908 * * * [progress]: picking best candidate 7.913 * * * * [pick]: Picked # 7.913 * * * [progress]: localizing error 7.923 * * * [progress]: generating rewritten candidates 7.923 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.925 * * * [progress]: generating series expansions 7.926 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.926 * [backup-simplify]: Simplify (sinh c) into (sinh c) 7.926 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 7.926 * [taylor]: Taking taylor expansion of (sinh c) in c 7.926 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.926 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.926 * [taylor]: Taking taylor expansion of (exp c) in c 7.926 * [taylor]: Taking taylor expansion of c in c 7.926 * [backup-simplify]: Simplify 0 into 0 7.926 * [backup-simplify]: Simplify 1 into 1 7.926 * [backup-simplify]: Simplify (exp 0) into 1 7.926 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.926 * [taylor]: Taking taylor expansion of (- c) in c 7.927 * [taylor]: Taking taylor expansion of c in c 7.927 * [backup-simplify]: Simplify 0 into 0 7.927 * [backup-simplify]: Simplify 1 into 1 7.927 * [backup-simplify]: Simplify (- 0) into 0 7.928 * [backup-simplify]: Simplify (- 1) into -1 7.928 * [backup-simplify]: Simplify (exp 0) into 1 7.928 * [taylor]: Taking taylor expansion of 2 in c 7.928 * [backup-simplify]: Simplify 2 into 2 7.928 * [backup-simplify]: Simplify (- 1) into -1 7.929 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.930 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.930 * [backup-simplify]: Simplify (- 1) into -1 7.932 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.932 * [backup-simplify]: Simplify (- -1) into 1 7.932 * [backup-simplify]: Simplify (+ 1 1) into 2 7.933 * [backup-simplify]: Simplify (/ 2 2) into 1 7.933 * [taylor]: Taking taylor expansion of (sinh c) in c 7.933 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.933 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.933 * [taylor]: Taking taylor expansion of (exp c) in c 7.933 * [taylor]: Taking taylor expansion of c in c 7.933 * [backup-simplify]: Simplify 0 into 0 7.933 * [backup-simplify]: Simplify 1 into 1 7.933 * [backup-simplify]: Simplify (exp 0) into 1 7.933 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.933 * [taylor]: Taking taylor expansion of (- c) in c 7.933 * [taylor]: Taking taylor expansion of c in c 7.933 * [backup-simplify]: Simplify 0 into 0 7.933 * [backup-simplify]: Simplify 1 into 1 7.934 * [backup-simplify]: Simplify (- 0) into 0 7.934 * [backup-simplify]: Simplify (- 1) into -1 7.934 * [backup-simplify]: Simplify (exp 0) into 1 7.934 * [taylor]: Taking taylor expansion of 2 in c 7.934 * [backup-simplify]: Simplify 2 into 2 7.935 * [backup-simplify]: Simplify (- 1) into -1 7.935 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.936 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.936 * [backup-simplify]: Simplify (- 1) into -1 7.938 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.938 * [backup-simplify]: Simplify (- -1) into 1 7.938 * [backup-simplify]: Simplify (+ 1 1) into 2 7.939 * [backup-simplify]: Simplify (/ 2 2) into 1 7.939 * [backup-simplify]: Simplify 1 into 1 7.941 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.941 * [backup-simplify]: Simplify (- 1) into -1 7.942 * [backup-simplify]: Simplify (- 0) into 0 7.944 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.944 * [backup-simplify]: Simplify (- 1/2) into -1/2 7.945 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 7.945 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 7.946 * [backup-simplify]: Simplify 0 into 0 7.948 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 7.949 * [backup-simplify]: Simplify (- 1) into -1 7.949 * [backup-simplify]: Simplify (- 1) into -1 7.950 * [backup-simplify]: Simplify (- 0) into 0 7.950 * [backup-simplify]: Simplify (- 0) into 0 7.953 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 7.953 * [backup-simplify]: Simplify (- -1/6) into 1/6 7.953 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 7.955 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 7.955 * [backup-simplify]: Simplify 1/6 into 1/6 7.959 * [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 7.959 * [backup-simplify]: Simplify (- 1) into -1 7.960 * [backup-simplify]: Simplify (- 1) into -1 7.960 * [backup-simplify]: Simplify (- 0) into 0 7.960 * [backup-simplify]: Simplify (- 1) into -1 7.961 * [backup-simplify]: Simplify (- 0) into 0 7.961 * [backup-simplify]: Simplify (- 0) into 0 7.962 * [backup-simplify]: Simplify (- 0) into 0 7.966 * [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 7.967 * [backup-simplify]: Simplify (- 1/24) into -1/24 7.967 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 7.968 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 7.968 * [backup-simplify]: Simplify 0 into 0 7.974 * [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 7.974 * [backup-simplify]: Simplify (- 1) into -1 7.975 * [backup-simplify]: Simplify (- 1) into -1 7.975 * [backup-simplify]: Simplify (- 0) into 0 7.976 * [backup-simplify]: Simplify (- 1) into -1 7.976 * [backup-simplify]: Simplify (- 0) into 0 7.976 * [backup-simplify]: Simplify (- 1) into -1 7.977 * [backup-simplify]: Simplify (- 0) into 0 7.977 * [backup-simplify]: Simplify (- 1) into -1 7.978 * [backup-simplify]: Simplify (- 0) into 0 7.978 * [backup-simplify]: Simplify (- 0) into 0 7.978 * [backup-simplify]: Simplify (- 0) into 0 7.979 * [backup-simplify]: Simplify (- 0) into 0 7.984 * [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 7.985 * [backup-simplify]: Simplify (- -1/120) into 1/120 7.985 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 7.987 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 7.987 * [backup-simplify]: Simplify 1/120 into 1/120 7.988 * [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)) 7.988 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 7.988 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 7.988 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.988 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.988 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.988 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.988 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.988 * [taylor]: Taking taylor expansion of c in c 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 1 into 1 7.989 * [backup-simplify]: Simplify (/ 1 1) into 1 7.989 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.989 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.989 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.989 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.989 * [taylor]: Taking taylor expansion of c in c 7.989 * [backup-simplify]: Simplify 0 into 0 7.989 * [backup-simplify]: Simplify 1 into 1 7.989 * [backup-simplify]: Simplify (/ 1 1) into 1 7.990 * [backup-simplify]: Simplify (- 1) into -1 7.990 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.990 * [taylor]: Taking taylor expansion of 2 in c 7.990 * [backup-simplify]: Simplify 2 into 2 7.990 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.990 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.990 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.990 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.990 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.990 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.990 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.990 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.990 * [taylor]: Taking taylor expansion of c in c 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify 1 into 1 7.991 * [backup-simplify]: Simplify (/ 1 1) into 1 7.991 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.991 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.991 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.991 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.991 * [taylor]: Taking taylor expansion of c in c 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify 1 into 1 7.991 * [backup-simplify]: Simplify (/ 1 1) into 1 7.992 * [backup-simplify]: Simplify (- 1) into -1 7.992 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.992 * [taylor]: Taking taylor expansion of 2 in c 7.992 * [backup-simplify]: Simplify 2 into 2 7.992 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.992 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.992 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.993 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.993 * [backup-simplify]: Simplify (- 0) into 0 7.993 * [backup-simplify]: Simplify (+ 0 0) into 0 7.994 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 7.994 * [backup-simplify]: Simplify 0 into 0 7.995 * [backup-simplify]: Simplify (- 0) into 0 7.995 * [backup-simplify]: Simplify (+ 0 0) into 0 7.997 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.997 * [backup-simplify]: Simplify 0 into 0 7.997 * [backup-simplify]: Simplify (- 0) into 0 7.997 * [backup-simplify]: Simplify (+ 0 0) into 0 7.999 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.999 * [backup-simplify]: Simplify 0 into 0 8.000 * [backup-simplify]: Simplify (- 0) into 0 8.000 * [backup-simplify]: Simplify (+ 0 0) into 0 8.003 * [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 8.003 * [backup-simplify]: Simplify 0 into 0 8.003 * [backup-simplify]: Simplify (- 0) into 0 8.004 * [backup-simplify]: Simplify (+ 0 0) into 0 8.007 * [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 8.007 * [backup-simplify]: Simplify 0 into 0 8.007 * [backup-simplify]: Simplify (- 0) into 0 8.007 * [backup-simplify]: Simplify (+ 0 0) into 0 8.012 * [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 8.012 * [backup-simplify]: Simplify 0 into 0 8.012 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 8.012 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 8.012 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 8.012 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.012 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.012 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.012 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.012 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.013 * [taylor]: Taking taylor expansion of -1 in c 8.013 * [backup-simplify]: Simplify -1 into -1 8.013 * [taylor]: Taking taylor expansion of c in c 8.013 * [backup-simplify]: Simplify 0 into 0 8.013 * [backup-simplify]: Simplify 1 into 1 8.013 * [backup-simplify]: Simplify (/ -1 1) into -1 8.013 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.013 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.013 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.013 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.013 * [taylor]: Taking taylor expansion of -1 in c 8.013 * [backup-simplify]: Simplify -1 into -1 8.013 * [taylor]: Taking taylor expansion of c in c 8.013 * [backup-simplify]: Simplify 0 into 0 8.013 * [backup-simplify]: Simplify 1 into 1 8.014 * [backup-simplify]: Simplify (/ -1 1) into -1 8.014 * [backup-simplify]: Simplify (- -1) into 1 8.014 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.014 * [taylor]: Taking taylor expansion of 2 in c 8.014 * [backup-simplify]: Simplify 2 into 2 8.015 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.015 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.015 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.015 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.015 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.015 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.015 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.015 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.015 * [taylor]: Taking taylor expansion of -1 in c 8.015 * [backup-simplify]: Simplify -1 into -1 8.015 * [taylor]: Taking taylor expansion of c in c 8.015 * [backup-simplify]: Simplify 0 into 0 8.015 * [backup-simplify]: Simplify 1 into 1 8.016 * [backup-simplify]: Simplify (/ -1 1) into -1 8.016 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.016 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.016 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.016 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.016 * [taylor]: Taking taylor expansion of -1 in c 8.016 * [backup-simplify]: Simplify -1 into -1 8.016 * [taylor]: Taking taylor expansion of c in c 8.016 * [backup-simplify]: Simplify 0 into 0 8.016 * [backup-simplify]: Simplify 1 into 1 8.017 * [backup-simplify]: Simplify (/ -1 1) into -1 8.017 * [backup-simplify]: Simplify (- -1) into 1 8.017 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.017 * [taylor]: Taking taylor expansion of 2 in c 8.017 * [backup-simplify]: Simplify 2 into 2 8.017 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.017 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.018 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.018 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.018 * [backup-simplify]: Simplify (- 0) into 0 8.019 * [backup-simplify]: Simplify (+ 0 0) into 0 8.020 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 8.020 * [backup-simplify]: Simplify 0 into 0 8.020 * [backup-simplify]: Simplify (- 0) into 0 8.021 * [backup-simplify]: Simplify (+ 0 0) into 0 8.022 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.022 * [backup-simplify]: Simplify 0 into 0 8.023 * [backup-simplify]: Simplify (- 0) into 0 8.023 * [backup-simplify]: Simplify (+ 0 0) into 0 8.025 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.025 * [backup-simplify]: Simplify 0 into 0 8.026 * [backup-simplify]: Simplify (- 0) into 0 8.026 * [backup-simplify]: Simplify (+ 0 0) into 0 8.029 * [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 8.029 * [backup-simplify]: Simplify 0 into 0 8.029 * [backup-simplify]: Simplify (- 0) into 0 8.029 * [backup-simplify]: Simplify (+ 0 0) into 0 8.032 * [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 8.032 * [backup-simplify]: Simplify 0 into 0 8.033 * [backup-simplify]: Simplify (- 0) into 0 8.033 * [backup-simplify]: Simplify (+ 0 0) into 0 8.037 * [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 8.037 * [backup-simplify]: Simplify 0 into 0 8.037 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 8.037 * * * [progress]: simplifying candidates 8.037 * [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)))) 8.037 * * [simplify]: Extracting # 0 : cost 10 inf + 0 8.037 * * [simplify]: Extracting # 1 : cost 18 inf + 0 8.037 * * [simplify]: Extracting # 2 : cost 23 inf + 1 8.037 * * [simplify]: Extracting # 3 : cost 23 inf + 130 8.038 * * [simplify]: Extracting # 4 : cost 10 inf + 2124 8.038 * * [simplify]: Extracting # 5 : cost 8 inf + 2126 8.038 * * [simplify]: Extracting # 6 : cost 5 inf + 2633 8.038 * * [simplify]: Extracting # 7 : cost 2 inf + 3260 8.038 * * [simplify]: Extracting # 8 : cost 0 inf + 4108 8.039 * * [simplify]: iteration 0 : 30 enodes (cost 2223 ) 8.050 * * [simplify]: Extracting # 0 : cost 0 inf + 4108 8.051 * * [simplify]: Extracting # 1 : cost 8 inf + 4107 8.051 * * [simplify]: Extracting # 2 : cost 4 inf + 4915 8.052 * * [simplify]: Extracting # 3 : cost 1 inf + 4866 8.052 * * [simplify]: Extracting # 4 : cost 0 inf + 4816 8.053 * * [simplify]: iteration 1 : 59 enodes (cost 2091 ) 8.066 * * [simplify]: Extracting # 0 : cost 0 inf + 4816 8.067 * * [simplify]: Extracting # 1 : cost 29 inf + 4816 8.069 * * [simplify]: Extracting # 2 : cost 6 inf + 9272 8.071 * * [simplify]: Extracting # 3 : cost 0 inf + 9503 8.073 * * [simplify]: Extracting # 4 : cost 0 inf + 9256 8.075 * * [simplify]: iteration 2 : 129 enodes (cost 1884 ) 8.103 * * [simplify]: Extracting # 0 : cost 0 inf + 9256 8.105 * * [simplify]: Extracting # 1 : cost 39 inf + 9256 8.107 * * [simplify]: Extracting # 2 : cost 6 inf + 15200 8.109 * * [simplify]: Extracting # 3 : cost 1 inf + 15626 8.111 * * [simplify]: Extracting # 4 : cost 0 inf + 15989 8.113 * * [simplify]: iteration 3 : 241 enodes (cost 1884 ) 8.187 * * [simplify]: Extracting # 0 : cost 0 inf + 15989 8.189 * * [simplify]: Extracting # 1 : cost 174 inf + 15716 8.195 * * [simplify]: Extracting # 2 : cost 51 inf + 49075 8.203 * * [simplify]: Extracting # 3 : cost 4 inf + 57038 8.211 * * [simplify]: Extracting # 4 : cost 0 inf + 57275 8.224 * * [simplify]: Extracting # 5 : cost 0 inf + 57189 8.240 * * [simplify]: iteration 4 : 652 enodes (cost 1884 ) 8.779 * * [simplify]: Extracting # 0 : cost 0 inf + 57189 8.824 * * [simplify]: Extracting # 1 : cost 562 inf + 54676 8.906 * * [simplify]: Extracting # 2 : cost 18 inf + 233637 9.009 * * [simplify]: Extracting # 3 : cost 7 inf + 235437 9.095 * * [simplify]: Extracting # 4 : cost 0 inf + 236966 9.181 * * [simplify]: iteration 5 : 2567 enodes (cost 1882 ) 10.165 * * [simplify]: Extracting # 0 : cost 0 inf + 236966 10.300 * * [simplify]: Extracting # 1 : cost 1042 inf + 233644 10.487 * * [simplify]: Extracting # 2 : cost 81 inf + 594139 10.703 * * [simplify]: Extracting # 3 : cost 17 inf + 591308 10.872 * * [simplify]: Extracting # 4 : cost 0 inf + 592879 11.056 * * [simplify]: Extracting # 5 : cost 0 inf + 592079 11.207 * * [simplify]: iteration complete: 5002 enodes (cost 1610 ) 11.207 * [simplify]: Simplified to: (+ (exp c) (/ -1 (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/120 (pow c 5)) c) (* 1/6 (* (* c c) c))) (sinh c) (sinh c) 11.207 * * * [progress]: adding candidates to table 11.248 * * [progress]: iteration 2 / 4 11.248 * * * [progress]: picking best candidate 11.252 * * * * [pick]: Picked # 11.252 * * * [progress]: localizing error 11.268 * * * [progress]: generating rewritten candidates 11.268 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 11.283 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 11.284 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 11.286 * * * [progress]: generating series expansions 11.286 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 11.287 * [backup-simplify]: Simplify (* (sqrt (sinh c)) (sqrt (sinh c))) into (sinh c) 11.287 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 11.287 * [taylor]: Taking taylor expansion of (sinh c) in c 11.287 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.287 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.287 * [taylor]: Taking taylor expansion of (exp c) in c 11.287 * [taylor]: Taking taylor expansion of c in c 11.287 * [backup-simplify]: Simplify 0 into 0 11.287 * [backup-simplify]: Simplify 1 into 1 11.287 * [backup-simplify]: Simplify (exp 0) into 1 11.287 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.287 * [taylor]: Taking taylor expansion of (- c) in c 11.287 * [taylor]: Taking taylor expansion of c in c 11.287 * [backup-simplify]: Simplify 0 into 0 11.287 * [backup-simplify]: Simplify 1 into 1 11.288 * [backup-simplify]: Simplify (- 0) into 0 11.288 * [backup-simplify]: Simplify (- 1) into -1 11.288 * [backup-simplify]: Simplify (exp 0) into 1 11.288 * [taylor]: Taking taylor expansion of 2 in c 11.289 * [backup-simplify]: Simplify 2 into 2 11.289 * [backup-simplify]: Simplify (- 1) into -1 11.289 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.290 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.290 * [backup-simplify]: Simplify (- 1) into -1 11.291 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.291 * [backup-simplify]: Simplify (- -1) into 1 11.291 * [backup-simplify]: Simplify (+ 1 1) into 2 11.291 * [backup-simplify]: Simplify (/ 2 2) into 1 11.291 * [taylor]: Taking taylor expansion of (sinh c) in c 11.292 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.292 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.292 * [taylor]: Taking taylor expansion of (exp c) in c 11.292 * [taylor]: Taking taylor expansion of c in c 11.292 * [backup-simplify]: Simplify 0 into 0 11.292 * [backup-simplify]: Simplify 1 into 1 11.292 * [backup-simplify]: Simplify (exp 0) into 1 11.292 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.292 * [taylor]: Taking taylor expansion of (- c) in c 11.292 * [taylor]: Taking taylor expansion of c in c 11.292 * [backup-simplify]: Simplify 0 into 0 11.292 * [backup-simplify]: Simplify 1 into 1 11.292 * [backup-simplify]: Simplify (- 0) into 0 11.292 * [backup-simplify]: Simplify (- 1) into -1 11.292 * [backup-simplify]: Simplify (exp 0) into 1 11.292 * [taylor]: Taking taylor expansion of 2 in c 11.292 * [backup-simplify]: Simplify 2 into 2 11.293 * [backup-simplify]: Simplify (- 1) into -1 11.293 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.293 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.294 * [backup-simplify]: Simplify (- 1) into -1 11.294 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.295 * [backup-simplify]: Simplify (- -1) into 1 11.295 * [backup-simplify]: Simplify (+ 1 1) into 2 11.295 * [backup-simplify]: Simplify (/ 2 2) into 1 11.295 * [backup-simplify]: Simplify 1 into 1 11.296 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.296 * [backup-simplify]: Simplify (- 1) into -1 11.297 * [backup-simplify]: Simplify (- 0) into 0 11.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.298 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.298 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.299 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.299 * [backup-simplify]: Simplify 0 into 0 11.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.300 * [backup-simplify]: Simplify (- 1) into -1 11.301 * [backup-simplify]: Simplify (- 1) into -1 11.301 * [backup-simplify]: Simplify (- 0) into 0 11.301 * [backup-simplify]: Simplify (- 0) into 0 11.303 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.303 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.303 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.304 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.304 * [backup-simplify]: Simplify 1/6 into 1/6 11.311 * [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 11.312 * [backup-simplify]: Simplify (- 1) into -1 11.312 * [backup-simplify]: Simplify (- 1) into -1 11.313 * [backup-simplify]: Simplify (- 0) into 0 11.313 * [backup-simplify]: Simplify (- 1) into -1 11.313 * [backup-simplify]: Simplify (- 0) into 0 11.313 * [backup-simplify]: Simplify (- 0) into 0 11.314 * [backup-simplify]: Simplify (- 0) into 0 11.316 * [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 11.316 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.317 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.317 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.317 * [backup-simplify]: Simplify 0 into 0 11.321 * [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 11.321 * [backup-simplify]: Simplify (- 1) into -1 11.321 * [backup-simplify]: Simplify (- 1) into -1 11.322 * [backup-simplify]: Simplify (- 0) into 0 11.322 * [backup-simplify]: Simplify (- 1) into -1 11.322 * [backup-simplify]: Simplify (- 0) into 0 11.322 * [backup-simplify]: Simplify (- 1) into -1 11.323 * [backup-simplify]: Simplify (- 0) into 0 11.323 * [backup-simplify]: Simplify (- 1) into -1 11.323 * [backup-simplify]: Simplify (- 0) into 0 11.323 * [backup-simplify]: Simplify (- 0) into 0 11.324 * [backup-simplify]: Simplify (- 0) into 0 11.324 * [backup-simplify]: Simplify (- 0) into 0 11.327 * [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 11.327 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.328 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.329 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.329 * [backup-simplify]: Simplify 1/120 into 1/120 11.329 * [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)) 11.329 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 c))) (sqrt (sinh (/ 1 c)))) into (sinh (/ 1 c)) 11.329 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 11.329 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.329 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.329 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.329 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.329 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.329 * [taylor]: Taking taylor expansion of c in c 11.330 * [backup-simplify]: Simplify 0 into 0 11.330 * [backup-simplify]: Simplify 1 into 1 11.330 * [backup-simplify]: Simplify (/ 1 1) into 1 11.330 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.330 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.330 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.330 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.330 * [taylor]: Taking taylor expansion of c in c 11.330 * [backup-simplify]: Simplify 0 into 0 11.330 * [backup-simplify]: Simplify 1 into 1 11.330 * [backup-simplify]: Simplify (/ 1 1) into 1 11.331 * [backup-simplify]: Simplify (- 1) into -1 11.331 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.331 * [taylor]: Taking taylor expansion of 2 in c 11.331 * [backup-simplify]: Simplify 2 into 2 11.331 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.331 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.331 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.331 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.332 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.332 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.332 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.332 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.332 * [taylor]: Taking taylor expansion of c in c 11.332 * [backup-simplify]: Simplify 0 into 0 11.332 * [backup-simplify]: Simplify 1 into 1 11.332 * [backup-simplify]: Simplify (/ 1 1) into 1 11.332 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.332 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.332 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.332 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.332 * [taylor]: Taking taylor expansion of c in c 11.332 * [backup-simplify]: Simplify 0 into 0 11.332 * [backup-simplify]: Simplify 1 into 1 11.332 * [backup-simplify]: Simplify (/ 1 1) into 1 11.333 * [backup-simplify]: Simplify (- 1) into -1 11.333 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.333 * [taylor]: Taking taylor expansion of 2 in c 11.333 * [backup-simplify]: Simplify 2 into 2 11.333 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.333 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.333 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.333 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.334 * [backup-simplify]: Simplify (- 0) into 0 11.334 * [backup-simplify]: Simplify (+ 0 0) into 0 11.335 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 11.335 * [backup-simplify]: Simplify 0 into 0 11.335 * [backup-simplify]: Simplify (- 0) into 0 11.335 * [backup-simplify]: Simplify (+ 0 0) into 0 11.336 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.336 * [backup-simplify]: Simplify 0 into 0 11.336 * [backup-simplify]: Simplify (- 0) into 0 11.337 * [backup-simplify]: Simplify (+ 0 0) into 0 11.338 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.338 * [backup-simplify]: Simplify 0 into 0 11.338 * [backup-simplify]: Simplify (- 0) into 0 11.338 * [backup-simplify]: Simplify (+ 0 0) into 0 11.340 * [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 11.340 * [backup-simplify]: Simplify 0 into 0 11.340 * [backup-simplify]: Simplify (- 0) into 0 11.341 * [backup-simplify]: Simplify (+ 0 0) into 0 11.343 * [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 11.343 * [backup-simplify]: Simplify 0 into 0 11.343 * [backup-simplify]: Simplify (- 0) into 0 11.343 * [backup-simplify]: Simplify (+ 0 0) into 0 11.345 * [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 11.345 * [backup-simplify]: Simplify 0 into 0 11.345 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 11.346 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 (- c)))) (sqrt (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 11.346 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 11.346 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.346 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.346 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.346 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.346 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.346 * [taylor]: Taking taylor expansion of -1 in c 11.346 * [backup-simplify]: Simplify -1 into -1 11.346 * [taylor]: Taking taylor expansion of c in c 11.346 * [backup-simplify]: Simplify 0 into 0 11.346 * [backup-simplify]: Simplify 1 into 1 11.346 * [backup-simplify]: Simplify (/ -1 1) into -1 11.346 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.346 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.346 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.346 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.346 * [taylor]: Taking taylor expansion of -1 in c 11.346 * [backup-simplify]: Simplify -1 into -1 11.346 * [taylor]: Taking taylor expansion of c in c 11.346 * [backup-simplify]: Simplify 0 into 0 11.346 * [backup-simplify]: Simplify 1 into 1 11.347 * [backup-simplify]: Simplify (/ -1 1) into -1 11.347 * [backup-simplify]: Simplify (- -1) into 1 11.347 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.347 * [taylor]: Taking taylor expansion of 2 in c 11.347 * [backup-simplify]: Simplify 2 into 2 11.347 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.347 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.347 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.347 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.347 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.347 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.347 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.347 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.347 * [taylor]: Taking taylor expansion of -1 in c 11.347 * [backup-simplify]: Simplify -1 into -1 11.347 * [taylor]: Taking taylor expansion of c in c 11.347 * [backup-simplify]: Simplify 0 into 0 11.348 * [backup-simplify]: Simplify 1 into 1 11.348 * [backup-simplify]: Simplify (/ -1 1) into -1 11.348 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.348 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.348 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.348 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.348 * [taylor]: Taking taylor expansion of -1 in c 11.348 * [backup-simplify]: Simplify -1 into -1 11.348 * [taylor]: Taking taylor expansion of c in c 11.348 * [backup-simplify]: Simplify 0 into 0 11.348 * [backup-simplify]: Simplify 1 into 1 11.348 * [backup-simplify]: Simplify (/ -1 1) into -1 11.349 * [backup-simplify]: Simplify (- -1) into 1 11.349 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.349 * [taylor]: Taking taylor expansion of 2 in c 11.349 * [backup-simplify]: Simplify 2 into 2 11.349 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.349 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.349 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.349 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.349 * [backup-simplify]: Simplify (- 0) into 0 11.350 * [backup-simplify]: Simplify (+ 0 0) into 0 11.350 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 11.350 * [backup-simplify]: Simplify 0 into 0 11.350 * [backup-simplify]: Simplify (- 0) into 0 11.351 * [backup-simplify]: Simplify (+ 0 0) into 0 11.352 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.352 * [backup-simplify]: Simplify 0 into 0 11.352 * [backup-simplify]: Simplify (- 0) into 0 11.352 * [backup-simplify]: Simplify (+ 0 0) into 0 11.353 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.354 * [backup-simplify]: Simplify 0 into 0 11.354 * [backup-simplify]: Simplify (- 0) into 0 11.354 * [backup-simplify]: Simplify (+ 0 0) into 0 11.356 * [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 11.356 * [backup-simplify]: Simplify 0 into 0 11.356 * [backup-simplify]: Simplify (- 0) into 0 11.356 * [backup-simplify]: Simplify (+ 0 0) into 0 11.358 * [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 11.358 * [backup-simplify]: Simplify 0 into 0 11.358 * [backup-simplify]: Simplify (- 0) into 0 11.359 * [backup-simplify]: Simplify (+ 0 0) into 0 11.361 * [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 11.361 * [backup-simplify]: Simplify 0 into 0 11.361 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 11.361 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 11.361 * [backup-simplify]: Simplify (sinh c) into (sinh c) 11.361 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 11.361 * [taylor]: Taking taylor expansion of (sinh c) in c 11.361 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.361 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.361 * [taylor]: Taking taylor expansion of (exp c) in c 11.361 * [taylor]: Taking taylor expansion of c in c 11.361 * [backup-simplify]: Simplify 0 into 0 11.361 * [backup-simplify]: Simplify 1 into 1 11.361 * [backup-simplify]: Simplify (exp 0) into 1 11.361 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.361 * [taylor]: Taking taylor expansion of (- c) in c 11.361 * [taylor]: Taking taylor expansion of c in c 11.361 * [backup-simplify]: Simplify 0 into 0 11.361 * [backup-simplify]: Simplify 1 into 1 11.362 * [backup-simplify]: Simplify (- 0) into 0 11.362 * [backup-simplify]: Simplify (- 1) into -1 11.362 * [backup-simplify]: Simplify (exp 0) into 1 11.362 * [taylor]: Taking taylor expansion of 2 in c 11.362 * [backup-simplify]: Simplify 2 into 2 11.362 * [backup-simplify]: Simplify (- 1) into -1 11.362 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.363 * [backup-simplify]: Simplify (- 1) into -1 11.364 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.364 * [backup-simplify]: Simplify (- -1) into 1 11.364 * [backup-simplify]: Simplify (+ 1 1) into 2 11.365 * [backup-simplify]: Simplify (/ 2 2) into 1 11.365 * [taylor]: Taking taylor expansion of (sinh c) in c 11.365 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.365 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.365 * [taylor]: Taking taylor expansion of (exp c) in c 11.365 * [taylor]: Taking taylor expansion of c in c 11.365 * [backup-simplify]: Simplify 0 into 0 11.365 * [backup-simplify]: Simplify 1 into 1 11.365 * [backup-simplify]: Simplify (exp 0) into 1 11.365 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.365 * [taylor]: Taking taylor expansion of (- c) in c 11.365 * [taylor]: Taking taylor expansion of c in c 11.365 * [backup-simplify]: Simplify 0 into 0 11.365 * [backup-simplify]: Simplify 1 into 1 11.365 * [backup-simplify]: Simplify (- 0) into 0 11.365 * [backup-simplify]: Simplify (- 1) into -1 11.365 * [backup-simplify]: Simplify (exp 0) into 1 11.366 * [taylor]: Taking taylor expansion of 2 in c 11.366 * [backup-simplify]: Simplify 2 into 2 11.366 * [backup-simplify]: Simplify (- 1) into -1 11.366 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.367 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.367 * [backup-simplify]: Simplify (- 1) into -1 11.368 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.368 * [backup-simplify]: Simplify (- -1) into 1 11.368 * [backup-simplify]: Simplify (+ 1 1) into 2 11.368 * [backup-simplify]: Simplify (/ 2 2) into 1 11.368 * [backup-simplify]: Simplify 1 into 1 11.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.370 * [backup-simplify]: Simplify (- 1) into -1 11.370 * [backup-simplify]: Simplify (- 0) into 0 11.371 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.371 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.371 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.372 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.372 * [backup-simplify]: Simplify 0 into 0 11.373 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.373 * [backup-simplify]: Simplify (- 1) into -1 11.374 * [backup-simplify]: Simplify (- 1) into -1 11.374 * [backup-simplify]: Simplify (- 0) into 0 11.374 * [backup-simplify]: Simplify (- 0) into 0 11.376 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.376 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.376 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.377 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.377 * [backup-simplify]: Simplify 1/6 into 1/6 11.380 * [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 11.380 * [backup-simplify]: Simplify (- 1) into -1 11.381 * [backup-simplify]: Simplify (- 1) into -1 11.381 * [backup-simplify]: Simplify (- 0) into 0 11.381 * [backup-simplify]: Simplify (- 1) into -1 11.381 * [backup-simplify]: Simplify (- 0) into 0 11.382 * [backup-simplify]: Simplify (- 0) into 0 11.382 * [backup-simplify]: Simplify (- 0) into 0 11.384 * [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 11.385 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.385 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.386 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.386 * [backup-simplify]: Simplify 0 into 0 11.390 * [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 11.390 * [backup-simplify]: Simplify (- 1) into -1 11.390 * [backup-simplify]: Simplify (- 1) into -1 11.391 * [backup-simplify]: Simplify (- 0) into 0 11.391 * [backup-simplify]: Simplify (- 1) into -1 11.391 * [backup-simplify]: Simplify (- 0) into 0 11.392 * [backup-simplify]: Simplify (- 1) into -1 11.392 * [backup-simplify]: Simplify (- 0) into 0 11.392 * [backup-simplify]: Simplify (- 1) into -1 11.393 * [backup-simplify]: Simplify (- 0) into 0 11.393 * [backup-simplify]: Simplify (- 0) into 0 11.393 * [backup-simplify]: Simplify (- 0) into 0 11.394 * [backup-simplify]: Simplify (- 0) into 0 11.398 * [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 11.399 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.399 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.400 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.400 * [backup-simplify]: Simplify 1/120 into 1/120 11.401 * [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)) 11.401 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 11.401 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 11.401 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.401 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.401 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.401 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.401 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.401 * [taylor]: Taking taylor expansion of c in c 11.401 * [backup-simplify]: Simplify 0 into 0 11.401 * [backup-simplify]: Simplify 1 into 1 11.402 * [backup-simplify]: Simplify (/ 1 1) into 1 11.402 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.402 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.402 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.402 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.402 * [taylor]: Taking taylor expansion of c in c 11.402 * [backup-simplify]: Simplify 0 into 0 11.402 * [backup-simplify]: Simplify 1 into 1 11.402 * [backup-simplify]: Simplify (/ 1 1) into 1 11.403 * [backup-simplify]: Simplify (- 1) into -1 11.403 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.403 * [taylor]: Taking taylor expansion of 2 in c 11.403 * [backup-simplify]: Simplify 2 into 2 11.403 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.403 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.403 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.403 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.404 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.404 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.404 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.404 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.404 * [taylor]: Taking taylor expansion of c in c 11.404 * [backup-simplify]: Simplify 0 into 0 11.404 * [backup-simplify]: Simplify 1 into 1 11.404 * [backup-simplify]: Simplify (/ 1 1) into 1 11.404 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.404 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.404 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.404 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.404 * [taylor]: Taking taylor expansion of c in c 11.404 * [backup-simplify]: Simplify 0 into 0 11.404 * [backup-simplify]: Simplify 1 into 1 11.405 * [backup-simplify]: Simplify (/ 1 1) into 1 11.405 * [backup-simplify]: Simplify (- 1) into -1 11.405 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.405 * [taylor]: Taking taylor expansion of 2 in c 11.405 * [backup-simplify]: Simplify 2 into 2 11.405 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.405 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.406 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.406 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.406 * [backup-simplify]: Simplify (- 0) into 0 11.412 * [backup-simplify]: Simplify (+ 0 0) into 0 11.413 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 11.413 * [backup-simplify]: Simplify 0 into 0 11.414 * [backup-simplify]: Simplify (- 0) into 0 11.414 * [backup-simplify]: Simplify (+ 0 0) into 0 11.415 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.415 * [backup-simplify]: Simplify 0 into 0 11.415 * [backup-simplify]: Simplify (- 0) into 0 11.415 * [backup-simplify]: Simplify (+ 0 0) into 0 11.417 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.417 * [backup-simplify]: Simplify 0 into 0 11.417 * [backup-simplify]: Simplify (- 0) into 0 11.417 * [backup-simplify]: Simplify (+ 0 0) into 0 11.419 * [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 11.419 * [backup-simplify]: Simplify 0 into 0 11.419 * [backup-simplify]: Simplify (- 0) into 0 11.419 * [backup-simplify]: Simplify (+ 0 0) into 0 11.421 * [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 11.421 * [backup-simplify]: Simplify 0 into 0 11.422 * [backup-simplify]: Simplify (- 0) into 0 11.422 * [backup-simplify]: Simplify (+ 0 0) into 0 11.424 * [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 11.424 * [backup-simplify]: Simplify 0 into 0 11.424 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 11.424 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 11.424 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 11.424 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.424 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.424 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.424 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.425 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.425 * [taylor]: Taking taylor expansion of -1 in c 11.425 * [backup-simplify]: Simplify -1 into -1 11.425 * [taylor]: Taking taylor expansion of c in c 11.425 * [backup-simplify]: Simplify 0 into 0 11.425 * [backup-simplify]: Simplify 1 into 1 11.425 * [backup-simplify]: Simplify (/ -1 1) into -1 11.425 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.425 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.425 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.425 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.425 * [taylor]: Taking taylor expansion of -1 in c 11.425 * [backup-simplify]: Simplify -1 into -1 11.425 * [taylor]: Taking taylor expansion of c in c 11.425 * [backup-simplify]: Simplify 0 into 0 11.425 * [backup-simplify]: Simplify 1 into 1 11.425 * [backup-simplify]: Simplify (/ -1 1) into -1 11.426 * [backup-simplify]: Simplify (- -1) into 1 11.426 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.426 * [taylor]: Taking taylor expansion of 2 in c 11.426 * [backup-simplify]: Simplify 2 into 2 11.426 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.426 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.426 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.426 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.426 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.426 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.426 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.426 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.426 * [taylor]: Taking taylor expansion of -1 in c 11.426 * [backup-simplify]: Simplify -1 into -1 11.426 * [taylor]: Taking taylor expansion of c in c 11.426 * [backup-simplify]: Simplify 0 into 0 11.426 * [backup-simplify]: Simplify 1 into 1 11.427 * [backup-simplify]: Simplify (/ -1 1) into -1 11.427 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.427 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.427 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.427 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.427 * [taylor]: Taking taylor expansion of -1 in c 11.427 * [backup-simplify]: Simplify -1 into -1 11.427 * [taylor]: Taking taylor expansion of c in c 11.427 * [backup-simplify]: Simplify 0 into 0 11.427 * [backup-simplify]: Simplify 1 into 1 11.427 * [backup-simplify]: Simplify (/ -1 1) into -1 11.427 * [backup-simplify]: Simplify (- -1) into 1 11.428 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.428 * [taylor]: Taking taylor expansion of 2 in c 11.428 * [backup-simplify]: Simplify 2 into 2 11.428 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.428 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.428 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.428 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.428 * [backup-simplify]: Simplify (- 0) into 0 11.429 * [backup-simplify]: Simplify (+ 0 0) into 0 11.429 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 11.429 * [backup-simplify]: Simplify 0 into 0 11.429 * [backup-simplify]: Simplify (- 0) into 0 11.430 * [backup-simplify]: Simplify (+ 0 0) into 0 11.431 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.431 * [backup-simplify]: Simplify 0 into 0 11.431 * [backup-simplify]: Simplify (- 0) into 0 11.431 * [backup-simplify]: Simplify (+ 0 0) into 0 11.433 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.433 * [backup-simplify]: Simplify 0 into 0 11.433 * [backup-simplify]: Simplify (- 0) into 0 11.433 * [backup-simplify]: Simplify (+ 0 0) into 0 11.435 * [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 11.435 * [backup-simplify]: Simplify 0 into 0 11.435 * [backup-simplify]: Simplify (- 0) into 0 11.435 * [backup-simplify]: Simplify (+ 0 0) into 0 11.437 * [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 11.437 * [backup-simplify]: Simplify 0 into 0 11.437 * [backup-simplify]: Simplify (- 0) into 0 11.438 * [backup-simplify]: Simplify (+ 0 0) into 0 11.440 * [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 11.440 * [backup-simplify]: Simplify 0 into 0 11.440 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 11.440 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 11.440 * [backup-simplify]: Simplify (sinh c) into (sinh c) 11.440 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 11.440 * [taylor]: Taking taylor expansion of (sinh c) in c 11.440 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.440 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.440 * [taylor]: Taking taylor expansion of (exp c) in c 11.440 * [taylor]: Taking taylor expansion of c in c 11.440 * [backup-simplify]: Simplify 0 into 0 11.440 * [backup-simplify]: Simplify 1 into 1 11.440 * [backup-simplify]: Simplify (exp 0) into 1 11.440 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.440 * [taylor]: Taking taylor expansion of (- c) in c 11.440 * [taylor]: Taking taylor expansion of c in c 11.441 * [backup-simplify]: Simplify 0 into 0 11.441 * [backup-simplify]: Simplify 1 into 1 11.441 * [backup-simplify]: Simplify (- 0) into 0 11.441 * [backup-simplify]: Simplify (- 1) into -1 11.441 * [backup-simplify]: Simplify (exp 0) into 1 11.441 * [taylor]: Taking taylor expansion of 2 in c 11.441 * [backup-simplify]: Simplify 2 into 2 11.441 * [backup-simplify]: Simplify (- 1) into -1 11.442 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.442 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.442 * [backup-simplify]: Simplify (- 1) into -1 11.443 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.443 * [backup-simplify]: Simplify (- -1) into 1 11.444 * [backup-simplify]: Simplify (+ 1 1) into 2 11.444 * [backup-simplify]: Simplify (/ 2 2) into 1 11.444 * [taylor]: Taking taylor expansion of (sinh c) in c 11.444 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.444 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.444 * [taylor]: Taking taylor expansion of (exp c) in c 11.444 * [taylor]: Taking taylor expansion of c in c 11.444 * [backup-simplify]: Simplify 0 into 0 11.444 * [backup-simplify]: Simplify 1 into 1 11.444 * [backup-simplify]: Simplify (exp 0) into 1 11.444 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.444 * [taylor]: Taking taylor expansion of (- c) in c 11.444 * [taylor]: Taking taylor expansion of c in c 11.444 * [backup-simplify]: Simplify 0 into 0 11.444 * [backup-simplify]: Simplify 1 into 1 11.444 * [backup-simplify]: Simplify (- 0) into 0 11.445 * [backup-simplify]: Simplify (- 1) into -1 11.445 * [backup-simplify]: Simplify (exp 0) into 1 11.445 * [taylor]: Taking taylor expansion of 2 in c 11.445 * [backup-simplify]: Simplify 2 into 2 11.445 * [backup-simplify]: Simplify (- 1) into -1 11.445 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.446 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.446 * [backup-simplify]: Simplify (- 1) into -1 11.447 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.447 * [backup-simplify]: Simplify (- -1) into 1 11.447 * [backup-simplify]: Simplify (+ 1 1) into 2 11.447 * [backup-simplify]: Simplify (/ 2 2) into 1 11.447 * [backup-simplify]: Simplify 1 into 1 11.448 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.449 * [backup-simplify]: Simplify (- 1) into -1 11.449 * [backup-simplify]: Simplify (- 0) into 0 11.450 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.450 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.450 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.451 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.451 * [backup-simplify]: Simplify 0 into 0 11.452 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.453 * [backup-simplify]: Simplify (- 1) into -1 11.453 * [backup-simplify]: Simplify (- 1) into -1 11.453 * [backup-simplify]: Simplify (- 0) into 0 11.454 * [backup-simplify]: Simplify (- 0) into 0 11.455 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.455 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.456 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.456 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.456 * [backup-simplify]: Simplify 1/6 into 1/6 11.459 * [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 11.459 * [backup-simplify]: Simplify (- 1) into -1 11.459 * [backup-simplify]: Simplify (- 1) into -1 11.459 * [backup-simplify]: Simplify (- 0) into 0 11.460 * [backup-simplify]: Simplify (- 1) into -1 11.460 * [backup-simplify]: Simplify (- 0) into 0 11.460 * [backup-simplify]: Simplify (- 0) into 0 11.460 * [backup-simplify]: Simplify (- 0) into 0 11.463 * [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 11.463 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.463 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.464 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.464 * [backup-simplify]: Simplify 0 into 0 11.467 * [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 11.467 * [backup-simplify]: Simplify (- 1) into -1 11.468 * [backup-simplify]: Simplify (- 1) into -1 11.468 * [backup-simplify]: Simplify (- 0) into 0 11.468 * [backup-simplify]: Simplify (- 1) into -1 11.468 * [backup-simplify]: Simplify (- 0) into 0 11.469 * [backup-simplify]: Simplify (- 1) into -1 11.469 * [backup-simplify]: Simplify (- 0) into 0 11.469 * [backup-simplify]: Simplify (- 1) into -1 11.469 * [backup-simplify]: Simplify (- 0) into 0 11.469 * [backup-simplify]: Simplify (- 0) into 0 11.470 * [backup-simplify]: Simplify (- 0) into 0 11.470 * [backup-simplify]: Simplify (- 0) into 0 11.473 * [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 11.474 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.474 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.475 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.475 * [backup-simplify]: Simplify 1/120 into 1/120 11.476 * [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)) 11.476 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 11.476 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 11.476 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.476 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.476 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.476 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.476 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.476 * [taylor]: Taking taylor expansion of c in c 11.476 * [backup-simplify]: Simplify 0 into 0 11.476 * [backup-simplify]: Simplify 1 into 1 11.476 * [backup-simplify]: Simplify (/ 1 1) into 1 11.476 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.476 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.476 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.476 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.476 * [taylor]: Taking taylor expansion of c in c 11.476 * [backup-simplify]: Simplify 0 into 0 11.477 * [backup-simplify]: Simplify 1 into 1 11.477 * [backup-simplify]: Simplify (/ 1 1) into 1 11.477 * [backup-simplify]: Simplify (- 1) into -1 11.477 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.477 * [taylor]: Taking taylor expansion of 2 in c 11.477 * [backup-simplify]: Simplify 2 into 2 11.477 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.477 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.477 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.477 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.478 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.478 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.478 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.478 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.478 * [taylor]: Taking taylor expansion of c in c 11.478 * [backup-simplify]: Simplify 0 into 0 11.478 * [backup-simplify]: Simplify 1 into 1 11.478 * [backup-simplify]: Simplify (/ 1 1) into 1 11.478 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.478 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.478 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.478 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.478 * [taylor]: Taking taylor expansion of c in c 11.478 * [backup-simplify]: Simplify 0 into 0 11.478 * [backup-simplify]: Simplify 1 into 1 11.478 * [backup-simplify]: Simplify (/ 1 1) into 1 11.479 * [backup-simplify]: Simplify (- 1) into -1 11.479 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.479 * [taylor]: Taking taylor expansion of 2 in c 11.479 * [backup-simplify]: Simplify 2 into 2 11.479 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.479 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.479 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.479 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.479 * [backup-simplify]: Simplify (- 0) into 0 11.480 * [backup-simplify]: Simplify (+ 0 0) into 0 11.480 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 11.480 * [backup-simplify]: Simplify 0 into 0 11.481 * [backup-simplify]: Simplify (- 0) into 0 11.481 * [backup-simplify]: Simplify (+ 0 0) into 0 11.482 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.482 * [backup-simplify]: Simplify 0 into 0 11.482 * [backup-simplify]: Simplify (- 0) into 0 11.483 * [backup-simplify]: Simplify (+ 0 0) into 0 11.484 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.484 * [backup-simplify]: Simplify 0 into 0 11.484 * [backup-simplify]: Simplify (- 0) into 0 11.484 * [backup-simplify]: Simplify (+ 0 0) into 0 11.486 * [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 11.486 * [backup-simplify]: Simplify 0 into 0 11.486 * [backup-simplify]: Simplify (- 0) into 0 11.486 * [backup-simplify]: Simplify (+ 0 0) into 0 11.489 * [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 11.489 * [backup-simplify]: Simplify 0 into 0 11.489 * [backup-simplify]: Simplify (- 0) into 0 11.489 * [backup-simplify]: Simplify (+ 0 0) into 0 11.491 * [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 11.491 * [backup-simplify]: Simplify 0 into 0 11.491 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 11.492 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 11.492 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 11.492 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.492 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.492 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.492 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.492 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.492 * [taylor]: Taking taylor expansion of -1 in c 11.492 * [backup-simplify]: Simplify -1 into -1 11.492 * [taylor]: Taking taylor expansion of c in c 11.492 * [backup-simplify]: Simplify 0 into 0 11.492 * [backup-simplify]: Simplify 1 into 1 11.492 * [backup-simplify]: Simplify (/ -1 1) into -1 11.492 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.492 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.492 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.492 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.492 * [taylor]: Taking taylor expansion of -1 in c 11.492 * [backup-simplify]: Simplify -1 into -1 11.492 * [taylor]: Taking taylor expansion of c in c 11.492 * [backup-simplify]: Simplify 0 into 0 11.492 * [backup-simplify]: Simplify 1 into 1 11.493 * [backup-simplify]: Simplify (/ -1 1) into -1 11.493 * [backup-simplify]: Simplify (- -1) into 1 11.493 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.493 * [taylor]: Taking taylor expansion of 2 in c 11.493 * [backup-simplify]: Simplify 2 into 2 11.493 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.493 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.493 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.493 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.493 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.493 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.493 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.493 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.493 * [taylor]: Taking taylor expansion of -1 in c 11.493 * [backup-simplify]: Simplify -1 into -1 11.493 * [taylor]: Taking taylor expansion of c in c 11.493 * [backup-simplify]: Simplify 0 into 0 11.493 * [backup-simplify]: Simplify 1 into 1 11.494 * [backup-simplify]: Simplify (/ -1 1) into -1 11.494 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.494 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.494 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.494 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.494 * [taylor]: Taking taylor expansion of -1 in c 11.494 * [backup-simplify]: Simplify -1 into -1 11.494 * [taylor]: Taking taylor expansion of c in c 11.494 * [backup-simplify]: Simplify 0 into 0 11.494 * [backup-simplify]: Simplify 1 into 1 11.494 * [backup-simplify]: Simplify (/ -1 1) into -1 11.494 * [backup-simplify]: Simplify (- -1) into 1 11.494 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.495 * [taylor]: Taking taylor expansion of 2 in c 11.495 * [backup-simplify]: Simplify 2 into 2 11.495 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.495 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.495 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.495 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.495 * [backup-simplify]: Simplify (- 0) into 0 11.495 * [backup-simplify]: Simplify (+ 0 0) into 0 11.496 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 11.496 * [backup-simplify]: Simplify 0 into 0 11.496 * [backup-simplify]: Simplify (- 0) into 0 11.497 * [backup-simplify]: Simplify (+ 0 0) into 0 11.498 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.498 * [backup-simplify]: Simplify 0 into 0 11.498 * [backup-simplify]: Simplify (- 0) into 0 11.498 * [backup-simplify]: Simplify (+ 0 0) into 0 11.499 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.499 * [backup-simplify]: Simplify 0 into 0 11.500 * [backup-simplify]: Simplify (- 0) into 0 11.500 * [backup-simplify]: Simplify (+ 0 0) into 0 11.501 * [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 11.501 * [backup-simplify]: Simplify 0 into 0 11.505 * [backup-simplify]: Simplify (- 0) into 0 11.506 * [backup-simplify]: Simplify (+ 0 0) into 0 11.508 * [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 11.508 * [backup-simplify]: Simplify 0 into 0 11.508 * [backup-simplify]: Simplify (- 0) into 0 11.508 * [backup-simplify]: Simplify (+ 0 0) into 0 11.510 * [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 11.510 * [backup-simplify]: Simplify 0 into 0 11.510 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 11.511 * * * [progress]: simplifying candidates 11.511 * [simplify]: Simplifying: (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (sinh c) (sinh c)) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sinh c) (sinh c)) (+ 1 1) (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) (log (* (sqrt (sinh c)) (sqrt (sinh c)))) (exp (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) (* (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c))))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sinh c) (sinh c)) (sqrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (sqrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c))))) (* (sqrt 2) (sqrt 2)) (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* 1 1) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (sqrt (sinh c)) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt 1)) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (* (sqrt (sinh c)) 1) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c))))) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) (- (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)) (- (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/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 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)))) 11.512 * * [simplify]: Extracting # 0 : cost 47 inf + 0 11.512 * * [simplify]: Extracting # 1 : cost 67 inf + 0 11.512 * * [simplify]: Extracting # 2 : cost 61 inf + 494 11.513 * * [simplify]: Extracting # 3 : cost 58 inf + 828 11.513 * * [simplify]: Extracting # 4 : cost 35 inf + 4253 11.514 * * [simplify]: Extracting # 5 : cost 11 inf + 8671 11.514 * * [simplify]: Extracting # 6 : cost 0 inf + 12153 11.515 * * [simplify]: iteration 0 : 79 enodes (cost 16033 ) 11.534 * * [simplify]: Extracting # 0 : cost 0 inf + 12153 11.536 * * [simplify]: Extracting # 1 : cost 14 inf + 10020 11.537 * * [simplify]: Extracting # 2 : cost 4 inf + 12305 11.539 * * [simplify]: Extracting # 3 : cost 0 inf + 12468 11.540 * * [simplify]: Extracting # 4 : cost 0 inf + 12206 11.542 * * [simplify]: iteration 1 : 140 enodes (cost 12107 ) 11.571 * * [simplify]: Extracting # 0 : cost 0 inf + 12206 11.573 * * [simplify]: Extracting # 1 : cost 64 inf + 12126 11.576 * * [simplify]: Extracting # 2 : cost 16 inf + 23940 11.579 * * [simplify]: Extracting # 3 : cost 2 inf + 25922 11.583 * * [simplify]: Extracting # 4 : cost 0 inf + 26551 11.589 * * [simplify]: iteration 2 : 309 enodes (cost 12107 ) 11.668 * * [simplify]: Extracting # 0 : cost 0 inf + 26551 11.674 * * [simplify]: Extracting # 1 : cost 240 inf + 26080 11.687 * * [simplify]: Extracting # 2 : cost 12 inf + 90401 11.705 * * [simplify]: Extracting # 3 : cost 1 inf + 92873 11.722 * * [simplify]: Extracting # 4 : cost 0 inf + 93236 11.740 * * [simplify]: iteration 3 : 915 enodes (cost 12067 ) 12.410 * * [simplify]: Extracting # 0 : cost 0 inf + 93236 12.454 * * [simplify]: Extracting # 1 : cost 1103 inf + 90555 12.557 * * [simplify]: Extracting # 2 : cost 34 inf + 466642 12.692 * * [simplify]: Extracting # 3 : cost 6 inf + 472836 12.828 * * [simplify]: Extracting # 4 : cost 0 inf + 475907 12.962 * * [simplify]: iteration complete: 5002 enodes (cost 12067 ) 12.962 * [simplify]: Simplified to: 1 1 2 1 1 (* (sinh c) (sinh c)) (sinh c) (* (sinh c) (sinh c)) 2 (log (sinh c)) (log (sinh c)) (exp (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (* (sinh c) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (- (exp c) (exp (- c))) 2 (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 2 1 (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (sqrt (sinh c)) (fabs (cbrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (sinh c) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (sinh c) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) (- (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)) (- (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)) (+ (* (* c (* c c)) 1/6) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) (+ (* (* c (* c c)) 1/6) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) (+ (* (* c (* c c)) 1/6) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 12.966 * * * [progress]: adding candidates to table 13.187 * [progress]: [Phase 3 of 3] Extracting. 13.188 * * [regime]: Finding splitpoints for: (# #) 13.188 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 13.189 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# #) 13.223 * * * * [regimes]: Trying to branch on c from (# #) 13.247 * * * [regime]: Found split indices: #