1539789006.124 * [misc]progress: [Phase 1 of 3] Setting up. 1539789006.124 * * * [misc]progress: [1/2] Preparing points 1539789006.124 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539789006.125 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539789006.126 * * * * [misc]points: Setting MPFR precision to 64 1539789006.126 * * * * [misc]points: Setting MPFR precision to 320 1539789006.127 * * * * [misc]points: Setting MPFR precision to 576 1539789006.127 * * * * [misc]points: Setting MPFR precision to 832 1539789006.128 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.129 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.130 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539789006.131 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.134 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.137 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539789006.139 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.144 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.148 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539789006.150 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.159 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.169 * * * * [misc]points: Computing exacts for 256 points 1539789006.171 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.210 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.240 * * * * [misc]points: Sampling 112 additional inputs, on iter 1 have 144 / 256 1539789006.240 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1539789006.242 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.243 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.244 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1539789006.246 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.248 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.250 * * * * [misc]points: Computing exacts for 112 points 1539789006.251 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.263 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.275 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.275 * * * * [misc]points: Sampling 54 additional inputs, on iter 2 have 202 / 256 1539789006.276 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1539789006.277 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.279 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.280 * * * * [misc]points: Computing exacts for 54 points 1539789006.282 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.289 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.297 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.297 * * * * [misc]points: Sampling 18 additional inputs, on iter 3 have 238 / 256 1539789006.297 * * * * [misc]points: Computing exacts for 18 points 1539789006.299 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.301 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.302 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.303 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1539789006.303 * * * * [misc]points: Computing exacts for 11 points 1539789006.304 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.306 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.307 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.307 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1539789006.307 * * * * [misc]points: Computing exacts for 5 points 1539789006.309 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.309 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.310 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.310 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1539789006.310 * * * * [misc]points: Computing exacts for 4 points 1539789006.311 * * * * [misc]points: Setting MPFR precision to 1088 1539789006.312 * * * * [misc]points: Setting MPFR precision to 1344 1539789006.312 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789006.312 * * * * [exit]points: Sampled 257 points with exact outputs 1539789006.312 * * * [misc]progress: [2/2] Setting up program. 1539789006.317 * [misc]progress: [Phase 2 of 3] Improving. 1539789006.317 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789006.317 * * [misc]simplify: iters left: 6 (7 enodes) 1539789006.319 * * [misc]simplify: iters left: 5 (15 enodes) 1539789006.325 * * [misc]simplify: iters left: 4 (25 enodes) 1539789006.330 * * [misc]simplify: iters left: 3 (31 enodes) 1539789006.338 * * [misc]simplify: iters left: 2 (41 enodes) 1539789006.348 * * [misc]simplify: iters left: 1 (49 enodes) 1539789006.358 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))) 1539789006.368 * * [misc]progress: iteration 1 / 4 1539789006.368 * * * [misc]progress: picking best candidate 1539789006.372 * * * * [misc]pick: Picked # 1539789006.372 * * * [misc]progress: localizing error 1539789006.435 * * * [misc]progress: generating rewritten candidates 1539789006.435 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1) 1539789006.467 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1539789006.517 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2) 1539789006.528 * * * [misc]progress: generating series expansions 1539789006.528 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1) 1539789006.528 * [misc]backup-simplify: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x))) 1539789006.528 * [misc]approximate: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 1539789006.528 * [misc]taylor: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1539789006.528 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.528 * [misc]taylor: Taking taylor expansion of x in x 1539789006.528 * [misc]backup-simplify: Simplify 0 into 0 1539789006.528 * [misc]backup-simplify: Simplify 1 into 1 1539789006.528 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.528 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.528 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.528 * [misc]taylor: Taking taylor expansion of x in x 1539789006.528 * [misc]backup-simplify: Simplify 0 into 0 1539789006.528 * [misc]backup-simplify: Simplify 1 into 1 1539789006.529 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.529 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.529 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.529 * [misc]taylor: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1539789006.529 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.529 * [misc]taylor: Taking taylor expansion of x in x 1539789006.529 * [misc]backup-simplify: Simplify 0 into 0 1539789006.529 * [misc]backup-simplify: Simplify 1 into 1 1539789006.529 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.529 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.529 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.529 * [misc]taylor: Taking taylor expansion of x in x 1539789006.529 * [misc]backup-simplify: Simplify 0 into 0 1539789006.529 * [misc]backup-simplify: Simplify 1 into 1 1539789006.529 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.529 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.529 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.530 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.530 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1539789006.530 * [misc]backup-simplify: Simplify 0 into 0 1539789006.531 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539789006.531 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.533 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1539789006.533 * [misc]backup-simplify: Simplify (- -1) into 1 1539789006.533 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539789006.533 * [misc]backup-simplify: Simplify 2 into 2 1539789006.537 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.537 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.537 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.539 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.540 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1539789006.540 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1539789006.540 * [misc]backup-simplify: Simplify 0 into 0 1539789006.543 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1539789006.544 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.544 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.544 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.544 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.548 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1539789006.548 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1539789006.548 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1539789006.548 * [misc]backup-simplify: Simplify 1/3 into 1/3 1539789006.554 * [misc]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 1539789006.554 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.554 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.554 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.555 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.555 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.555 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.555 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.559 * [misc]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 1539789006.559 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1539789006.559 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1539789006.559 * [misc]backup-simplify: Simplify 0 into 0 1539789006.564 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1539789006.565 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.565 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.565 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.565 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.565 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.565 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.565 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.565 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.565 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.565 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.566 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.566 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.571 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1539789006.571 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1539789006.571 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1539789006.571 * [misc]backup-simplify: Simplify 1/60 into 1/60 1539789006.572 * [misc]backup-simplify: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1539789006.572 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.572 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1539789006.572 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of x in x 1539789006.572 * [misc]backup-simplify: Simplify 0 into 0 1539789006.572 * [misc]backup-simplify: Simplify 1 into 1 1539789006.572 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.572 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.572 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of x in x 1539789006.572 * [misc]backup-simplify: Simplify 0 into 0 1539789006.572 * [misc]backup-simplify: Simplify 1 into 1 1539789006.572 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.572 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.572 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.572 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.572 * [misc]taylor: Taking taylor expansion of x in x 1539789006.572 * [misc]backup-simplify: Simplify 0 into 0 1539789006.572 * [misc]backup-simplify: Simplify 1 into 1 1539789006.573 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.573 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.573 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.573 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.573 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.573 * [misc]taylor: Taking taylor expansion of x in x 1539789006.573 * [misc]backup-simplify: Simplify 0 into 0 1539789006.573 * [misc]backup-simplify: Simplify 1 into 1 1539789006.573 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.573 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.573 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.573 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 1539789006.573 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.573 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.573 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.573 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.573 * [misc]backup-simplify: Simplify 0 into 0 1539789006.574 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify 0 into 0 1539789006.574 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify 0 into 0 1539789006.574 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify 0 into 0 1539789006.574 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.574 * [misc]backup-simplify: Simplify 0 into 0 1539789006.575 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.575 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.575 * [misc]backup-simplify: Simplify 0 into 0 1539789006.575 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x))) 1539789006.575 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1539789006.575 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 1539789006.575 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.575 * [misc]backup-simplify: Simplify -1 into -1 1539789006.575 * [misc]taylor: Taking taylor expansion of x in x 1539789006.575 * [misc]backup-simplify: Simplify 0 into 0 1539789006.575 * [misc]backup-simplify: Simplify 1 into 1 1539789006.575 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.575 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.575 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of x in x 1539789006.575 * [misc]backup-simplify: Simplify 0 into 0 1539789006.575 * [misc]backup-simplify: Simplify 1 into 1 1539789006.575 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.575 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.575 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.575 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.575 * [misc]backup-simplify: Simplify -1 into -1 1539789006.575 * [misc]taylor: Taking taylor expansion of x in x 1539789006.575 * [misc]backup-simplify: Simplify 0 into 0 1539789006.576 * [misc]backup-simplify: Simplify 1 into 1 1539789006.576 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.576 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.576 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.576 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.576 * [misc]taylor: Taking taylor expansion of x in x 1539789006.576 * [misc]backup-simplify: Simplify 0 into 0 1539789006.576 * [misc]backup-simplify: Simplify 1 into 1 1539789006.576 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.576 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.576 * [misc]backup-simplify: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1539789006.576 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1539789006.576 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1539789006.576 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.576 * [misc]backup-simplify: Simplify 0 into 0 1539789006.576 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify 0 into 0 1539789006.577 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify 0 into 0 1539789006.577 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify 0 into 0 1539789006.577 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify 0 into 0 1539789006.577 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.577 * [misc]backup-simplify: Simplify 0 into 0 1539789006.578 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x))) 1539789006.578 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1539789006.578 * [misc]backup-simplify: Simplify (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789006.578 * [misc]approximate: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0 1539789006.578 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of x in x 1539789006.578 * [misc]backup-simplify: Simplify 0 into 0 1539789006.578 * [misc]backup-simplify: Simplify 1 into 1 1539789006.578 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.578 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of x in x 1539789006.578 * [misc]backup-simplify: Simplify 0 into 0 1539789006.578 * [misc]backup-simplify: Simplify 1 into 1 1539789006.578 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.578 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.578 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.578 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of x in x 1539789006.578 * [misc]backup-simplify: Simplify 0 into 0 1539789006.578 * [misc]backup-simplify: Simplify 1 into 1 1539789006.578 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.578 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.578 * [misc]taylor: Taking taylor expansion of x in x 1539789006.578 * [misc]backup-simplify: Simplify 0 into 0 1539789006.578 * [misc]backup-simplify: Simplify 1 into 1 1539789006.578 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.579 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.579 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.579 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.579 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1539789006.580 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539789006.580 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.583 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1539789006.583 * [misc]backup-simplify: Simplify (- -1) into 1 1539789006.583 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539789006.583 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539789006.584 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1539789006.584 * [misc]taylor: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of x in x 1539789006.584 * [misc]backup-simplify: Simplify 0 into 0 1539789006.584 * [misc]backup-simplify: Simplify 1 into 1 1539789006.584 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.584 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of x in x 1539789006.584 * [misc]backup-simplify: Simplify 0 into 0 1539789006.584 * [misc]backup-simplify: Simplify 1 into 1 1539789006.584 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.584 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.584 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.584 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of x in x 1539789006.584 * [misc]backup-simplify: Simplify 0 into 0 1539789006.584 * [misc]backup-simplify: Simplify 1 into 1 1539789006.584 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.584 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.584 * [misc]taylor: Taking taylor expansion of x in x 1539789006.584 * [misc]backup-simplify: Simplify 0 into 0 1539789006.584 * [misc]backup-simplify: Simplify 1 into 1 1539789006.584 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.585 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.585 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.585 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.585 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1539789006.586 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539789006.586 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.587 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1539789006.587 * [misc]backup-simplify: Simplify (- -1) into 1 1539789006.587 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539789006.587 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539789006.587 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1539789006.587 * [misc]backup-simplify: Simplify 1 into 1 1539789006.589 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.589 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.589 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.590 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.590 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1539789006.590 * [misc]backup-simplify: Simplify (+ 1/2 -1/2) into 0 1539789006.591 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539789006.591 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.592 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1539789006.592 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1539789006.592 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1539789006.592 * [misc]backup-simplify: Simplify 0 into 0 1539789006.595 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1539789006.595 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.595 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.595 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.595 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.597 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1539789006.597 * [misc]backup-simplify: Simplify (- -1/6) into 1/6 1539789006.598 * [misc]backup-simplify: Simplify (+ 1/6 1/6) into 1/3 1539789006.599 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.599 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.599 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.600 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.600 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1539789006.601 * [misc]backup-simplify: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3 1539789006.601 * [misc]backup-simplify: Simplify -1/3 into -1/3 1539789006.604 * [misc]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 1539789006.604 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.605 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.605 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.605 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.605 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.605 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.605 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.608 * [misc]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 1539789006.609 * [misc]backup-simplify: Simplify (- 1/24) into -1/24 1539789006.609 * [misc]backup-simplify: Simplify (+ 1/24 -1/24) into 0 1539789006.611 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1539789006.611 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.611 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.611 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.611 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.613 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1539789006.614 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1539789006.614 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0 1539789006.614 * [misc]backup-simplify: Simplify 0 into 0 1539789006.620 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1539789006.620 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.620 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.620 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.620 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.620 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.620 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.620 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.620 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.621 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.621 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.621 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.621 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.626 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1539789006.626 * [misc]backup-simplify: Simplify (- -1/120) into 1/120 1539789006.627 * [misc]backup-simplify: Simplify (+ 1/120 1/120) into 1/60 1539789006.630 * [misc]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 1539789006.630 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.630 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.630 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.630 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.631 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.631 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.631 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.634 * [misc]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 1539789006.634 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1539789006.635 * [misc]backup-simplify: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15 1539789006.635 * [misc]backup-simplify: Simplify 2/15 into 2/15 1539789006.635 * [misc]backup-simplify: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 1539789006.635 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1539789006.635 * [misc]approximate: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 1539789006.635 * [misc]taylor: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1539789006.635 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.635 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.635 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.635 * [misc]taylor: Taking taylor expansion of x in x 1539789006.635 * [misc]backup-simplify: Simplify 0 into 0 1539789006.635 * [misc]backup-simplify: Simplify 1 into 1 1539789006.635 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.636 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.636 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of x in x 1539789006.636 * [misc]backup-simplify: Simplify 0 into 0 1539789006.636 * [misc]backup-simplify: Simplify 1 into 1 1539789006.636 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.636 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.636 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.636 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of x in x 1539789006.636 * [misc]backup-simplify: Simplify 0 into 0 1539789006.636 * [misc]backup-simplify: Simplify 1 into 1 1539789006.636 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.636 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.636 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.636 * [misc]taylor: Taking taylor expansion of x in x 1539789006.636 * [misc]backup-simplify: Simplify 0 into 0 1539789006.636 * [misc]backup-simplify: Simplify 1 into 1 1539789006.636 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.636 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.637 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.637 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 1539789006.637 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.637 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.637 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1539789006.637 * [misc]taylor: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of x in x 1539789006.637 * [misc]backup-simplify: Simplify 0 into 0 1539789006.637 * [misc]backup-simplify: Simplify 1 into 1 1539789006.637 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.637 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.637 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.637 * [misc]taylor: Taking taylor expansion of x in x 1539789006.637 * [misc]backup-simplify: Simplify 0 into 0 1539789006.637 * [misc]backup-simplify: Simplify 1 into 1 1539789006.637 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.638 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.638 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.638 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.638 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.638 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.638 * [misc]taylor: Taking taylor expansion of x in x 1539789006.638 * [misc]backup-simplify: Simplify 0 into 0 1539789006.638 * [misc]backup-simplify: Simplify 1 into 1 1539789006.638 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.638 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.638 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.638 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.638 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.638 * [misc]taylor: Taking taylor expansion of x in x 1539789006.638 * [misc]backup-simplify: Simplify 0 into 0 1539789006.638 * [misc]backup-simplify: Simplify 1 into 1 1539789006.638 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.638 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.638 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.638 * [misc]backup-simplify: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 1539789006.638 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.638 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.639 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1539789006.639 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1539789006.639 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.639 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.639 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.639 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1539789006.640 * [misc]backup-simplify: Simplify 0 into 0 1539789006.640 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.640 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1539789006.640 * [misc]backup-simplify: Simplify 0 into 0 1539789006.640 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.641 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1539789006.641 * [misc]backup-simplify: Simplify 0 into 0 1539789006.641 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.642 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1539789006.642 * [misc]backup-simplify: Simplify 0 into 0 1539789006.642 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.642 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.642 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.643 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1539789006.643 * [misc]backup-simplify: Simplify 0 into 0 1539789006.643 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.643 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.643 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.644 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1539789006.644 * [misc]backup-simplify: Simplify 0 into 0 1539789006.644 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789006.644 * [misc]backup-simplify: Simplify (/ (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1539789006.644 * [misc]approximate: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 1539789006.644 * [misc]taylor: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1539789006.644 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1539789006.644 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.644 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.644 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.644 * [misc]backup-simplify: Simplify -1 into -1 1539789006.644 * [misc]taylor: Taking taylor expansion of x in x 1539789006.644 * [misc]backup-simplify: Simplify 0 into 0 1539789006.644 * [misc]backup-simplify: Simplify 1 into 1 1539789006.645 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.645 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.645 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of x in x 1539789006.645 * [misc]backup-simplify: Simplify 0 into 0 1539789006.645 * [misc]backup-simplify: Simplify 1 into 1 1539789006.645 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.645 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.645 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of x in x 1539789006.645 * [misc]backup-simplify: Simplify 0 into 0 1539789006.645 * [misc]backup-simplify: Simplify 1 into 1 1539789006.645 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.645 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.645 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.645 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.645 * [misc]backup-simplify: Simplify -1 into -1 1539789006.645 * [misc]taylor: Taking taylor expansion of x in x 1539789006.645 * [misc]backup-simplify: Simplify 0 into 0 1539789006.645 * [misc]backup-simplify: Simplify 1 into 1 1539789006.645 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.645 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.645 * [misc]backup-simplify: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1539789006.646 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1539789006.646 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1539789006.646 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1539789006.646 * [misc]taylor: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.646 * [misc]backup-simplify: Simplify -1 into -1 1539789006.646 * [misc]taylor: Taking taylor expansion of x in x 1539789006.646 * [misc]backup-simplify: Simplify 0 into 0 1539789006.646 * [misc]backup-simplify: Simplify 1 into 1 1539789006.646 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.646 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.646 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of x in x 1539789006.646 * [misc]backup-simplify: Simplify 0 into 0 1539789006.646 * [misc]backup-simplify: Simplify 1 into 1 1539789006.646 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.646 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.646 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.646 * [misc]taylor: Taking taylor expansion of x in x 1539789006.646 * [misc]backup-simplify: Simplify 0 into 0 1539789006.646 * [misc]backup-simplify: Simplify 1 into 1 1539789006.646 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.646 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.646 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.647 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.647 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.647 * [misc]backup-simplify: Simplify -1 into -1 1539789006.647 * [misc]taylor: Taking taylor expansion of x in x 1539789006.647 * [misc]backup-simplify: Simplify 0 into 0 1539789006.647 * [misc]backup-simplify: Simplify 1 into 1 1539789006.647 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.647 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.647 * [misc]backup-simplify: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1539789006.647 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1539789006.647 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1539789006.647 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1539789006.647 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1539789006.647 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.647 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.648 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.648 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1539789006.648 * [misc]backup-simplify: Simplify 0 into 0 1539789006.648 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.648 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.648 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.649 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1539789006.649 * [misc]backup-simplify: Simplify 0 into 0 1539789006.649 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.649 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.649 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.649 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1539789006.649 * [misc]backup-simplify: Simplify 0 into 0 1539789006.649 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.650 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.650 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.650 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1539789006.650 * [misc]backup-simplify: Simplify 0 into 0 1539789006.650 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.650 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.650 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.651 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1539789006.651 * [misc]backup-simplify: Simplify 0 into 0 1539789006.651 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.651 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.651 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.653 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1539789006.653 * [misc]backup-simplify: Simplify 0 into 0 1539789006.653 * [misc]backup-simplify: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 1539789006.653 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2) 1539789006.653 * [misc]backup-simplify: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x))) 1539789006.653 * [misc]approximate: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 1539789006.653 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1539789006.653 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.653 * [misc]taylor: Taking taylor expansion of x in x 1539789006.653 * [misc]backup-simplify: Simplify 0 into 0 1539789006.653 * [misc]backup-simplify: Simplify 1 into 1 1539789006.653 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.653 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.653 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.653 * [misc]taylor: Taking taylor expansion of x in x 1539789006.653 * [misc]backup-simplify: Simplify 0 into 0 1539789006.653 * [misc]backup-simplify: Simplify 1 into 1 1539789006.654 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.654 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.654 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.654 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1539789006.654 * [misc]taylor: Taking taylor expansion of (exp x) in x 1539789006.654 * [misc]taylor: Taking taylor expansion of x in x 1539789006.654 * [misc]backup-simplify: Simplify 0 into 0 1539789006.654 * [misc]backup-simplify: Simplify 1 into 1 1539789006.654 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.654 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1539789006.654 * [misc]taylor: Taking taylor expansion of (- x) in x 1539789006.654 * [misc]taylor: Taking taylor expansion of x in x 1539789006.654 * [misc]backup-simplify: Simplify 0 into 0 1539789006.654 * [misc]backup-simplify: Simplify 1 into 1 1539789006.654 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.654 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.654 * [misc]backup-simplify: Simplify (exp 0) into 1 1539789006.655 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539789006.655 * [misc]backup-simplify: Simplify 2 into 2 1539789006.656 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539789006.656 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.658 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1539789006.658 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1539789006.658 * [misc]backup-simplify: Simplify 0 into 0 1539789006.660 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.661 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.661 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.663 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539789006.663 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1539789006.663 * [misc]backup-simplify: Simplify 1 into 1 1539789006.667 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1539789006.667 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.667 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.668 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.668 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.671 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1539789006.672 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1539789006.672 * [misc]backup-simplify: Simplify 0 into 0 1539789006.675 * [misc]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 1539789006.675 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.676 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.676 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.676 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.676 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.676 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.676 * [misc]backup-simplify: Simplify (- 0) into 0 1539789006.679 * [misc]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 1539789006.680 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1539789006.680 * [misc]backup-simplify: Simplify 1/12 into 1/12 1539789006.680 * [misc]backup-simplify: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 1539789006.680 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.680 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1539789006.680 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.680 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.680 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.680 * [misc]taylor: Taking taylor expansion of x in x 1539789006.680 * [misc]backup-simplify: Simplify 0 into 0 1539789006.680 * [misc]backup-simplify: Simplify 1 into 1 1539789006.680 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.680 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.680 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.680 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.680 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.680 * [misc]taylor: Taking taylor expansion of x in x 1539789006.680 * [misc]backup-simplify: Simplify 0 into 0 1539789006.680 * [misc]backup-simplify: Simplify 1 into 1 1539789006.681 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.681 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.681 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.681 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1539789006.681 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.681 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.681 * [misc]taylor: Taking taylor expansion of x in x 1539789006.681 * [misc]backup-simplify: Simplify 0 into 0 1539789006.681 * [misc]backup-simplify: Simplify 1 into 1 1539789006.681 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.681 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.681 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1539789006.681 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1539789006.681 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.681 * [misc]taylor: Taking taylor expansion of x in x 1539789006.681 * [misc]backup-simplify: Simplify 0 into 0 1539789006.681 * [misc]backup-simplify: Simplify 1 into 1 1539789006.681 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.681 * [misc]backup-simplify: Simplify (- 1) into -1 1539789006.681 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1539789006.681 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.682 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1539789006.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.682 * [misc]backup-simplify: Simplify 0 into 0 1539789006.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.682 * [misc]backup-simplify: Simplify 0 into 0 1539789006.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.682 * [misc]backup-simplify: Simplify 0 into 0 1539789006.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.682 * [misc]backup-simplify: Simplify 0 into 0 1539789006.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.682 * [misc]backup-simplify: Simplify 0 into 0 1539789006.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.682 * [misc]backup-simplify: Simplify 0 into 0 1539789006.682 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x))) 1539789006.683 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1539789006.683 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 1539789006.683 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of x in x 1539789006.683 * [misc]backup-simplify: Simplify 0 into 0 1539789006.683 * [misc]backup-simplify: Simplify 1 into 1 1539789006.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.683 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.683 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.683 * [misc]backup-simplify: Simplify -1 into -1 1539789006.683 * [misc]taylor: Taking taylor expansion of x in x 1539789006.683 * [misc]backup-simplify: Simplify 0 into 0 1539789006.683 * [misc]backup-simplify: Simplify 1 into 1 1539789006.683 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.683 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.683 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of x in x 1539789006.683 * [misc]backup-simplify: Simplify 0 into 0 1539789006.683 * [misc]backup-simplify: Simplify 1 into 1 1539789006.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539789006.683 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1539789006.683 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1539789006.683 * [misc]taylor: Taking taylor expansion of -1 in x 1539789006.683 * [misc]backup-simplify: Simplify -1 into -1 1539789006.683 * [misc]taylor: Taking taylor expansion of x in x 1539789006.683 * [misc]backup-simplify: Simplify 0 into 0 1539789006.683 * [misc]backup-simplify: Simplify 1 into 1 1539789006.684 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539789006.684 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1539789006.684 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1539789006.684 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1539789006.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.684 * [misc]backup-simplify: Simplify 0 into 0 1539789006.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.684 * [misc]backup-simplify: Simplify 0 into 0 1539789006.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.684 * [misc]backup-simplify: Simplify 0 into 0 1539789006.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.684 * [misc]backup-simplify: Simplify 0 into 0 1539789006.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.684 * [misc]backup-simplify: Simplify 0 into 0 1539789006.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539789006.685 * [misc]backup-simplify: Simplify 0 into 0 1539789006.685 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x)) 1539789006.685 * * * [misc]progress: simplifying candidates 1539789006.685 * * * * [misc]progress: [ 1 / 82 ] simplifiying candidate # 1539789006.685 * [enter]simplify: Simplifying (/ (exp (exp x)) (exp (exp (- x)))) 1539789006.685 * * [misc]simplify: iters left: 6 (7 enodes) 1539789006.686 * * [misc]simplify: iters left: 5 (11 enodes) 1539789006.688 * * [misc]simplify: iters left: 4 (15 enodes) 1539789006.691 * * [misc]simplify: iters left: 3 (21 enodes) 1539789006.693 * * [misc]simplify: iters left: 2 (23 enodes) 1539789006.696 * * [misc]simplify: iters left: 1 (27 enodes) 1539789006.699 * [exit]simplify: Simplified to (exp (+ (/ -1 (exp x)) (exp x))) 1539789006.699 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (log (exp (+ (/ -1 (exp x)) (exp x)))) (+ (exp x) (exp (- x))))) 1539789006.699 * * * * [misc]progress: [ 2 / 82 ] simplifiying candidate # 1539789006.699 * * * * [misc]progress: [ 3 / 82 ] simplifiying candidate # 1539789006.699 * * * * [misc]progress: [ 4 / 82 ] simplifiying candidate # 1539789006.699 * * * * [misc]progress: [ 5 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 6 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 7 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 8 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 9 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 10 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 11 / 82 ] simplifiying candidate # 1539789006.700 * * * * [misc]progress: [ 12 / 82 ] simplifiying candidate # 1539789006.700 * [enter]simplify: Simplifying (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1539789006.700 * * [misc]simplify: iters left: 6 (7 enodes) 1539789006.702 * * [misc]simplify: iters left: 5 (10 enodes) 1539789006.704 * * [misc]simplify: iters left: 4 (12 enodes) 1539789006.707 * [exit]simplify: Simplified to (+ (sqrt (exp (- x))) (sqrt (exp x))) 1539789006.707 * [misc]simplify: Simplified (2 1 1) to (λ (x) (/ (* (+ (sqrt (exp (- x))) (sqrt (exp x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (+ (exp x) (exp (- x))))) 1539789006.707 * [enter]simplify: Simplifying (- (sqrt (exp x)) (sqrt (exp (- x)))) 1539789006.707 * * [misc]simplify: iters left: 6 (7 enodes) 1539789006.709 * * [misc]simplify: iters left: 5 (11 enodes) 1539789006.712 * * [misc]simplify: iters left: 4 (14 enodes) 1539789006.715 * [exit]simplify: Simplified to (- (sqrt (exp x)) (sqrt (exp (- x)))) 1539789006.715 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (+ (exp x) (exp (- x))))) 1539789006.715 * * * * [misc]progress: [ 13 / 82 ] simplifiying candidate # 1539789006.715 * [enter]simplify: Simplifying (- (exp x) (exp (- x))) 1539789006.715 * * [misc]simplify: iters left: 5 (5 enodes) 1539789006.717 * * [misc]simplify: iters left: 4 (9 enodes) 1539789006.720 * * [misc]simplify: iters left: 3 (15 enodes) 1539789006.723 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1539789006.723 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (* 1 (+ (/ -1 (exp x)) (exp x))) (+ (exp x) (exp (- x))))) 1539789006.723 * * * * [misc]progress: [ 14 / 82 ] simplifiying candidate # 1539789006.724 * * * * [misc]progress: [ 15 / 82 ] simplifiying candidate # 1539789006.724 * * * * [misc]progress: [ 16 / 82 ] simplifiying candidate # 1539789006.724 * * * * [misc]progress: [ 17 / 82 ] simplifiying candidate # 1539789006.724 * [enter]simplify: Simplifying (- (log (- (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x))))) 1539789006.724 * * [misc]simplify: iters left: 6 (9 enodes) 1539789006.727 * * [misc]simplify: iters left: 5 (16 enodes) 1539789006.732 * * [misc]simplify: iters left: 4 (23 enodes) 1539789006.737 * [exit]simplify: Simplified to (- (log (+ (/ -1 (exp x)) (exp x))) (log (+ (exp x) (exp (- x))))) 1539789006.738 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (- (log (+ (/ -1 (exp x)) (exp x))) (log (+ (exp x) (exp (- x))))))) 1539789006.738 * * * * [misc]progress: [ 18 / 82 ] simplifiying candidate # 1539789006.738 * * * * [misc]progress: [ 19 / 82 ] simplifiying candidate # 1539789006.738 * * * * [misc]progress: [ 20 / 82 ] simplifiying candidate # 1539789006.738 * [enter]simplify: Simplifying (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) 1539789006.738 * * [misc]simplify: iters left: 6 (11 enodes) 1539789006.742 * * [misc]simplify: iters left: 5 (37 enodes) 1539789006.756 * * [misc]simplify: iters left: 4 (146 enodes) 1539789006.793 * * [misc]simplify: iters left: 3 (488 enodes) 1539789007.181 * [exit]simplify: Simplified to (pow (/ (+ (exp x) (/ -1 (exp x))) (+ (exp (- x)) (exp x))) 3) 1539789007.181 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (pow (/ (+ (exp x) (/ -1 (exp x))) (+ (exp (- x)) (exp x))) 3))) 1539789007.181 * * * * [misc]progress: [ 21 / 82 ] simplifiying candidate # 1539789007.181 * * * * [misc]progress: [ 22 / 82 ] simplifiying candidate # 1539789007.181 * * * * [misc]progress: [ 23 / 82 ] simplifiying candidate # 1539789007.181 * * * * [misc]progress: [ 24 / 82 ] simplifiying candidate # 1539789007.181 * * * * [misc]progress: [ 25 / 82 ] simplifiying candidate # 1539789007.182 * [enter]simplify: Simplifying (/ (exp x) (+ (exp x) (exp (- x)))) 1539789007.182 * * [misc]simplify: iters left: 6 (6 enodes) 1539789007.183 * * [misc]simplify: iters left: 5 (9 enodes) 1539789007.184 * * [misc]simplify: iters left: 4 (11 enodes) 1539789007.185 * [exit]simplify: Simplified to (/ (exp x) (+ (exp x) (exp (- x)))) 1539789007.185 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x)))))) 1539789007.185 * * * * [misc]progress: [ 26 / 82 ] simplifiying candidate # 1539789007.185 * [enter]simplify: Simplifying (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.185 * * [misc]simplify: iters left: 6 (11 enodes) 1539789007.187 * * [misc]simplify: iters left: 5 (22 enodes) 1539789007.194 * * [misc]simplify: iters left: 4 (37 enodes) 1539789007.201 * * [misc]simplify: iters left: 3 (40 enodes) 1539789007.206 * * [misc]simplify: iters left: 2 (43 enodes) 1539789007.211 * [exit]simplify: Simplified to (* (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x))))) (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.211 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x))))) (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.211 * [enter]simplify: Simplifying (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.211 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.213 * * [misc]simplify: iters left: 5 (14 enodes) 1539789007.215 * * [misc]simplify: iters left: 4 (20 enodes) 1539789007.217 * [exit]simplify: Simplified to (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.217 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.217 * * * * [misc]progress: [ 27 / 82 ] simplifiying candidate # 1539789007.217 * [enter]simplify: Simplifying (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.217 * * [misc]simplify: iters left: 6 (10 enodes) 1539789007.219 * * [misc]simplify: iters left: 5 (17 enodes) 1539789007.221 * * [misc]simplify: iters left: 4 (25 enodes) 1539789007.224 * * [misc]simplify: iters left: 3 (26 enodes) 1539789007.227 * [exit]simplify: Simplified to (* (cbrt (+ (exp x) (/ -1 (exp x)))) (/ (cbrt (+ (exp x) (/ -1 (exp x)))) (sqrt (+ (exp x) (exp (- x)))))) 1539789007.227 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (+ (exp x) (/ -1 (exp x)))) (/ (cbrt (+ (exp x) (/ -1 (exp x)))) (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.227 * [enter]simplify: Simplifying (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.227 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.231 * * [misc]simplify: iters left: 5 (14 enodes) 1539789007.233 * * [misc]simplify: iters left: 4 (20 enodes) 1539789007.235 * [exit]simplify: Simplified to (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.235 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.235 * * * * [misc]progress: [ 28 / 82 ] simplifiying candidate # 1539789007.236 * [enter]simplify: Simplifying (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) 1539789007.236 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.239 * * [misc]simplify: iters left: 5 (16 enodes) 1539789007.244 * * [misc]simplify: iters left: 4 (26 enodes) 1539789007.250 * * [misc]simplify: iters left: 3 (40 enodes) 1539789007.255 * * [misc]simplify: iters left: 2 (66 enodes) 1539789007.264 * [exit]simplify: Simplified to (* (cbrt (+ (exp x) (/ -1 (exp x)))) (cbrt (+ (exp x) (/ -1 (exp x))))) 1539789007.264 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (+ (exp x) (/ -1 (exp x)))) (cbrt (+ (exp x) (/ -1 (exp x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.264 * [enter]simplify: Simplifying (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.264 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.265 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.268 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.270 * [exit]simplify: Simplified to (/ (cbrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))) 1539789007.270 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))))) 1539789007.270 * * * * [misc]progress: [ 29 / 82 ] simplifiying candidate # 1539789007.270 * [enter]simplify: Simplifying (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) 1539789007.270 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.271 * * [misc]simplify: iters left: 5 (16 enodes) 1539789007.274 * * [misc]simplify: iters left: 4 (26 enodes) 1539789007.277 * * [misc]simplify: iters left: 3 (40 enodes) 1539789007.285 * * [misc]simplify: iters left: 2 (66 enodes) 1539789007.302 * [exit]simplify: Simplified to (* (cbrt (+ (exp x) (/ -1 (exp x)))) (cbrt (+ (exp x) (/ -1 (exp x))))) 1539789007.302 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (+ (exp x) (/ -1 (exp x)))) (cbrt (+ (exp x) (/ -1 (exp x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.302 * [enter]simplify: Simplifying (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.302 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.305 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.309 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.314 * [exit]simplify: Simplified to (/ (cbrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))) 1539789007.314 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))))) 1539789007.314 * * * * [misc]progress: [ 30 / 82 ] simplifiying candidate # 1539789007.314 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.314 * * [misc]simplify: iters left: 6 (10 enodes) 1539789007.317 * * [misc]simplify: iters left: 5 (17 enodes) 1539789007.322 * * [misc]simplify: iters left: 4 (23 enodes) 1539789007.328 * [exit]simplify: Simplified to (/ (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.328 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.328 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.329 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.331 * * [misc]simplify: iters left: 5 (14 enodes) 1539789007.336 * * [misc]simplify: iters left: 4 (20 enodes) 1539789007.340 * [exit]simplify: Simplified to (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.341 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.341 * * * * [misc]progress: [ 31 / 82 ] simplifiying candidate # 1539789007.341 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.341 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.344 * * [misc]simplify: iters left: 5 (14 enodes) 1539789007.349 * * [misc]simplify: iters left: 4 (20 enodes) 1539789007.354 * [exit]simplify: Simplified to (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.354 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.354 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.354 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.357 * * [misc]simplify: iters left: 5 (14 enodes) 1539789007.361 * * [misc]simplify: iters left: 4 (20 enodes) 1539789007.366 * [exit]simplify: Simplified to (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.366 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.366 * * * * [misc]progress: [ 32 / 82 ] simplifiying candidate # 1539789007.367 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) 1) 1539789007.367 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.369 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.374 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.376 * [exit]simplify: Simplified to (sqrt (+ (/ -1 (exp x)) (exp x))) 1539789007.376 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (+ (/ -1 (exp x)) (exp x))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.377 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.377 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.378 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.380 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.382 * [exit]simplify: Simplified to (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))) 1539789007.382 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (+ (/ -1 (exp x)) (exp x))) (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))))) 1539789007.382 * * * * [misc]progress: [ 33 / 82 ] simplifiying candidate # 1539789007.382 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) 1) 1539789007.382 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.384 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.386 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.388 * [exit]simplify: Simplified to (sqrt (+ (/ -1 (exp x)) (exp x))) 1539789007.388 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (+ (/ -1 (exp x)) (exp x))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.388 * [enter]simplify: Simplifying (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.388 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.389 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.391 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.393 * [exit]simplify: Simplified to (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))) 1539789007.393 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt (+ (/ -1 (exp x)) (exp x))) (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (+ (exp x) (exp (- x)))))) 1539789007.394 * * * * [misc]progress: [ 34 / 82 ] simplifiying candidate # 1539789007.394 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.394 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.395 * * [misc]simplify: iters left: 5 (15 enodes) 1539789007.397 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.397 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.397 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.397 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.398 * * [misc]simplify: iters left: 5 (16 enodes) 1539789007.401 * * [misc]simplify: iters left: 4 (26 enodes) 1539789007.404 * * [misc]simplify: iters left: 3 (32 enodes) 1539789007.408 * * [misc]simplify: iters left: 2 (35 enodes) 1539789007.411 * * [misc]simplify: iters left: 1 (37 enodes) 1539789007.415 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (cbrt (+ (exp x) (exp (- x))))) 1539789007.416 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (+ (/ -1 (exp x)) (exp x)) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.416 * * * * [misc]progress: [ 35 / 82 ] simplifiying candidate # 1539789007.416 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (exp x) (exp (- x))))) 1539789007.416 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.419 * * [misc]simplify: iters left: 5 (12 enodes) 1539789007.423 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (exp x) (exp (- x))))) 1539789007.423 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.423 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.423 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.426 * * [misc]simplify: iters left: 5 (16 enodes) 1539789007.431 * * [misc]simplify: iters left: 4 (26 enodes) 1539789007.437 * * [misc]simplify: iters left: 3 (32 enodes) 1539789007.444 * * [misc]simplify: iters left: 2 (35 enodes) 1539789007.452 * * [misc]simplify: iters left: 1 (37 enodes) 1539789007.460 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (sqrt (+ (exp x) (exp (- x))))) 1539789007.460 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (+ (/ -1 (exp x)) (exp x)) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.460 * * * * [misc]progress: [ 36 / 82 ] simplifiying candidate # 1539789007.461 * [enter]simplify: Simplifying (/ 1 1) 1539789007.461 * * [misc]simplify: iters left: 2 (2 enodes) 1539789007.463 * * [misc]simplify: iters left: 1 (4 enodes) 1539789007.463 * [exit]simplify: Simplified to 1 1539789007.463 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) 1539789007.464 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789007.464 * * [misc]simplify: iters left: 6 (7 enodes) 1539789007.466 * * [misc]simplify: iters left: 5 (15 enodes) 1539789007.471 * * [misc]simplify: iters left: 4 (25 enodes) 1539789007.478 * * [misc]simplify: iters left: 3 (31 enodes) 1539789007.485 * * [misc]simplify: iters left: 2 (41 enodes) 1539789007.490 * * [misc]simplify: iters left: 1 (49 enodes) 1539789007.495 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))) 1539789007.495 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))))) 1539789007.495 * * * * [misc]progress: [ 37 / 82 ] simplifiying candidate # 1539789007.495 * [enter]simplify: Simplifying (/ 1 1) 1539789007.495 * * [misc]simplify: iters left: 2 (2 enodes) 1539789007.495 * * [misc]simplify: iters left: 1 (4 enodes) 1539789007.496 * [exit]simplify: Simplified to 1 1539789007.496 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) 1539789007.496 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789007.496 * * [misc]simplify: iters left: 6 (7 enodes) 1539789007.497 * * [misc]simplify: iters left: 5 (15 enodes) 1539789007.499 * * [misc]simplify: iters left: 4 (25 enodes) 1539789007.503 * * [misc]simplify: iters left: 3 (31 enodes) 1539789007.506 * * [misc]simplify: iters left: 2 (41 enodes) 1539789007.511 * * [misc]simplify: iters left: 1 (49 enodes) 1539789007.520 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))) 1539789007.521 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))))) 1539789007.521 * * * * [misc]progress: [ 38 / 82 ] simplifiying candidate # 1539789007.521 * [enter]simplify: Simplifying (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.521 * * [misc]simplify: iters left: 6 (11 enodes) 1539789007.523 * * [misc]simplify: iters left: 5 (17 enodes) 1539789007.525 * * [misc]simplify: iters left: 4 (19 enodes) 1539789007.527 * [exit]simplify: Simplified to (/ (+ (sqrt (exp (- x))) (sqrt (exp x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.527 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (+ (sqrt (exp (- x))) (sqrt (exp x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.527 * [enter]simplify: Simplifying (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.527 * * [misc]simplify: iters left: 6 (10 enodes) 1539789007.529 * * [misc]simplify: iters left: 5 (18 enodes) 1539789007.531 * * [misc]simplify: iters left: 4 (23 enodes) 1539789007.533 * * [misc]simplify: iters left: 3 (25 enodes) 1539789007.536 * [exit]simplify: Simplified to (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.536 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.536 * * * * [misc]progress: [ 39 / 82 ] simplifiying candidate # 1539789007.537 * [enter]simplify: Simplifying (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.537 * * [misc]simplify: iters left: 6 (10 enodes) 1539789007.538 * * [misc]simplify: iters left: 5 (14 enodes) 1539789007.540 * * [misc]simplify: iters left: 4 (16 enodes) 1539789007.541 * [exit]simplify: Simplified to (/ (+ (sqrt (exp (- x))) (sqrt (exp x))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.541 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (+ (sqrt (exp (- x))) (sqrt (exp x))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.542 * [enter]simplify: Simplifying (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.542 * * [misc]simplify: iters left: 6 (10 enodes) 1539789007.543 * * [misc]simplify: iters left: 5 (18 enodes) 1539789007.545 * * [misc]simplify: iters left: 4 (23 enodes) 1539789007.548 * * [misc]simplify: iters left: 3 (25 enodes) 1539789007.552 * [exit]simplify: Simplified to (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.552 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.552 * * * * [misc]progress: [ 40 / 82 ] simplifiying candidate # 1539789007.552 * [enter]simplify: Simplifying (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) 1539789007.552 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.553 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.555 * [exit]simplify: Simplified to (+ (sqrt (exp (- x))) (sqrt (exp x))) 1539789007.555 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.555 * [enter]simplify: Simplifying (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.555 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.556 * * [misc]simplify: iters left: 5 (17 enodes) 1539789007.559 * * [misc]simplify: iters left: 4 (22 enodes) 1539789007.561 * * [misc]simplify: iters left: 3 (24 enodes) 1539789007.564 * [exit]simplify: Simplified to (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.564 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.564 * * * * [misc]progress: [ 41 / 82 ] simplifiying candidate # 1539789007.564 * [enter]simplify: Simplifying (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) 1539789007.564 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.566 * * [misc]simplify: iters left: 5 (13 enodes) 1539789007.567 * [exit]simplify: Simplified to (+ (sqrt (exp (- x))) (sqrt (exp x))) 1539789007.567 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.567 * [enter]simplify: Simplifying (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.567 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.569 * * [misc]simplify: iters left: 5 (17 enodes) 1539789007.571 * * [misc]simplify: iters left: 4 (22 enodes) 1539789007.574 * * [misc]simplify: iters left: 3 (24 enodes) 1539789007.577 * [exit]simplify: Simplified to (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) 1539789007.577 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))))) 1539789007.577 * * * * [misc]progress: [ 42 / 82 ] simplifiying candidate # 1539789007.577 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.577 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.578 * * [misc]simplify: iters left: 5 (15 enodes) 1539789007.580 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.580 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.580 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) 1539789007.580 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.582 * * [misc]simplify: iters left: 5 (16 enodes) 1539789007.584 * * [misc]simplify: iters left: 4 (26 enodes) 1539789007.587 * * [misc]simplify: iters left: 3 (32 enodes) 1539789007.591 * * [misc]simplify: iters left: 2 (35 enodes) 1539789007.594 * * [misc]simplify: iters left: 1 (37 enodes) 1539789007.598 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (cbrt (+ (exp x) (exp (- x))))) 1539789007.598 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (+ (/ -1 (exp x)) (exp x)) (cbrt (+ (exp x) (exp (- x))))))) 1539789007.598 * * * * [misc]progress: [ 43 / 82 ] simplifiying candidate # 1539789007.599 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (exp x) (exp (- x))))) 1539789007.599 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.600 * * [misc]simplify: iters left: 5 (12 enodes) 1539789007.601 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (exp x) (exp (- x))))) 1539789007.601 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.601 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1539789007.602 * * [misc]simplify: iters left: 6 (8 enodes) 1539789007.603 * * [misc]simplify: iters left: 5 (16 enodes) 1539789007.605 * * [misc]simplify: iters left: 4 (26 enodes) 1539789007.610 * * [misc]simplify: iters left: 3 (32 enodes) 1539789007.617 * * [misc]simplify: iters left: 2 (35 enodes) 1539789007.625 * * [misc]simplify: iters left: 1 (37 enodes) 1539789007.634 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (sqrt (+ (exp x) (exp (- x))))) 1539789007.634 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (+ (/ -1 (exp x)) (exp x)) (sqrt (+ (exp x) (exp (- x))))))) 1539789007.634 * * * * [misc]progress: [ 44 / 82 ] simplifiying candidate # 1539789007.634 * [enter]simplify: Simplifying (/ 1 1) 1539789007.634 * * [misc]simplify: iters left: 2 (2 enodes) 1539789007.635 * * [misc]simplify: iters left: 1 (4 enodes) 1539789007.635 * [exit]simplify: Simplified to 1 1539789007.635 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) 1539789007.636 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789007.636 * * [misc]simplify: iters left: 6 (7 enodes) 1539789007.638 * * [misc]simplify: iters left: 5 (15 enodes) 1539789007.644 * * [misc]simplify: iters left: 4 (25 enodes) 1539789007.650 * * [misc]simplify: iters left: 3 (31 enodes) 1539789007.657 * * [misc]simplify: iters left: 2 (41 enodes) 1539789007.667 * * [misc]simplify: iters left: 1 (49 enodes) 1539789007.678 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))) 1539789007.678 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))))) 1539789007.678 * * * * [misc]progress: [ 45 / 82 ] simplifiying candidate # 1539789007.679 * [enter]simplify: Simplifying (/ 1 1) 1539789007.679 * * [misc]simplify: iters left: 2 (2 enodes) 1539789007.680 * * [misc]simplify: iters left: 1 (4 enodes) 1539789007.680 * [exit]simplify: Simplified to 1 1539789007.680 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) 1539789007.681 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789007.681 * * [misc]simplify: iters left: 6 (7 enodes) 1539789007.683 * * [misc]simplify: iters left: 5 (15 enodes) 1539789007.688 * * [misc]simplify: iters left: 4 (25 enodes) 1539789007.695 * * [misc]simplify: iters left: 3 (31 enodes) 1539789007.702 * * [misc]simplify: iters left: 2 (41 enodes) 1539789007.712 * * [misc]simplify: iters left: 1 (49 enodes) 1539789007.723 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))) 1539789007.723 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))))) 1539789007.723 * * * * [misc]progress: [ 46 / 82 ] simplifiying candidate # 1539789007.723 * * * * [misc]progress: [ 47 / 82 ] simplifiying candidate # 1539789007.723 * * * * [misc]progress: [ 48 / 82 ] simplifiying candidate # 1539789007.723 * * * * [misc]progress: [ 49 / 82 ] simplifiying candidate # 1539789007.724 * [enter]simplify: Simplifying (cbrt (+ (exp x) (exp (- x)))) 1539789007.724 * * [misc]simplify: iters left: 6 (6 enodes) 1539789007.725 * * [misc]simplify: iters left: 5 (9 enodes) 1539789007.728 * * [misc]simplify: iters left: 4 (11 enodes) 1539789007.730 * [exit]simplify: Simplified to (cbrt (+ (exp x) (exp (- x)))) 1539789007.730 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x)))))) 1539789007.730 * * * * [misc]progress: [ 50 / 82 ] simplifiying candidate # 1539789007.731 * [enter]simplify: Simplifying (sqrt (+ (exp x) (exp (- x)))) 1539789007.731 * * [misc]simplify: iters left: 6 (6 enodes) 1539789007.732 * * [misc]simplify: iters left: 5 (9 enodes) 1539789007.735 * * [misc]simplify: iters left: 4 (11 enodes) 1539789007.737 * [exit]simplify: Simplified to (sqrt (+ (exp x) (exp (- x)))) 1539789007.737 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) 1539789007.737 * * * * [misc]progress: [ 51 / 82 ] simplifiying candidate # 1539789007.737 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1539789007.738 * * [misc]simplify: iters left: 5 (5 enodes) 1539789007.739 * * [misc]simplify: iters left: 4 (8 enodes) 1539789007.741 * * [misc]simplify: iters left: 3 (10 enodes) 1539789007.743 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1539789007.743 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (- (exp x) (exp (- x))) 1) (+ (exp x) (exp (- x))))) 1539789007.743 * * * * [misc]progress: [ 52 / 82 ] simplifiying candidate # 1539789007.744 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1539789007.744 * * [misc]simplify: iters left: 5 (5 enodes) 1539789007.745 * * [misc]simplify: iters left: 4 (8 enodes) 1539789007.747 * * [misc]simplify: iters left: 3 (10 enodes) 1539789007.749 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1539789007.749 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (- (exp x) (exp (- x))) 1) (+ (exp x) (exp (- x))))) 1539789007.749 * * * * [misc]progress: [ 53 / 82 ] simplifiying candidate # 1539789007.749 * [enter]simplify: Simplifying (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1539789007.750 * * [misc]simplify: iters left: 6 (7 enodes) 1539789007.751 * * [misc]simplify: iters left: 5 (11 enodes) 1539789007.755 * * [misc]simplify: iters left: 4 (17 enodes) 1539789007.759 * [exit]simplify: Simplified to (* (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (/ -1 (exp x)) (exp x)))) 1539789007.759 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (/ -1 (exp x)) (exp x)))) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))))) 1539789007.759 * * * * [misc]progress: [ 54 / 82 ] simplifiying candidate # 1539789007.760 * [enter]simplify: Simplifying (sqrt (- (exp x) (exp (- x)))) 1539789007.760 * * [misc]simplify: iters left: 6 (6 enodes) 1539789007.762 * * [misc]simplify: iters left: 5 (10 enodes) 1539789007.765 * * [misc]simplify: iters left: 4 (16 enodes) 1539789007.769 * [exit]simplify: Simplified to (sqrt (+ (exp x) (/ -1 (exp x)))) 1539789007.769 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (+ (exp x) (/ -1 (exp x)))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x))))))) 1539789007.769 * * * * [misc]progress: [ 55 / 82 ] simplifiying candidate # 1539789007.769 * * * * [misc]progress: [ 56 / 82 ] simplifiying candidate # 1539789007.770 * [enter]simplify: Simplifying (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1539789007.770 * * [misc]simplify: iters left: 6 (7 enodes) 1539789007.772 * * [misc]simplify: iters left: 5 (10 enodes) 1539789007.775 * * [misc]simplify: iters left: 4 (12 enodes) 1539789007.778 * [exit]simplify: Simplified to (+ (sqrt (exp (- x))) (sqrt (exp x))) 1539789007.778 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))))) 1539789007.778 * * * * [misc]progress: [ 57 / 82 ] simplifiying candidate # 1539789007.778 * * * * [misc]progress: [ 58 / 82 ] simplifiying candidate # 1539789007.778 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 1539789007.779 * * [misc]simplify: iters left: 6 (9 enodes) 1539789007.782 * * [misc]simplify: iters left: 5 (25 enodes) 1539789007.792 * * [misc]simplify: iters left: 4 (55 enodes) 1539789007.808 * * [misc]simplify: iters left: 3 (87 enodes) 1539789007.832 * * [misc]simplify: iters left: 2 (168 enodes) 1539789007.912 * * [misc]simplify: iters left: 1 (277 enodes) 1539789008.018 * [exit]simplify: Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))) 1539789008.018 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))))) 1539789008.019 * * * * [misc]progress: [ 59 / 82 ] simplifiying candidate # 1539789008.019 * [enter]simplify: Simplifying (- (exp x) (exp (- x))) 1539789008.019 * * [misc]simplify: iters left: 5 (5 enodes) 1539789008.021 * * [misc]simplify: iters left: 4 (9 enodes) 1539789008.024 * * [misc]simplify: iters left: 3 (15 enodes) 1539789008.027 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1539789008.027 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (- (exp x) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x)))) 1539789008.027 * * * * [misc]progress: [ 60 / 82 ] simplifiying candidate # 1539789008.027 * [enter]simplify: Simplifying (- (pow (exp x) 3) (pow (exp (- x)) 3)) 1539789008.028 * * [misc]simplify: iters left: 6 (8 enodes) 1539789008.030 * * [misc]simplify: iters left: 5 (18 enodes) 1539789008.037 * * [misc]simplify: iters left: 4 (41 enodes) 1539789008.051 * * [misc]simplify: iters left: 3 (69 enodes) 1539789008.075 * * [misc]simplify: iters left: 2 (126 enodes) 1539789008.138 * * [misc]simplify: iters left: 1 (213 enodes) 1539789008.184 * [exit]simplify: Simplified to (- (pow (exp x) 3) (exp (- (- x) (+ x x)))) 1539789008.184 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (pow (exp x) 3) (exp (- (- x) (+ x x)))) (* (+ (exp x) (exp (- x))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))) 1539789008.185 * * * * [misc]progress: [ 61 / 82 ] simplifiying candidate # 1539789008.185 * [enter]simplify: Simplifying (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) 1539789008.185 * * [misc]simplify: iters left: 6 (7 enodes) 1539789008.187 * * [misc]simplify: iters left: 5 (18 enodes) 1539789008.192 * * [misc]simplify: iters left: 4 (33 enodes) 1539789008.203 * * [misc]simplify: iters left: 3 (63 enodes) 1539789008.223 * * [misc]simplify: iters left: 2 (162 enodes) 1539789008.280 * * [misc]simplify: iters left: 1 (383 enodes) 1539789008.465 * [exit]simplify: Simplified to (+ (/ -1 (exp (+ x x))) (exp (+ x x))) 1539789008.465 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (/ -1 (exp (+ x x))) (exp (+ x x))) (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) 1539789008.465 * * * * [misc]progress: [ 62 / 82 ] simplifiying candidate # 1539789008.465 * [enter]simplify: Simplifying (* (exp (exp x)) (exp (exp (- x)))) 1539789008.465 * * [misc]simplify: iters left: 6 (7 enodes) 1539789008.467 * * [misc]simplify: iters left: 5 (12 enodes) 1539789008.471 * * [misc]simplify: iters left: 4 (16 enodes) 1539789008.473 * [exit]simplify: Simplified to (exp (+ (exp x) (exp (- x)))) 1539789008.473 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ (- (exp x) (exp (- x))) (log (exp (+ (exp x) (exp (- x))))))) 1539789008.473 * * * * [misc]progress: [ 63 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 64 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 65 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 66 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 67 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 68 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 69 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 70 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 71 / 82 ] simplifiying candidate # 1539789008.473 * * * * [misc]progress: [ 72 / 82 ] simplifiying candidate # 1539789008.473 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1539789008.473 * * [misc]simplify: iters left: 5 (5 enodes) 1539789008.474 * * [misc]simplify: iters left: 4 (8 enodes) 1539789008.475 * * [misc]simplify: iters left: 3 (10 enodes) 1539789008.476 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1539789008.476 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ (- (exp x) (exp (- x))) (* 1 (+ (exp x) (exp (- x)))))) 1539789008.476 * * * * [misc]progress: [ 73 / 82 ] simplifiying candidate # 1539789008.476 * * * * [misc]progress: [ 74 / 82 ] simplifiying candidate # 1539789008.476 * [enter]simplify: Simplifying (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1539789008.476 * * [misc]simplify: iters left: 6 (13 enodes) 1539789008.478 * * [misc]simplify: iters left: 5 (23 enodes) 1539789008.482 * * [misc]simplify: iters left: 4 (37 enodes) 1539789008.487 * * [misc]simplify: iters left: 3 (53 enodes) 1539789008.496 * * [misc]simplify: iters left: 2 (64 enodes) 1539789008.511 * [exit]simplify: Simplified to (+ (* (pow x 5) 1/60) (+ (* 2 x) (* (* 1/3 x) (* x x)))) 1539789008.511 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (* (pow x 5) 1/60) (+ (* 2 x) (* (* 1/3 x) (* x x)))) (+ (exp x) (exp (- x))))) 1539789008.511 * * * * [misc]progress: [ 75 / 82 ] simplifiying candidate # 1539789008.512 * [enter]simplify: Simplifying (- (exp x) (exp (- x))) 1539789008.512 * * [misc]simplify: iters left: 5 (5 enodes) 1539789008.513 * * [misc]simplify: iters left: 4 (9 enodes) 1539789008.517 * * [misc]simplify: iters left: 3 (15 enodes) 1539789008.520 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1539789008.520 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x))))) 1539789008.520 * * * * [misc]progress: [ 76 / 82 ] simplifiying candidate # 1539789008.520 * [enter]simplify: Simplifying (- (exp x) (exp (* -1 x))) 1539789008.520 * * [misc]simplify: iters left: 5 (6 enodes) 1539789008.523 * * [misc]simplify: iters left: 4 (12 enodes) 1539789008.527 * * [misc]simplify: iters left: 3 (15 enodes) 1539789008.532 * * [misc]simplify: iters left: 2 (20 enodes) 1539789008.537 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1539789008.537 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x))))) 1539789008.537 * * * * [misc]progress: [ 77 / 82 ] simplifiying candidate # 1539789008.537 * [enter]simplify: Simplifying (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 1539789008.537 * * [misc]simplify: iters left: 6 (11 enodes) 1539789008.541 * * [misc]simplify: iters left: 5 (21 enodes) 1539789008.549 * * [misc]simplify: iters left: 4 (44 enodes) 1539789008.559 * * [misc]simplify: iters left: 3 (67 enodes) 1539789008.569 * * [misc]simplify: iters left: 2 (90 enodes) 1539789008.581 * * [misc]simplify: iters left: 1 (96 enodes) 1539789008.592 * [exit]simplify: Simplified to (+ (+ (* (pow x 5) 2/15) (* (* x -1/3) (* x x))) x) 1539789008.592 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (pow x 5) 2/15) (* (* x -1/3) (* x x))) x)) 1539789008.592 * * * * [misc]progress: [ 78 / 82 ] simplifiying candidate # 1539789008.593 * [enter]simplify: Simplifying (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1539789008.593 * * [misc]simplify: iters left: 6 (7 enodes) 1539789008.594 * * [misc]simplify: iters left: 5 (15 enodes) 1539789008.596 * * [misc]simplify: iters left: 4 (25 enodes) 1539789008.599 * * [misc]simplify: iters left: 3 (31 enodes) 1539789008.606 * * [misc]simplify: iters left: 2 (41 enodes) 1539789008.616 * * [misc]simplify: iters left: 1 (49 enodes) 1539789008.627 * [exit]simplify: Simplified to (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x)))) 1539789008.627 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (/ -1 (exp x)) (exp x)) (+ (exp x) (exp (- x))))) 1539789008.627 * * * * [misc]progress: [ 79 / 82 ] simplifiying candidate # 1539789008.627 * [enter]simplify: Simplifying (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 1539789008.627 * * [misc]simplify: iters left: 6 (8 enodes) 1539789008.630 * * [misc]simplify: iters left: 5 (18 enodes) 1539789008.636 * * [misc]simplify: iters left: 4 (23 enodes) 1539789008.643 * * [misc]simplify: iters left: 3 (32 enodes) 1539789008.651 * * [misc]simplify: iters left: 2 (36 enodes) 1539789008.660 * * [misc]simplify: iters left: 1 (47 enodes) 1539789008.674 * [exit]simplify: Simplified to (/ (+ (exp x) (/ -1 (exp x))) (+ (exp x) (exp (- x)))) 1539789008.674 * [misc]simplify: Simplified (2) to (λ (x) (/ (+ (exp x) (/ -1 (exp x))) (+ (exp x) (exp (- x))))) 1539789008.675 * * * * [misc]progress: [ 80 / 82 ] simplifiying candidate # 1539789008.675 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 1539789008.675 * * [misc]simplify: iters left: 6 (9 enodes) 1539789008.678 * * [misc]simplify: iters left: 5 (15 enodes) 1539789008.682 * * [misc]simplify: iters left: 4 (21 enodes) 1539789008.688 * * [misc]simplify: iters left: 3 (22 enodes) 1539789008.693 * [exit]simplify: Simplified to (+ (+ 2 (* x x)) (* 1/12 (pow x 4))) 1539789008.693 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (exp x) (exp (- x))) (+ (+ 2 (* x x)) (* 1/12 (pow x 4))))) 1539789008.693 * * * * [misc]progress: [ 81 / 82 ] simplifiying candidate # 1539789008.693 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1539789008.693 * * [misc]simplify: iters left: 5 (5 enodes) 1539789008.695 * * [misc]simplify: iters left: 4 (8 enodes) 1539789008.697 * * [misc]simplify: iters left: 3 (10 enodes) 1539789008.699 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1539789008.699 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) 1539789008.699 * * * * [misc]progress: [ 82 / 82 ] simplifiying candidate # 1539789008.700 * [enter]simplify: Simplifying (+ (exp (* -1 x)) (exp x)) 1539789008.700 * * [misc]simplify: iters left: 5 (6 enodes) 1539789008.702 * * [misc]simplify: iters left: 4 (11 enodes) 1539789008.705 * * [misc]simplify: iters left: 3 (13 enodes) 1539789008.709 * * [misc]simplify: iters left: 2 (16 enodes) 1539789008.713 * [exit]simplify: Simplified to (+ (exp (- x)) (exp x)) 1539789008.713 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))) 1539789008.713 * * * [misc]progress: adding candidates to table 1539789009.383 * * [misc]progress: iteration 2 / 4 1539789009.383 * * * [misc]progress: picking best candidate 1539789009.385 * * * * [misc]pick: Picked # 1539789009.385 * * * [misc]progress: localizing error 1539789009.393 * * * [misc]progress: generating rewritten candidates 1539789009.393 * * * [misc]progress: generating series expansions 1539789009.393 * * * [misc]progress: simplifying candidates 1539789009.393 * * * [misc]progress: adding candidates to table 1539789009.393 * [misc]progress: [Phase 3 of 3] Extracting. 1539789009.395 * [enter]simplify: Simplifying (tanh x) 1539789009.395 * * [misc]simplify: iters left: 1 (2 enodes) 1539789009.395 * [exit]simplify: Simplified to (tanh x) 1539789009.395 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539789009.420 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539789009.421 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.423 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.424 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539789009.426 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.429 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.432 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539789009.433 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.440 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.447 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539789009.449 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.463 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.478 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539789009.479 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.506 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.533 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539789009.534 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.590 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.660 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539789009.661 * * * * [misc]points: Setting MPFR precision to 1088 1539789009.751 * * * * [misc]points: Setting MPFR precision to 1344 1539789009.830 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539789009.831 * * * * [misc]points: Setting MPFR precision to 1088 1539789010.051 * * * * [misc]points: Setting MPFR precision to 1344 1539789010.241 * * * * [misc]points: Computing exacts for 8000 points 1539789010.243 * * * * [misc]points: Setting MPFR precision to 1088 1539789011.212 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.063 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789012.066 * * * * [misc]points: Sampling 3821 additional inputs, on iter 1 have 4179 / 8000 1539789012.084 * * * * [misc]points: Computing exacts on every 238 of 3821 points to ramp up precision 1539789012.086 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.088 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.090 * * * * [misc]points: Computing exacts on every 119 of 3821 points to ramp up precision 1539789012.091 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.095 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.099 * * * * [misc]points: Computing exacts on every 59 of 3821 points to ramp up precision 1539789012.100 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.107 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.111 * * * * [misc]points: Computing exacts on every 29 of 3821 points to ramp up precision 1539789012.112 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.119 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.127 * * * * [misc]points: Computing exacts on every 14 of 3821 points to ramp up precision 1539789012.128 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.141 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.155 * * * * [misc]points: Computing exacts on every 7 of 3821 points to ramp up precision 1539789012.156 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.210 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.239 * * * * [misc]points: Computing exacts on every 3 of 3821 points to ramp up precision 1539789012.241 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.294 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.366 * * * * [misc]points: Computing exacts for 3821 points 1539789012.367 * * * * [misc]points: Setting MPFR precision to 1088 1539789012.668 * * * * [misc]points: Setting MPFR precision to 1344 1539789012.999 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789013.000 * * * * [misc]points: Sampling 1830 additional inputs, on iter 2 have 6170 / 8000 1539789013.008 * * * * [misc]points: Computing exacts on every 114 of 1830 points to ramp up precision 1539789013.010 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.012 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.014 * * * * [misc]points: Computing exacts on every 57 of 1830 points to ramp up precision 1539789013.016 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.019 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.023 * * * * [misc]points: Computing exacts on every 28 of 1830 points to ramp up precision 1539789013.024 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.033 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.040 * * * * [misc]points: Computing exacts on every 14 of 1830 points to ramp up precision 1539789013.041 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.054 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.105 * * * * [misc]points: Computing exacts on every 7 of 1830 points to ramp up precision 1539789013.107 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.135 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.160 * * * * [misc]points: Computing exacts on every 3 of 1830 points to ramp up precision 1539789013.162 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.210 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.251 * * * * [misc]points: Computing exacts for 1830 points 1539789013.252 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.389 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789013.617 * * * * [misc]points: Sampling 860 additional inputs, on iter 3 have 7140 / 8000 1539789013.619 * * * * [misc]points: Computing exacts on every 53 of 860 points to ramp up precision 1539789013.620 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.621 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.622 * * * * [misc]points: Computing exacts on every 26 of 860 points to ramp up precision 1539789013.623 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.625 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.627 * * * * [misc]points: Computing exacts on every 13 of 860 points to ramp up precision 1539789013.628 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.632 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.635 * * * * [misc]points: Computing exacts on every 6 of 860 points to ramp up precision 1539789013.636 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.649 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.657 * * * * [misc]points: Computing exacts on every 3 of 860 points to ramp up precision 1539789013.658 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.670 * * * * [misc]points: Setting MPFR precision to 1344 1539789013.684 * * * * [misc]points: Computing exacts for 860 points 1539789013.686 * * * * [misc]points: Setting MPFR precision to 1088 1539789013.777 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.236 * * * * [misc]points: Sampling 415 additional inputs, on iter 4 have 7585 / 8000 1539789014.238 * * * * [misc]points: Computing exacts on every 25 of 415 points to ramp up precision 1539789014.240 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.242 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.243 * * * * [misc]points: Computing exacts on every 12 of 415 points to ramp up precision 1539789014.245 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.248 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.252 * * * * [misc]points: Computing exacts on every 6 of 415 points to ramp up precision 1539789014.253 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.261 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.269 * * * * [misc]points: Computing exacts on every 3 of 415 points to ramp up precision 1539789014.270 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.283 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.295 * * * * [misc]points: Computing exacts for 415 points 1539789014.296 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.341 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.384 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.384 * * * * [misc]points: Sampling 207 additional inputs, on iter 5 have 7793 / 8000 1539789014.385 * * * * [misc]points: Computing exacts on every 12 of 207 points to ramp up precision 1539789014.386 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.388 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.389 * * * * [misc]points: Computing exacts on every 6 of 207 points to ramp up precision 1539789014.390 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.391 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.393 * * * * [misc]points: Computing exacts on every 3 of 207 points to ramp up precision 1539789014.394 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.396 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.399 * * * * [misc]points: Computing exacts for 207 points 1539789014.399 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.414 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.431 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.431 * * * * [misc]points: Sampling 109 additional inputs, on iter 6 have 7891 / 8000 1539789014.432 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1539789014.433 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.433 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.434 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1539789014.435 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.436 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.438 * * * * [misc]points: Computing exacts for 109 points 1539789014.439 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.444 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.450 * * * * [misc]points: Sampling 61 additional inputs, on iter 7 have 7939 / 8000 1539789014.450 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1539789014.451 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.451 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.452 * * * * [misc]points: Computing exacts for 61 points 1539789014.453 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.458 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.466 * * * * [misc]points: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 1539789014.466 * * * * [misc]points: Computing exacts for 26 points 1539789014.467 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.471 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.474 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.474 * * * * [misc]points: Sampling 10 additional inputs, on iter 9 have 7990 / 8000 1539789014.474 * * * * [misc]points: Computing exacts for 10 points 1539789014.476 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.477 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.478 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1539789014.478 * * * * [misc]points: Computing exacts for 4 points 1539789014.479 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.479 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.479 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.479 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1539789014.479 * * * * [misc]points: Computing exacts for 4 points 1539789014.480 * * * * [misc]points: Setting MPFR precision to 1088 1539789014.480 * * * * [misc]points: Setting MPFR precision to 1344 1539789014.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789014.481 * * * * [exit]points: Sampled 8000 points with exact outputs 1539789014.656 * [misc]regime-testing: Baseline error score: 0.013323120312590146 1539789014.656 * [misc]regime-testing: End program error score: 0.013323120312590146 1539789014.658 * [misc]regime-testing: Oracle error score: 0.013323120312590146