12.105 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.012 * * * * [points]: Setting MPFR precision to 320 0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.016 * * * * [points]: Setting MPFR precision to 64 0.020 * * * * [points]: Setting MPFR precision to 320 0.024 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.028 * * * * [points]: Setting MPFR precision to 64 0.035 * * * * [points]: Setting MPFR precision to 320 0.042 * * * * [points]: Computing exacts for 256 points 0.045 * * * * [points]: Setting MPFR precision to 64 0.058 * * * * [points]: Setting MPFR precision to 320 0.070 * * * * [points]: Filtering points with unrepresentable outputs 0.071 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 0.073 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.076 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 0.079 * * * * [points]: Setting MPFR precision to 64 0.081 * * * * [points]: Setting MPFR precision to 320 0.084 * * * * [points]: Computing exacts for 123 points 0.088 * * * * [points]: Setting MPFR precision to 64 0.097 * * * * [points]: Setting MPFR precision to 320 0.108 * * * * [points]: Filtering points with unrepresentable outputs 0.109 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256 0.110 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.114 * * * * [points]: Setting MPFR precision to 64 0.115 * * * * [points]: Setting MPFR precision to 320 0.117 * * * * [points]: Computing exacts for 60 points 0.121 * * * * [points]: Setting MPFR precision to 64 0.164 * * * * [points]: Setting MPFR precision to 320 0.172 * * * * [points]: Filtering points with unrepresentable outputs 0.172 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 0.172 * * * * [points]: Computing exacts for 31 points 0.175 * * * * [points]: Setting MPFR precision to 64 0.176 * * * * [points]: Setting MPFR precision to 320 0.178 * * * * [points]: Filtering points with unrepresentable outputs 0.178 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 0.178 * * * * [points]: Computing exacts for 11 points 0.180 * * * * [points]: Setting MPFR precision to 64 0.181 * * * * [points]: Setting MPFR precision to 320 0.181 * * * * [points]: Filtering points with unrepresentable outputs 0.181 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.182 * * * * [points]: Computing exacts for 7 points 0.184 * * * * [points]: Setting MPFR precision to 64 0.184 * * * * [points]: Setting MPFR precision to 320 0.185 * * * * [points]: Filtering points with unrepresentable outputs 0.185 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.185 * * * * [points]: Computing exacts for 4 points 0.187 * * * * [points]: Setting MPFR precision to 64 0.187 * * * * [points]: Setting MPFR precision to 320 0.187 * * * * [points]: Filtering points with unrepresentable outputs 0.187 * * * * [points]: Sampled 256 points with exact outputs 0.187 * * * [progress]: [2/2] Setting up program. 0.191 * [progress]: [Phase 2 of 3] Improving. 0.191 * [simplify]: Simplifying: (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.191 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.191 * * [simplify]: Extracting # 2 : cost 0 0.191 * * [simplify]: Extracting # 3 : cost 0 0.191 * * [simplify]: Extracting # 4 : cost 0 0.191 * * [simplify]: Extracting # 5 : cost 0 0.191 * * [simplify]: Extracting # 6 : cost 0 0.191 * * [simplify]: Extracting # 7 : cost 0 0.191 * * [simplify]: Extracting # 8 : cost 0 0.191 * * [simplify]: Extracting # 9 : cost 0 0.191 * * [simplify]: Extracting # 10 : cost 0 0.192 * * [simplify]: iteration 0 : 16 enodes (cost 24 ) 0.194 * * [simplify]: Extracting # 0 : cost 0 0.194 * * [simplify]: Extracting # 1 : cost 0 0.194 * * [simplify]: Extracting # 2 : cost 0 0.194 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 0.199 * * [simplify]: Extracting # 0 : cost 0 0.199 * * [simplify]: Extracting # 1 : cost 0 0.199 * * [simplify]: Extracting # 2 : cost 0 0.199 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.213 * * [simplify]: Extracting # 0 : cost 0 0.213 * * [simplify]: Extracting # 1 : cost 0 0.213 * * [simplify]: Extracting # 2 : cost 0 0.213 * * [simplify]: iteration 3 : 83 enodes (cost 11 ) 0.228 * * [simplify]: Extracting # 0 : cost 0 0.228 * * [simplify]: Extracting # 1 : cost 0 0.228 * * [simplify]: Extracting # 2 : cost 0 0.228 * * [simplify]: iteration 4 : 117 enodes (cost 11 ) 0.257 * * [simplify]: Extracting # 0 : cost 0 0.258 * * [simplify]: Extracting # 1 : cost 0 0.258 * * [simplify]: Extracting # 2 : cost 0 0.258 * * [simplify]: iteration 5 : 188 enodes (cost 11 ) 0.328 * * [simplify]: Extracting # 0 : cost 0 0.329 * * [simplify]: Extracting # 1 : cost 0 0.329 * * [simplify]: Extracting # 2 : cost 0 0.329 * * [simplify]: iteration 6 : 331 enodes (cost 11 ) 0.476 * * [simplify]: Extracting # 0 : cost 0 0.477 * * [simplify]: Extracting # 1 : cost 0 0.477 * * [simplify]: Extracting # 2 : cost 0 0.477 * * [simplify]: iteration 7 : 556 enodes (cost 11 ) 0.990 * * [simplify]: Extracting # 0 : cost 0 0.992 * * [simplify]: Extracting # 1 : cost 0 0.993 * * [simplify]: Extracting # 2 : cost 0 0.994 * * [simplify]: iteration 8 : 1000 enodes (cost 11 ) 1.768 * * [simplify]: Extracting # 0 : cost 0 1.769 * * [simplify]: Extracting # 1 : cost 0 1.770 * * [simplify]: Extracting # 2 : cost 0 1.771 * * [simplify]: iteration 9 : 1366 enodes (cost 11 ) 2.687 * * [simplify]: Extracting # 0 : cost 0 2.689 * * [simplify]: Extracting # 1 : cost 0 2.690 * * [simplify]: Extracting # 2 : cost 0 2.691 * * [simplify]: iteration 10 : 1686 enodes (cost 11 ) 3.660 * * [simplify]: Extracting # 0 : cost 0 3.662 * * [simplify]: Extracting # 1 : cost 0 3.663 * * [simplify]: Extracting # 2 : cost 0 3.664 * * [simplify]: iteration 11 : 1768 enodes (cost 11 ) 4.611 * * [simplify]: Extracting # 0 : cost 0 4.611 * * [simplify]: Extracting # 1 : cost 0 4.612 * * [simplify]: iteration 12 : 1790 enodes (cost 11 ) 5.606 * * [simplify]: Extracting # 0 : cost 0 5.607 * * [simplify]: iteration done: 1790 enodes (cost 11 ) 5.607 * [simplify]: Simplified to: (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 5.610 * * [progress]: iteration 1 / 4 5.610 * * * [progress]: picking best candidate 5.612 * * * * [pick]: Picked # 5.612 * * * [progress]: localizing error 5.634 * * * [progress]: generating rewritten candidates 5.634 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.659 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.759 * * * [progress]: generating series expansions 5.759 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.760 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x))) 5.760 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 5.760 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.760 * [taylor]: Taking taylor expansion of (exp x) in x 5.760 * [taylor]: Taking taylor expansion of x in x 5.760 * [backup-simplify]: Simplify 0 into 0 5.760 * [backup-simplify]: Simplify 1 into 1 5.760 * [backup-simplify]: Simplify (exp 0) into 1 5.760 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.760 * [taylor]: Taking taylor expansion of (- x) in x 5.760 * [taylor]: Taking taylor expansion of x in x 5.760 * [backup-simplify]: Simplify 0 into 0 5.760 * [backup-simplify]: Simplify 1 into 1 5.760 * [backup-simplify]: Simplify (- 0) into 0 5.761 * [backup-simplify]: Simplify (- 1) into -1 5.761 * [backup-simplify]: Simplify (exp 0) into 1 5.761 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.761 * [taylor]: Taking taylor expansion of (exp x) in x 5.761 * [taylor]: Taking taylor expansion of x in x 5.761 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify 1 into 1 5.761 * [backup-simplify]: Simplify (exp 0) into 1 5.761 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.761 * [taylor]: Taking taylor expansion of (- x) in x 5.761 * [taylor]: Taking taylor expansion of x in x 5.761 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify 1 into 1 5.761 * [backup-simplify]: Simplify (- 0) into 0 5.761 * [backup-simplify]: Simplify (- 1) into -1 5.761 * [backup-simplify]: Simplify (exp 0) into 1 5.762 * [backup-simplify]: Simplify (+ 1 1) into 2 5.762 * [backup-simplify]: Simplify 2 into 2 5.763 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.763 * [backup-simplify]: Simplify (- 1) into -1 5.764 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 5.765 * [backup-simplify]: Simplify (+ 1 -1) into 0 5.765 * [backup-simplify]: Simplify 0 into 0 5.766 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.767 * [backup-simplify]: Simplify (- 1) into -1 5.767 * [backup-simplify]: Simplify (- 0) into 0 5.769 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.769 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 5.769 * [backup-simplify]: Simplify 1 into 1 5.773 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 5.773 * [backup-simplify]: Simplify (- 1) into -1 5.773 * [backup-simplify]: Simplify (- 1) into -1 5.774 * [backup-simplify]: Simplify (- 0) into 0 5.774 * [backup-simplify]: Simplify (- 0) into 0 5.777 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 5.777 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.781 * [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 5.781 * [backup-simplify]: Simplify (- 1) into -1 5.781 * [backup-simplify]: Simplify (- 1) into -1 5.781 * [backup-simplify]: Simplify (- 0) into 0 5.782 * [backup-simplify]: Simplify (- 1) into -1 5.782 * [backup-simplify]: Simplify (- 0) into 0 5.782 * [backup-simplify]: Simplify (- 0) into 0 5.782 * [backup-simplify]: Simplify (- 0) into 0 5.785 * [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 5.785 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 5.785 * [backup-simplify]: Simplify 1/12 into 1/12 5.785 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 5.786 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 5.786 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 5.786 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.786 * [taylor]: Taking taylor expansion of x in x 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify 1 into 1 5.786 * [backup-simplify]: Simplify (/ 1 1) into 1 5.786 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 5.786 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.786 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.786 * [taylor]: Taking taylor expansion of x in x 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify 1 into 1 5.786 * [backup-simplify]: Simplify (/ 1 1) into 1 5.787 * [backup-simplify]: Simplify (- 1) into -1 5.787 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 5.787 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.787 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.787 * [taylor]: Taking taylor expansion of x in x 5.787 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify 1 into 1 5.787 * [backup-simplify]: Simplify (/ 1 1) into 1 5.787 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 5.787 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.787 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.787 * [taylor]: Taking taylor expansion of x in x 5.787 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify 1 into 1 5.787 * [backup-simplify]: Simplify (/ 1 1) into 1 5.788 * [backup-simplify]: Simplify (- 1) into -1 5.788 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 5.788 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 5.788 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 5.788 * [backup-simplify]: Simplify (+ 0 0) into 0 5.788 * [backup-simplify]: Simplify 0 into 0 5.789 * [backup-simplify]: Simplify (+ 0 0) into 0 5.789 * [backup-simplify]: Simplify 0 into 0 5.789 * [backup-simplify]: Simplify (+ 0 0) into 0 5.789 * [backup-simplify]: Simplify 0 into 0 5.789 * [backup-simplify]: Simplify (+ 0 0) into 0 5.789 * [backup-simplify]: Simplify 0 into 0 5.789 * [backup-simplify]: Simplify (+ 0 0) into 0 5.789 * [backup-simplify]: Simplify 0 into 0 5.790 * [backup-simplify]: Simplify (+ 0 0) into 0 5.790 * [backup-simplify]: Simplify 0 into 0 5.790 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x))) 5.790 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 5.790 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 5.790 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 5.790 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.790 * [taylor]: Taking taylor expansion of x in x 5.790 * [backup-simplify]: Simplify 0 into 0 5.790 * [backup-simplify]: Simplify 1 into 1 5.790 * [backup-simplify]: Simplify (/ 1 1) into 1 5.790 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 5.790 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.791 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.791 * [taylor]: Taking taylor expansion of -1 in x 5.791 * [backup-simplify]: Simplify -1 into -1 5.791 * [taylor]: Taking taylor expansion of x in x 5.791 * [backup-simplify]: Simplify 0 into 0 5.791 * [backup-simplify]: Simplify 1 into 1 5.791 * [backup-simplify]: Simplify (/ -1 1) into -1 5.791 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 5.791 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 5.791 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.791 * [taylor]: Taking taylor expansion of x in x 5.791 * [backup-simplify]: Simplify 0 into 0 5.791 * [backup-simplify]: Simplify 1 into 1 5.791 * [backup-simplify]: Simplify (/ 1 1) into 1 5.791 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 5.791 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.791 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.792 * [taylor]: Taking taylor expansion of -1 in x 5.792 * [backup-simplify]: Simplify -1 into -1 5.792 * [taylor]: Taking taylor expansion of x in x 5.792 * [backup-simplify]: Simplify 0 into 0 5.792 * [backup-simplify]: Simplify 1 into 1 6.210 * [backup-simplify]: Simplify (/ -1 1) into -1 6.211 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.211 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 6.211 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 6.211 * [backup-simplify]: Simplify (+ 0 0) into 0 6.211 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify (+ 0 0) into 0 6.212 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify (+ 0 0) into 0 6.212 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify (+ 0 0) into 0 6.212 * [backup-simplify]: Simplify 0 into 0 6.213 * [backup-simplify]: Simplify (+ 0 0) into 0 6.213 * [backup-simplify]: Simplify 0 into 0 6.213 * [backup-simplify]: Simplify (+ 0 0) into 0 6.213 * [backup-simplify]: Simplify 0 into 0 6.213 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x)) 6.213 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.213 * [backup-simplify]: Simplify (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) 6.213 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0 6.213 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y 6.213 * [taylor]: Taking taylor expansion of 0.5 in y 6.213 * [backup-simplify]: Simplify 0.5 into 0.5 6.213 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 6.213 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.213 * [taylor]: Taking taylor expansion of (exp x) in y 6.213 * [taylor]: Taking taylor expansion of x in y 6.213 * [backup-simplify]: Simplify x into x 6.213 * [backup-simplify]: Simplify (exp x) into (exp x) 6.214 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.214 * [taylor]: Taking taylor expansion of (- x) in y 6.214 * [taylor]: Taking taylor expansion of x in y 6.214 * [backup-simplify]: Simplify x into x 6.214 * [backup-simplify]: Simplify (- x) into (- x) 6.214 * [backup-simplify]: Simplify (- x) into (- x) 6.214 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x)) 6.214 * [taylor]: Taking taylor expansion of (cos y) in y 6.214 * [taylor]: Taking taylor expansion of y in y 6.214 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify 1 into 1 6.214 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 6.214 * [taylor]: Taking taylor expansion of 0.5 in x 6.214 * [backup-simplify]: Simplify 0.5 into 0.5 6.214 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 6.214 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.214 * [taylor]: Taking taylor expansion of (exp x) in x 6.214 * [taylor]: Taking taylor expansion of x in x 6.214 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify 1 into 1 6.214 * [backup-simplify]: Simplify (exp 0) into 1 6.214 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.214 * [taylor]: Taking taylor expansion of (- x) in x 6.214 * [taylor]: Taking taylor expansion of x in x 6.214 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify 1 into 1 6.214 * [backup-simplify]: Simplify (- 0) into 0 6.214 * [backup-simplify]: Simplify (- 1) into -1 6.215 * [backup-simplify]: Simplify (exp 0) into 1 6.215 * [taylor]: Taking taylor expansion of (cos y) in x 6.215 * [taylor]: Taking taylor expansion of y in x 6.215 * [backup-simplify]: Simplify y into y 6.215 * [backup-simplify]: Simplify (cos y) into (cos y) 6.215 * [backup-simplify]: Simplify (sin y) into (sin y) 6.215 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 6.215 * [taylor]: Taking taylor expansion of 0.5 in x 6.215 * [backup-simplify]: Simplify 0.5 into 0.5 6.215 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 6.215 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.215 * [taylor]: Taking taylor expansion of (exp x) in x 6.215 * [taylor]: Taking taylor expansion of x in x 6.215 * [backup-simplify]: Simplify 0 into 0 6.215 * [backup-simplify]: Simplify 1 into 1 6.215 * [backup-simplify]: Simplify (exp 0) into 1 6.215 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.215 * [taylor]: Taking taylor expansion of (- x) in x 6.215 * [taylor]: Taking taylor expansion of x in x 6.215 * [backup-simplify]: Simplify 0 into 0 6.215 * [backup-simplify]: Simplify 1 into 1 6.215 * [backup-simplify]: Simplify (- 0) into 0 6.215 * [backup-simplify]: Simplify (- 1) into -1 6.215 * [backup-simplify]: Simplify (exp 0) into 1 6.215 * [taylor]: Taking taylor expansion of (cos y) in x 6.215 * [taylor]: Taking taylor expansion of y in x 6.216 * [backup-simplify]: Simplify y into y 6.216 * [backup-simplify]: Simplify (cos y) into (cos y) 6.216 * [backup-simplify]: Simplify (sin y) into (sin y) 6.216 * [backup-simplify]: Simplify (+ 1 1) into 2 6.216 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 6.216 * [backup-simplify]: Simplify (* (sin y) 0) into 0 6.217 * [backup-simplify]: Simplify (- 0) into 0 6.217 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 6.217 * [backup-simplify]: Simplify (* 2 (cos y)) into (* 2 (cos y)) 6.217 * [backup-simplify]: Simplify (* 0.5 (* 2 (cos y))) into (* 1.0 (cos y)) 6.217 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y 6.217 * [taylor]: Taking taylor expansion of 1.0 in y 6.217 * [backup-simplify]: Simplify 1.0 into 1.0 6.217 * [taylor]: Taking taylor expansion of (cos y) in y 6.217 * [taylor]: Taking taylor expansion of y in y 6.217 * [backup-simplify]: Simplify 0 into 0 6.217 * [backup-simplify]: Simplify 1 into 1 6.217 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.217 * [backup-simplify]: Simplify 1.0 into 1.0 6.218 * [backup-simplify]: Simplify (+ 0) into 0 6.218 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0 6.219 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.219 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0 6.219 * [backup-simplify]: Simplify (- 0) into 0 6.220 * [backup-simplify]: Simplify (+ 0 0) into 0 6.221 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.221 * [backup-simplify]: Simplify (- 1) into -1 6.222 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 6.222 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.222 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (cos y))) into 0 6.222 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* 2 (cos y)))) into 0 6.222 * [taylor]: Taking taylor expansion of 0 in y 6.222 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify (+ 0) into 0 6.223 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.223 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.224 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0 6.225 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.225 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0 6.225 * [backup-simplify]: Simplify (- 0) into 0 6.225 * [backup-simplify]: Simplify (+ 0 0) into 0 6.226 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.227 * [backup-simplify]: Simplify (- 1) into -1 6.227 * [backup-simplify]: Simplify (- 0) into 0 6.228 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.228 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 6.229 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 1 (cos y)))) into (cos y) 6.229 * [backup-simplify]: Simplify (+ (* 0.5 (cos y)) (+ (* 0 0) (* 0 (* 2 (cos y))))) into (* 0.5 (cos y)) 6.229 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y 6.229 * [taylor]: Taking taylor expansion of 0.5 in y 6.229 * [backup-simplify]: Simplify 0.5 into 0.5 6.229 * [taylor]: Taking taylor expansion of (cos y) in y 6.229 * [taylor]: Taking taylor expansion of y in y 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 1 into 1 6.229 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.229 * [backup-simplify]: Simplify 0.5 into 0.5 6.229 * [backup-simplify]: Simplify 0 into 0 6.230 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.231 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5) 6.231 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.232 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (* y 1) 2)) (+ (* 0.5 (pow (* 1 x) 2)) 1.0)) into (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2))) 6.232 * [backup-simplify]: Simplify (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) (cos (/ 1 y))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) 6.232 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 6.232 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 6.232 * [taylor]: Taking taylor expansion of 0.5 in y 6.232 * [backup-simplify]: Simplify 0.5 into 0.5 6.232 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 6.232 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.232 * [taylor]: Taking taylor expansion of y in y 6.232 * [backup-simplify]: Simplify 0 into 0 6.232 * [backup-simplify]: Simplify 1 into 1 6.233 * [backup-simplify]: Simplify (/ 1 1) into 1 6.233 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.233 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.233 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.233 * [taylor]: Taking taylor expansion of x in y 6.233 * [backup-simplify]: Simplify x into x 6.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.233 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.233 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.233 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.233 * [taylor]: Taking taylor expansion of x in y 6.233 * [backup-simplify]: Simplify x into x 6.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.233 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.233 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.233 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 6.233 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 6.233 * [taylor]: Taking taylor expansion of 0.5 in x 6.233 * [backup-simplify]: Simplify 0.5 into 0.5 6.233 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 6.233 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 6.233 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.233 * [taylor]: Taking taylor expansion of y in x 6.233 * [backup-simplify]: Simplify y into y 6.233 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.233 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.233 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 6.234 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.234 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.234 * [taylor]: Taking taylor expansion of x in x 6.234 * [backup-simplify]: Simplify 0 into 0 6.234 * [backup-simplify]: Simplify 1 into 1 6.234 * [backup-simplify]: Simplify (/ 1 1) into 1 6.234 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.234 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.234 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.234 * [taylor]: Taking taylor expansion of x in x 6.234 * [backup-simplify]: Simplify 0 into 0 6.234 * [backup-simplify]: Simplify 1 into 1 6.234 * [backup-simplify]: Simplify (/ 1 1) into 1 6.234 * [backup-simplify]: Simplify (- 1) into -1 6.235 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 6.235 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 6.235 * [taylor]: Taking taylor expansion of 0.5 in x 6.235 * [backup-simplify]: Simplify 0.5 into 0.5 6.235 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 6.235 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 6.235 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.235 * [taylor]: Taking taylor expansion of y in x 6.235 * [backup-simplify]: Simplify y into y 6.235 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.235 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.235 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 6.235 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.235 * [taylor]: Taking taylor expansion of x in x 6.235 * [backup-simplify]: Simplify 0 into 0 6.235 * [backup-simplify]: Simplify 1 into 1 6.235 * [backup-simplify]: Simplify (/ 1 1) into 1 6.235 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.235 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.235 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.235 * [taylor]: Taking taylor expansion of x in x 6.235 * [backup-simplify]: Simplify 0 into 0 6.235 * [backup-simplify]: Simplify 1 into 1 6.236 * [backup-simplify]: Simplify (/ 1 1) into 1 6.236 * [backup-simplify]: Simplify (- 1) into -1 6.236 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 6.236 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 6.236 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 6.236 * [backup-simplify]: Simplify (- 0) into 0 6.236 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 6.236 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 6.237 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.237 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) 6.237 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 6.237 * [taylor]: Taking taylor expansion of 0.5 in y 6.237 * [backup-simplify]: Simplify 0.5 into 0.5 6.237 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 6.237 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.237 * [taylor]: Taking taylor expansion of y in y 6.237 * [backup-simplify]: Simplify 0 into 0 6.237 * [backup-simplify]: Simplify 1 into 1 6.237 * [backup-simplify]: Simplify (/ 1 1) into 1 6.237 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 6.237 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.237 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.237 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.237 * [taylor]: Taking taylor expansion of x in y 6.237 * [backup-simplify]: Simplify x into x 6.237 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.237 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.237 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.237 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.237 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.237 * [taylor]: Taking taylor expansion of x in y 6.237 * [backup-simplify]: Simplify x into x 6.238 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.238 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.238 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.238 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 6.238 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 6.238 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.238 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) 6.238 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) 6.239 * [backup-simplify]: Simplify (+ 0 0) into 0 6.239 * [backup-simplify]: Simplify (+ 0) into 0 6.239 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 6.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.240 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.240 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 6.240 * [backup-simplify]: Simplify (- 0) into 0 6.240 * [backup-simplify]: Simplify (+ 0 0) into 0 6.241 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0 6.241 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 6.241 * [taylor]: Taking taylor expansion of 0 in y 6.241 * [backup-simplify]: Simplify 0 into 0 6.241 * [backup-simplify]: Simplify 0 into 0 6.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.242 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.242 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.242 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.242 * [backup-simplify]: Simplify (- 0) into 0 6.243 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 6.243 * [backup-simplify]: Simplify (+ 0 0) into 0 6.243 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0 6.243 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 6.244 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify (+ 0 0) into 0 6.244 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.245 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 6.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.245 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.246 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 6.246 * [backup-simplify]: Simplify (- 0) into 0 6.246 * [backup-simplify]: Simplify (+ 0 0) into 0 6.247 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 6.247 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 6.247 * [taylor]: Taking taylor expansion of 0 in y 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.248 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.248 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.249 * [backup-simplify]: Simplify (- 0) into 0 6.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.249 * [backup-simplify]: Simplify (- 0) into 0 6.250 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.250 * [backup-simplify]: Simplify (+ 0 0) into 0 6.250 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 6.251 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 6.251 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify (+ 0 0) into 0 6.252 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.252 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.254 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.254 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.254 * [backup-simplify]: Simplify (- 0) into 0 6.254 * [backup-simplify]: Simplify (+ 0 0) into 0 6.255 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 6.256 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0 6.256 * [taylor]: Taking taylor expansion of 0 in y 6.256 * [backup-simplify]: Simplify 0 into 0 6.256 * [backup-simplify]: Simplify 0 into 0 6.256 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 y))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) 6.256 * [backup-simplify]: Simplify (* (/ (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) 2.0) (cos (/ 1 (- y)))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) 6.256 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0 6.256 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.256 * [taylor]: Taking taylor expansion of 0.5 in y 6.256 * [backup-simplify]: Simplify 0.5 into 0.5 6.256 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.256 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.256 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.256 * [taylor]: Taking taylor expansion of -1 in y 6.257 * [backup-simplify]: Simplify -1 into -1 6.257 * [taylor]: Taking taylor expansion of y in y 6.257 * [backup-simplify]: Simplify 0 into 0 6.257 * [backup-simplify]: Simplify 1 into 1 6.257 * [backup-simplify]: Simplify (/ -1 1) into -1 6.257 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.257 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.257 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.257 * [taylor]: Taking taylor expansion of x in y 6.257 * [backup-simplify]: Simplify x into x 6.257 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.257 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.257 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.257 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.257 * [taylor]: Taking taylor expansion of -1 in y 6.257 * [backup-simplify]: Simplify -1 into -1 6.257 * [taylor]: Taking taylor expansion of x in y 6.257 * [backup-simplify]: Simplify x into x 6.257 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.257 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.257 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 6.257 * [taylor]: Taking taylor expansion of 0.5 in x 6.257 * [backup-simplify]: Simplify 0.5 into 0.5 6.257 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 6.257 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 6.257 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.257 * [taylor]: Taking taylor expansion of -1 in x 6.257 * [backup-simplify]: Simplify -1 into -1 6.257 * [taylor]: Taking taylor expansion of y in x 6.257 * [backup-simplify]: Simplify y into y 6.257 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.258 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.258 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 6.258 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.258 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.258 * [taylor]: Taking taylor expansion of x in x 6.258 * [backup-simplify]: Simplify 0 into 0 6.258 * [backup-simplify]: Simplify 1 into 1 6.258 * [backup-simplify]: Simplify (/ 1 1) into 1 6.258 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.258 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.258 * [taylor]: Taking taylor expansion of -1 in x 6.258 * [backup-simplify]: Simplify -1 into -1 6.258 * [taylor]: Taking taylor expansion of x in x 6.258 * [backup-simplify]: Simplify 0 into 0 6.258 * [backup-simplify]: Simplify 1 into 1 6.258 * [backup-simplify]: Simplify (/ -1 1) into -1 6.258 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.258 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 6.258 * [taylor]: Taking taylor expansion of 0.5 in x 6.258 * [backup-simplify]: Simplify 0.5 into 0.5 6.258 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 6.259 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 6.259 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.259 * [taylor]: Taking taylor expansion of -1 in x 6.259 * [backup-simplify]: Simplify -1 into -1 6.259 * [taylor]: Taking taylor expansion of y in x 6.259 * [backup-simplify]: Simplify y into y 6.259 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.259 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.259 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 6.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.259 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.259 * [taylor]: Taking taylor expansion of x in x 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.259 * [backup-simplify]: Simplify (/ 1 1) into 1 6.259 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.259 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.259 * [taylor]: Taking taylor expansion of -1 in x 6.259 * [backup-simplify]: Simplify -1 into -1 6.259 * [taylor]: Taking taylor expansion of x in x 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.260 * [backup-simplify]: Simplify (/ -1 1) into -1 6.260 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.260 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 6.260 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 6.260 * [backup-simplify]: Simplify (- 0) into 0 6.260 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 6.260 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 6.260 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 6.260 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) 6.260 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.260 * [taylor]: Taking taylor expansion of 0.5 in y 6.261 * [backup-simplify]: Simplify 0.5 into 0.5 6.261 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.261 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.261 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.261 * [taylor]: Taking taylor expansion of -1 in y 6.261 * [backup-simplify]: Simplify -1 into -1 6.261 * [taylor]: Taking taylor expansion of y in y 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify 1 into 1 6.261 * [backup-simplify]: Simplify (/ -1 1) into -1 6.261 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 6.261 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.261 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.261 * [taylor]: Taking taylor expansion of x in y 6.261 * [backup-simplify]: Simplify x into x 6.261 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.261 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.261 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.261 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.261 * [taylor]: Taking taylor expansion of -1 in y 6.261 * [backup-simplify]: Simplify -1 into -1 6.261 * [taylor]: Taking taylor expansion of x in y 6.261 * [backup-simplify]: Simplify x into x 6.261 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.262 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.262 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 6.262 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 6.262 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) 6.262 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) 6.262 * [backup-simplify]: Simplify (+ 0 0) into 0 6.263 * [backup-simplify]: Simplify (+ 0) into 0 6.263 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 6.263 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.263 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.264 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 6.264 * [backup-simplify]: Simplify (- 0) into 0 6.265 * [backup-simplify]: Simplify (+ 0 0) into 0 6.265 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into 0 6.266 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0 6.266 * [taylor]: Taking taylor expansion of 0 in y 6.266 * [backup-simplify]: Simplify 0 into 0 6.266 * [backup-simplify]: Simplify 0 into 0 6.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.267 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.267 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 6.268 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 6.269 * [backup-simplify]: Simplify (+ 0 0) into 0 6.269 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into 0 6.270 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0 6.270 * [backup-simplify]: Simplify 0 into 0 6.270 * [backup-simplify]: Simplify (+ 0 0) into 0 6.271 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.272 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 6.272 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.273 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.274 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 6.274 * [backup-simplify]: Simplify (- 0) into 0 6.274 * [backup-simplify]: Simplify (+ 0 0) into 0 6.275 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0 6.276 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 6.276 * [taylor]: Taking taylor expansion of 0 in y 6.276 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.277 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.277 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.278 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.278 * [backup-simplify]: Simplify (+ 0 0) into 0 6.279 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0 6.279 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 6.279 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify (+ 0 0) into 0 6.280 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.280 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.281 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.282 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.282 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.282 * [backup-simplify]: Simplify (- 0) into 0 6.282 * [backup-simplify]: Simplify (+ 0 0) into 0 6.283 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 6.284 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))))) into 0 6.284 * [taylor]: Taking taylor expansion of 0 in y 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- y)))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))))) into (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 6.284 * * * [progress]: simplifying candidates 6.285 * [simplify]: Simplifying: (* (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))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y))) (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) 1) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2))) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 6.286 * * [simplify]: Extracting # 0 : cost 0 6.286 * * [simplify]: Extracting # 1 : cost 0 6.286 * * [simplify]: Extracting # 2 : cost 0 6.286 * * [simplify]: Extracting # 3 : cost 0 6.287 * * [simplify]: Extracting # 4 : cost 0 6.287 * * [simplify]: Extracting # 5 : cost 0 6.287 * * [simplify]: Extracting # 6 : cost 0 6.287 * * [simplify]: Extracting # 7 : cost 0 6.287 * * [simplify]: Extracting # 8 : cost 0 6.287 * * [simplify]: iteration 0 : 109 enodes (cost 709 ) 6.315 * * [simplify]: Extracting # 0 : cost 0 6.315 * * [simplify]: Extracting # 1 : cost 0 6.315 * * [simplify]: Extracting # 2 : cost 0 6.315 * * [simplify]: Extracting # 3 : cost 0 6.316 * * [simplify]: Extracting # 4 : cost 0 6.316 * * [simplify]: iteration 1 : 273 enodes (cost 694 ) 6.460 * * [simplify]: Extracting # 0 : cost 0 6.461 * * [simplify]: Extracting # 1 : cost 0 6.463 * * [simplify]: Extracting # 2 : cost 0 6.464 * * [simplify]: Extracting # 3 : cost 0 6.466 * * [simplify]: Extracting # 4 : cost 0 6.467 * * [simplify]: iteration 2 : 759 enodes (cost 608 ) 7.006 * * [simplify]: Extracting # 0 : cost 0 7.010 * * [simplify]: Extracting # 1 : cost 0 7.014 * * [simplify]: Extracting # 2 : cost 0 7.024 * * [simplify]: Extracting # 3 : cost 0 7.028 * * [simplify]: Extracting # 4 : cost 0 7.030 * * [simplify]: iteration 3 : 2122 enodes (cost 605 ) 8.163 * * [simplify]: Extracting # 0 : cost 0 8.175 * * [simplify]: Extracting # 1 : cost 0 8.187 * * [simplify]: Extracting # 2 : cost 0 8.198 * * [simplify]: Extracting # 3 : cost 0 8.211 * * [simplify]: Extracting # 4 : cost 0 8.222 * * [simplify]: iteration done: 5001 enodes (cost 605 ) 8.223 * [simplify]: Simplified to: (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) (exp (* x -3))) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (/ (cos y) 2.0) (* (+ (exp x) (exp (- x))) (cos y)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 0.5 (- (pow x 2) (pow y 2))) 1.0) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) 8.224 * * * [progress]: adding candidates to table 8.417 * * [progress]: iteration 2 / 4 8.417 * * * [progress]: picking best candidate 8.421 * * * * [pick]: Picked # 8.421 * * * [progress]: localizing error 8.450 * * * [progress]: generating rewritten candidates 8.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 8.466 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 8.470 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 8.474 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 8.535 * * * [progress]: generating series expansions 8.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 8.535 * [backup-simplify]: Simplify (+ -1 (exp (+ x x))) into (- (exp (* 2 x)) 1) 8.535 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1) in (x) around 0 8.535 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1) in x 8.535 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 8.535 * [taylor]: Taking taylor expansion of (* 2 x) in x 8.535 * [taylor]: Taking taylor expansion of 2 in x 8.535 * [backup-simplify]: Simplify 2 into 2 8.535 * [taylor]: Taking taylor expansion of x in x 8.535 * [backup-simplify]: Simplify 0 into 0 8.535 * [backup-simplify]: Simplify 1 into 1 8.536 * [backup-simplify]: Simplify (* 2 0) into 0 8.536 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 8.536 * [backup-simplify]: Simplify (exp 0) into 1 8.536 * [taylor]: Taking taylor expansion of 1 in x 8.536 * [backup-simplify]: Simplify 1 into 1 8.536 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1) in x 8.536 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 8.536 * [taylor]: Taking taylor expansion of (* 2 x) in x 8.536 * [taylor]: Taking taylor expansion of 2 in x 8.536 * [backup-simplify]: Simplify 2 into 2 8.536 * [taylor]: Taking taylor expansion of x in x 8.536 * [backup-simplify]: Simplify 0 into 0 8.536 * [backup-simplify]: Simplify 1 into 1 8.537 * [backup-simplify]: Simplify (* 2 0) into 0 8.537 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 8.537 * [backup-simplify]: Simplify (exp 0) into 1 8.537 * [taylor]: Taking taylor expansion of 1 in x 8.537 * [backup-simplify]: Simplify 1 into 1 8.538 * [backup-simplify]: Simplify (- 1) into -1 8.538 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.538 * [backup-simplify]: Simplify 0 into 0 8.539 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 8.539 * [backup-simplify]: Simplify (- 0) into 0 8.539 * [backup-simplify]: Simplify (+ 2 0) into 2 8.539 * [backup-simplify]: Simplify 2 into 2 8.540 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 8.541 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 8.541 * [backup-simplify]: Simplify (- 0) into 0 8.541 * [backup-simplify]: Simplify (+ 2 0) into 2 8.541 * [backup-simplify]: Simplify 2 into 2 8.542 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.543 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 4/3 8.544 * [backup-simplify]: Simplify (- 0) into 0 8.544 * [backup-simplify]: Simplify (+ 4/3 0) into 4/3 8.544 * [backup-simplify]: Simplify 4/3 into 4/3 8.545 * [backup-simplify]: Simplify (+ (* 4/3 (pow x 3)) (+ (* 2 (pow x 2)) (* 2 x))) into (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) 8.545 * [backup-simplify]: Simplify (+ -1 (exp (+ (/ 1 x) (/ 1 x)))) into (- (exp (* 2 (/ 1 x))) 1) 8.545 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1) in (x) around 0 8.545 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1) in x 8.545 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 8.545 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.545 * [taylor]: Taking taylor expansion of 2 in x 8.545 * [backup-simplify]: Simplify 2 into 2 8.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.545 * [taylor]: Taking taylor expansion of x in x 8.545 * [backup-simplify]: Simplify 0 into 0 8.545 * [backup-simplify]: Simplify 1 into 1 8.545 * [backup-simplify]: Simplify (/ 1 1) into 1 8.546 * [backup-simplify]: Simplify (* 2 1) into 2 8.546 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 8.546 * [taylor]: Taking taylor expansion of 1 in x 8.546 * [backup-simplify]: Simplify 1 into 1 8.546 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1) in x 8.546 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 8.546 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.546 * [taylor]: Taking taylor expansion of 2 in x 8.546 * [backup-simplify]: Simplify 2 into 2 8.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.546 * [taylor]: Taking taylor expansion of x in x 8.546 * [backup-simplify]: Simplify 0 into 0 8.546 * [backup-simplify]: Simplify 1 into 1 8.546 * [backup-simplify]: Simplify (/ 1 1) into 1 8.546 * [backup-simplify]: Simplify (* 2 1) into 2 8.546 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 8.546 * [taylor]: Taking taylor expansion of 1 in x 8.546 * [backup-simplify]: Simplify 1 into 1 8.547 * [backup-simplify]: Simplify (- 1) into -1 8.547 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) -1) into (- (exp (/ 2 x)) 1) 8.547 * [backup-simplify]: Simplify (- (exp (/ 2 x)) 1) into (- (exp (/ 2 x)) 1) 8.547 * [backup-simplify]: Simplify (- 0) into 0 8.547 * [backup-simplify]: Simplify (+ 0 0) into 0 8.547 * [backup-simplify]: Simplify 0 into 0 8.548 * [backup-simplify]: Simplify (- 0) into 0 8.548 * [backup-simplify]: Simplify (+ 0 0) into 0 8.548 * [backup-simplify]: Simplify 0 into 0 8.548 * [backup-simplify]: Simplify (- 0) into 0 8.548 * [backup-simplify]: Simplify (+ 0 0) into 0 8.548 * [backup-simplify]: Simplify 0 into 0 8.549 * [backup-simplify]: Simplify (- 0) into 0 8.549 * [backup-simplify]: Simplify (+ 0 0) into 0 8.549 * [backup-simplify]: Simplify 0 into 0 8.549 * [backup-simplify]: Simplify (- 0) into 0 8.550 * [backup-simplify]: Simplify (+ 0 0) into 0 8.550 * [backup-simplify]: Simplify 0 into 0 8.550 * [backup-simplify]: Simplify (- 0) into 0 8.550 * [backup-simplify]: Simplify (+ 0 0) into 0 8.550 * [backup-simplify]: Simplify 0 into 0 8.550 * [backup-simplify]: Simplify (- (exp (/ 2 (/ 1 x))) 1) into (- (exp (* 2 x)) 1) 8.550 * [backup-simplify]: Simplify (+ -1 (exp (+ (/ 1 (- x)) (/ 1 (- x))))) into (- (exp (- (* 2 (/ 1 x)))) 1) 8.550 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1) in (x) around 0 8.550 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1) in x 8.550 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 8.550 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 8.551 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.551 * [taylor]: Taking taylor expansion of 2 in x 8.551 * [backup-simplify]: Simplify 2 into 2 8.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.551 * [taylor]: Taking taylor expansion of x in x 8.551 * [backup-simplify]: Simplify 0 into 0 8.551 * [backup-simplify]: Simplify 1 into 1 8.551 * [backup-simplify]: Simplify (/ 1 1) into 1 8.551 * [backup-simplify]: Simplify (* 2 1) into 2 8.551 * [backup-simplify]: Simplify (- 2) into -2 8.551 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 8.551 * [taylor]: Taking taylor expansion of 1 in x 8.551 * [backup-simplify]: Simplify 1 into 1 8.551 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1) in x 8.552 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 8.552 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 8.552 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.552 * [taylor]: Taking taylor expansion of 2 in x 8.552 * [backup-simplify]: Simplify 2 into 2 8.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.552 * [taylor]: Taking taylor expansion of x in x 8.552 * [backup-simplify]: Simplify 0 into 0 8.552 * [backup-simplify]: Simplify 1 into 1 8.552 * [backup-simplify]: Simplify (/ 1 1) into 1 8.552 * [backup-simplify]: Simplify (* 2 1) into 2 8.552 * [backup-simplify]: Simplify (- 2) into -2 8.552 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 8.552 * [taylor]: Taking taylor expansion of 1 in x 8.552 * [backup-simplify]: Simplify 1 into 1 8.553 * [backup-simplify]: Simplify (- 1) into -1 8.553 * [backup-simplify]: Simplify (+ (exp (- (* 2 (/ 1 x)))) -1) into (- (exp (- (* 2 (/ 1 x)))) 1) 8.553 * [backup-simplify]: Simplify (- (exp (- (* 2 (/ 1 x)))) 1) into (- (exp (- (* 2 (/ 1 x)))) 1) 8.553 * [backup-simplify]: Simplify (- 0) into 0 8.553 * [backup-simplify]: Simplify (+ 0 0) into 0 8.553 * [backup-simplify]: Simplify 0 into 0 8.554 * [backup-simplify]: Simplify (- 0) into 0 8.554 * [backup-simplify]: Simplify (+ 0 0) into 0 8.554 * [backup-simplify]: Simplify 0 into 0 8.554 * [backup-simplify]: Simplify (- 0) into 0 8.554 * [backup-simplify]: Simplify (+ 0 0) into 0 8.554 * [backup-simplify]: Simplify 0 into 0 8.555 * [backup-simplify]: Simplify (- 0) into 0 8.555 * [backup-simplify]: Simplify (+ 0 0) into 0 8.555 * [backup-simplify]: Simplify 0 into 0 8.555 * [backup-simplify]: Simplify (- 0) into 0 8.555 * [backup-simplify]: Simplify (+ 0 0) into 0 8.555 * [backup-simplify]: Simplify 0 into 0 8.556 * [backup-simplify]: Simplify (- 0) into 0 8.556 * [backup-simplify]: Simplify (+ 0 0) into 0 8.556 * [backup-simplify]: Simplify 0 into 0 8.556 * [backup-simplify]: Simplify (- (exp (- (* 2 (/ 1 (/ 1 (- x)))))) 1) into (- (exp (* 2 x)) 1) 8.556 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 8.556 * [backup-simplify]: Simplify (pow (exp x) 3) into (pow (exp x) 3) 8.556 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 8.556 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 8.556 * [taylor]: Taking taylor expansion of (exp x) in x 8.556 * [taylor]: Taking taylor expansion of x in x 8.556 * [backup-simplify]: Simplify 0 into 0 8.556 * [backup-simplify]: Simplify 1 into 1 8.556 * [backup-simplify]: Simplify (exp 0) into 1 8.556 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 8.556 * [taylor]: Taking taylor expansion of (exp x) in x 8.556 * [taylor]: Taking taylor expansion of x in x 8.556 * [backup-simplify]: Simplify 0 into 0 8.556 * [backup-simplify]: Simplify 1 into 1 8.556 * [backup-simplify]: Simplify (exp 0) into 1 8.557 * [backup-simplify]: Simplify (* 1 1) into 1 8.557 * [backup-simplify]: Simplify (* 1 1) into 1 8.557 * [backup-simplify]: Simplify 1 into 1 8.558 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.561 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 8.561 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3 8.561 * [backup-simplify]: Simplify 3 into 3 8.562 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.563 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 8.563 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2 8.563 * [backup-simplify]: Simplify 9/2 into 9/2 8.563 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) 8.564 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3) 8.564 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 8.564 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 8.564 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.564 * [taylor]: Taking taylor expansion of x in x 8.564 * [backup-simplify]: Simplify 0 into 0 8.564 * [backup-simplify]: Simplify 1 into 1 8.564 * [backup-simplify]: Simplify (/ 1 1) into 1 8.564 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 8.564 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 8.564 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.564 * [taylor]: Taking taylor expansion of x in x 8.564 * [backup-simplify]: Simplify 0 into 0 8.564 * [backup-simplify]: Simplify 1 into 1 8.564 * [backup-simplify]: Simplify (/ 1 1) into 1 8.565 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 8.565 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 8.565 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3) 8.565 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3) 8.565 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 8.565 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0 8.565 * [backup-simplify]: Simplify 0 into 0 8.566 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 8.566 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0 8.566 * [backup-simplify]: Simplify 0 into 0 8.567 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 8.567 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0 8.567 * [backup-simplify]: Simplify 0 into 0 8.568 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 8.570 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0 8.570 * [backup-simplify]: Simplify 0 into 0 8.572 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 8.573 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0 8.573 * [backup-simplify]: Simplify 0 into 0 8.575 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 8.577 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0 8.577 * [backup-simplify]: Simplify 0 into 0 8.578 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3) 8.578 * [backup-simplify]: Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3) 8.578 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 8.578 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 8.578 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.578 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.578 * [taylor]: Taking taylor expansion of -1 in x 8.578 * [backup-simplify]: Simplify -1 into -1 8.578 * [taylor]: Taking taylor expansion of x in x 8.578 * [backup-simplify]: Simplify 0 into 0 8.578 * [backup-simplify]: Simplify 1 into 1 8.579 * [backup-simplify]: Simplify (/ -1 1) into -1 8.579 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 8.579 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 8.579 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.579 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.579 * [taylor]: Taking taylor expansion of -1 in x 8.579 * [backup-simplify]: Simplify -1 into -1 8.579 * [taylor]: Taking taylor expansion of x in x 8.579 * [backup-simplify]: Simplify 0 into 0 8.579 * [backup-simplify]: Simplify 1 into 1 8.579 * [backup-simplify]: Simplify (/ -1 1) into -1 8.580 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 8.580 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 8.580 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3) 8.580 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3) 8.581 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 8.581 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0 8.581 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 8.582 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0 8.582 * [backup-simplify]: Simplify 0 into 0 8.583 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 8.584 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0 8.584 * [backup-simplify]: Simplify 0 into 0 8.586 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 8.587 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0 8.587 * [backup-simplify]: Simplify 0 into 0 8.589 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 8.590 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0 8.590 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 8.595 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3) 8.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 8.595 * [backup-simplify]: Simplify (exp (* x -3)) into (exp (* -3 x)) 8.595 * [approximate]: Taking taylor expansion of (exp (* -3 x)) in (x) around 0 8.595 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 8.595 * [taylor]: Taking taylor expansion of (* -3 x) in x 8.595 * [taylor]: Taking taylor expansion of -3 in x 8.595 * [backup-simplify]: Simplify -3 into -3 8.595 * [taylor]: Taking taylor expansion of x in x 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify 1 into 1 8.596 * [backup-simplify]: Simplify (* -3 0) into 0 8.597 * [backup-simplify]: Simplify (+ (* -3 1) (* 0 0)) into -3 8.597 * [backup-simplify]: Simplify (exp 0) into 1 8.597 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 8.597 * [taylor]: Taking taylor expansion of (* -3 x) in x 8.597 * [taylor]: Taking taylor expansion of -3 in x 8.597 * [backup-simplify]: Simplify -3 into -3 8.597 * [taylor]: Taking taylor expansion of x in x 8.597 * [backup-simplify]: Simplify 0 into 0 8.597 * [backup-simplify]: Simplify 1 into 1 8.597 * [backup-simplify]: Simplify (* -3 0) into 0 8.598 * [backup-simplify]: Simplify (+ (* -3 1) (* 0 0)) into -3 8.598 * [backup-simplify]: Simplify (exp 0) into 1 8.598 * [backup-simplify]: Simplify 1 into 1 8.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -3 1) 1)))) into -3 8.600 * [backup-simplify]: Simplify -3 into -3 8.601 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 1) (* 0 0))) into 0 8.603 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 8.603 * [backup-simplify]: Simplify 9/2 into 9/2 8.603 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* -3 x) 1)) into (- (+ (* 9/2 (pow x 2)) 1) (* 3 x)) 8.604 * [backup-simplify]: Simplify (exp (* (/ 1 x) -3)) into (exp (/ -3 x)) 8.604 * [approximate]: Taking taylor expansion of (exp (/ -3 x)) in (x) around 0 8.604 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 8.604 * [taylor]: Taking taylor expansion of (/ -3 x) in x 8.604 * [taylor]: Taking taylor expansion of -3 in x 8.604 * [backup-simplify]: Simplify -3 into -3 8.604 * [taylor]: Taking taylor expansion of x in x 8.604 * [backup-simplify]: Simplify 0 into 0 8.604 * [backup-simplify]: Simplify 1 into 1 8.604 * [backup-simplify]: Simplify (/ -3 1) into -3 8.605 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 8.605 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 8.605 * [taylor]: Taking taylor expansion of (/ -3 x) in x 8.605 * [taylor]: Taking taylor expansion of -3 in x 8.605 * [backup-simplify]: Simplify -3 into -3 8.605 * [taylor]: Taking taylor expansion of x in x 8.605 * [backup-simplify]: Simplify 0 into 0 8.605 * [backup-simplify]: Simplify 1 into 1 8.605 * [backup-simplify]: Simplify (/ -3 1) into -3 8.606 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 8.606 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify (exp (/ -3 (/ 1 x))) into (exp (* -3 x)) 8.606 * [backup-simplify]: Simplify (exp (* (/ 1 (- x)) -3)) into (exp (/ 3 x)) 8.606 * [approximate]: Taking taylor expansion of (exp (/ 3 x)) in (x) around 0 8.606 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 8.606 * [taylor]: Taking taylor expansion of (/ 3 x) in x 8.606 * [taylor]: Taking taylor expansion of 3 in x 8.606 * [backup-simplify]: Simplify 3 into 3 8.606 * [taylor]: Taking taylor expansion of x in x 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 1 into 1 8.607 * [backup-simplify]: Simplify (/ 3 1) into 3 8.607 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 8.607 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 8.607 * [taylor]: Taking taylor expansion of (/ 3 x) in x 8.607 * [taylor]: Taking taylor expansion of 3 in x 8.607 * [backup-simplify]: Simplify 3 into 3 8.607 * [taylor]: Taking taylor expansion of x in x 8.607 * [backup-simplify]: Simplify 0 into 0 8.607 * [backup-simplify]: Simplify 1 into 1 8.608 * [backup-simplify]: Simplify (/ 3 1) into 3 8.608 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 8.608 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify (exp (/ 3 (/ 1 (- x)))) into (exp (* -3 x)) 8.608 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 8.608 * [backup-simplify]: Simplify (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) into (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) 8.608 * [approximate]: Taking taylor expansion of (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) in (x) around 0 8.609 * [taylor]: Taking taylor expansion of (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) in x 8.609 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) (exp (* -2 x))) in x 8.609 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 8.609 * [taylor]: Taking taylor expansion of (* 2 x) in x 8.609 * [taylor]: Taking taylor expansion of 2 in x 8.609 * [backup-simplify]: Simplify 2 into 2 8.609 * [taylor]: Taking taylor expansion of x in x 8.609 * [backup-simplify]: Simplify 0 into 0 8.609 * [backup-simplify]: Simplify 1 into 1 8.609 * [backup-simplify]: Simplify (* 2 0) into 0 8.610 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 8.610 * [backup-simplify]: Simplify (exp 0) into 1 8.610 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 8.610 * [taylor]: Taking taylor expansion of (* -2 x) in x 8.610 * [taylor]: Taking taylor expansion of -2 in x 8.610 * [backup-simplify]: Simplify -2 into -2 8.610 * [taylor]: Taking taylor expansion of x in x 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify 1 into 1 8.610 * [backup-simplify]: Simplify (* -2 0) into 0 8.611 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 8.611 * [backup-simplify]: Simplify (exp 0) into 1 8.611 * [taylor]: Taking taylor expansion of 1 in x 8.611 * [backup-simplify]: Simplify 1 into 1 8.611 * [taylor]: Taking taylor expansion of (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) in x 8.611 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) (exp (* -2 x))) in x 8.611 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 8.611 * [taylor]: Taking taylor expansion of (* 2 x) in x 8.611 * [taylor]: Taking taylor expansion of 2 in x 8.611 * [backup-simplify]: Simplify 2 into 2 8.611 * [taylor]: Taking taylor expansion of x in x 8.611 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify 1 into 1 8.612 * [backup-simplify]: Simplify (* 2 0) into 0 8.613 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 8.613 * [backup-simplify]: Simplify (exp 0) into 1 8.613 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 8.613 * [taylor]: Taking taylor expansion of (* -2 x) in x 8.613 * [taylor]: Taking taylor expansion of -2 in x 8.613 * [backup-simplify]: Simplify -2 into -2 8.613 * [taylor]: Taking taylor expansion of x in x 8.613 * [backup-simplify]: Simplify 0 into 0 8.613 * [backup-simplify]: Simplify 1 into 1 8.613 * [backup-simplify]: Simplify (* -2 0) into 0 8.614 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 8.614 * [backup-simplify]: Simplify (exp 0) into 1 8.614 * [taylor]: Taking taylor expansion of 1 in x 8.614 * [backup-simplify]: Simplify 1 into 1 8.615 * [backup-simplify]: Simplify (+ 1 1) into 2 8.615 * [backup-simplify]: Simplify (- 1) into -1 8.616 * [backup-simplify]: Simplify (+ 2 -1) into 1 8.616 * [backup-simplify]: Simplify 1 into 1 8.617 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 8.618 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 1) 1)))) into -2 8.618 * [backup-simplify]: Simplify (+ 2 -2) into 0 8.619 * [backup-simplify]: Simplify (- 0) into 0 8.619 * [backup-simplify]: Simplify (+ 0 0) into 0 8.619 * [backup-simplify]: Simplify 0 into 0 8.620 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 8.621 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 8.622 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 1) (* 0 0))) into 0 8.624 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 8.624 * [backup-simplify]: Simplify (+ 2 2) into 4 8.625 * [backup-simplify]: Simplify (- 0) into 0 8.625 * [backup-simplify]: Simplify (+ 4 0) into 4 8.625 * [backup-simplify]: Simplify 4 into 4 8.626 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.629 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 4/3 8.630 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.632 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/3 8.632 * [backup-simplify]: Simplify (+ 4/3 -4/3) into 0 8.633 * [backup-simplify]: Simplify (- 0) into 0 8.633 * [backup-simplify]: Simplify (+ 0 0) into 0 8.633 * [backup-simplify]: Simplify 0 into 0 8.635 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 8.639 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 4) 24)) (* (/ (pow 2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 2/3 8.641 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 8.645 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 4) 24)) (* (/ (pow -2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 2/3 8.645 * [backup-simplify]: Simplify (+ 2/3 2/3) into 4/3 8.645 * [backup-simplify]: Simplify (- 0) into 0 8.646 * [backup-simplify]: Simplify (+ 4/3 0) into 4/3 8.646 * [backup-simplify]: Simplify 4/3 into 4/3 8.646 * [backup-simplify]: Simplify (+ (* 4/3 (pow x 4)) (+ (* 4 (pow x 2)) 1)) into (+ (* 4 (pow x 2)) (+ (* 4/3 (pow x 4)) 1)) 8.646 * [backup-simplify]: Simplify (+ (exp (* (/ 1 x) -2)) (+ -1 (exp (+ (/ 1 x) (/ 1 x))))) into (- (+ (exp (* 2 (/ 1 x))) (exp (/ -2 x))) 1) 8.646 * [approximate]: Taking taylor expansion of (- (+ (exp (* 2 (/ 1 x))) (exp (/ -2 x))) 1) in (x) around 0 8.646 * [taylor]: Taking taylor expansion of (- (+ (exp (* 2 (/ 1 x))) (exp (/ -2 x))) 1) in x 8.646 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 8.646 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 8.646 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.646 * [taylor]: Taking taylor expansion of 2 in x 8.646 * [backup-simplify]: Simplify 2 into 2 8.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.646 * [taylor]: Taking taylor expansion of x in x 8.646 * [backup-simplify]: Simplify 0 into 0 8.646 * [backup-simplify]: Simplify 1 into 1 8.647 * [backup-simplify]: Simplify (/ 1 1) into 1 8.647 * [backup-simplify]: Simplify (* 2 1) into 2 8.647 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 8.647 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 8.647 * [taylor]: Taking taylor expansion of (/ -2 x) in x 8.647 * [taylor]: Taking taylor expansion of -2 in x 8.647 * [backup-simplify]: Simplify -2 into -2 8.647 * [taylor]: Taking taylor expansion of x in x 8.647 * [backup-simplify]: Simplify 0 into 0 8.647 * [backup-simplify]: Simplify 1 into 1 8.647 * [backup-simplify]: Simplify (/ -2 1) into -2 8.647 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 8.647 * [taylor]: Taking taylor expansion of 1 in x 8.647 * [backup-simplify]: Simplify 1 into 1 8.648 * [taylor]: Taking taylor expansion of (- (+ (exp (* 2 (/ 1 x))) (exp (/ -2 x))) 1) in x 8.648 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 8.648 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 8.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.648 * [taylor]: Taking taylor expansion of 2 in x 8.648 * [backup-simplify]: Simplify 2 into 2 8.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.648 * [taylor]: Taking taylor expansion of x in x 8.648 * [backup-simplify]: Simplify 0 into 0 8.648 * [backup-simplify]: Simplify 1 into 1 8.648 * [backup-simplify]: Simplify (/ 1 1) into 1 8.648 * [backup-simplify]: Simplify (* 2 1) into 2 8.648 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 8.648 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 8.648 * [taylor]: Taking taylor expansion of (/ -2 x) in x 8.648 * [taylor]: Taking taylor expansion of -2 in x 8.648 * [backup-simplify]: Simplify -2 into -2 8.648 * [taylor]: Taking taylor expansion of x in x 8.648 * [backup-simplify]: Simplify 0 into 0 8.648 * [backup-simplify]: Simplify 1 into 1 8.649 * [backup-simplify]: Simplify (/ -2 1) into -2 8.649 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 8.649 * [taylor]: Taking taylor expansion of 1 in x 8.649 * [backup-simplify]: Simplify 1 into 1 8.649 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) (exp (/ -2 x))) into (+ (exp (/ 2 x)) (exp (/ -2 x))) 8.649 * [backup-simplify]: Simplify (- 1) into -1 8.649 * [backup-simplify]: Simplify (+ (+ (exp (/ 2 x)) (exp (/ -2 x))) -1) into (- (+ (exp (/ 2 x)) (exp (/ -2 x))) 1) 8.649 * [backup-simplify]: Simplify (- (+ (exp (/ 2 x)) (exp (/ -2 x))) 1) into (- (+ (exp (/ 2 x)) (exp (/ -2 x))) 1) 8.650 * [backup-simplify]: Simplify (+ 0 0) into 0 8.650 * [backup-simplify]: Simplify (- 0) into 0 8.650 * [backup-simplify]: Simplify (+ 0 0) into 0 8.650 * [backup-simplify]: Simplify 0 into 0 8.650 * [backup-simplify]: Simplify (+ 0 0) into 0 8.650 * [backup-simplify]: Simplify (- 0) into 0 8.651 * [backup-simplify]: Simplify (+ 0 0) into 0 8.651 * [backup-simplify]: Simplify 0 into 0 8.651 * [backup-simplify]: Simplify (+ 0 0) into 0 8.651 * [backup-simplify]: Simplify (- 0) into 0 8.651 * [backup-simplify]: Simplify (+ 0 0) into 0 8.651 * [backup-simplify]: Simplify 0 into 0 8.652 * [backup-simplify]: Simplify (+ 0 0) into 0 8.652 * [backup-simplify]: Simplify (- 0) into 0 8.652 * [backup-simplify]: Simplify (+ 0 0) into 0 8.652 * [backup-simplify]: Simplify 0 into 0 8.652 * [backup-simplify]: Simplify (+ 0 0) into 0 8.653 * [backup-simplify]: Simplify (- 0) into 0 8.653 * [backup-simplify]: Simplify (+ 0 0) into 0 8.653 * [backup-simplify]: Simplify 0 into 0 8.653 * [backup-simplify]: Simplify (+ 0 0) into 0 8.653 * [backup-simplify]: Simplify (- 0) into 0 8.653 * [backup-simplify]: Simplify (+ 0 0) into 0 8.653 * [backup-simplify]: Simplify 0 into 0 8.654 * [backup-simplify]: Simplify (- (+ (exp (/ 2 (/ 1 x))) (exp (/ -2 (/ 1 x)))) 1) into (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) 8.654 * [backup-simplify]: Simplify (+ (exp (* (/ 1 (- x)) -2)) (+ -1 (exp (+ (/ 1 (- x)) (/ 1 (- x)))))) into (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) 8.654 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) in (x) around 0 8.654 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) in x 8.654 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) in x 8.654 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 8.654 * [taylor]: Taking taylor expansion of (/ 2 x) in x 8.654 * [taylor]: Taking taylor expansion of 2 in x 8.654 * [backup-simplify]: Simplify 2 into 2 8.654 * [taylor]: Taking taylor expansion of x in x 8.654 * [backup-simplify]: Simplify 0 into 0 8.654 * [backup-simplify]: Simplify 1 into 1 8.654 * [backup-simplify]: Simplify (/ 2 1) into 2 8.654 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 8.654 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 8.654 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 8.654 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.654 * [taylor]: Taking taylor expansion of 2 in x 8.654 * [backup-simplify]: Simplify 2 into 2 8.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.654 * [taylor]: Taking taylor expansion of x in x 8.654 * [backup-simplify]: Simplify 0 into 0 8.654 * [backup-simplify]: Simplify 1 into 1 8.655 * [backup-simplify]: Simplify (/ 1 1) into 1 8.655 * [backup-simplify]: Simplify (* 2 1) into 2 8.655 * [backup-simplify]: Simplify (- 2) into -2 8.655 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 8.655 * [taylor]: Taking taylor expansion of 1 in x 8.655 * [backup-simplify]: Simplify 1 into 1 8.655 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) in x 8.655 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) in x 8.655 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 8.655 * [taylor]: Taking taylor expansion of (/ 2 x) in x 8.655 * [taylor]: Taking taylor expansion of 2 in x 8.655 * [backup-simplify]: Simplify 2 into 2 8.655 * [taylor]: Taking taylor expansion of x in x 8.655 * [backup-simplify]: Simplify 0 into 0 8.656 * [backup-simplify]: Simplify 1 into 1 8.656 * [backup-simplify]: Simplify (/ 2 1) into 2 8.656 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 8.656 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 8.656 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 8.656 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 8.656 * [taylor]: Taking taylor expansion of 2 in x 8.656 * [backup-simplify]: Simplify 2 into 2 8.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.656 * [taylor]: Taking taylor expansion of x in x 8.656 * [backup-simplify]: Simplify 0 into 0 8.656 * [backup-simplify]: Simplify 1 into 1 8.656 * [backup-simplify]: Simplify (/ 1 1) into 1 8.656 * [backup-simplify]: Simplify (* 2 1) into 2 8.657 * [backup-simplify]: Simplify (- 2) into -2 8.657 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 8.657 * [taylor]: Taking taylor expansion of 1 in x 8.657 * [backup-simplify]: Simplify 1 into 1 8.657 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) into (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 8.657 * [backup-simplify]: Simplify (- 1) into -1 8.657 * [backup-simplify]: Simplify (+ (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) -1) into (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) 8.658 * [backup-simplify]: Simplify (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) into (- (+ (exp (/ 2 x)) (exp (- (* 2 (/ 1 x))))) 1) 8.658 * [backup-simplify]: Simplify (+ 0 0) into 0 8.658 * [backup-simplify]: Simplify (- 0) into 0 8.658 * [backup-simplify]: Simplify (+ 0 0) into 0 8.658 * [backup-simplify]: Simplify 0 into 0 8.658 * [backup-simplify]: Simplify (+ 0 0) into 0 8.659 * [backup-simplify]: Simplify (- 0) into 0 8.659 * [backup-simplify]: Simplify (+ 0 0) into 0 8.659 * [backup-simplify]: Simplify 0 into 0 8.659 * [backup-simplify]: Simplify (+ 0 0) into 0 8.659 * [backup-simplify]: Simplify (- 0) into 0 8.660 * [backup-simplify]: Simplify (+ 0 0) into 0 8.660 * [backup-simplify]: Simplify 0 into 0 8.660 * [backup-simplify]: Simplify (+ 0 0) into 0 8.660 * [backup-simplify]: Simplify (- 0) into 0 8.660 * [backup-simplify]: Simplify (+ 0 0) into 0 8.660 * [backup-simplify]: Simplify 0 into 0 8.661 * [backup-simplify]: Simplify (+ 0 0) into 0 8.661 * [backup-simplify]: Simplify (- 0) into 0 8.661 * [backup-simplify]: Simplify (+ 0 0) into 0 8.661 * [backup-simplify]: Simplify 0 into 0 8.661 * [backup-simplify]: Simplify (+ 0 0) into 0 8.662 * [backup-simplify]: Simplify (- 0) into 0 8.662 * [backup-simplify]: Simplify (+ 0 0) into 0 8.662 * [backup-simplify]: Simplify 0 into 0 8.662 * [backup-simplify]: Simplify (- (+ (exp (/ 2 (/ 1 (- x)))) (exp (- (* 2 (/ 1 (/ 1 (- x))))))) 1) into (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) 8.662 * * * [progress]: simplifying candidates 8.663 * [simplify]: Simplifying: (* (exp -1) (exp (exp (+ x x)))) (log (+ -1 (exp (+ x x)))) (exp (+ -1 (exp (+ x x)))) (* (cbrt (+ -1 (exp (+ x x)))) (cbrt (+ -1 (exp (+ x x))))) (cbrt (+ -1 (exp (+ x x)))) (* (* (+ -1 (exp (+ x x))) (+ -1 (exp (+ x x)))) (+ -1 (exp (+ x x)))) (sqrt (+ -1 (exp (+ x x)))) (sqrt (+ -1 (exp (+ x x)))) (+ (pow -1 3) (pow (exp (+ x x)) 3)) (+ (* -1 -1) (- (* (exp (+ x x)) (exp (+ x x))) (* -1 (exp (+ x x))))) (- (* -1 -1) (* (exp (+ x x)) (exp (+ x x)))) (- -1 (exp (+ x x))) (+ -1 (exp (+ x x))) (* x 3) (* (log (exp x)) 3) (* 1 3) (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (pow (exp x) 1) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (log (pow (exp x) 3)) (exp (pow (exp x) 3)) (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3)) (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3)) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (exp x) (log (exp (* x -3))) (exp (exp (* x -3))) (* (cbrt (exp (* x -3))) (cbrt (exp (* x -3)))) (cbrt (exp (* x -3))) (* (* (exp (* x -3)) (exp (* x -3))) (exp (* x -3))) (sqrt (exp (* x -3))) (sqrt (exp (* x -3))) (* (exp (exp (* x -2))) (* (exp -1) (exp (exp (+ x x))))) (* (exp (exp (* x -2))) (exp (+ -1 (exp (+ x x))))) (log (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (exp (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (* (cbrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (cbrt (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))) (cbrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (* (* (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (+ (pow (exp (* x -2)) 3) (pow (+ -1 (exp (+ x x))) 3)) (+ (* (exp (* x -2)) (exp (* x -2))) (- (* (+ -1 (exp (+ x x))) (+ -1 (exp (+ x x)))) (* (exp (* x -2)) (+ -1 (exp (+ x x)))))) (- (* (exp (* x -2)) (exp (* x -2))) (* (+ -1 (exp (+ x x))) (+ -1 (exp (+ x x))))) (- (exp (* x -2)) (+ -1 (exp (+ x x)))) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (+ (exp (* x -2)) -1) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1) (- (exp (* 2 x)) 1) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) (- (+ (* 9/2 (pow x 2)) 1) (* 3 x)) (exp (* -3 x)) (exp (* -3 x)) (+ (* 4 (pow x 2)) (+ (* 4/3 (pow x 4)) 1)) (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) 8.665 * * [simplify]: Extracting # 0 : cost 0 8.665 * * [simplify]: Extracting # 1 : cost 0 8.665 * * [simplify]: Extracting # 2 : cost 0 8.665 * * [simplify]: Extracting # 3 : cost 0 8.666 * * [simplify]: Extracting # 4 : cost 0 8.666 * * [simplify]: Extracting # 5 : cost 0 8.666 * * [simplify]: Extracting # 6 : cost 0 8.666 * * [simplify]: Extracting # 7 : cost 0 8.666 * * [simplify]: Extracting # 8 : cost 0 8.666 * * [simplify]: iteration 0 : 124 enodes (cost 717 ) 8.752 * * [simplify]: Extracting # 0 : cost 0 8.753 * * [simplify]: Extracting # 1 : cost 0 8.753 * * [simplify]: Extracting # 2 : cost 0 8.754 * * [simplify]: Extracting # 3 : cost 0 8.755 * * [simplify]: Extracting # 4 : cost 0 8.755 * * [simplify]: iteration 1 : 311 enodes (cost 628 ) 8.980 * * [simplify]: Extracting # 0 : cost 0 8.982 * * [simplify]: Extracting # 1 : cost 0 8.984 * * [simplify]: Extracting # 2 : cost 0 8.986 * * [simplify]: Extracting # 3 : cost 0 8.989 * * [simplify]: Extracting # 4 : cost 0 8.991 * * [simplify]: Extracting # 5 : cost 0 8.993 * * [simplify]: iteration 2 : 978 enodes (cost 580 ) 9.813 * * [simplify]: Extracting # 0 : cost 0 9.825 * * [simplify]: Extracting # 1 : cost 0 9.850 * * [simplify]: Extracting # 2 : cost 0 9.863 * * [simplify]: Extracting # 3 : cost 0 9.875 * * [simplify]: Extracting # 4 : cost 0 9.887 * * [simplify]: Extracting # 5 : cost 0 9.899 * * [simplify]: iteration done: 5000 enodes (cost 574 ) 9.900 * [simplify]: Simplified to: (exp (+ -1 (exp (+ x x)))) (log (+ -1 (exp (+ x x)))) (exp (+ -1 (exp (+ x x)))) (* (cbrt (+ -1 (exp (+ x x)))) (cbrt (+ -1 (exp (+ x x))))) (cbrt (+ -1 (exp (+ x x)))) (pow (- (exp (* 2 x)) 1) 3) (sqrt (+ -1 (exp (+ x x)))) (sqrt (+ -1 (exp (+ x x)))) (+ (pow (exp x) 6) -1) (+ (exp (* x 4)) (- (exp (* 2 x)) -1)) (- 1 (exp (* x 4))) (- -1 (exp (+ x x))) (- (pow (exp x) 2) 1) (* 3 x) (* 3 x) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* 3 x) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (* 3 x) (exp (pow (exp x) 3)) (pow (exp x) 2) (exp x) (pow (pow (exp x) 3) 3) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (exp x) (* -3 x) (exp (exp (* x -3))) (* (cbrt (exp (* x -3))) (cbrt (exp (* x -3)))) (cbrt (exp (* x -3))) (pow (exp (* -3 x)) 3) (sqrt (exp (* x -3))) (sqrt (exp (* x -3))) (exp (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (exp (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (log (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (exp (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (* (cbrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (cbrt (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))) (cbrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (pow (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) 3) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (+ (pow (exp (* x -2)) 3) (pow (+ -1 (exp (+ x x))) 3)) (+ (* (+ -1 (exp (+ x x))) (- (+ -1 (exp (+ x x))) (exp (* -2 x)))) (exp (* x -4))) (- (exp (* x -4)) (* (+ -1 (exp (+ x x))) (+ -1 (exp (+ x x))))) (- (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) (- (exp (* -2 x)) 1) (+ (* 2 x) (* (pow x 2) (+ 2 (* 4/3 x)))) (- (pow (exp x) 2) 1) (- (pow (exp x) 2) 1) (+ (* x (+ 3 (* x 9/2))) 1) (pow (exp x) 3) (pow (exp x) 3) (+ 1 (* x (+ (* 9/2 x) -3))) (exp (* -3 x)) (exp (* -3 x)) (+ (* 4 (pow x 2)) (+ (* 4/3 (pow x 4)) 1)) (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) (- (+ (exp (* 2 x)) (exp (* -2 x))) 1) 9.901 * * * [progress]: adding candidates to table 10.357 * [progress]: [Phase 3 of 3] Extracting. 10.357 * * [regime]: Finding splitpoints for: (# #) 10.359 * * * [regime-changes]: Trying 2 branch expressions: (y x) 10.359 * * * * [regimes]: Trying to branch on y from (# #) 10.395 * * * * [regimes]: Trying to branch on x from (# #) 10.426 * * * [regime]: Found split indices: #