20.372 * [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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.007 * * * * [points]: Setting MPFR precision to 64 0.008 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.012 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [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.018 * * * * [points]: Setting MPFR precision to 320 0.020 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.022 * * * * [points]: Setting MPFR precision to 64 0.025 * * * * [points]: Setting MPFR precision to 320 0.028 * * * * [points]: Computing exacts for 256 points 0.030 * * * * [points]: Setting MPFR precision to 64 0.038 * * * * [points]: Setting MPFR precision to 320 0.052 * * * * [points]: Filtering points with unrepresentable outputs 0.053 * * * * [points]: Sampling 116 additional inputs, on iter 1 have 140 / 256 0.054 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision 0.057 * * * * [points]: Setting MPFR precision to 64 0.057 * * * * [points]: Setting MPFR precision to 320 0.058 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision 0.060 * * * * [points]: Setting MPFR precision to 64 0.061 * * * * [points]: Setting MPFR precision to 320 0.062 * * * * [points]: Computing exacts for 116 points 0.064 * * * * [points]: Setting MPFR precision to 64 0.068 * * * * [points]: Setting MPFR precision to 320 0.072 * * * * [points]: Filtering points with unrepresentable outputs 0.072 * * * * [points]: Sampling 58 additional inputs, on iter 2 have 198 / 256 0.073 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Computing exacts for 58 points 0.079 * * * * [points]: Setting MPFR precision to 64 0.081 * * * * [points]: Setting MPFR precision to 320 0.083 * * * * [points]: Filtering points with unrepresentable outputs 0.083 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 0.083 * * * * [points]: Computing exacts for 31 points 0.085 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.088 * * * * [points]: Filtering points with unrepresentable outputs 0.088 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256 0.088 * * * * [points]: Computing exacts for 12 points 0.090 * * * * [points]: Setting MPFR precision to 64 0.091 * * * * [points]: Setting MPFR precision to 320 0.091 * * * * [points]: Filtering points with unrepresentable outputs 0.091 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256 0.091 * * * * [points]: Computing exacts for 10 points 0.093 * * * * [points]: Setting MPFR precision to 64 0.094 * * * * [points]: Setting MPFR precision to 320 0.094 * * * * [points]: Filtering points with unrepresentable outputs 0.094 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256 0.094 * * * * [points]: Computing exacts for 5 points 0.096 * * * * [points]: Setting MPFR precision to 64 0.097 * * * * [points]: Setting MPFR precision to 320 0.097 * * * * [points]: Filtering points with unrepresentable outputs 0.097 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.097 * * * * [points]: Computing exacts for 4 points 0.099 * * * * [points]: Setting MPFR precision to 64 0.099 * * * * [points]: Setting MPFR precision to 320 0.100 * * * * [points]: Filtering points with unrepresentable outputs 0.100 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 0.100 * * * * [points]: Computing exacts for 4 points 0.102 * * * * [points]: Setting MPFR precision to 64 0.102 * * * * [points]: Setting MPFR precision to 320 0.102 * * * * [points]: Filtering points with unrepresentable outputs 0.102 * * * * [points]: Sampled 256 points with exact outputs 0.103 * * * [progress]: [2/2] Setting up program. 0.106 * [progress]: [Phase 2 of 3] Improving. 0.106 * [simplify]: Simplifying: (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: Extracting # 3 : cost 0 0.106 * * [simplify]: Extracting # 4 : cost 0 0.106 * * [simplify]: Extracting # 5 : cost 0 0.106 * * [simplify]: Extracting # 6 : cost 0 0.106 * * [simplify]: Extracting # 7 : cost 0 0.106 * * [simplify]: Extracting # 8 : cost 0 0.106 * * [simplify]: Extracting # 9 : cost 0 0.106 * * [simplify]: Extracting # 10 : cost 0 0.106 * * [simplify]: iteration 0 : 16 enodes (cost 24 ) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.109 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 0.114 * * [simplify]: Extracting # 1 : cost 0 0.114 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.121 * * [simplify]: Extracting # 0 : cost 0 0.121 * * [simplify]: Extracting # 1 : cost 0 0.122 * * [simplify]: Extracting # 2 : cost 0 0.122 * * [simplify]: iteration 3 : 83 enodes (cost 11 ) 0.140 * * [simplify]: Extracting # 0 : cost 0 0.140 * * [simplify]: Extracting # 1 : cost 0 0.140 * * [simplify]: Extracting # 2 : cost 0 0.141 * * [simplify]: iteration 4 : 127 enodes (cost 11 ) 0.163 * * [simplify]: Extracting # 0 : cost 0 0.163 * * [simplify]: Extracting # 1 : cost 0 0.163 * * [simplify]: Extracting # 2 : cost 0 0.164 * * [simplify]: iteration 5 : 200 enodes (cost 11 ) 0.222 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.223 * * [simplify]: Extracting # 2 : cost 0 0.223 * * [simplify]: iteration 6 : 373 enodes (cost 11 ) 0.344 * * [simplify]: Extracting # 0 : cost 0 0.344 * * [simplify]: Extracting # 1 : cost 0 0.345 * * [simplify]: Extracting # 2 : cost 0 0.345 * * [simplify]: iteration 7 : 614 enodes (cost 11 ) 0.729 * * [simplify]: Extracting # 0 : cost 0 0.730 * * [simplify]: Extracting # 1 : cost 0 0.730 * * [simplify]: Extracting # 2 : cost 0 0.734 * * [simplify]: iteration 8 : 1106 enodes (cost 11 ) 1.305 * * [simplify]: Extracting # 0 : cost 0 1.307 * * [simplify]: Extracting # 1 : cost 0 1.307 * * [simplify]: Extracting # 2 : cost 0 1.308 * * [simplify]: iteration 9 : 1516 enodes (cost 11 ) 2.054 * * [simplify]: Extracting # 0 : cost 0 2.055 * * [simplify]: Extracting # 1 : cost 0 2.056 * * [simplify]: Extracting # 2 : cost 0 2.056 * * [simplify]: iteration 10 : 1847 enodes (cost 11 ) 2.764 * * [simplify]: Extracting # 0 : cost 0 2.765 * * [simplify]: Extracting # 1 : cost 0 2.765 * * [simplify]: Extracting # 2 : cost 0 2.766 * * [simplify]: iteration 11 : 1933 enodes (cost 11 ) 3.493 * * [simplify]: Extracting # 0 : cost 0 3.493 * * [simplify]: Extracting # 1 : cost 0 3.494 * * [simplify]: iteration 12 : 1953 enodes (cost 11 ) 4.206 * * [simplify]: Extracting # 0 : cost 0 4.206 * * [simplify]: iteration done: 1953 enodes (cost 11 ) 4.206 * [simplify]: Simplified to: (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 4.209 * * [progress]: iteration 1 / 4 4.209 * * * [progress]: picking best candidate 4.211 * * * * [pick]: Picked # 4.212 * * * [progress]: localizing error 4.223 * * * [progress]: generating rewritten candidates 4.223 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 4.240 * * * [progress]: generating series expansions 4.240 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 4.240 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x))) 4.240 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 4.241 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.241 * [taylor]: Taking taylor expansion of (exp x) in x 4.241 * [taylor]: Taking taylor expansion of x in x 4.241 * [backup-simplify]: Simplify 0 into 0 4.241 * [backup-simplify]: Simplify 1 into 1 4.241 * [backup-simplify]: Simplify (exp 0) into 1 4.241 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.241 * [taylor]: Taking taylor expansion of (- x) in x 4.241 * [taylor]: Taking taylor expansion of x in x 4.241 * [backup-simplify]: Simplify 0 into 0 4.241 * [backup-simplify]: Simplify 1 into 1 4.241 * [backup-simplify]: Simplify (- 0) into 0 4.241 * [backup-simplify]: Simplify (- 1) into -1 4.242 * [backup-simplify]: Simplify (exp 0) into 1 4.242 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.242 * [taylor]: Taking taylor expansion of (exp x) in x 4.242 * [taylor]: Taking taylor expansion of x in x 4.242 * [backup-simplify]: Simplify 0 into 0 4.242 * [backup-simplify]: Simplify 1 into 1 4.242 * [backup-simplify]: Simplify (exp 0) into 1 4.242 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.242 * [taylor]: Taking taylor expansion of (- x) in x 4.242 * [taylor]: Taking taylor expansion of x in x 4.242 * [backup-simplify]: Simplify 0 into 0 4.242 * [backup-simplify]: Simplify 1 into 1 4.242 * [backup-simplify]: Simplify (- 0) into 0 4.242 * [backup-simplify]: Simplify (- 1) into -1 4.242 * [backup-simplify]: Simplify (exp 0) into 1 4.243 * [backup-simplify]: Simplify (+ 1 1) into 2 4.243 * [backup-simplify]: Simplify 2 into 2 4.244 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.244 * [backup-simplify]: Simplify (- 1) into -1 4.245 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.245 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.245 * [backup-simplify]: Simplify 0 into 0 4.246 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.246 * [backup-simplify]: Simplify (- 1) into -1 4.246 * [backup-simplify]: Simplify (- 0) into 0 4.247 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.247 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.247 * [backup-simplify]: Simplify 1 into 1 4.249 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.249 * [backup-simplify]: Simplify (- 1) into -1 4.250 * [backup-simplify]: Simplify (- 1) into -1 4.250 * [backup-simplify]: Simplify (- 0) into 0 4.250 * [backup-simplify]: Simplify (- 0) into 0 4.251 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.252 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.252 * [backup-simplify]: Simplify 0 into 0 4.254 * [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 4.254 * [backup-simplify]: Simplify (- 1) into -1 4.254 * [backup-simplify]: Simplify (- 1) into -1 4.254 * [backup-simplify]: Simplify (- 0) into 0 4.255 * [backup-simplify]: Simplify (- 1) into -1 4.255 * [backup-simplify]: Simplify (- 0) into 0 4.255 * [backup-simplify]: Simplify (- 0) into 0 4.255 * [backup-simplify]: Simplify (- 0) into 0 4.257 * [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 4.258 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.258 * [backup-simplify]: Simplify 1/12 into 1/12 4.258 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 4.258 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 4.258 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 4.258 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.258 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.258 * [backup-simplify]: Simplify 0 into 0 4.258 * [backup-simplify]: Simplify 1 into 1 4.259 * [backup-simplify]: Simplify (/ 1 1) into 1 4.259 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.259 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.259 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.259 * [taylor]: Taking taylor expansion of x in x 4.259 * [backup-simplify]: Simplify 0 into 0 4.259 * [backup-simplify]: Simplify 1 into 1 4.259 * [backup-simplify]: Simplify (/ 1 1) into 1 4.259 * [backup-simplify]: Simplify (- 1) into -1 4.259 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 4.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.259 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.259 * [taylor]: Taking taylor expansion of x in x 4.259 * [backup-simplify]: Simplify 0 into 0 4.259 * [backup-simplify]: Simplify 1 into 1 4.260 * [backup-simplify]: Simplify (/ 1 1) into 1 4.260 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.260 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.260 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.260 * [taylor]: Taking taylor expansion of x in x 4.260 * [backup-simplify]: Simplify 0 into 0 4.260 * [backup-simplify]: Simplify 1 into 1 4.260 * [backup-simplify]: Simplify (/ 1 1) into 1 4.260 * [backup-simplify]: Simplify (- 1) into -1 4.260 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 4.260 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 4.261 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 4.261 * [backup-simplify]: Simplify (+ 0 0) into 0 4.261 * [backup-simplify]: Simplify 0 into 0 4.261 * [backup-simplify]: Simplify (+ 0 0) into 0 4.261 * [backup-simplify]: Simplify 0 into 0 4.261 * [backup-simplify]: Simplify (+ 0 0) into 0 4.261 * [backup-simplify]: Simplify 0 into 0 4.262 * [backup-simplify]: Simplify (+ 0 0) into 0 4.262 * [backup-simplify]: Simplify 0 into 0 4.262 * [backup-simplify]: Simplify (+ 0 0) into 0 4.262 * [backup-simplify]: Simplify 0 into 0 4.262 * [backup-simplify]: Simplify (+ 0 0) into 0 4.262 * [backup-simplify]: Simplify 0 into 0 4.262 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x))) 4.262 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 4.262 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 4.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 4.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.262 * [taylor]: Taking taylor expansion of x in x 4.262 * [backup-simplify]: Simplify 0 into 0 4.262 * [backup-simplify]: Simplify 1 into 1 4.263 * [backup-simplify]: Simplify (/ 1 1) into 1 4.263 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.263 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.263 * [taylor]: Taking taylor expansion of -1 in x 4.263 * [backup-simplify]: Simplify -1 into -1 4.263 * [taylor]: Taking taylor expansion of x in x 4.263 * [backup-simplify]: Simplify 0 into 0 4.263 * [backup-simplify]: Simplify 1 into 1 4.263 * [backup-simplify]: Simplify (/ -1 1) into -1 4.263 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 4.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.263 * [taylor]: Taking taylor expansion of x in x 4.263 * [backup-simplify]: Simplify 0 into 0 4.263 * [backup-simplify]: Simplify 1 into 1 4.264 * [backup-simplify]: Simplify (/ 1 1) into 1 4.264 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.264 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.264 * [taylor]: Taking taylor expansion of -1 in x 4.264 * [backup-simplify]: Simplify -1 into -1 4.264 * [taylor]: Taking taylor expansion of x in x 4.264 * [backup-simplify]: Simplify 0 into 0 4.264 * [backup-simplify]: Simplify 1 into 1 4.264 * [backup-simplify]: Simplify (/ -1 1) into -1 4.264 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.264 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 4.264 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 4.264 * [backup-simplify]: Simplify (+ 0 0) into 0 4.264 * [backup-simplify]: Simplify 0 into 0 4.265 * [backup-simplify]: Simplify (+ 0 0) into 0 4.265 * [backup-simplify]: Simplify 0 into 0 4.265 * [backup-simplify]: Simplify (+ 0 0) into 0 4.265 * [backup-simplify]: Simplify 0 into 0 4.265 * [backup-simplify]: Simplify (+ 0 0) into 0 4.265 * [backup-simplify]: Simplify 0 into 0 4.265 * [backup-simplify]: Simplify (+ 0 0) into 0 4.265 * [backup-simplify]: Simplify 0 into 0 4.266 * [backup-simplify]: Simplify (+ 0 0) into 0 4.266 * [backup-simplify]: Simplify 0 into 0 4.266 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x)) 4.266 * * * [progress]: simplifying candidates 4.266 * [simplify]: Simplifying: (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 4.267 * * [simplify]: Extracting # 0 : cost 0 4.267 * * [simplify]: Extracting # 1 : cost 0 4.267 * * [simplify]: Extracting # 2 : cost 0 4.267 * * [simplify]: Extracting # 3 : cost 0 4.267 * * [simplify]: Extracting # 4 : cost 0 4.267 * * [simplify]: Extracting # 5 : cost 0 4.267 * * [simplify]: Extracting # 6 : cost 0 4.267 * * [simplify]: iteration 0 : 40 enodes (cost 171 ) 4.276 * * [simplify]: Extracting # 0 : cost 0 4.276 * * [simplify]: Extracting # 1 : cost 0 4.276 * * [simplify]: Extracting # 2 : cost 0 4.277 * * [simplify]: Extracting # 3 : cost 0 4.277 * * [simplify]: Extracting # 4 : cost 0 4.277 * * [simplify]: iteration 1 : 105 enodes (cost 161 ) 4.308 * * [simplify]: Extracting # 0 : cost 0 4.308 * * [simplify]: Extracting # 1 : cost 0 4.308 * * [simplify]: Extracting # 2 : cost 0 4.308 * * [simplify]: Extracting # 3 : cost 0 4.309 * * [simplify]: Extracting # 4 : cost 0 4.309 * * [simplify]: Extracting # 5 : cost 0 4.309 * * [simplify]: iteration 2 : 277 enodes (cost 142 ) 4.392 * * [simplify]: Extracting # 0 : cost 0 4.392 * * [simplify]: Extracting # 1 : cost 0 4.393 * * [simplify]: Extracting # 2 : cost 0 4.394 * * [simplify]: Extracting # 3 : cost 0 4.394 * * [simplify]: Extracting # 4 : cost 0 4.395 * * [simplify]: iteration 3 : 617 enodes (cost 139 ) 5.184 * * [simplify]: Extracting # 0 : cost 0 5.186 * * [simplify]: Extracting # 1 : cost 0 5.188 * * [simplify]: Extracting # 2 : cost 0 5.190 * * [simplify]: Extracting # 3 : cost 0 5.192 * * [simplify]: Extracting # 4 : cost 0 5.194 * * [simplify]: iteration 4 : 2663 enodes (cost 139 ) 6.189 * * [simplify]: Extracting # 0 : cost 0 6.194 * * [simplify]: Extracting # 1 : cost 0 6.198 * * [simplify]: Extracting # 2 : cost 0 6.203 * * [simplify]: iteration done: 5000 enodes (cost 139 ) 6.203 * [simplify]: Simplified to: (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp (- x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (exp (* x -3))) (+ (exp (+ x x)) (expm1 (* x -2))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)) 6.203 * * * [progress]: adding candidates to table 6.260 * * [progress]: iteration 2 / 4 6.260 * * * [progress]: picking best candidate 6.265 * * * * [pick]: Picked # 6.265 * * * [progress]: localizing error 6.288 * * * [progress]: generating rewritten candidates 6.288 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 6.292 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 6.314 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2 2) 6.316 * * * [progress]: generating series expansions 6.316 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 6.316 * [backup-simplify]: Simplify (pow (exp x) 3) into (pow (exp x) 3) 6.316 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 6.316 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.316 * [taylor]: Taking taylor expansion of (exp x) in x 6.316 * [taylor]: Taking taylor expansion of x in x 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [backup-simplify]: Simplify (exp 0) into 1 6.316 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.316 * [taylor]: Taking taylor expansion of (exp x) in x 6.316 * [taylor]: Taking taylor expansion of x in x 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [backup-simplify]: Simplify (exp 0) into 1 6.317 * [backup-simplify]: Simplify (* 1 1) into 1 6.317 * [backup-simplify]: Simplify (* 1 1) into 1 6.317 * [backup-simplify]: Simplify 1 into 1 6.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.318 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 6.318 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3 6.318 * [backup-simplify]: Simplify 3 into 3 6.319 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.320 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 6.320 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2 6.320 * [backup-simplify]: Simplify 9/2 into 9/2 6.320 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) 6.320 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3) 6.320 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 6.320 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.320 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.320 * [taylor]: Taking taylor expansion of x in x 6.320 * [backup-simplify]: Simplify 0 into 0 6.320 * [backup-simplify]: Simplify 1 into 1 6.321 * [backup-simplify]: Simplify (/ 1 1) into 1 6.321 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.321 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.321 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.321 * [taylor]: Taking taylor expansion of x in x 6.321 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify 1 into 1 6.321 * [backup-simplify]: Simplify (/ 1 1) into 1 6.321 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.321 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 6.321 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3) 6.322 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3) 6.322 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 6.322 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0 6.322 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 6.323 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0 6.323 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 6.324 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0 6.324 * [backup-simplify]: Simplify 0 into 0 6.325 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 6.326 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0 6.326 * [backup-simplify]: Simplify 0 into 0 6.327 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 6.328 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0 6.328 * [backup-simplify]: Simplify 0 into 0 6.329 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 6.330 * [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 6.330 * [backup-simplify]: Simplify 0 into 0 6.330 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3) 6.330 * [backup-simplify]: Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3) 6.330 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 6.330 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.330 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.330 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.330 * [taylor]: Taking taylor expansion of -1 in x 6.330 * [backup-simplify]: Simplify -1 into -1 6.330 * [taylor]: Taking taylor expansion of x in x 6.330 * [backup-simplify]: Simplify 0 into 0 6.330 * [backup-simplify]: Simplify 1 into 1 6.331 * [backup-simplify]: Simplify (/ -1 1) into -1 6.331 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.331 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.331 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.331 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.331 * [taylor]: Taking taylor expansion of -1 in x 6.331 * [backup-simplify]: Simplify -1 into -1 6.331 * [taylor]: Taking taylor expansion of x in x 6.331 * [backup-simplify]: Simplify 0 into 0 6.331 * [backup-simplify]: Simplify 1 into 1 6.331 * [backup-simplify]: Simplify (/ -1 1) into -1 6.331 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.331 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 6.331 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3) 6.332 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3) 6.332 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 6.332 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0 6.332 * [backup-simplify]: Simplify 0 into 0 6.332 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 6.333 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0 6.333 * [backup-simplify]: Simplify 0 into 0 6.333 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 6.334 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0 6.334 * [backup-simplify]: Simplify 0 into 0 6.334 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 6.335 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0 6.335 * [backup-simplify]: Simplify 0 into 0 6.336 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 6.337 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0 6.337 * [backup-simplify]: Simplify 0 into 0 6.338 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 6.340 * [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 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3) 6.340 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 6.340 * [backup-simplify]: Simplify (+ (pow (exp x) 3) (exp (* x -3))) into (+ (pow (exp x) 3) (exp (* -3 x))) 6.340 * [approximate]: Taking taylor expansion of (+ (pow (exp x) 3) (exp (* -3 x))) in (x) around 0 6.340 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 3) (exp (* -3 x))) in x 6.340 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.340 * [taylor]: Taking taylor expansion of (exp x) in x 6.340 * [taylor]: Taking taylor expansion of x in x 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [backup-simplify]: Simplify (exp 0) into 1 6.340 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 6.340 * [taylor]: Taking taylor expansion of (* -3 x) in x 6.340 * [taylor]: Taking taylor expansion of -3 in x 6.340 * [backup-simplify]: Simplify -3 into -3 6.340 * [taylor]: Taking taylor expansion of x in x 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [backup-simplify]: Simplify (* -3 0) into 0 6.341 * [backup-simplify]: Simplify (+ (* -3 1) (* 0 0)) into -3 6.341 * [backup-simplify]: Simplify (exp 0) into 1 6.341 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 3) (exp (* -3 x))) in x 6.341 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.341 * [taylor]: Taking taylor expansion of (exp x) in x 6.341 * [taylor]: Taking taylor expansion of x in x 6.341 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify 1 into 1 6.341 * [backup-simplify]: Simplify (exp 0) into 1 6.341 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 6.341 * [taylor]: Taking taylor expansion of (* -3 x) in x 6.341 * [taylor]: Taking taylor expansion of -3 in x 6.341 * [backup-simplify]: Simplify -3 into -3 6.341 * [taylor]: Taking taylor expansion of x in x 6.341 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify 1 into 1 6.341 * [backup-simplify]: Simplify (* -3 0) into 0 6.342 * [backup-simplify]: Simplify (+ (* -3 1) (* 0 0)) into -3 6.342 * [backup-simplify]: Simplify (exp 0) into 1 6.342 * [backup-simplify]: Simplify (* 1 1) into 1 6.342 * [backup-simplify]: Simplify (* 1 1) into 1 6.342 * [backup-simplify]: Simplify (+ 1 1) into 2 6.342 * [backup-simplify]: Simplify 2 into 2 6.346 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.346 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 6.346 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3 6.347 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -3 1) 1)))) into -3 6.347 * [backup-simplify]: Simplify (+ 3 -3) into 0 6.347 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.349 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 6.349 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2 6.350 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 1) (* 0 0))) into 0 6.350 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 6.351 * [backup-simplify]: Simplify (+ 9/2 9/2) into 9 6.351 * [backup-simplify]: Simplify 9 into 9 6.352 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 6.353 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 1 1/2) (+ (* 1/2 1) (* 1/6 1)))) into 4/3 6.353 * [backup-simplify]: Simplify (+ (* 1 4/3) (+ (* 1 2) (+ (* 1/2 2) (* 1/6 1)))) into 9/2 6.354 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -3 3) 6)) (* (/ (pow -3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -9/2 6.355 * [backup-simplify]: Simplify (+ 9/2 -9/2) into 0 6.355 * [backup-simplify]: Simplify 0 into 0 6.357 * [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 6.358 * [backup-simplify]: Simplify (+ (* 1 1/24) (+ (* 1 1/6) (+ (* 1/2 1/2) (+ (* 1/6 1) (* 1/24 1))))) into 2/3 6.359 * [backup-simplify]: Simplify (+ (* 1 2/3) (+ (* 1 4/3) (+ (* 1/2 2) (+ (* 1/6 2) (* 1/24 1))))) into 27/8 6.360 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.362 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -3 4) 24)) (* (/ (pow -3 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 27/8 6.362 * [backup-simplify]: Simplify (+ 27/8 27/8) into 27/4 6.362 * [backup-simplify]: Simplify 27/4 into 27/4 6.363 * [backup-simplify]: Simplify (+ (* 27/4 (pow x 4)) (+ (* 9 (pow x 2)) 2)) into (+ (* 9 (pow x 2)) (+ (* 27/4 (pow x 4)) 2)) 6.363 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 3) (exp (* (/ 1 x) -3))) into (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) 6.363 * [approximate]: Taking taylor expansion of (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) in (x) around 0 6.363 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) in x 6.363 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.363 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.363 * [taylor]: Taking taylor expansion of -3 in x 6.363 * [backup-simplify]: Simplify -3 into -3 6.363 * [taylor]: Taking taylor expansion of x in x 6.363 * [backup-simplify]: Simplify 0 into 0 6.363 * [backup-simplify]: Simplify 1 into 1 6.363 * [backup-simplify]: Simplify (/ -3 1) into -3 6.363 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.363 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.363 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.363 * [taylor]: Taking taylor expansion of x in x 6.363 * [backup-simplify]: Simplify 0 into 0 6.363 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (/ 1 1) into 1 6.364 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.364 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) in x 6.364 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.364 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.364 * [taylor]: Taking taylor expansion of -3 in x 6.364 * [backup-simplify]: Simplify -3 into -3 6.364 * [taylor]: Taking taylor expansion of x in x 6.364 * [backup-simplify]: Simplify 0 into 0 6.364 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (/ -3 1) into -3 6.364 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.364 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.364 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.364 * [taylor]: Taking taylor expansion of x in x 6.364 * [backup-simplify]: Simplify 0 into 0 6.364 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (/ 1 1) into 1 6.364 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.365 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 6.365 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3) 6.365 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) into (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) 6.365 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) into (+ (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) 6.365 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 6.365 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0 6.366 * [backup-simplify]: Simplify (+ 0 0) into 0 6.366 * [backup-simplify]: Simplify 0 into 0 6.366 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 6.366 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0 6.366 * [backup-simplify]: Simplify (+ 0 0) into 0 6.367 * [backup-simplify]: Simplify 0 into 0 6.367 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 6.368 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0 6.368 * [backup-simplify]: Simplify (+ 0 0) into 0 6.368 * [backup-simplify]: Simplify 0 into 0 6.369 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 6.369 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0 6.370 * [backup-simplify]: Simplify (+ 0 0) into 0 6.370 * [backup-simplify]: Simplify 0 into 0 6.371 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 6.372 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0 6.372 * [backup-simplify]: Simplify (+ 0 0) into 0 6.372 * [backup-simplify]: Simplify 0 into 0 6.373 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 6.374 * [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 6.375 * [backup-simplify]: Simplify (+ 0 0) into 0 6.375 * [backup-simplify]: Simplify 0 into 0 6.375 * [backup-simplify]: Simplify (+ (exp (/ -3 (/ 1 x))) (pow (exp (/ 1 (/ 1 x))) 3)) into (+ (pow (exp x) 3) (exp (* -3 x))) 6.375 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 (- x))) 3) (exp (* (/ 1 (- x)) -3))) into (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) 6.375 * [approximate]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in (x) around 0 6.375 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 6.375 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.375 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.375 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.375 * [taylor]: Taking taylor expansion of -1 in x 6.375 * [backup-simplify]: Simplify -1 into -1 6.375 * [taylor]: Taking taylor expansion of x in x 6.375 * [backup-simplify]: Simplify 0 into 0 6.375 * [backup-simplify]: Simplify 1 into 1 6.375 * [backup-simplify]: Simplify (/ -1 1) into -1 6.376 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.376 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.376 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.376 * [taylor]: Taking taylor expansion of 3 in x 6.376 * [backup-simplify]: Simplify 3 into 3 6.376 * [taylor]: Taking taylor expansion of x in x 6.376 * [backup-simplify]: Simplify 0 into 0 6.376 * [backup-simplify]: Simplify 1 into 1 6.376 * [backup-simplify]: Simplify (/ 3 1) into 3 6.376 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.376 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 6.376 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.376 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.376 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.376 * [taylor]: Taking taylor expansion of -1 in x 6.376 * [backup-simplify]: Simplify -1 into -1 6.376 * [taylor]: Taking taylor expansion of x in x 6.376 * [backup-simplify]: Simplify 0 into 0 6.376 * [backup-simplify]: Simplify 1 into 1 6.376 * [backup-simplify]: Simplify (/ -1 1) into -1 6.376 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.376 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.376 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.376 * [taylor]: Taking taylor expansion of 3 in x 6.376 * [backup-simplify]: Simplify 3 into 3 6.377 * [taylor]: Taking taylor expansion of x in x 6.377 * [backup-simplify]: Simplify 0 into 0 6.377 * [backup-simplify]: Simplify 1 into 1 6.377 * [backup-simplify]: Simplify (/ 3 1) into 3 6.377 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.377 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 6.377 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3) 6.377 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) into (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) 6.377 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) into (+ (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) 6.378 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 6.378 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0 6.378 * [backup-simplify]: Simplify (+ 0 0) into 0 6.378 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 6.379 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0 6.379 * [backup-simplify]: Simplify (+ 0 0) into 0 6.379 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 6.380 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0 6.381 * [backup-simplify]: Simplify (+ 0 0) into 0 6.381 * [backup-simplify]: Simplify 0 into 0 6.381 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 6.382 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0 6.382 * [backup-simplify]: Simplify (+ 0 0) into 0 6.382 * [backup-simplify]: Simplify 0 into 0 6.383 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 6.384 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0 6.385 * [backup-simplify]: Simplify (+ 0 0) into 0 6.385 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 6.387 * [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 6.387 * [backup-simplify]: Simplify (+ 0 0) into 0 6.387 * [backup-simplify]: Simplify 0 into 0 6.387 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 (/ 1 (- x)))) 3) (exp (/ 3 (/ 1 (- x))))) into (+ (pow (exp x) 3) (exp (* -3 x))) 6.388 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2 2) 6.388 * [backup-simplify]: Simplify (expm1 (* x -2)) into (expm1 (* -2 x)) 6.388 * [approximate]: Taking taylor expansion of (expm1 (* -2 x)) in (x) around 0 6.388 * [taylor]: Taking taylor expansion of (expm1 (* -2 x)) in x 6.389 * [taylor]: Rewrote expression to (- (exp (* -2 x)) 1) 6.389 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 6.389 * [taylor]: Taking taylor expansion of (* -2 x) in x 6.389 * [taylor]: Taking taylor expansion of -2 in x 6.389 * [backup-simplify]: Simplify -2 into -2 6.389 * [taylor]: Taking taylor expansion of x in x 6.389 * [backup-simplify]: Simplify 0 into 0 6.389 * [backup-simplify]: Simplify 1 into 1 6.389 * [backup-simplify]: Simplify (* -2 0) into 0 6.390 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 6.390 * [backup-simplify]: Simplify (exp 0) into 1 6.390 * [taylor]: Taking taylor expansion of 1 in x 6.390 * [backup-simplify]: Simplify 1 into 1 6.390 * [taylor]: Taking taylor expansion of (expm1 (* -2 x)) in x 6.390 * [taylor]: Rewrote expression to (- (exp (* -2 x)) 1) 6.390 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 6.390 * [taylor]: Taking taylor expansion of (* -2 x) in x 6.390 * [taylor]: Taking taylor expansion of -2 in x 6.390 * [backup-simplify]: Simplify -2 into -2 6.390 * [taylor]: Taking taylor expansion of x in x 6.390 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify 1 into 1 6.390 * [backup-simplify]: Simplify (* -2 0) into 0 6.390 * [backup-simplify]: Simplify (+ (* -2 1) (* 0 0)) into -2 6.390 * [backup-simplify]: Simplify (exp 0) into 1 6.391 * [taylor]: Taking taylor expansion of 1 in x 6.391 * [backup-simplify]: Simplify 1 into 1 6.391 * [backup-simplify]: Simplify (- 1) into -1 6.391 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.391 * [backup-simplify]: Simplify 0 into 0 6.392 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 1) 1)))) into -2 6.392 * [backup-simplify]: Simplify (- 0) into 0 6.392 * [backup-simplify]: Simplify (+ -2 0) into -2 6.392 * [backup-simplify]: Simplify -2 into -2 6.393 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 1) (* 0 0))) into 0 6.394 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 6.394 * [backup-simplify]: Simplify (- 0) into 0 6.394 * [backup-simplify]: Simplify (+ 2 0) into 2 6.394 * [backup-simplify]: Simplify 2 into 2 6.395 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.396 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -4/3 6.396 * [backup-simplify]: Simplify (- 0) into 0 6.396 * [backup-simplify]: Simplify (+ -4/3 0) into -4/3 6.396 * [backup-simplify]: Simplify -4/3 into -4/3 6.397 * [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))) 6.397 * [backup-simplify]: Simplify (expm1 (* (/ 1 x) -2)) into (expm1 (/ -2 x)) 6.397 * [approximate]: Taking taylor expansion of (expm1 (/ -2 x)) in (x) around 0 6.397 * [taylor]: Taking taylor expansion of (expm1 (/ -2 x)) in x 6.397 * [taylor]: Rewrote expression to (- (exp (/ -2 x)) 1) 6.397 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 6.397 * [taylor]: Taking taylor expansion of (/ -2 x) in x 6.397 * [taylor]: Taking taylor expansion of -2 in x 6.397 * [backup-simplify]: Simplify -2 into -2 6.397 * [taylor]: Taking taylor expansion of x in x 6.397 * [backup-simplify]: Simplify 0 into 0 6.397 * [backup-simplify]: Simplify 1 into 1 6.397 * [backup-simplify]: Simplify (/ -2 1) into -2 6.397 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 6.397 * [taylor]: Taking taylor expansion of 1 in x 6.397 * [backup-simplify]: Simplify 1 into 1 6.397 * [taylor]: Taking taylor expansion of (expm1 (/ -2 x)) in x 6.397 * [taylor]: Rewrote expression to (- (exp (/ -2 x)) 1) 6.398 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 6.398 * [taylor]: Taking taylor expansion of (/ -2 x) in x 6.398 * [taylor]: Taking taylor expansion of -2 in x 6.398 * [backup-simplify]: Simplify -2 into -2 6.398 * [taylor]: Taking taylor expansion of x in x 6.398 * [backup-simplify]: Simplify 0 into 0 6.398 * [backup-simplify]: Simplify 1 into 1 6.398 * [backup-simplify]: Simplify (/ -2 1) into -2 6.398 * [backup-simplify]: Simplify (exp (/ -2 x)) into (exp (/ -2 x)) 6.398 * [taylor]: Taking taylor expansion of 1 in x 6.398 * [backup-simplify]: Simplify 1 into 1 6.398 * [backup-simplify]: Simplify (- 1) into -1 6.398 * [backup-simplify]: Simplify (+ (exp (/ -2 x)) -1) into (- (exp (/ -2 x)) 1) 6.398 * [backup-simplify]: Simplify (- (exp (/ -2 x)) 1) into (- (exp (/ -2 x)) 1) 6.399 * [backup-simplify]: Simplify (- 0) into 0 6.399 * [backup-simplify]: Simplify (+ 0 0) into 0 6.399 * [backup-simplify]: Simplify 0 into 0 6.399 * [backup-simplify]: Simplify (- 0) into 0 6.399 * [backup-simplify]: Simplify (+ 0 0) into 0 6.399 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify (- 0) into 0 6.400 * [backup-simplify]: Simplify (+ 0 0) into 0 6.400 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify (- 0) into 0 6.400 * [backup-simplify]: Simplify (+ 0 0) into 0 6.400 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify (- 0) into 0 6.401 * [backup-simplify]: Simplify (+ 0 0) into 0 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify (- 0) into 0 6.401 * [backup-simplify]: Simplify (+ 0 0) into 0 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify (- (exp (/ -2 (/ 1 x))) 1) into (- (exp (* -2 x)) 1) 6.401 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- x)) -2)) into (expm1 (/ 2 x)) 6.401 * [approximate]: Taking taylor expansion of (expm1 (/ 2 x)) in (x) around 0 6.401 * [taylor]: Taking taylor expansion of (expm1 (/ 2 x)) in x 6.401 * [taylor]: Rewrote expression to (- (exp (/ 2 x)) 1) 6.401 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 6.401 * [taylor]: Taking taylor expansion of (/ 2 x) in x 6.401 * [taylor]: Taking taylor expansion of 2 in x 6.401 * [backup-simplify]: Simplify 2 into 2 6.401 * [taylor]: Taking taylor expansion of x in x 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify 1 into 1 6.402 * [backup-simplify]: Simplify (/ 2 1) into 2 6.402 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 6.402 * [taylor]: Taking taylor expansion of 1 in x 6.402 * [backup-simplify]: Simplify 1 into 1 6.402 * [taylor]: Taking taylor expansion of (expm1 (/ 2 x)) in x 6.402 * [taylor]: Rewrote expression to (- (exp (/ 2 x)) 1) 6.402 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 6.402 * [taylor]: Taking taylor expansion of (/ 2 x) in x 6.402 * [taylor]: Taking taylor expansion of 2 in x 6.402 * [backup-simplify]: Simplify 2 into 2 6.402 * [taylor]: Taking taylor expansion of x in x 6.402 * [backup-simplify]: Simplify 0 into 0 6.402 * [backup-simplify]: Simplify 1 into 1 6.402 * [backup-simplify]: Simplify (/ 2 1) into 2 6.402 * [backup-simplify]: Simplify (exp (/ 2 x)) into (exp (/ 2 x)) 6.402 * [taylor]: Taking taylor expansion of 1 in x 6.402 * [backup-simplify]: Simplify 1 into 1 6.403 * [backup-simplify]: Simplify (- 1) into -1 6.403 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) -1) into (- (exp (/ 2 x)) 1) 6.403 * [backup-simplify]: Simplify (- (exp (/ 2 x)) 1) into (- (exp (/ 2 x)) 1) 6.403 * [backup-simplify]: Simplify (- 0) into 0 6.403 * [backup-simplify]: Simplify (+ 0 0) into 0 6.403 * [backup-simplify]: Simplify 0 into 0 6.403 * [backup-simplify]: Simplify (- 0) into 0 6.404 * [backup-simplify]: Simplify (+ 0 0) into 0 6.404 * [backup-simplify]: Simplify 0 into 0 6.404 * [backup-simplify]: Simplify (- 0) into 0 6.404 * [backup-simplify]: Simplify (+ 0 0) into 0 6.404 * [backup-simplify]: Simplify 0 into 0 6.404 * [backup-simplify]: Simplify (- 0) into 0 6.405 * [backup-simplify]: Simplify (+ 0 0) into 0 6.405 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify (- 0) into 0 6.405 * [backup-simplify]: Simplify (+ 0 0) into 0 6.405 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify (- 0) into 0 6.406 * [backup-simplify]: Simplify (+ 0 0) into 0 6.406 * [backup-simplify]: Simplify 0 into 0 6.406 * [backup-simplify]: Simplify (- (exp (/ 2 (/ 1 (- x)))) 1) into (- (exp (* -2 x)) 1) 6.406 * * * [progress]: simplifying candidates 6.407 * [simplify]: Simplifying: (expm1 (pow (exp x) 3)) (log1p (pow (exp x) 3)) (* 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)) (expm1 (+ (pow (exp x) 3) (exp (* x -3)))) (log1p (+ (pow (exp x) 3) (exp (* x -3)))) (* (exp (pow (exp x) 3)) (exp (exp (* x -3)))) (log (+ (pow (exp x) 3) (exp (* x -3)))) (exp (+ (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (+ (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (pow (exp x) 3) (exp (* x -3))))) (cbrt (+ (pow (exp x) 3) (exp (* x -3)))) (* (* (+ (pow (exp x) 3) (exp (* x -3))) (+ (pow (exp x) 3) (exp (* x -3)))) (+ (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (pow (exp x) 3) (exp (* x -3)))) (+ (pow (pow (exp x) 3) 3) (pow (exp (* x -3)) 3)) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (- (* (exp (* x -3)) (exp (* x -3))) (* (pow (exp x) 3) (exp (* x -3))))) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (exp (* x -3)) (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (pow (exp x) 3) (exp (* x -3))) (exp (* x -2)) (expm1 (expm1 (* x -2))) (log1p (expm1 (* x -2))) (log (expm1 (* x -2))) (exp (expm1 (* x -2))) (* (cbrt (expm1 (* x -2))) (cbrt (expm1 (* x -2)))) (cbrt (expm1 (* x -2))) (* (* (expm1 (* x -2)) (expm1 (* x -2))) (expm1 (* x -2))) (sqrt (expm1 (* x -2))) (sqrt (expm1 (* x -2))) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ (* 9 (pow x 2)) (+ (* 27/4 (pow x 4)) 2)) (+ (pow (exp x) 3) (exp (* -3 x))) (+ (pow (exp x) 3) (exp (* -3 x))) (- (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* -2 x)) 1) (- (exp (* -2 x)) 1) 6.408 * * [simplify]: Extracting # 0 : cost 0 6.408 * * [simplify]: Extracting # 1 : cost 0 6.408 * * [simplify]: Extracting # 2 : cost 0 6.408 * * [simplify]: Extracting # 3 : cost 0 6.408 * * [simplify]: Extracting # 4 : cost 0 6.408 * * [simplify]: Extracting # 5 : cost 0 6.408 * * [simplify]: Extracting # 6 : cost 0 6.408 * * [simplify]: Extracting # 7 : cost 0 6.408 * * [simplify]: Extracting # 8 : cost 0 6.409 * * [simplify]: iteration 0 : 103 enodes (cost 534 ) 6.439 * * [simplify]: Extracting # 0 : cost 0 6.440 * * [simplify]: Extracting # 1 : cost 0 6.440 * * [simplify]: Extracting # 2 : cost 0 6.440 * * [simplify]: Extracting # 3 : cost 0 6.440 * * [simplify]: Extracting # 4 : cost 0 6.441 * * [simplify]: iteration 1 : 241 enodes (cost 454 ) 6.518 * * [simplify]: Extracting # 0 : cost 0 6.519 * * [simplify]: Extracting # 1 : cost 0 6.520 * * [simplify]: Extracting # 2 : cost 0 6.520 * * [simplify]: Extracting # 3 : cost 0 6.521 * * [simplify]: Extracting # 4 : cost 0 6.521 * * [simplify]: iteration 2 : 648 enodes (cost 423 ) 7.352 * * [simplify]: Extracting # 0 : cost 0 7.357 * * [simplify]: Extracting # 1 : cost 0 7.362 * * [simplify]: Extracting # 2 : cost 0 7.370 * * [simplify]: Extracting # 3 : cost 0 7.375 * * [simplify]: Extracting # 4 : cost 0 7.379 * * [simplify]: iteration 3 : 4380 enodes (cost 414 ) 9.452 * * [simplify]: Extracting # 0 : cost 0 9.457 * * [simplify]: Extracting # 1 : cost 0 9.463 * * [simplify]: iteration done: 5000 enodes (cost 413 ) 9.463 * [simplify]: Simplified to: (expm1 (pow (exp x) 3)) (log1p (pow (exp x) 3)) (* x 3) (* x 3) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (exp (+ x x)) (exp x) (pow (exp x) 3/2) (pow (exp x) 3/2) 1 (pow (exp x) 3) (exp (+ x x)) (* x 3) (exp (pow (exp x) 3)) (exp (+ x x)) (exp x) (pow (pow (exp x) 3) 3) (exp (+ x x)) (exp x) (pow (exp x) 3/2) (pow (exp x) 3/2) 1 (pow (exp x) 3) (exp (+ x x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (expm1 (+ (pow (exp x) 3) (exp (* x -3)))) (log1p (+ (pow (exp x) 3) (exp (* x -3)))) (exp (+ (pow (exp x) 3) (exp (* x -3)))) (log (+ (pow (exp x) 3) (exp (* x -3)))) (exp (+ (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (+ (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (pow (exp x) 3) (exp (* x -3))))) (cbrt (+ (pow (exp x) 3) (exp (* x -3)))) (pow (+ (pow (exp x) 3) (exp (* -3 x))) 3) (hypot (pow (exp x) 3/2) (pow (exp x) -3/2)) (hypot (pow (exp x) 3/2) (pow (exp x) -3/2)) (+ (pow (pow (exp x) 3) 3) (exp (* x -9))) (fma (exp (* -3 x)) (- (exp (* -3 x)) (pow (exp x) 3)) (pow (exp x) 6)) (- (pow (exp x) 6) (exp (* x -6))) (- (pow (exp x) 3) (exp (* x -3))) (+ (pow (exp x) 3) (exp (* -3 x))) (exp (* -2 x)) (expm1 (expm1 (* x -2))) (* -2 x) (log (expm1 (* x -2))) (exp (expm1 (* x -2))) (* (cbrt (expm1 (* x -2))) (cbrt (expm1 (* x -2)))) (cbrt (expm1 (* x -2))) (pow (expm1 (* x -2)) 3) (sqrt (expm1 (* x -2))) (sqrt (expm1 (* x -2))) (fma x (+ 3 (* x 9/2)) 1) (pow (exp x) 3) (pow (exp x) 3) (fma 9 (pow x 2) (fma 27/4 (pow x 4) 2)) (+ (pow (exp x) 3) (exp (* -3 x))) (+ (pow (exp x) 3) (exp (* -3 x))) (- (* x (- (+ x x) 2)) (* 4/3 (pow x 3))) (expm1 (* x -2)) (expm1 (* x -2)) 9.463 * * * [progress]: adding candidates to table 9.714 * [progress]: [Phase 3 of 3] Extracting. 9.714 * * [regime]: Finding splitpoints for: (# #) 9.715 * * * [regime-changes]: Trying 2 branch expressions: (y x) 9.715 * * * * [regimes]: Trying to branch on y from (# #) 9.731 * * * * [regimes]: Trying to branch on x from (# #) 9.744 * * * [regime]: Found split indices: #