25.567 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.204 * * * [progress]: [2/2] Setting up program. 0.209 * [progress]: [Phase 2 of 3] Improving. 0.210 * [simplify]: Simplifying: (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 0.210 * * [simplify]: Extracting # 0 : cost 0 0.210 * * [simplify]: Extracting # 1 : cost 0 0.210 * * [simplify]: Extracting # 2 : cost 0 0.210 * * [simplify]: Extracting # 3 : cost 0 0.211 * * [simplify]: Extracting # 4 : cost 0 0.211 * * [simplify]: Extracting # 5 : cost 0 0.211 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 0.214 * * [simplify]: Extracting # 0 : cost 0 0.214 * * [simplify]: Extracting # 1 : cost 0 0.214 * * [simplify]: Extracting # 2 : cost 0 0.214 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 0.220 * * [simplify]: Extracting # 0 : cost 0 0.220 * * [simplify]: Extracting # 1 : cost 0 0.220 * * [simplify]: Extracting # 2 : cost 0 0.220 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 0.223 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.223 * * [simplify]: Extracting # 2 : cost 0 0.223 * * [simplify]: iteration 3 : 31 enodes (cost 13 ) 0.227 * * [simplify]: Extracting # 0 : cost 0 0.227 * * [simplify]: Extracting # 1 : cost 0 0.228 * * [simplify]: Extracting # 2 : cost 0 0.228 * * [simplify]: iteration 4 : 42 enodes (cost 13 ) 0.235 * * [simplify]: Extracting # 0 : cost 0 0.235 * * [simplify]: Extracting # 1 : cost 0 0.235 * * [simplify]: Extracting # 2 : cost 0 0.236 * * [simplify]: Extracting # 3 : cost 0 0.236 * * [simplify]: iteration 5 : 70 enodes (cost 13 ) 0.267 * * [simplify]: Extracting # 0 : cost 0 0.267 * * [simplify]: Extracting # 1 : cost 0 0.267 * * [simplify]: Extracting # 2 : cost 0 0.267 * * [simplify]: iteration 6 : 136 enodes (cost 13 ) 0.339 * * [simplify]: Extracting # 0 : cost 0 0.340 * * [simplify]: Extracting # 1 : cost 0 0.340 * * [simplify]: Extracting # 2 : cost 0 0.340 * * [simplify]: iteration 7 : 605 enodes (cost 13 ) 2.193 * * [simplify]: Extracting # 0 : cost 0 2.288 * * [simplify]: Extracting # 1 : cost 0 2.294 * * [simplify]: Extracting # 2 : cost 0 2.299 * * [simplify]: Extracting # 3 : cost 0 2.305 * * [simplify]: Extracting # 4 : cost 0 2.310 * * [simplify]: iteration 8 : 4776 enodes (cost 13 ) 9.721 * * [simplify]: Extracting # 0 : cost 0 9.728 * * [simplify]: iteration done: 5000 enodes (cost 13 ) 9.729 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 9.729 * * [progress]: iteration 1 / 4 9.729 * * * [progress]: picking best candidate 9.732 * * * * [pick]: Picked # 9.732 * * * [progress]: localizing error 9.758 * * * [progress]: generating rewritten candidates 9.758 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 9.787 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 9.876 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 9.903 * * * [progress]: generating series expansions 9.904 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 9.904 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x))) 9.904 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 9.904 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 9.904 * [taylor]: Taking taylor expansion of (exp x) in x 9.904 * [taylor]: Taking taylor expansion of x in x 9.904 * [backup-simplify]: Simplify 0 into 0 9.904 * [backup-simplify]: Simplify 1 into 1 9.904 * [backup-simplify]: Simplify (exp 0) into 1 9.904 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.904 * [taylor]: Taking taylor expansion of (- x) in x 9.904 * [taylor]: Taking taylor expansion of x in x 9.904 * [backup-simplify]: Simplify 0 into 0 9.904 * [backup-simplify]: Simplify 1 into 1 9.905 * [backup-simplify]: Simplify (- 0) into 0 9.905 * [backup-simplify]: Simplify (- 1) into -1 9.905 * [backup-simplify]: Simplify (exp 0) into 1 9.905 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 9.905 * [taylor]: Taking taylor expansion of (exp x) in x 9.905 * [taylor]: Taking taylor expansion of x in x 9.905 * [backup-simplify]: Simplify 0 into 0 9.905 * [backup-simplify]: Simplify 1 into 1 9.905 * [backup-simplify]: Simplify (exp 0) into 1 9.905 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.905 * [taylor]: Taking taylor expansion of (- x) in x 9.905 * [taylor]: Taking taylor expansion of x in x 9.905 * [backup-simplify]: Simplify 0 into 0 9.905 * [backup-simplify]: Simplify 1 into 1 9.906 * [backup-simplify]: Simplify (- 0) into 0 9.906 * [backup-simplify]: Simplify (- 1) into -1 9.906 * [backup-simplify]: Simplify (exp 0) into 1 9.906 * [backup-simplify]: Simplify (- 1) into -1 9.907 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.907 * [backup-simplify]: Simplify 0 into 0 9.908 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.908 * [backup-simplify]: Simplify (- 1) into -1 9.909 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.909 * [backup-simplify]: Simplify (- -1) into 1 9.909 * [backup-simplify]: Simplify (+ 1 1) into 2 9.909 * [backup-simplify]: Simplify 2 into 2 9.911 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.911 * [backup-simplify]: Simplify (- 1) into -1 9.911 * [backup-simplify]: Simplify (- 0) into 0 9.913 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.913 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.913 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.913 * [backup-simplify]: Simplify 0 into 0 9.915 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.916 * [backup-simplify]: Simplify (- 1) into -1 9.916 * [backup-simplify]: Simplify (- 1) into -1 9.916 * [backup-simplify]: Simplify (- 0) into 0 9.916 * [backup-simplify]: Simplify (- 0) into 0 9.918 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.919 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.919 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.919 * [backup-simplify]: Simplify 1/3 into 1/3 9.922 * [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 9.923 * [backup-simplify]: Simplify (- 1) into -1 9.923 * [backup-simplify]: Simplify (- 1) into -1 9.923 * [backup-simplify]: Simplify (- 0) into 0 9.924 * [backup-simplify]: Simplify (- 1) into -1 9.924 * [backup-simplify]: Simplify (- 0) into 0 9.924 * [backup-simplify]: Simplify (- 0) into 0 9.925 * [backup-simplify]: Simplify (- 0) into 0 9.928 * [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 9.928 * [backup-simplify]: Simplify (- 1/24) into -1/24 9.928 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 9.928 * [backup-simplify]: Simplify 0 into 0 9.933 * [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 9.934 * [backup-simplify]: Simplify (- 1) into -1 9.934 * [backup-simplify]: Simplify (- 1) into -1 9.934 * [backup-simplify]: Simplify (- 0) into 0 9.935 * [backup-simplify]: Simplify (- 1) into -1 9.935 * [backup-simplify]: Simplify (- 0) into 0 9.935 * [backup-simplify]: Simplify (- 1) into -1 9.936 * [backup-simplify]: Simplify (- 0) into 0 9.936 * [backup-simplify]: Simplify (- 1) into -1 9.936 * [backup-simplify]: Simplify (- 0) into 0 9.936 * [backup-simplify]: Simplify (- 0) into 0 9.937 * [backup-simplify]: Simplify (- 0) into 0 9.937 * [backup-simplify]: Simplify (- 0) into 0 9.941 * [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 9.942 * [backup-simplify]: Simplify (- -1/120) into 1/120 9.942 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 9.942 * [backup-simplify]: Simplify 1/60 into 1/60 9.943 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 9.943 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 9.943 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 9.943 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.943 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.943 * [taylor]: Taking taylor expansion of x in x 9.943 * [backup-simplify]: Simplify 0 into 0 9.943 * [backup-simplify]: Simplify 1 into 1 9.944 * [backup-simplify]: Simplify (/ 1 1) into 1 9.944 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.944 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.944 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.944 * [taylor]: Taking taylor expansion of x in x 9.944 * [backup-simplify]: Simplify 0 into 0 9.944 * [backup-simplify]: Simplify 1 into 1 9.944 * [backup-simplify]: Simplify (/ 1 1) into 1 9.944 * [backup-simplify]: Simplify (- 1) into -1 9.945 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 9.945 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.945 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.945 * [taylor]: Taking taylor expansion of x in x 9.945 * [backup-simplify]: Simplify 0 into 0 9.945 * [backup-simplify]: Simplify 1 into 1 9.945 * [backup-simplify]: Simplify (/ 1 1) into 1 9.945 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.945 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.945 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.945 * [taylor]: Taking taylor expansion of x in x 9.945 * [backup-simplify]: Simplify 0 into 0 9.945 * [backup-simplify]: Simplify 1 into 1 9.946 * [backup-simplify]: Simplify (/ 1 1) into 1 9.946 * [backup-simplify]: Simplify (- 1) into -1 9.946 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 9.946 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 9.946 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 9.947 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 9.947 * [backup-simplify]: Simplify (- 0) into 0 9.947 * [backup-simplify]: Simplify (+ 0 0) into 0 9.947 * [backup-simplify]: Simplify 0 into 0 9.948 * [backup-simplify]: Simplify (- 0) into 0 9.948 * [backup-simplify]: Simplify (+ 0 0) into 0 9.948 * [backup-simplify]: Simplify 0 into 0 9.948 * [backup-simplify]: Simplify (- 0) into 0 9.949 * [backup-simplify]: Simplify (+ 0 0) into 0 9.949 * [backup-simplify]: Simplify 0 into 0 9.949 * [backup-simplify]: Simplify (- 0) into 0 9.949 * [backup-simplify]: Simplify (+ 0 0) into 0 9.949 * [backup-simplify]: Simplify 0 into 0 9.950 * [backup-simplify]: Simplify (- 0) into 0 9.950 * [backup-simplify]: Simplify (+ 0 0) into 0 9.950 * [backup-simplify]: Simplify 0 into 0 9.950 * [backup-simplify]: Simplify (- 0) into 0 9.950 * [backup-simplify]: Simplify (+ 0 0) into 0 9.951 * [backup-simplify]: Simplify 0 into 0 9.951 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x))) 9.951 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 9.951 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 9.951 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 9.951 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.951 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.951 * [taylor]: Taking taylor expansion of -1 in x 9.951 * [backup-simplify]: Simplify -1 into -1 9.951 * [taylor]: Taking taylor expansion of x in x 9.951 * [backup-simplify]: Simplify 0 into 0 9.951 * [backup-simplify]: Simplify 1 into 1 9.951 * [backup-simplify]: Simplify (/ -1 1) into -1 9.952 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.952 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.952 * [taylor]: Taking taylor expansion of x in x 9.952 * [backup-simplify]: Simplify 0 into 0 9.952 * [backup-simplify]: Simplify 1 into 1 9.952 * [backup-simplify]: Simplify (/ 1 1) into 1 9.952 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.952 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 9.952 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.952 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.952 * [taylor]: Taking taylor expansion of -1 in x 9.952 * [backup-simplify]: Simplify -1 into -1 9.952 * [taylor]: Taking taylor expansion of x in x 9.952 * [backup-simplify]: Simplify 0 into 0 9.952 * [backup-simplify]: Simplify 1 into 1 9.953 * [backup-simplify]: Simplify (/ -1 1) into -1 9.953 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.953 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.953 * [taylor]: Taking taylor expansion of x in x 9.953 * [backup-simplify]: Simplify 0 into 0 9.953 * [backup-simplify]: Simplify 1 into 1 9.953 * [backup-simplify]: Simplify (/ 1 1) into 1 9.953 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.953 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 9.954 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 9.954 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 9.954 * [backup-simplify]: Simplify (- 0) into 0 9.954 * [backup-simplify]: Simplify (+ 0 0) into 0 9.954 * [backup-simplify]: Simplify 0 into 0 9.955 * [backup-simplify]: Simplify (- 0) into 0 9.955 * [backup-simplify]: Simplify (+ 0 0) into 0 9.955 * [backup-simplify]: Simplify 0 into 0 9.955 * [backup-simplify]: Simplify (- 0) into 0 9.956 * [backup-simplify]: Simplify (+ 0 0) into 0 9.956 * [backup-simplify]: Simplify 0 into 0 9.956 * [backup-simplify]: Simplify (- 0) into 0 9.956 * [backup-simplify]: Simplify (+ 0 0) into 0 9.956 * [backup-simplify]: Simplify 0 into 0 9.957 * [backup-simplify]: Simplify (- 0) into 0 9.957 * [backup-simplify]: Simplify (+ 0 0) into 0 9.957 * [backup-simplify]: Simplify 0 into 0 9.957 * [backup-simplify]: Simplify (- 0) into 0 9.958 * [backup-simplify]: Simplify (+ 0 0) into 0 9.958 * [backup-simplify]: Simplify 0 into 0 9.958 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x))) 9.958 * * * * [progress]: [ 2 / 3 ] generating series at (2) 9.958 * [backup-simplify]: Simplify (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 9.958 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0 9.958 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 9.958 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 9.958 * [taylor]: Taking taylor expansion of (exp x) in x 9.958 * [taylor]: Taking taylor expansion of x in x 9.958 * [backup-simplify]: Simplify 0 into 0 9.958 * [backup-simplify]: Simplify 1 into 1 9.958 * [backup-simplify]: Simplify (exp 0) into 1 9.958 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.958 * [taylor]: Taking taylor expansion of (- x) in x 9.958 * [taylor]: Taking taylor expansion of x in x 9.958 * [backup-simplify]: Simplify 0 into 0 9.958 * [backup-simplify]: Simplify 1 into 1 9.959 * [backup-simplify]: Simplify (- 0) into 0 9.959 * [backup-simplify]: Simplify (- 1) into -1 9.959 * [backup-simplify]: Simplify (exp 0) into 1 9.959 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.959 * [taylor]: Taking taylor expansion of (exp x) in x 9.959 * [taylor]: Taking taylor expansion of x in x 9.959 * [backup-simplify]: Simplify 0 into 0 9.959 * [backup-simplify]: Simplify 1 into 1 9.959 * [backup-simplify]: Simplify (exp 0) into 1 9.959 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.959 * [taylor]: Taking taylor expansion of (- x) in x 9.959 * [taylor]: Taking taylor expansion of x in x 9.959 * [backup-simplify]: Simplify 0 into 0 9.959 * [backup-simplify]: Simplify 1 into 1 9.960 * [backup-simplify]: Simplify (- 0) into 0 9.960 * [backup-simplify]: Simplify (- 1) into -1 9.960 * [backup-simplify]: Simplify (exp 0) into 1 9.960 * [backup-simplify]: Simplify (- 1) into -1 9.961 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.966 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.966 * [backup-simplify]: Simplify (- 1) into -1 9.967 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.968 * [backup-simplify]: Simplify (- -1) into 1 9.968 * [backup-simplify]: Simplify (+ 1 1) into 2 9.968 * [backup-simplify]: Simplify (+ 1 1) into 2 9.969 * [backup-simplify]: Simplify (/ 2 2) into 1 9.969 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 9.969 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 9.969 * [taylor]: Taking taylor expansion of (exp x) in x 9.969 * [taylor]: Taking taylor expansion of x in x 9.969 * [backup-simplify]: Simplify 0 into 0 9.969 * [backup-simplify]: Simplify 1 into 1 9.969 * [backup-simplify]: Simplify (exp 0) into 1 9.969 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.969 * [taylor]: Taking taylor expansion of (- x) in x 9.969 * [taylor]: Taking taylor expansion of x in x 9.969 * [backup-simplify]: Simplify 0 into 0 9.969 * [backup-simplify]: Simplify 1 into 1 9.969 * [backup-simplify]: Simplify (- 0) into 0 9.970 * [backup-simplify]: Simplify (- 1) into -1 9.970 * [backup-simplify]: Simplify (exp 0) into 1 9.970 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.970 * [taylor]: Taking taylor expansion of (exp x) in x 9.970 * [taylor]: Taking taylor expansion of x in x 9.970 * [backup-simplify]: Simplify 0 into 0 9.970 * [backup-simplify]: Simplify 1 into 1 9.970 * [backup-simplify]: Simplify (exp 0) into 1 9.970 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.970 * [taylor]: Taking taylor expansion of (- x) in x 9.970 * [taylor]: Taking taylor expansion of x in x 9.970 * [backup-simplify]: Simplify 0 into 0 9.970 * [backup-simplify]: Simplify 1 into 1 9.970 * [backup-simplify]: Simplify (- 0) into 0 9.970 * [backup-simplify]: Simplify (- 1) into -1 9.970 * [backup-simplify]: Simplify (exp 0) into 1 9.971 * [backup-simplify]: Simplify (- 1) into -1 9.971 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.972 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.972 * [backup-simplify]: Simplify (- 1) into -1 9.973 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.973 * [backup-simplify]: Simplify (- -1) into 1 9.974 * [backup-simplify]: Simplify (+ 1 1) into 2 9.974 * [backup-simplify]: Simplify (+ 1 1) into 2 9.974 * [backup-simplify]: Simplify (/ 2 2) into 1 9.975 * [backup-simplify]: Simplify 1 into 1 9.976 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.976 * [backup-simplify]: Simplify (- 1) into -1 9.976 * [backup-simplify]: Simplify (- 0) into 0 9.978 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.978 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.979 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.979 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.980 * [backup-simplify]: Simplify (- 1) into -1 9.980 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.981 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.981 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 9.982 * [backup-simplify]: Simplify 0 into 0 9.984 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.984 * [backup-simplify]: Simplify (- 1) into -1 9.984 * [backup-simplify]: Simplify (- 1) into -1 9.985 * [backup-simplify]: Simplify (- 0) into 0 9.985 * [backup-simplify]: Simplify (- 0) into 0 9.987 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.987 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.987 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.989 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.989 * [backup-simplify]: Simplify (- 1) into -1 9.989 * [backup-simplify]: Simplify (- 0) into 0 9.991 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.991 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 9.992 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3 9.992 * [backup-simplify]: Simplify -1/3 into -1/3 9.995 * [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 9.996 * [backup-simplify]: Simplify (- 1) into -1 9.996 * [backup-simplify]: Simplify (- 1) into -1 9.996 * [backup-simplify]: Simplify (- 0) into 0 9.997 * [backup-simplify]: Simplify (- 1) into -1 9.997 * [backup-simplify]: Simplify (- 0) into 0 9.997 * [backup-simplify]: Simplify (- 0) into 0 9.998 * [backup-simplify]: Simplify (- 0) into 0 10.001 * [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 10.001 * [backup-simplify]: Simplify (- 1/24) into -1/24 10.002 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 10.003 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.004 * [backup-simplify]: Simplify (- 1) into -1 10.004 * [backup-simplify]: Simplify (- 1) into -1 10.004 * [backup-simplify]: Simplify (- 0) into 0 10.005 * [backup-simplify]: Simplify (- 0) into 0 10.007 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.007 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 10.008 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0 10.008 * [backup-simplify]: Simplify 0 into 0 10.013 * [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 10.013 * [backup-simplify]: Simplify (- 1) into -1 10.013 * [backup-simplify]: Simplify (- 1) into -1 10.013 * [backup-simplify]: Simplify (- 0) into 0 10.014 * [backup-simplify]: Simplify (- 1) into -1 10.014 * [backup-simplify]: Simplify (- 0) into 0 10.014 * [backup-simplify]: Simplify (- 1) into -1 10.015 * [backup-simplify]: Simplify (- 0) into 0 10.015 * [backup-simplify]: Simplify (- 1) into -1 10.015 * [backup-simplify]: Simplify (- 0) into 0 10.016 * [backup-simplify]: Simplify (- 0) into 0 10.016 * [backup-simplify]: Simplify (- 0) into 0 10.016 * [backup-simplify]: Simplify (- 0) into 0 10.021 * [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 10.021 * [backup-simplify]: Simplify (- -1/120) into 1/120 10.021 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 10.025 * [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 10.025 * [backup-simplify]: Simplify (- 1) into -1 10.025 * [backup-simplify]: Simplify (- 1) into -1 10.026 * [backup-simplify]: Simplify (- 0) into 0 10.026 * [backup-simplify]: Simplify (- 1) into -1 10.026 * [backup-simplify]: Simplify (- 0) into 0 10.027 * [backup-simplify]: Simplify (- 0) into 0 10.027 * [backup-simplify]: Simplify (- 0) into 0 10.030 * [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 10.031 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 10.032 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15 10.032 * [backup-simplify]: Simplify 2/15 into 2/15 10.033 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 10.033 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 10.033 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 10.033 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 10.033 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.033 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.033 * [taylor]: Taking taylor expansion of x in x 10.033 * [backup-simplify]: Simplify 0 into 0 10.033 * [backup-simplify]: Simplify 1 into 1 10.034 * [backup-simplify]: Simplify (/ 1 1) into 1 10.034 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.034 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.034 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.034 * [taylor]: Taking taylor expansion of x in x 10.034 * [backup-simplify]: Simplify 0 into 0 10.034 * [backup-simplify]: Simplify 1 into 1 10.034 * [backup-simplify]: Simplify (/ 1 1) into 1 10.035 * [backup-simplify]: Simplify (- 1) into -1 10.035 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 10.035 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.035 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.035 * [taylor]: Taking taylor expansion of x in x 10.035 * [backup-simplify]: Simplify 0 into 0 10.035 * [backup-simplify]: Simplify 1 into 1 10.035 * [backup-simplify]: Simplify (/ 1 1) into 1 10.035 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.035 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.035 * [taylor]: Taking taylor expansion of x in x 10.035 * [backup-simplify]: Simplify 0 into 0 10.035 * [backup-simplify]: Simplify 1 into 1 10.036 * [backup-simplify]: Simplify (/ 1 1) into 1 10.036 * [backup-simplify]: Simplify (- 1) into -1 10.036 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 10.036 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 10.037 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.037 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.037 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 10.037 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 10.037 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.037 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.037 * [taylor]: Taking taylor expansion of x in x 10.037 * [backup-simplify]: Simplify 0 into 0 10.037 * [backup-simplify]: Simplify 1 into 1 10.038 * [backup-simplify]: Simplify (/ 1 1) into 1 10.038 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.038 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.038 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.038 * [taylor]: Taking taylor expansion of x in x 10.038 * [backup-simplify]: Simplify 0 into 0 10.038 * [backup-simplify]: Simplify 1 into 1 10.038 * [backup-simplify]: Simplify (/ 1 1) into 1 10.038 * [backup-simplify]: Simplify (- 1) into -1 10.038 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 10.039 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.039 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.039 * [taylor]: Taking taylor expansion of x in x 10.039 * [backup-simplify]: Simplify 0 into 0 10.039 * [backup-simplify]: Simplify 1 into 1 10.039 * [backup-simplify]: Simplify (/ 1 1) into 1 10.039 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.039 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.039 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.039 * [taylor]: Taking taylor expansion of x in x 10.039 * [backup-simplify]: Simplify 0 into 0 10.039 * [backup-simplify]: Simplify 1 into 1 10.040 * [backup-simplify]: Simplify (/ 1 1) into 1 10.040 * [backup-simplify]: Simplify (- 1) into -1 10.040 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 10.040 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 10.040 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.040 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.041 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 10.041 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 10.041 * [backup-simplify]: Simplify (- 0) into 0 10.042 * [backup-simplify]: Simplify (+ 0 0) into 0 10.042 * [backup-simplify]: Simplify (+ 0 0) into 0 10.043 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 10.043 * [backup-simplify]: Simplify 0 into 0 10.043 * [backup-simplify]: Simplify (- 0) into 0 10.043 * [backup-simplify]: Simplify (+ 0 0) into 0 10.044 * [backup-simplify]: Simplify (+ 0 0) into 0 10.045 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 10.045 * [backup-simplify]: Simplify 0 into 0 10.045 * [backup-simplify]: Simplify (- 0) into 0 10.045 * [backup-simplify]: Simplify (+ 0 0) into 0 10.046 * [backup-simplify]: Simplify (+ 0 0) into 0 10.047 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 10.047 * [backup-simplify]: Simplify 0 into 0 10.047 * [backup-simplify]: Simplify (- 0) into 0 10.048 * [backup-simplify]: Simplify (+ 0 0) into 0 10.048 * [backup-simplify]: Simplify (+ 0 0) into 0 10.049 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 10.049 * [backup-simplify]: Simplify 0 into 0 10.050 * [backup-simplify]: Simplify (- 0) into 0 10.050 * [backup-simplify]: Simplify (+ 0 0) into 0 10.050 * [backup-simplify]: Simplify (+ 0 0) into 0 10.052 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 10.052 * [backup-simplify]: Simplify 0 into 0 10.052 * [backup-simplify]: Simplify (- 0) into 0 10.052 * [backup-simplify]: Simplify (+ 0 0) into 0 10.053 * [backup-simplify]: Simplify (+ 0 0) into 0 10.054 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 10.054 * [backup-simplify]: Simplify 0 into 0 10.055 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 10.055 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 10.055 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 10.055 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 10.055 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 10.055 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.055 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.055 * [taylor]: Taking taylor expansion of -1 in x 10.055 * [backup-simplify]: Simplify -1 into -1 10.055 * [taylor]: Taking taylor expansion of x in x 10.055 * [backup-simplify]: Simplify 0 into 0 10.055 * [backup-simplify]: Simplify 1 into 1 10.056 * [backup-simplify]: Simplify (/ -1 1) into -1 10.056 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 10.056 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.056 * [taylor]: Taking taylor expansion of x in x 10.056 * [backup-simplify]: Simplify 0 into 0 10.056 * [backup-simplify]: Simplify 1 into 1 10.056 * [backup-simplify]: Simplify (/ 1 1) into 1 10.056 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.056 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.056 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.056 * [taylor]: Taking taylor expansion of x in x 10.056 * [backup-simplify]: Simplify 0 into 0 10.056 * [backup-simplify]: Simplify 1 into 1 10.057 * [backup-simplify]: Simplify (/ 1 1) into 1 10.057 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.057 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.057 * [taylor]: Taking taylor expansion of -1 in x 10.057 * [backup-simplify]: Simplify -1 into -1 10.057 * [taylor]: Taking taylor expansion of x in x 10.057 * [backup-simplify]: Simplify 0 into 0 10.057 * [backup-simplify]: Simplify 1 into 1 10.057 * [backup-simplify]: Simplify (/ -1 1) into -1 10.058 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 10.058 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 10.058 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 10.058 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 10.058 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 10.058 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 10.058 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 10.058 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.058 * [taylor]: Taking taylor expansion of -1 in x 10.058 * [backup-simplify]: Simplify -1 into -1 10.059 * [taylor]: Taking taylor expansion of x in x 10.059 * [backup-simplify]: Simplify 0 into 0 10.059 * [backup-simplify]: Simplify 1 into 1 10.059 * [backup-simplify]: Simplify (/ -1 1) into -1 10.059 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 10.059 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.059 * [taylor]: Taking taylor expansion of x in x 10.059 * [backup-simplify]: Simplify 0 into 0 10.059 * [backup-simplify]: Simplify 1 into 1 10.060 * [backup-simplify]: Simplify (/ 1 1) into 1 10.060 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.060 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.060 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.060 * [taylor]: Taking taylor expansion of x in x 10.060 * [backup-simplify]: Simplify 0 into 0 10.060 * [backup-simplify]: Simplify 1 into 1 10.060 * [backup-simplify]: Simplify (/ 1 1) into 1 10.060 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.060 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.060 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.060 * [taylor]: Taking taylor expansion of -1 in x 10.060 * [backup-simplify]: Simplify -1 into -1 10.060 * [taylor]: Taking taylor expansion of x in x 10.060 * [backup-simplify]: Simplify 0 into 0 10.061 * [backup-simplify]: Simplify 1 into 1 10.061 * [backup-simplify]: Simplify (/ -1 1) into -1 10.061 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 10.061 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 10.061 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 10.061 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 10.062 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 10.062 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 10.063 * [backup-simplify]: Simplify (- 0) into 0 10.063 * [backup-simplify]: Simplify (+ 0 0) into 0 10.063 * [backup-simplify]: Simplify (+ 0 0) into 0 10.064 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 10.064 * [backup-simplify]: Simplify 0 into 0 10.064 * [backup-simplify]: Simplify (- 0) into 0 10.065 * [backup-simplify]: Simplify (+ 0 0) into 0 10.065 * [backup-simplify]: Simplify (+ 0 0) into 0 10.066 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 10.066 * [backup-simplify]: Simplify 0 into 0 10.066 * [backup-simplify]: Simplify (- 0) into 0 10.066 * [backup-simplify]: Simplify (+ 0 0) into 0 10.067 * [backup-simplify]: Simplify (+ 0 0) into 0 10.068 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 10.068 * [backup-simplify]: Simplify 0 into 0 10.068 * [backup-simplify]: Simplify (- 0) into 0 10.068 * [backup-simplify]: Simplify (+ 0 0) into 0 10.069 * [backup-simplify]: Simplify (+ 0 0) into 0 10.070 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 10.070 * [backup-simplify]: Simplify 0 into 0 10.070 * [backup-simplify]: Simplify (- 0) into 0 10.071 * [backup-simplify]: Simplify (+ 0 0) into 0 10.071 * [backup-simplify]: Simplify (+ 0 0) into 0 10.072 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 10.072 * [backup-simplify]: Simplify 0 into 0 10.073 * [backup-simplify]: Simplify (- 0) into 0 10.073 * [backup-simplify]: Simplify (+ 0 0) into 0 10.073 * [backup-simplify]: Simplify (+ 0 0) into 0 10.074 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 10.075 * [backup-simplify]: Simplify 0 into 0 10.075 * [backup-simplify]: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 10.075 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 10.075 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x))) 10.075 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 10.075 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.075 * [taylor]: Taking taylor expansion of (exp x) in x 10.075 * [taylor]: Taking taylor expansion of x in x 10.075 * [backup-simplify]: Simplify 0 into 0 10.075 * [backup-simplify]: Simplify 1 into 1 10.075 * [backup-simplify]: Simplify (exp 0) into 1 10.075 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.075 * [taylor]: Taking taylor expansion of (- x) in x 10.075 * [taylor]: Taking taylor expansion of x in x 10.075 * [backup-simplify]: Simplify 0 into 0 10.075 * [backup-simplify]: Simplify 1 into 1 10.076 * [backup-simplify]: Simplify (- 0) into 0 10.076 * [backup-simplify]: Simplify (- 1) into -1 10.076 * [backup-simplify]: Simplify (exp 0) into 1 10.076 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.076 * [taylor]: Taking taylor expansion of (exp x) in x 10.076 * [taylor]: Taking taylor expansion of x in x 10.076 * [backup-simplify]: Simplify 0 into 0 10.076 * [backup-simplify]: Simplify 1 into 1 10.076 * [backup-simplify]: Simplify (exp 0) into 1 10.076 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.076 * [taylor]: Taking taylor expansion of (- x) in x 10.076 * [taylor]: Taking taylor expansion of x in x 10.076 * [backup-simplify]: Simplify 0 into 0 10.076 * [backup-simplify]: Simplify 1 into 1 10.076 * [backup-simplify]: Simplify (- 0) into 0 10.077 * [backup-simplify]: Simplify (- 1) into -1 10.077 * [backup-simplify]: Simplify (exp 0) into 1 10.077 * [backup-simplify]: Simplify (+ 1 1) into 2 10.077 * [backup-simplify]: Simplify 2 into 2 10.078 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.078 * [backup-simplify]: Simplify (- 1) into -1 10.079 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.079 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.079 * [backup-simplify]: Simplify 0 into 0 10.080 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.080 * [backup-simplify]: Simplify (- 1) into -1 10.080 * [backup-simplify]: Simplify (- 0) into 0 10.081 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.081 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 10.081 * [backup-simplify]: Simplify 1 into 1 10.083 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.084 * [backup-simplify]: Simplify (- 1) into -1 10.085 * [backup-simplify]: Simplify (- 1) into -1 10.085 * [backup-simplify]: Simplify (- 0) into 0 10.085 * [backup-simplify]: Simplify (- 0) into 0 10.087 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.087 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 10.087 * [backup-simplify]: Simplify 0 into 0 10.095 * [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 10.095 * [backup-simplify]: Simplify (- 1) into -1 10.095 * [backup-simplify]: Simplify (- 1) into -1 10.096 * [backup-simplify]: Simplify (- 0) into 0 10.096 * [backup-simplify]: Simplify (- 1) into -1 10.096 * [backup-simplify]: Simplify (- 0) into 0 10.096 * [backup-simplify]: Simplify (- 0) into 0 10.096 * [backup-simplify]: Simplify (- 0) into 0 10.099 * [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 10.099 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 10.099 * [backup-simplify]: Simplify 1/12 into 1/12 10.099 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 10.099 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.099 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 10.099 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.099 * [taylor]: Taking taylor expansion of x in x 10.099 * [backup-simplify]: Simplify 0 into 0 10.099 * [backup-simplify]: Simplify 1 into 1 10.100 * [backup-simplify]: Simplify (/ 1 1) into 1 10.100 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.100 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.100 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.100 * [taylor]: Taking taylor expansion of x in x 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 1 into 1 10.100 * [backup-simplify]: Simplify (/ 1 1) into 1 10.100 * [backup-simplify]: Simplify (- 1) into -1 10.100 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 10.100 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.100 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.100 * [taylor]: Taking taylor expansion of x in x 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 1 into 1 10.101 * [backup-simplify]: Simplify (/ 1 1) into 1 10.101 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.101 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.101 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.101 * [taylor]: Taking taylor expansion of x in x 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 1 into 1 10.101 * [backup-simplify]: Simplify (/ 1 1) into 1 10.101 * [backup-simplify]: Simplify (- 1) into -1 10.101 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 10.102 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.102 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 10.102 * [backup-simplify]: Simplify (+ 0 0) into 0 10.102 * [backup-simplify]: Simplify 0 into 0 10.102 * [backup-simplify]: Simplify (+ 0 0) into 0 10.102 * [backup-simplify]: Simplify 0 into 0 10.102 * [backup-simplify]: Simplify (+ 0 0) into 0 10.102 * [backup-simplify]: Simplify 0 into 0 10.103 * [backup-simplify]: Simplify (+ 0 0) into 0 10.103 * [backup-simplify]: Simplify 0 into 0 10.103 * [backup-simplify]: Simplify (+ 0 0) into 0 10.103 * [backup-simplify]: Simplify 0 into 0 10.103 * [backup-simplify]: Simplify (+ 0 0) into 0 10.103 * [backup-simplify]: Simplify 0 into 0 10.103 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x))) 10.104 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 10.104 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 10.104 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.104 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.104 * [taylor]: Taking taylor expansion of x in x 10.104 * [backup-simplify]: Simplify 0 into 0 10.104 * [backup-simplify]: Simplify 1 into 1 10.104 * [backup-simplify]: Simplify (/ 1 1) into 1 10.104 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.104 * [taylor]: Taking taylor expansion of -1 in x 10.104 * [backup-simplify]: Simplify -1 into -1 10.104 * [taylor]: Taking taylor expansion of x in x 10.104 * [backup-simplify]: Simplify 0 into 0 10.104 * [backup-simplify]: Simplify 1 into 1 10.104 * [backup-simplify]: Simplify (/ -1 1) into -1 10.104 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 10.104 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.104 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.104 * [taylor]: Taking taylor expansion of x in x 10.104 * [backup-simplify]: Simplify 0 into 0 10.104 * [backup-simplify]: Simplify 1 into 1 10.105 * [backup-simplify]: Simplify (/ 1 1) into 1 10.105 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 10.105 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.105 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.105 * [taylor]: Taking taylor expansion of -1 in x 10.105 * [backup-simplify]: Simplify -1 into -1 10.105 * [taylor]: Taking taylor expansion of x in x 10.105 * [backup-simplify]: Simplify 0 into 0 10.105 * [backup-simplify]: Simplify 1 into 1 10.105 * [backup-simplify]: Simplify (/ -1 1) into -1 10.105 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 10.105 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 10.105 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 10.106 * [backup-simplify]: Simplify (+ 0 0) into 0 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify (+ 0 0) into 0 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify (+ 0 0) into 0 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify (+ 0 0) into 0 10.106 * [backup-simplify]: Simplify 0 into 0 10.107 * [backup-simplify]: Simplify (+ 0 0) into 0 10.107 * [backup-simplify]: Simplify 0 into 0 10.107 * [backup-simplify]: Simplify (+ 0 0) into 0 10.107 * [backup-simplify]: Simplify 0 into 0 10.107 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x)) 10.107 * * * [progress]: simplifying candidates 10.109 * [simplify]: Simplifying: (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log1p (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (log (- (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (* (* (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (- (exp x) (exp (- x)))) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) 1) (/ (- (exp x) (exp (- x))) 1) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp x) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (+ (exp x) (exp (- x))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 10.112 * * [simplify]: Extracting # 0 : cost 0 10.112 * * [simplify]: Extracting # 1 : cost 0 10.112 * * [simplify]: Extracting # 2 : cost 0 10.113 * * [simplify]: Extracting # 3 : cost 0 10.113 * * [simplify]: Extracting # 4 : cost 0 10.113 * * [simplify]: Extracting # 5 : cost 0 10.113 * * [simplify]: Extracting # 6 : cost 0 10.114 * * [simplify]: Extracting # 7 : cost 0 10.114 * * [simplify]: iteration 0 : 147 enodes (cost 1789 ) 10.150 * * [simplify]: Extracting # 0 : cost 0 10.151 * * [simplify]: Extracting # 1 : cost 0 10.151 * * [simplify]: Extracting # 2 : cost 0 10.152 * * [simplify]: Extracting # 3 : cost 0 10.152 * * [simplify]: Extracting # 4 : cost 0 10.152 * * [simplify]: iteration 1 : 358 enodes (cost 1602 ) 10.384 * * [simplify]: Extracting # 0 : cost 0 10.387 * * [simplify]: Extracting # 1 : cost 0 10.390 * * [simplify]: Extracting # 2 : cost 0 10.392 * * [simplify]: Extracting # 3 : cost 0 10.395 * * [simplify]: Extracting # 4 : cost 0 10.398 * * [simplify]: Extracting # 5 : cost 0 10.401 * * [simplify]: iteration 2 : 1682 enodes (cost 1430 ) 11.896 * * [simplify]: Extracting # 0 : cost 0 11.906 * * [simplify]: Extracting # 1 : cost 0 11.912 * * [simplify]: Extracting # 2 : cost 0 11.917 * * [simplify]: Extracting # 3 : cost 0 11.923 * * [simplify]: Extracting # 4 : cost 0 11.930 * * [simplify]: iteration done: 5000 enodes (cost 1371 ) 11.931 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (+ 1 (exp (* x -2)))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log1p (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) 3) (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) 3) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (- (exp x) (exp (- x)))) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp (- x)) (exp x))) (/ (exp (- x)) (+ (exp (- x)) (exp x))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) 1 (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) 1 (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))) (/ (+ (exp (- x)) (exp x)) (sqrt (- (exp x) (exp (- x))))) (/ (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (/ (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (* (fma (exp x) (exp x) (+ 1 (exp (* x -2)))) (+ (exp (- x)) (exp x))) (+ (+ 1 (exp (* x -2))) (+ 1 (exp (+ x x)))) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp (- x)) (exp x))) (cbrt (+ (exp (- x)) (exp x)))) (cbrt (+ (exp (- x)) (exp x))) (pow (+ (exp (- x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (+ x x)) (expm1 (* x -2))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma (pow x 3) -1/3 (fma (pow x 5) 2/15 x)) (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 11.932 * * * [progress]: adding candidates to table 12.159 * * [progress]: iteration 2 / 4 12.159 * * * [progress]: picking best candidate 12.163 * * * * [pick]: Picked # 12.163 * * * [progress]: localizing error 12.165 * * * [progress]: generating rewritten candidates 12.165 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 12.166 * * * [progress]: generating series expansions 12.167 * * * * [progress]: [ 1 / 1 ] generating series at (2) 12.167 * [backup-simplify]: Simplify (tanh x) into (tanh x) 12.167 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 12.167 * [taylor]: Taking taylor expansion of (tanh x) in x 12.167 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 12.167 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 12.167 * [taylor]: Taking taylor expansion of (exp x) in x 12.167 * [taylor]: Taking taylor expansion of x in x 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [backup-simplify]: Simplify 1 into 1 12.167 * [backup-simplify]: Simplify (exp 0) into 1 12.167 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.167 * [taylor]: Taking taylor expansion of (- x) in x 12.167 * [taylor]: Taking taylor expansion of x in x 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [backup-simplify]: Simplify 1 into 1 12.167 * [backup-simplify]: Simplify (- 0) into 0 12.167 * [backup-simplify]: Simplify (- 1) into -1 12.168 * [backup-simplify]: Simplify (exp 0) into 1 12.168 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 12.168 * [taylor]: Taking taylor expansion of (exp x) in x 12.168 * [taylor]: Taking taylor expansion of x in x 12.168 * [backup-simplify]: Simplify 0 into 0 12.168 * [backup-simplify]: Simplify 1 into 1 12.168 * [backup-simplify]: Simplify (exp 0) into 1 12.168 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.168 * [taylor]: Taking taylor expansion of (- x) in x 12.168 * [taylor]: Taking taylor expansion of x in x 12.168 * [backup-simplify]: Simplify 0 into 0 12.168 * [backup-simplify]: Simplify 1 into 1 12.168 * [backup-simplify]: Simplify (- 0) into 0 12.168 * [backup-simplify]: Simplify (- 1) into -1 12.168 * [backup-simplify]: Simplify (exp 0) into 1 12.168 * [backup-simplify]: Simplify (- 1) into -1 12.169 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.169 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.169 * [backup-simplify]: Simplify (- 1) into -1 12.170 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.170 * [backup-simplify]: Simplify (- -1) into 1 12.170 * [backup-simplify]: Simplify (+ 1 1) into 2 12.171 * [backup-simplify]: Simplify (+ 1 1) into 2 12.171 * [backup-simplify]: Simplify (/ 2 2) into 1 12.171 * [taylor]: Taking taylor expansion of (tanh x) in x 12.171 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 12.171 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 12.171 * [taylor]: Taking taylor expansion of (exp x) in x 12.171 * [taylor]: Taking taylor expansion of x in x 12.171 * [backup-simplify]: Simplify 0 into 0 12.171 * [backup-simplify]: Simplify 1 into 1 12.171 * [backup-simplify]: Simplify (exp 0) into 1 12.171 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.171 * [taylor]: Taking taylor expansion of (- x) in x 12.171 * [taylor]: Taking taylor expansion of x in x 12.171 * [backup-simplify]: Simplify 0 into 0 12.171 * [backup-simplify]: Simplify 1 into 1 12.171 * [backup-simplify]: Simplify (- 0) into 0 12.172 * [backup-simplify]: Simplify (- 1) into -1 12.172 * [backup-simplify]: Simplify (exp 0) into 1 12.172 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 12.172 * [taylor]: Taking taylor expansion of (exp x) in x 12.172 * [taylor]: Taking taylor expansion of x in x 12.172 * [backup-simplify]: Simplify 0 into 0 12.172 * [backup-simplify]: Simplify 1 into 1 12.172 * [backup-simplify]: Simplify (exp 0) into 1 12.172 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.172 * [taylor]: Taking taylor expansion of (- x) in x 12.172 * [taylor]: Taking taylor expansion of x in x 12.172 * [backup-simplify]: Simplify 0 into 0 12.172 * [backup-simplify]: Simplify 1 into 1 12.172 * [backup-simplify]: Simplify (- 0) into 0 12.173 * [backup-simplify]: Simplify (- 1) into -1 12.173 * [backup-simplify]: Simplify (exp 0) into 1 12.173 * [backup-simplify]: Simplify (- 1) into -1 12.173 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.174 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.174 * [backup-simplify]: Simplify (- 1) into -1 12.175 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.175 * [backup-simplify]: Simplify (- -1) into 1 12.176 * [backup-simplify]: Simplify (+ 1 1) into 2 12.176 * [backup-simplify]: Simplify (+ 1 1) into 2 12.176 * [backup-simplify]: Simplify (/ 2 2) into 1 12.176 * [backup-simplify]: Simplify 1 into 1 12.178 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.178 * [backup-simplify]: Simplify (- 1) into -1 12.178 * [backup-simplify]: Simplify (- 0) into 0 12.180 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.180 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.180 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.181 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.181 * [backup-simplify]: Simplify (- 1) into -1 12.182 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.183 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.183 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.183 * [backup-simplify]: Simplify 0 into 0 12.185 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.186 * [backup-simplify]: Simplify (- 1) into -1 12.186 * [backup-simplify]: Simplify (- 1) into -1 12.186 * [backup-simplify]: Simplify (- 0) into 0 12.186 * [backup-simplify]: Simplify (- 0) into 0 12.188 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.189 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.189 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.190 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.190 * [backup-simplify]: Simplify (- 1) into -1 12.191 * [backup-simplify]: Simplify (- 0) into 0 12.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.192 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 12.193 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3 12.193 * [backup-simplify]: Simplify -1/3 into -1/3 12.196 * [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 12.197 * [backup-simplify]: Simplify (- 1) into -1 12.197 * [backup-simplify]: Simplify (- 1) into -1 12.197 * [backup-simplify]: Simplify (- 0) into 0 12.198 * [backup-simplify]: Simplify (- 1) into -1 12.198 * [backup-simplify]: Simplify (- 0) into 0 12.198 * [backup-simplify]: Simplify (- 0) into 0 12.199 * [backup-simplify]: Simplify (- 0) into 0 12.202 * [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 12.202 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.203 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.204 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.205 * [backup-simplify]: Simplify (- 1) into -1 12.205 * [backup-simplify]: Simplify (- 1) into -1 12.205 * [backup-simplify]: Simplify (- 0) into 0 12.206 * [backup-simplify]: Simplify (- 0) into 0 12.207 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.208 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 12.209 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0 12.209 * [backup-simplify]: Simplify 0 into 0 12.214 * [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 12.214 * [backup-simplify]: Simplify (- 1) into -1 12.214 * [backup-simplify]: Simplify (- 1) into -1 12.215 * [backup-simplify]: Simplify (- 0) into 0 12.215 * [backup-simplify]: Simplify (- 1) into -1 12.215 * [backup-simplify]: Simplify (- 0) into 0 12.215 * [backup-simplify]: Simplify (- 1) into -1 12.216 * [backup-simplify]: Simplify (- 0) into 0 12.216 * [backup-simplify]: Simplify (- 1) into -1 12.216 * [backup-simplify]: Simplify (- 0) into 0 12.217 * [backup-simplify]: Simplify (- 0) into 0 12.217 * [backup-simplify]: Simplify (- 0) into 0 12.217 * [backup-simplify]: Simplify (- 0) into 0 12.221 * [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 12.221 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.221 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.223 * [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 12.223 * [backup-simplify]: Simplify (- 1) into -1 12.224 * [backup-simplify]: Simplify (- 1) into -1 12.224 * [backup-simplify]: Simplify (- 0) into 0 12.224 * [backup-simplify]: Simplify (- 1) into -1 12.224 * [backup-simplify]: Simplify (- 0) into 0 12.225 * [backup-simplify]: Simplify (- 0) into 0 12.225 * [backup-simplify]: Simplify (- 0) into 0 12.227 * [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 12.227 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 12.228 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15 12.228 * [backup-simplify]: Simplify 2/15 into 2/15 12.229 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 12.229 * [backup-simplify]: Simplify (tanh (/ 1 x)) into (tanh (/ 1 x)) 12.229 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 12.229 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 12.229 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.229 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.229 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.229 * [taylor]: Taking taylor expansion of x in x 12.229 * [backup-simplify]: Simplify 0 into 0 12.229 * [backup-simplify]: Simplify 1 into 1 12.229 * [backup-simplify]: Simplify (/ 1 1) into 1 12.229 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.229 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.229 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.229 * [taylor]: Taking taylor expansion of x in x 12.229 * [backup-simplify]: Simplify 0 into 0 12.229 * [backup-simplify]: Simplify 1 into 1 12.229 * [backup-simplify]: Simplify (/ 1 1) into 1 12.230 * [backup-simplify]: Simplify (- 1) into -1 12.230 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.230 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.230 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.230 * [taylor]: Taking taylor expansion of x in x 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 1 into 1 12.230 * [backup-simplify]: Simplify (/ 1 1) into 1 12.230 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.230 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.230 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.230 * [taylor]: Taking taylor expansion of x in x 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 1 into 1 12.230 * [backup-simplify]: Simplify (/ 1 1) into 1 12.231 * [backup-simplify]: Simplify (- 1) into -1 12.231 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.231 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 12.231 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.231 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.231 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.231 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 12.231 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.231 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.231 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.231 * [taylor]: Taking taylor expansion of x in x 12.231 * [backup-simplify]: Simplify 0 into 0 12.231 * [backup-simplify]: Simplify 1 into 1 12.232 * [backup-simplify]: Simplify (/ 1 1) into 1 12.232 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.232 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.232 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.232 * [taylor]: Taking taylor expansion of x in x 12.232 * [backup-simplify]: Simplify 0 into 0 12.232 * [backup-simplify]: Simplify 1 into 1 12.232 * [backup-simplify]: Simplify (/ 1 1) into 1 12.232 * [backup-simplify]: Simplify (- 1) into -1 12.232 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.232 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.232 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.232 * [taylor]: Taking taylor expansion of x in x 12.232 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 1 into 1 12.233 * [backup-simplify]: Simplify (/ 1 1) into 1 12.233 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.233 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.233 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.233 * [taylor]: Taking taylor expansion of x in x 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 1 into 1 12.233 * [backup-simplify]: Simplify (/ 1 1) into 1 12.233 * [backup-simplify]: Simplify (- 1) into -1 12.233 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.233 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 12.234 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.234 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.234 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.234 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.234 * [backup-simplify]: Simplify (- 0) into 0 12.235 * [backup-simplify]: Simplify (+ 0 0) into 0 12.235 * [backup-simplify]: Simplify (+ 0 0) into 0 12.235 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.235 * [backup-simplify]: Simplify 0 into 0 12.235 * [backup-simplify]: Simplify (- 0) into 0 12.236 * [backup-simplify]: Simplify (+ 0 0) into 0 12.236 * [backup-simplify]: Simplify (+ 0 0) into 0 12.237 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.237 * [backup-simplify]: Simplify 0 into 0 12.237 * [backup-simplify]: Simplify (- 0) into 0 12.237 * [backup-simplify]: Simplify (+ 0 0) into 0 12.238 * [backup-simplify]: Simplify (+ 0 0) into 0 12.238 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.238 * [backup-simplify]: Simplify 0 into 0 12.239 * [backup-simplify]: Simplify (- 0) into 0 12.239 * [backup-simplify]: Simplify (+ 0 0) into 0 12.239 * [backup-simplify]: Simplify (+ 0 0) into 0 12.240 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.241 * [backup-simplify]: Simplify 0 into 0 12.241 * [backup-simplify]: Simplify (- 0) into 0 12.241 * [backup-simplify]: Simplify (+ 0 0) into 0 12.241 * [backup-simplify]: Simplify (+ 0 0) into 0 12.243 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.243 * [backup-simplify]: Simplify 0 into 0 12.247 * [backup-simplify]: Simplify (- 0) into 0 12.248 * [backup-simplify]: Simplify (+ 0 0) into 0 12.248 * [backup-simplify]: Simplify (+ 0 0) into 0 12.249 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.250 * [backup-simplify]: Simplify 0 into 0 12.250 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 12.250 * [backup-simplify]: Simplify (tanh (/ 1 (- x))) into (tanh (/ -1 x)) 12.250 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 12.250 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 12.250 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 12.250 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 12.250 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.250 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.250 * [taylor]: Taking taylor expansion of -1 in x 12.250 * [backup-simplify]: Simplify -1 into -1 12.250 * [taylor]: Taking taylor expansion of x in x 12.250 * [backup-simplify]: Simplify 0 into 0 12.250 * [backup-simplify]: Simplify 1 into 1 12.251 * [backup-simplify]: Simplify (/ -1 1) into -1 12.251 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.251 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 12.251 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 12.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.251 * [taylor]: Taking taylor expansion of -1 in x 12.251 * [backup-simplify]: Simplify -1 into -1 12.251 * [taylor]: Taking taylor expansion of x in x 12.251 * [backup-simplify]: Simplify 0 into 0 12.251 * [backup-simplify]: Simplify 1 into 1 12.251 * [backup-simplify]: Simplify (/ -1 1) into -1 12.252 * [backup-simplify]: Simplify (- -1) into 1 12.252 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 12.252 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 12.252 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.252 * [taylor]: Taking taylor expansion of -1 in x 12.252 * [backup-simplify]: Simplify -1 into -1 12.252 * [taylor]: Taking taylor expansion of x in x 12.252 * [backup-simplify]: Simplify 0 into 0 12.252 * [backup-simplify]: Simplify 1 into 1 12.252 * [backup-simplify]: Simplify (/ -1 1) into -1 12.252 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.252 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 12.252 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 12.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.252 * [taylor]: Taking taylor expansion of -1 in x 12.252 * [backup-simplify]: Simplify -1 into -1 12.252 * [taylor]: Taking taylor expansion of x in x 12.252 * [backup-simplify]: Simplify 0 into 0 12.252 * [backup-simplify]: Simplify 1 into 1 12.253 * [backup-simplify]: Simplify (/ -1 1) into -1 12.253 * [backup-simplify]: Simplify (- -1) into 1 12.253 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 12.253 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 12.253 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.253 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 12.253 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.253 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 12.253 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 12.253 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 12.253 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.254 * [taylor]: Taking taylor expansion of -1 in x 12.254 * [backup-simplify]: Simplify -1 into -1 12.254 * [taylor]: Taking taylor expansion of x in x 12.254 * [backup-simplify]: Simplify 0 into 0 12.254 * [backup-simplify]: Simplify 1 into 1 12.254 * [backup-simplify]: Simplify (/ -1 1) into -1 12.254 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.254 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 12.254 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 12.254 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.254 * [taylor]: Taking taylor expansion of -1 in x 12.254 * [backup-simplify]: Simplify -1 into -1 12.254 * [taylor]: Taking taylor expansion of x in x 12.254 * [backup-simplify]: Simplify 0 into 0 12.254 * [backup-simplify]: Simplify 1 into 1 12.254 * [backup-simplify]: Simplify (/ -1 1) into -1 12.254 * [backup-simplify]: Simplify (- -1) into 1 12.255 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 12.255 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 12.255 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.255 * [taylor]: Taking taylor expansion of -1 in x 12.255 * [backup-simplify]: Simplify -1 into -1 12.255 * [taylor]: Taking taylor expansion of x in x 12.255 * [backup-simplify]: Simplify 0 into 0 12.255 * [backup-simplify]: Simplify 1 into 1 12.255 * [backup-simplify]: Simplify (/ -1 1) into -1 12.255 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.255 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 12.255 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 12.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.255 * [taylor]: Taking taylor expansion of -1 in x 12.255 * [backup-simplify]: Simplify -1 into -1 12.255 * [taylor]: Taking taylor expansion of x in x 12.255 * [backup-simplify]: Simplify 0 into 0 12.255 * [backup-simplify]: Simplify 1 into 1 12.255 * [backup-simplify]: Simplify (/ -1 1) into -1 12.256 * [backup-simplify]: Simplify (- -1) into 1 12.256 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 12.256 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 12.256 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.256 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 12.256 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.256 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.257 * [backup-simplify]: Simplify (- 0) into 0 12.257 * [backup-simplify]: Simplify (+ 0 0) into 0 12.257 * [backup-simplify]: Simplify (+ 0 0) into 0 12.258 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.258 * [backup-simplify]: Simplify 0 into 0 12.258 * [backup-simplify]: Simplify (- 0) into 0 12.258 * [backup-simplify]: Simplify (+ 0 0) into 0 12.258 * [backup-simplify]: Simplify (+ 0 0) into 0 12.259 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.259 * [backup-simplify]: Simplify 0 into 0 12.259 * [backup-simplify]: Simplify (- 0) into 0 12.259 * [backup-simplify]: Simplify (+ 0 0) into 0 12.259 * [backup-simplify]: Simplify (+ 0 0) into 0 12.260 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.260 * [backup-simplify]: Simplify 0 into 0 12.260 * [backup-simplify]: Simplify (- 0) into 0 12.260 * [backup-simplify]: Simplify (+ 0 0) into 0 12.261 * [backup-simplify]: Simplify (+ 0 0) into 0 12.261 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.261 * [backup-simplify]: Simplify 0 into 0 12.262 * [backup-simplify]: Simplify (- 0) into 0 12.262 * [backup-simplify]: Simplify (+ 0 0) into 0 12.262 * [backup-simplify]: Simplify (+ 0 0) into 0 12.263 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.263 * [backup-simplify]: Simplify 0 into 0 12.263 * [backup-simplify]: Simplify (- 0) into 0 12.263 * [backup-simplify]: Simplify (+ 0 0) into 0 12.264 * [backup-simplify]: Simplify (+ 0 0) into 0 12.265 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.265 * [backup-simplify]: Simplify 0 into 0 12.265 * [backup-simplify]: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 12.265 * * * [progress]: simplifying candidates 12.266 * [simplify]: Simplifying: (expm1 (tanh x)) (log1p (tanh x)) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (* (* (tanh x) (tanh x)) (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 12.266 * * [simplify]: Extracting # 0 : cost 0 12.266 * * [simplify]: Extracting # 1 : cost 0 12.266 * * [simplify]: Extracting # 2 : cost 0 12.267 * * [simplify]: Extracting # 3 : cost 0 12.267 * * [simplify]: Extracting # 4 : cost 0 12.267 * * [simplify]: Extracting # 5 : cost 0 12.267 * * [simplify]: Extracting # 6 : cost 0 12.267 * * [simplify]: Extracting # 7 : cost 0 12.267 * * [simplify]: Extracting # 8 : cost 0 12.267 * * [simplify]: Extracting # 9 : cost 0 12.267 * * [simplify]: iteration 0 : 44 enodes (cost 113 ) 12.281 * * [simplify]: Extracting # 0 : cost 0 12.281 * * [simplify]: Extracting # 1 : cost 0 12.281 * * [simplify]: Extracting # 2 : cost 0 12.281 * * [simplify]: Extracting # 3 : cost 0 12.281 * * [simplify]: Extracting # 4 : cost 0 12.281 * * [simplify]: iteration 1 : 93 enodes (cost 87 ) 12.304 * * [simplify]: Extracting # 0 : cost 0 12.305 * * [simplify]: Extracting # 1 : cost 0 12.305 * * [simplify]: Extracting # 2 : cost 0 12.305 * * [simplify]: Extracting # 3 : cost 0 12.305 * * [simplify]: Extracting # 4 : cost 0 12.305 * * [simplify]: iteration 2 : 207 enodes (cost 82 ) 12.391 * * [simplify]: Extracting # 0 : cost 0 12.392 * * [simplify]: Extracting # 1 : cost 0 12.393 * * [simplify]: Extracting # 2 : cost 0 12.394 * * [simplify]: Extracting # 3 : cost 0 12.395 * * [simplify]: Extracting # 4 : cost 0 12.396 * * [simplify]: iteration 3 : 659 enodes (cost 81 ) 12.971 * * [simplify]: Extracting # 0 : cost 0 12.976 * * [simplify]: Extracting # 1 : cost 0 12.981 * * [simplify]: Extracting # 2 : cost 0 12.991 * * [simplify]: Extracting # 3 : cost 0 12.996 * * [simplify]: Extracting # 4 : cost 0 13.000 * * [simplify]: Extracting # 5 : cost 0 13.005 * * [simplify]: iteration 4 : 3437 enodes (cost 81 ) 14.222 * * [simplify]: Extracting # 0 : cost 0 14.230 * * [simplify]: Extracting # 1 : cost 0 14.238 * * [simplify]: Extracting # 2 : cost 0 14.245 * * [simplify]: Extracting # 3 : cost 0 14.253 * * [simplify]: iteration done: 5000 enodes (cost 81 ) 14.253 * [simplify]: Simplified to: (expm1 (tanh x)) (log1p (tanh x)) (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)) (expm1 (* 2 x)) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (pow (tanh x) 3) (sqrt (tanh x)) (sqrt (tanh x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (tanh x) (tanh x) 14.253 * * * [progress]: adding candidates to table 14.297 * * [progress]: iteration 3 / 4 14.297 * * * [progress]: picking best candidate 14.300 * * * * [pick]: Picked # 14.300 * * * [progress]: localizing error 14.313 * * * [progress]: generating rewritten candidates 14.313 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.314 * * * [progress]: generating series expansions 14.314 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.314 * [backup-simplify]: Simplify (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) into (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) 14.315 * [approximate]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in (x) around 0 14.315 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 14.315 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 14.315 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 14.315 * [taylor]: Taking taylor expansion of -1/3 in x 14.315 * [backup-simplify]: Simplify -1/3 into -1/3 14.315 * [taylor]: Taking taylor expansion of (pow x 3) in x 14.315 * [taylor]: Taking taylor expansion of x in x 14.315 * [backup-simplify]: Simplify 0 into 0 14.315 * [backup-simplify]: Simplify 1 into 1 14.315 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 14.315 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 14.315 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 14.315 * [taylor]: Taking taylor expansion of 2/15 in x 14.315 * [backup-simplify]: Simplify 2/15 into 2/15 14.315 * [taylor]: Taking taylor expansion of (pow x 5) in x 14.315 * [taylor]: Taking taylor expansion of x in x 14.315 * [backup-simplify]: Simplify 0 into 0 14.315 * [backup-simplify]: Simplify 1 into 1 14.315 * [taylor]: Taking taylor expansion of x in x 14.315 * [backup-simplify]: Simplify 0 into 0 14.315 * [backup-simplify]: Simplify 1 into 1 14.315 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 14.315 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 14.315 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 14.316 * [taylor]: Taking taylor expansion of -1/3 in x 14.316 * [backup-simplify]: Simplify -1/3 into -1/3 14.316 * [taylor]: Taking taylor expansion of (pow x 3) in x 14.316 * [taylor]: Taking taylor expansion of x in x 14.316 * [backup-simplify]: Simplify 0 into 0 14.316 * [backup-simplify]: Simplify 1 into 1 14.316 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 14.316 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 14.316 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 14.316 * [taylor]: Taking taylor expansion of 2/15 in x 14.316 * [backup-simplify]: Simplify 2/15 into 2/15 14.316 * [taylor]: Taking taylor expansion of (pow x 5) in x 14.316 * [taylor]: Taking taylor expansion of x in x 14.316 * [backup-simplify]: Simplify 0 into 0 14.316 * [backup-simplify]: Simplify 1 into 1 14.316 * [taylor]: Taking taylor expansion of x in x 14.316 * [backup-simplify]: Simplify 0 into 0 14.316 * [backup-simplify]: Simplify 1 into 1 14.317 * [backup-simplify]: Simplify (+ 0 0) into 0 14.317 * [backup-simplify]: Simplify (+ 0 0) into 0 14.317 * [backup-simplify]: Simplify 0 into 0 14.317 * [backup-simplify]: Simplify (+ 0 1) into 1 14.318 * [backup-simplify]: Simplify (+ 0 1) into 1 14.318 * [backup-simplify]: Simplify 1 into 1 14.318 * [backup-simplify]: Simplify (+ 0 0) into 0 14.318 * [backup-simplify]: Simplify (+ 0 0) into 0 14.318 * [backup-simplify]: Simplify 0 into 0 14.319 * [backup-simplify]: Simplify (* 1 1) into 1 14.319 * [backup-simplify]: Simplify (* 1 1) into 1 14.319 * [backup-simplify]: Simplify (* -1/3 1) into -1/3 14.320 * [backup-simplify]: Simplify (+ 0 0) into 0 14.320 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 14.320 * [backup-simplify]: Simplify -1/3 into -1/3 14.321 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.321 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.322 * [backup-simplify]: Simplify (+ (* -1/3 0) (* 0 1)) into 0 14.322 * [backup-simplify]: Simplify (+ 0 0) into 0 14.322 * [backup-simplify]: Simplify (+ 0 0) into 0 14.322 * [backup-simplify]: Simplify 0 into 0 14.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.324 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (* 0 1))) into 0 14.325 * [backup-simplify]: Simplify (* 1 1) into 1 14.325 * [backup-simplify]: Simplify (* 1 1) into 1 14.325 * [backup-simplify]: Simplify (* 1 1) into 1 14.326 * [backup-simplify]: Simplify (* 2/15 1) into 2/15 14.326 * [backup-simplify]: Simplify (+ 2/15 0) into 2/15 14.326 * [backup-simplify]: Simplify (+ 0 2/15) into 2/15 14.326 * [backup-simplify]: Simplify 2/15 into 2/15 14.327 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 14.327 * [backup-simplify]: Simplify (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) into (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 14.327 * [approximate]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in (x) around 0 14.327 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 14.327 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 14.327 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 14.327 * [taylor]: Taking taylor expansion of -1/3 in x 14.327 * [backup-simplify]: Simplify -1/3 into -1/3 14.327 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 14.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.327 * [taylor]: Taking taylor expansion of x in x 14.327 * [backup-simplify]: Simplify 0 into 0 14.328 * [backup-simplify]: Simplify 1 into 1 14.328 * [backup-simplify]: Simplify (/ 1 1) into 1 14.328 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 14.328 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 14.328 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 14.328 * [taylor]: Taking taylor expansion of 2/15 in x 14.328 * [backup-simplify]: Simplify 2/15 into 2/15 14.328 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 14.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.328 * [taylor]: Taking taylor expansion of x in x 14.328 * [backup-simplify]: Simplify 0 into 0 14.328 * [backup-simplify]: Simplify 1 into 1 14.329 * [backup-simplify]: Simplify (/ 1 1) into 1 14.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.329 * [taylor]: Taking taylor expansion of x in x 14.329 * [backup-simplify]: Simplify 0 into 0 14.329 * [backup-simplify]: Simplify 1 into 1 14.329 * [backup-simplify]: Simplify (/ 1 1) into 1 14.329 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 14.329 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 14.329 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 14.329 * [taylor]: Taking taylor expansion of -1/3 in x 14.329 * [backup-simplify]: Simplify -1/3 into -1/3 14.329 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 14.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.329 * [taylor]: Taking taylor expansion of x in x 14.329 * [backup-simplify]: Simplify 0 into 0 14.329 * [backup-simplify]: Simplify 1 into 1 14.330 * [backup-simplify]: Simplify (/ 1 1) into 1 14.330 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 14.330 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 14.330 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 14.330 * [taylor]: Taking taylor expansion of 2/15 in x 14.330 * [backup-simplify]: Simplify 2/15 into 2/15 14.330 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 14.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.330 * [taylor]: Taking taylor expansion of x in x 14.330 * [backup-simplify]: Simplify 0 into 0 14.330 * [backup-simplify]: Simplify 1 into 1 14.330 * [backup-simplify]: Simplify (/ 1 1) into 1 14.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.330 * [taylor]: Taking taylor expansion of x in x 14.330 * [backup-simplify]: Simplify 0 into 0 14.330 * [backup-simplify]: Simplify 1 into 1 14.331 * [backup-simplify]: Simplify (/ 1 1) into 1 14.331 * [backup-simplify]: Simplify (* 1 1) into 1 14.331 * [backup-simplify]: Simplify (* 1 1) into 1 14.332 * [backup-simplify]: Simplify (* 1 1) into 1 14.332 * [backup-simplify]: Simplify (* 2/15 1) into 2/15 14.332 * [backup-simplify]: Simplify (+ 2/15 0) into 2/15 14.333 * [backup-simplify]: Simplify (+ 0 2/15) into 2/15 14.333 * [backup-simplify]: Simplify 2/15 into 2/15 14.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.334 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.334 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.335 * [backup-simplify]: Simplify (+ (* 2/15 0) (* 0 1)) into 0 14.336 * [backup-simplify]: Simplify (+ 0 0) into 0 14.336 * [backup-simplify]: Simplify (+ 0 0) into 0 14.336 * [backup-simplify]: Simplify 0 into 0 14.336 * [backup-simplify]: Simplify (* 1 1) into 1 14.337 * [backup-simplify]: Simplify (* 1 1) into 1 14.337 * [backup-simplify]: Simplify (* -1/3 1) into -1/3 14.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.341 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (* 0 1))) into 0 14.341 * [backup-simplify]: Simplify (+ 0 0) into 0 14.341 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 14.341 * [backup-simplify]: Simplify -1/3 into -1/3 14.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.342 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.343 * [backup-simplify]: Simplify (+ (* -1/3 0) (* 0 1)) into 0 14.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.348 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.348 * [backup-simplify]: Simplify (+ 0 0) into 0 14.348 * [backup-simplify]: Simplify (+ 0 0) into 0 14.348 * [backup-simplify]: Simplify 0 into 0 14.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.351 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (* 0 1))) into 0 14.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.356 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.356 * [backup-simplify]: Simplify (+ 0 1) into 1 14.356 * [backup-simplify]: Simplify (+ 0 1) into 1 14.356 * [backup-simplify]: Simplify 1 into 1 14.357 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* -1/3 (pow (/ 1 (/ 1 x)) 3)) (* 2/15 (pow (/ 1 (/ 1 x)) 5)))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 14.357 * [backup-simplify]: Simplify (fma -1/3 (pow (/ 1 (- x)) 3) (fma 2/15 (pow (/ 1 (- x)) 5) (/ 1 (- x)))) into (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 14.357 * [approximate]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in (x) around 0 14.357 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 14.357 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 14.357 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 14.358 * [taylor]: Taking taylor expansion of -1/3 in x 14.358 * [backup-simplify]: Simplify -1/3 into -1/3 14.358 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 14.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.358 * [taylor]: Taking taylor expansion of -1 in x 14.358 * [backup-simplify]: Simplify -1 into -1 14.358 * [taylor]: Taking taylor expansion of x in x 14.358 * [backup-simplify]: Simplify 0 into 0 14.358 * [backup-simplify]: Simplify 1 into 1 14.358 * [backup-simplify]: Simplify (/ -1 1) into -1 14.358 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 14.358 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 14.358 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 14.358 * [taylor]: Taking taylor expansion of 2/15 in x 14.358 * [backup-simplify]: Simplify 2/15 into 2/15 14.358 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 14.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.358 * [taylor]: Taking taylor expansion of -1 in x 14.358 * [backup-simplify]: Simplify -1 into -1 14.358 * [taylor]: Taking taylor expansion of x in x 14.358 * [backup-simplify]: Simplify 0 into 0 14.358 * [backup-simplify]: Simplify 1 into 1 14.359 * [backup-simplify]: Simplify (/ -1 1) into -1 14.359 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.359 * [taylor]: Taking taylor expansion of -1 in x 14.359 * [backup-simplify]: Simplify -1 into -1 14.359 * [taylor]: Taking taylor expansion of x in x 14.359 * [backup-simplify]: Simplify 0 into 0 14.359 * [backup-simplify]: Simplify 1 into 1 14.359 * [backup-simplify]: Simplify (/ -1 1) into -1 14.359 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 14.360 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 14.360 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 14.360 * [taylor]: Taking taylor expansion of -1/3 in x 14.360 * [backup-simplify]: Simplify -1/3 into -1/3 14.360 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 14.360 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.360 * [taylor]: Taking taylor expansion of -1 in x 14.360 * [backup-simplify]: Simplify -1 into -1 14.360 * [taylor]: Taking taylor expansion of x in x 14.360 * [backup-simplify]: Simplify 0 into 0 14.360 * [backup-simplify]: Simplify 1 into 1 14.360 * [backup-simplify]: Simplify (/ -1 1) into -1 14.360 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 14.360 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 14.360 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 14.360 * [taylor]: Taking taylor expansion of 2/15 in x 14.360 * [backup-simplify]: Simplify 2/15 into 2/15 14.360 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 14.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.361 * [taylor]: Taking taylor expansion of -1 in x 14.361 * [backup-simplify]: Simplify -1 into -1 14.361 * [taylor]: Taking taylor expansion of x in x 14.361 * [backup-simplify]: Simplify 0 into 0 14.361 * [backup-simplify]: Simplify 1 into 1 14.361 * [backup-simplify]: Simplify (/ -1 1) into -1 14.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.361 * [taylor]: Taking taylor expansion of -1 in x 14.361 * [backup-simplify]: Simplify -1 into -1 14.361 * [taylor]: Taking taylor expansion of x in x 14.361 * [backup-simplify]: Simplify 0 into 0 14.361 * [backup-simplify]: Simplify 1 into 1 14.361 * [backup-simplify]: Simplify (/ -1 1) into -1 14.362 * [backup-simplify]: Simplify (* -1 -1) into 1 14.362 * [backup-simplify]: Simplify (* 1 1) into 1 14.362 * [backup-simplify]: Simplify (* -1 1) into -1 14.363 * [backup-simplify]: Simplify (* 2/15 -1) into -2/15 14.363 * [backup-simplify]: Simplify (+ -2/15 0) into -2/15 14.363 * [backup-simplify]: Simplify (+ 0 -2/15) into -2/15 14.364 * [backup-simplify]: Simplify -2/15 into -2/15 14.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.365 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 14.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.366 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 14.366 * [backup-simplify]: Simplify (+ (* 2/15 0) (* 0 -1)) into 0 14.367 * [backup-simplify]: Simplify (+ 0 0) into 0 14.367 * [backup-simplify]: Simplify (+ 0 0) into 0 14.367 * [backup-simplify]: Simplify 0 into 0 14.367 * [backup-simplify]: Simplify (* -1 -1) into 1 14.368 * [backup-simplify]: Simplify (* -1 1) into -1 14.368 * [backup-simplify]: Simplify (* -1/3 -1) into 1/3 14.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.370 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 14.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.371 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 14.372 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (* 0 -1))) into 0 14.372 * [backup-simplify]: Simplify (+ 0 0) into 0 14.372 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 14.372 * [backup-simplify]: Simplify 1/3 into 1/3 14.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.374 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 14.374 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 14.375 * [backup-simplify]: Simplify (+ (* -1/3 0) (* 0 -1)) into 0 14.376 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.376 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 14.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.378 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.379 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 14.379 * [backup-simplify]: Simplify (+ 0 0) into 0 14.380 * [backup-simplify]: Simplify (+ 0 0) into 0 14.380 * [backup-simplify]: Simplify 0 into 0 14.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.381 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 14.382 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 14.383 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (* 0 -1))) into 0 14.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.384 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 14.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.386 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.387 * [backup-simplify]: Simplify (+ (* 2/15 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 14.387 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.388 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.388 * [backup-simplify]: Simplify -1 into -1 14.388 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/3 (pow (/ 1 (/ 1 (- x))) 3)) (* -2/15 (pow (/ 1 (/ 1 (- x))) 5)))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 14.388 * * * [progress]: simplifying candidates 14.389 * [simplify]: Simplifying: (expm1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* -1/3 (pow x 3)) (log (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (exp (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (* (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 14.389 * * [simplify]: Extracting # 0 : cost 0 14.389 * * [simplify]: Extracting # 1 : cost 0 14.389 * * [simplify]: Extracting # 2 : cost 0 14.389 * * [simplify]: Extracting # 3 : cost 0 14.389 * * [simplify]: Extracting # 4 : cost 0 14.390 * * [simplify]: Extracting # 5 : cost 0 14.390 * * [simplify]: Extracting # 6 : cost 0 14.390 * * [simplify]: Extracting # 7 : cost 0 14.390 * * [simplify]: Extracting # 8 : cost 0 14.390 * * [simplify]: iteration 0 : 24 enodes (cost 188 ) 14.396 * * [simplify]: Extracting # 0 : cost 0 14.396 * * [simplify]: Extracting # 1 : cost 0 14.396 * * [simplify]: Extracting # 2 : cost 0 14.396 * * [simplify]: Extracting # 3 : cost 0 14.397 * * [simplify]: Extracting # 4 : cost 0 14.397 * * [simplify]: iteration 1 : 46 enodes (cost 185 ) 14.418 * * [simplify]: Extracting # 0 : cost 0 14.418 * * [simplify]: Extracting # 1 : cost 0 14.418 * * [simplify]: Extracting # 2 : cost 0 14.418 * * [simplify]: Extracting # 3 : cost 0 14.418 * * [simplify]: Extracting # 4 : cost 0 14.419 * * [simplify]: iteration 2 : 131 enodes (cost 160 ) 14.480 * * [simplify]: Extracting # 0 : cost 0 14.481 * * [simplify]: Extracting # 1 : cost 0 14.482 * * [simplify]: Extracting # 2 : cost 0 14.483 * * [simplify]: Extracting # 3 : cost 0 14.484 * * [simplify]: Extracting # 4 : cost 0 14.485 * * [simplify]: iteration 3 : 708 enodes (cost 160 ) 14.927 * * [simplify]: Extracting # 0 : cost 0 14.944 * * [simplify]: Extracting # 1 : cost 0 14.954 * * [simplify]: Extracting # 2 : cost 0 14.962 * * [simplify]: Extracting # 3 : cost 0 14.970 * * [simplify]: Extracting # 4 : cost 0 14.979 * * [simplify]: Extracting # 5 : cost 0 14.987 * * [simplify]: iteration done: 5002 enodes (cost 160 ) 14.987 * [simplify]: Simplified to: (expm1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* -1/3 (pow x 3)) (log (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (exp (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (pow (fma (pow x 3) -1/3 (fma 2/15 (pow x 5) x)) 3) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) 14.987 * * * [progress]: adding candidates to table 15.036 * [progress]: [Phase 3 of 3] Extracting. 15.036 * * [regime]: Finding splitpoints for: (# # #) 15.036 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) x) 15.036 * * * * [regimes]: Trying to branch on (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) from (# # #) 15.059 * * * * [regimes]: Trying to branch on x from (# # #) 15.081 * * * [regime]: Found split indices: #