18.779 * [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.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.015 * * * * [points]: Setting MPFR precision to 320 0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.019 * * * * [points]: Setting MPFR precision to 64 0.020 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.024 * * * * [points]: Setting MPFR precision to 64 0.027 * * * * [points]: Setting MPFR precision to 320 0.030 * * * * [points]: Computing exacts for 256 points 0.032 * * * * [points]: Setting MPFR precision to 64 0.040 * * * * [points]: Setting MPFR precision to 320 0.049 * * * * [points]: Filtering points with unrepresentable outputs 0.049 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256 0.050 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision 0.053 * * * * [points]: Setting MPFR precision to 64 0.053 * * * * [points]: Setting MPFR precision to 320 0.054 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision 0.056 * * * * [points]: Setting MPFR precision to 64 0.057 * * * * [points]: Setting MPFR precision to 320 0.058 * * * * [points]: Computing exacts for 124 points 0.060 * * * * [points]: Setting MPFR precision to 64 0.064 * * * * [points]: Setting MPFR precision to 320 0.068 * * * * [points]: Filtering points with unrepresentable outputs 0.068 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256 0.069 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 0.071 * * * * [points]: Setting MPFR precision to 64 0.072 * * * * [points]: Setting MPFR precision to 320 0.072 * * * * [points]: Computing exacts for 59 points 0.074 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.078 * * * * [points]: Filtering points with unrepresentable outputs 0.078 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256 0.078 * * * * [points]: Computing exacts for 30 points 0.081 * * * * [points]: Setting MPFR precision to 64 0.082 * * * * [points]: Setting MPFR precision to 320 0.083 * * * * [points]: Filtering points with unrepresentable outputs 0.083 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256 0.083 * * * * [points]: Computing exacts for 16 points 0.085 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.087 * * * * [points]: Filtering points with unrepresentable outputs 0.087 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256 0.087 * * * * [points]: Computing exacts for 8 points 0.089 * * * * [points]: Setting MPFR precision to 64 0.089 * * * * [points]: Setting MPFR precision to 320 0.090 * * * * [points]: Filtering points with unrepresentable outputs 0.090 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256 0.090 * * * * [points]: Computing exacts for 7 points 0.092 * * * * [points]: Setting MPFR precision to 64 0.092 * * * * [points]: Setting MPFR precision to 320 0.093 * * * * [points]: Filtering points with unrepresentable outputs 0.093 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256 0.093 * * * * [points]: Computing exacts for 5 points 0.095 * * * * [points]: Setting MPFR precision to 64 0.095 * * * * [points]: Setting MPFR precision to 320 0.095 * * * * [points]: Filtering points with unrepresentable outputs 0.095 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 0.095 * * * * [points]: Computing exacts for 4 points 0.097 * * * * [points]: Setting MPFR precision to 64 0.098 * * * * [points]: Setting MPFR precision to 320 0.098 * * * * [points]: Filtering points with unrepresentable outputs 0.098 * * * * [points]: Sampled 258 points with exact outputs 0.098 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.101 * [simplify]: Simplifying using # : (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.103 * * [simplify]: iteration 0 : 30 enodes (cost 7 ) 0.105 * * [simplify]: iteration 1 : 47 enodes (cost 7 ) 0.106 * * [simplify]: iteration 2 : 84 enodes (cost 7 ) 0.108 * * [simplify]: iteration 3 : 131 enodes (cost 7 ) 0.110 * * [simplify]: iteration 4 : 223 enodes (cost 7 ) 0.113 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 0.119 * * [simplify]: iteration 6 : 1123 enodes (cost 7 ) 0.131 * * [simplify]: iteration 7 : 2244 enodes (cost 7 ) 0.159 * * [simplify]: iteration 8 : 5002 enodes (cost 7 ) 0.160 * [simplify]: Simplified to: (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 0.163 * * [progress]: iteration 1 / 4 0.163 * * * [progress]: picking best candidate 0.166 * * * * [pick]: Picked # 0.166 * * * [progress]: localizing error 0.187 * * * [progress]: generating rewritten candidates 0.187 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1 1) 0.193 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.204 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1 1) 0.211 * * * [progress]: generating series expansions 0.211 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1 1) 0.212 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.212 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.212 * [taylor]: Taking taylor expansion of (exp x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.212 * [taylor]: Taking taylor expansion of (- x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.213 * [taylor]: Taking taylor expansion of (exp x) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.213 * [taylor]: Taking taylor expansion of (- x) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.238 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.238 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.238 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.238 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.239 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.239 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.243 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.243 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.243 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.243 * [taylor]: Taking taylor expansion of -1 in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.244 * [taylor]: Taking taylor expansion of -1 in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.248 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.248 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0 0.248 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y 0.248 * [taylor]: Taking taylor expansion of 0.5 in y 0.248 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y 0.248 * [taylor]: Taking taylor expansion of (sin y) in y 0.248 * [taylor]: Taking taylor expansion of y in y 0.248 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y 0.248 * [taylor]: Taking taylor expansion of (exp x) in y 0.248 * [taylor]: Taking taylor expansion of x in y 0.248 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.248 * [taylor]: Taking taylor expansion of (- x) in y 0.248 * [taylor]: Taking taylor expansion of x in y 0.248 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.248 * [taylor]: Taking taylor expansion of 0.5 in x 0.248 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.248 * [taylor]: Taking taylor expansion of (sin y) in x 0.248 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.249 * [taylor]: Taking taylor expansion of (exp x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.249 * [taylor]: Taking taylor expansion of (- x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.249 * [taylor]: Taking taylor expansion of 0.5 in x 0.249 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.249 * [taylor]: Taking taylor expansion of (sin y) in x 0.249 * [taylor]: Taking taylor expansion of y in x 0.249 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.249 * [taylor]: Taking taylor expansion of (exp x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.249 * [taylor]: Taking taylor expansion of (- x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.251 * [taylor]: Taking taylor expansion of 0 in y 0.255 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 0.255 * [taylor]: Taking taylor expansion of 1.0 in y 0.256 * [taylor]: Taking taylor expansion of (sin y) in y 0.256 * [taylor]: Taking taylor expansion of y in y 0.267 * [taylor]: Taking taylor expansion of 0 in y 0.276 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 0.276 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.276 * [taylor]: Taking taylor expansion of (sin y) in y 0.276 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of 0 in y 0.288 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 0.288 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.288 * [taylor]: Taking taylor expansion of 0.5 in y 0.288 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.288 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.288 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.288 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.288 * [taylor]: Taking taylor expansion of x in y 0.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.289 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.289 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.289 * [taylor]: Taking taylor expansion of x in y 0.289 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.289 * [taylor]: Taking taylor expansion of 0.5 in x 0.289 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.289 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.289 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.289 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.290 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.290 * [taylor]: Taking taylor expansion of 0.5 in x 0.290 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.290 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.290 * [taylor]: Taking taylor expansion of y in x 0.290 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.290 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.291 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.292 * [taylor]: Taking taylor expansion of 0.5 in y 0.292 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.292 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.292 * [taylor]: Taking taylor expansion of y in y 0.292 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.292 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.292 * [taylor]: Taking taylor expansion of x in y 0.292 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.292 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.292 * [taylor]: Taking taylor expansion of x in y 0.295 * [taylor]: Taking taylor expansion of 0 in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.309 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0 0.310 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.310 * [taylor]: Taking taylor expansion of 0.5 in y 0.310 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.310 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.310 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.310 * [taylor]: Taking taylor expansion of -1 in y 0.310 * [taylor]: Taking taylor expansion of y in y 0.310 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.310 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.310 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.310 * [taylor]: Taking taylor expansion of -1 in y 0.310 * [taylor]: Taking taylor expansion of x in y 0.310 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.310 * [taylor]: Taking taylor expansion of x in y 0.310 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.310 * [taylor]: Taking taylor expansion of 0.5 in x 0.310 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.310 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.310 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.310 * [taylor]: Taking taylor expansion of -1 in x 0.310 * [taylor]: Taking taylor expansion of y in x 0.310 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.311 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.311 * [taylor]: Taking taylor expansion of 0.5 in x 0.311 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.311 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.311 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.313 * [taylor]: Taking taylor expansion of 0.5 in y 0.313 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.313 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.313 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.313 * [taylor]: Taking taylor expansion of -1 in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.313 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.313 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.313 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.313 * [taylor]: Taking taylor expansion of -1 in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.316 * [taylor]: Taking taylor expansion of 0 in y 0.322 * [taylor]: Taking taylor expansion of 0 in y 0.330 * [taylor]: Taking taylor expansion of 0 in y 0.330 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1 1) 0.330 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 0.330 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.330 * [taylor]: Taking taylor expansion of (exp x) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.330 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.330 * [taylor]: Taking taylor expansion of (- x) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.331 * [taylor]: Taking taylor expansion of (exp x) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.331 * [taylor]: Taking taylor expansion of (- x) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.350 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.350 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.350 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.351 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.351 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.351 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.351 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.352 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.352 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.354 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 0.354 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.354 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.354 * [taylor]: Taking taylor expansion of -1 in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.355 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.355 * [taylor]: Taking taylor expansion of -1 in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.357 * * * [progress]: simplifying candidates 0.358 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (+ (- (log (- (exp x) (exp (- x)))) (log 2.0)) (log (sin y))) (+ (log (/ (- (exp x) (exp (- x))) 2.0)) (log (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (/ (- (exp x) (exp (- x))) 2.0)) (/ (- (exp x) (exp (- x))) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) 1) (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (- (exp x) (exp (- x))) (sin y)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (* 1.0 (* x y)) (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 0.364 * * [simplify]: iteration 0 : 408 enodes (cost 866 ) 0.371 * * [simplify]: iteration 1 : 1321 enodes (cost 682 ) 0.398 * * [simplify]: iteration 2 : 5002 enodes (cost 678 ) 0.401 * [simplify]: Simplified to: (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (* -1 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 (* -1 x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x))) (- (exp (- x))) (fma (- (exp (- x))) (exp (- x)) (exp (+ x x))) (+ (exp (* -1 x)) (exp x)) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y))) (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (- (exp x) (exp (* -1 x))) (sin y)) (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 (* -1 x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (expm1 (* x -2))) (fma (- (exp (- x))) (exp (- x)) (exp (+ x x))) (- (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (* 1.0 (* x y)) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) 0.402 * * * [progress]: adding candidates to table 0.698 * * [progress]: iteration 2 / 4 0.698 * * * [progress]: picking best candidate 0.701 * * * * [pick]: Picked # 0.701 * * * [progress]: localizing error 0.721 * * * [progress]: generating rewritten candidates 0.721 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 0.727 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.737 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2) 0.740 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 0.745 * * * [progress]: generating series expansions 0.745 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 0.745 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.745 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.745 * [taylor]: Taking taylor expansion of (exp x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.745 * [taylor]: Taking taylor expansion of (- x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.746 * [taylor]: Taking taylor expansion of (exp x) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.746 * [taylor]: Taking taylor expansion of (- x) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.771 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.771 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.771 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.772 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.772 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.772 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.777 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.781 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.781 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.781 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.781 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.781 * [taylor]: Taking taylor expansion of -1 in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.781 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.781 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.781 * [taylor]: Taking taylor expansion of -1 in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.785 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.785 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0 0.785 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y 0.785 * [taylor]: Taking taylor expansion of 0.5 in y 0.785 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y 0.786 * [taylor]: Taking taylor expansion of (sin y) in y 0.786 * [taylor]: Taking taylor expansion of y in y 0.786 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y 0.786 * [taylor]: Taking taylor expansion of (exp x) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.786 * [taylor]: Taking taylor expansion of (- x) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.786 * [taylor]: Taking taylor expansion of 0.5 in x 0.786 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.786 * [taylor]: Taking taylor expansion of (sin y) in x 0.786 * [taylor]: Taking taylor expansion of y in x 0.786 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.786 * [taylor]: Taking taylor expansion of (exp x) in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.786 * [taylor]: Taking taylor expansion of (- x) in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.786 * [taylor]: Taking taylor expansion of 0.5 in x 0.786 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.787 * [taylor]: Taking taylor expansion of (sin y) in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.787 * [taylor]: Taking taylor expansion of (exp x) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.787 * [taylor]: Taking taylor expansion of (- x) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of 0 in y 0.792 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 0.792 * [taylor]: Taking taylor expansion of 1.0 in y 0.792 * [taylor]: Taking taylor expansion of (sin y) in y 0.792 * [taylor]: Taking taylor expansion of y in y 0.798 * [taylor]: Taking taylor expansion of 0 in y 0.807 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 0.807 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.807 * [taylor]: Taking taylor expansion of (sin y) in y 0.807 * [taylor]: Taking taylor expansion of y in y 0.819 * [taylor]: Taking taylor expansion of 0 in y 0.819 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 0.819 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.819 * [taylor]: Taking taylor expansion of 0.5 in y 0.819 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.819 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.819 * [taylor]: Taking taylor expansion of y in y 0.820 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.820 * [taylor]: Taking taylor expansion of x in y 0.820 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.820 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.820 * [taylor]: Taking taylor expansion of x in y 0.820 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.820 * [taylor]: Taking taylor expansion of 0.5 in x 0.820 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.820 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.820 * [taylor]: Taking taylor expansion of y in x 0.820 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.820 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.821 * [taylor]: Taking taylor expansion of 0.5 in x 0.821 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.821 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.821 * [taylor]: Taking taylor expansion of y in x 0.821 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.821 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.822 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.823 * [taylor]: Taking taylor expansion of 0.5 in y 0.823 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.823 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.823 * [taylor]: Taking taylor expansion of y in y 0.823 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.823 * [taylor]: Taking taylor expansion of x in y 0.823 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.823 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.823 * [taylor]: Taking taylor expansion of x in y 0.826 * [taylor]: Taking taylor expansion of 0 in y 0.832 * [taylor]: Taking taylor expansion of 0 in y 0.840 * [taylor]: Taking taylor expansion of 0 in y 0.841 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0 0.841 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.841 * [taylor]: Taking taylor expansion of 0.5 in y 0.841 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.841 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.841 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.841 * [taylor]: Taking taylor expansion of -1 in y 0.841 * [taylor]: Taking taylor expansion of y in y 0.841 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.841 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.841 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.841 * [taylor]: Taking taylor expansion of -1 in y 0.841 * [taylor]: Taking taylor expansion of x in y 0.841 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.841 * [taylor]: Taking taylor expansion of x in y 0.841 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.841 * [taylor]: Taking taylor expansion of 0.5 in x 0.841 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.841 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.841 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.842 * [taylor]: Taking taylor expansion of -1 in x 0.842 * [taylor]: Taking taylor expansion of y in x 0.842 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.842 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.842 * [taylor]: Taking taylor expansion of -1 in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.842 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.842 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.842 * [taylor]: Taking taylor expansion of 0.5 in x 0.842 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.842 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.842 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.842 * [taylor]: Taking taylor expansion of -1 in x 0.842 * [taylor]: Taking taylor expansion of y in x 0.843 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.843 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.843 * [taylor]: Taking taylor expansion of -1 in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.844 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.844 * [taylor]: Taking taylor expansion of 0.5 in y 0.844 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.844 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.844 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.844 * [taylor]: Taking taylor expansion of -1 in y 0.844 * [taylor]: Taking taylor expansion of y in y 0.844 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.844 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.844 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.844 * [taylor]: Taking taylor expansion of -1 in y 0.844 * [taylor]: Taking taylor expansion of x in y 0.844 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.844 * [taylor]: Taking taylor expansion of x in y 0.847 * [taylor]: Taking taylor expansion of 0 in y 0.853 * [taylor]: Taking taylor expansion of 0 in y 0.865 * [taylor]: Taking taylor expansion of 0 in y 0.866 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2) 0.866 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 0.866 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.866 * [taylor]: Taking taylor expansion of (exp x) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.867 * [taylor]: Taking taylor expansion of (exp x) in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.870 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 0.870 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.870 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.870 * [taylor]: Taking taylor expansion of x in x 0.870 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.871 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.874 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 0.874 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.874 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.874 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.874 * [taylor]: Taking taylor expansion of -1 in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.874 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.874 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.874 * [taylor]: Taking taylor expansion of -1 in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.877 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 0.878 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 0.878 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.878 * [taylor]: Taking taylor expansion of (exp x) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.879 * [taylor]: Taking taylor expansion of (exp x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.882 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 0.882 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.882 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.882 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.885 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 0.885 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.885 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.885 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.885 * [taylor]: Taking taylor expansion of -1 in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.886 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.886 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.886 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.886 * [taylor]: Taking taylor expansion of -1 in x 0.886 * [taylor]: Taking taylor expansion of x in x 0.889 * * * [progress]: simplifying candidates 0.891 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (+ (- (log (- (exp x) (exp (- x)))) (log 2.0)) (log (sin y))) (+ (log (/ (- (exp x) (exp (- x))) 2.0)) (log (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (/ (- (exp x) (exp (- x))) 2.0)) (/ (- (exp x) (exp (- x))) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) 1) (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (- (exp x) (exp (- x))) (sin y)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (* 1.0 (* x y)) (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 0.896 * * [simplify]: iteration 0 : 388 enodes (cost 864 ) 0.902 * * [simplify]: iteration 1 : 1229 enodes (cost 701 ) 0.928 * * [simplify]: iteration 2 : 5002 enodes (cost 697 ) 0.931 * [simplify]: Simplified to: (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp x) -2)) (- (exp (- x))) (fma (- (exp (- x))) (exp (- x)) (exp (+ x x))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y))) (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (- (exp x) (exp (* -1 x))) (sin y)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (pow x 1/2) 2) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (pow x 1/2) 2) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (* 1.0 (* x y)) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) 0.932 * * * [progress]: adding candidates to table 1.335 * [progress]: [Phase 3 of 3] Extracting. 1.335 * * [regime]: Finding splitpoints for: (# #) 1.336 * * * [regime-changes]: Trying 3 branch expressions: ((re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) y x) 1.336 * * * * [regimes]: Trying to branch on (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) from (# #) 1.363 * * * * [regimes]: Trying to branch on y from (# #) 1.379 * * * * [regimes]: Trying to branch on x from (# #) 1.393 * * * [regime]: Found split indices: #