1547109934.176 * [misc]progress: [Phase 1 of 3] Setting up. 1547109934.176 * * * [misc]progress: [1/2] Preparing points 1547109934.176 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547109934.203 * * * * [misc]points: Filtering points with unrepresentable outputs 1547109934.203 * * * * [exit]points: Sampled 256 points with exact outputs 1547109934.203 * * * [misc]progress: [2/2] Setting up program. 1547109934.207 * [misc]progress: [Phase 2 of 3] Improving. 1547109934.207 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547109934.207 * [enter]simplify: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 1547109934.207 * * [misc]simplify: iters left: 6 (7 enodes) 1547109934.209 * * [misc]simplify: iters left: 5 (10 enodes) 1547109934.211 * * [misc]simplify: iters left: 4 (12 enodes) 1547109934.214 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109934.214 * [misc]simplify: Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x))))) 1547109934.218 * * [misc]progress: iteration 1 / 4 1547109934.218 * * * [misc]progress: picking best candidate 1547109934.222 * * * * [misc]pick: Picked # 1547109934.222 * * * [misc]progress: localizing error 1547109934.248 * * * [misc]progress: generating rewritten candidates 1547109934.248 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547109934.251 * * * [misc]progress: generating series expansions 1547109934.251 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547109934.252 * [misc]backup-simplify: Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x)))) 1547109934.252 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0 1547109934.252 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 1547109934.252 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.252 * [misc]backup-simplify: Simplify 2 into 2 1547109934.252 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1547109934.252 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547109934.252 * [misc]taylor: Taking taylor expansion of x in x 1547109934.252 * [misc]backup-simplify: Simplify 0 into 0 1547109934.252 * [misc]backup-simplify: Simplify 1 into 1 1547109934.252 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.252 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1547109934.252 * [misc]taylor: Taking taylor expansion of (- x) in x 1547109934.252 * [misc]taylor: Taking taylor expansion of x in x 1547109934.252 * [misc]backup-simplify: Simplify 0 into 0 1547109934.252 * [misc]backup-simplify: Simplify 1 into 1 1547109934.252 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.252 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.252 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.252 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547109934.252 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1547109934.252 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 1547109934.252 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.252 * [misc]backup-simplify: Simplify 2 into 2 1547109934.253 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1547109934.253 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547109934.253 * [misc]taylor: Taking taylor expansion of x in x 1547109934.253 * [misc]backup-simplify: Simplify 0 into 0 1547109934.253 * [misc]backup-simplify: Simplify 1 into 1 1547109934.253 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.253 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1547109934.253 * [misc]taylor: Taking taylor expansion of (- x) in x 1547109934.253 * [misc]taylor: Taking taylor expansion of x in x 1547109934.253 * [misc]backup-simplify: Simplify 0 into 0 1547109934.253 * [misc]backup-simplify: Simplify 1 into 1 1547109934.253 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.253 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.253 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.253 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547109934.253 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1547109934.253 * [misc]backup-simplify: Simplify 1 into 1 1547109934.254 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547109934.254 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.255 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1547109934.255 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547109934.255 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1547109934.255 * [misc]backup-simplify: Simplify 0 into 0 1547109934.257 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547109934.257 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.257 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.258 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547109934.259 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1547109934.259 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2 1547109934.259 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547109934.261 * [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 1547109934.261 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.261 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.262 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.262 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.264 * [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 1547109934.264 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1547109934.264 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0 1547109934.264 * [misc]backup-simplify: Simplify 0 into 0 1547109934.268 * [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 1547109934.268 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.268 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.268 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.268 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.268 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.269 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.269 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.272 * [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 1547109934.273 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1547109934.273 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24 1547109934.273 * [misc]backup-simplify: Simplify 5/24 into 5/24 1547109934.273 * [misc]backup-simplify: Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1547109934.273 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.273 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 1547109934.273 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1547109934.273 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.273 * [misc]backup-simplify: Simplify 2 into 2 1547109934.273 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1547109934.273 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.273 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.273 * [misc]taylor: Taking taylor expansion of x in x 1547109934.273 * [misc]backup-simplify: Simplify 0 into 0 1547109934.273 * [misc]backup-simplify: Simplify 1 into 1 1547109934.273 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.274 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.274 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of x in x 1547109934.274 * [misc]backup-simplify: Simplify 0 into 0 1547109934.274 * [misc]backup-simplify: Simplify 1 into 1 1547109934.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.274 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.274 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1547109934.274 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1547109934.274 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.274 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.274 * [misc]backup-simplify: Simplify 2 into 2 1547109934.274 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of x in x 1547109934.274 * [misc]backup-simplify: Simplify 0 into 0 1547109934.274 * [misc]backup-simplify: Simplify 1 into 1 1547109934.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.274 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.274 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.274 * [misc]taylor: Taking taylor expansion of x in x 1547109934.274 * [misc]backup-simplify: Simplify 0 into 0 1547109934.275 * [misc]backup-simplify: Simplify 1 into 1 1547109934.275 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.275 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.275 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1547109934.275 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1547109934.275 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.275 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.275 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.275 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1547109934.275 * [misc]backup-simplify: Simplify 0 into 0 1547109934.276 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.276 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1547109934.276 * [misc]backup-simplify: Simplify 0 into 0 1547109934.276 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.276 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.277 * [misc]backup-simplify: Simplify 0 into 0 1547109934.277 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.277 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.277 * [misc]backup-simplify: Simplify 0 into 0 1547109934.277 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.278 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.278 * [misc]backup-simplify: Simplify 0 into 0 1547109934.278 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.279 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.279 * [misc]backup-simplify: Simplify 0 into 0 1547109934.279 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x)))) 1547109934.279 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.279 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 1547109934.279 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1547109934.279 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.279 * [misc]backup-simplify: Simplify 2 into 2 1547109934.279 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1547109934.279 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.279 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.279 * [misc]taylor: Taking taylor expansion of x in x 1547109934.279 * [misc]backup-simplify: Simplify 0 into 0 1547109934.279 * [misc]backup-simplify: Simplify 1 into 1 1547109934.279 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.279 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.279 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547109934.279 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547109934.279 * [misc]taylor: Taking taylor expansion of -1 in x 1547109934.279 * [misc]backup-simplify: Simplify -1 into -1 1547109934.279 * [misc]taylor: Taking taylor expansion of x in x 1547109934.279 * [misc]backup-simplify: Simplify 0 into 0 1547109934.279 * [misc]backup-simplify: Simplify 1 into 1 1547109934.280 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547109934.280 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547109934.280 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1547109934.280 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.280 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1547109934.280 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.280 * [misc]backup-simplify: Simplify 2 into 2 1547109934.280 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1547109934.280 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.280 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.280 * [misc]taylor: Taking taylor expansion of x in x 1547109934.280 * [misc]backup-simplify: Simplify 0 into 0 1547109934.280 * [misc]backup-simplify: Simplify 1 into 1 1547109934.280 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.280 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.280 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547109934.280 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547109934.280 * [misc]taylor: Taking taylor expansion of -1 in x 1547109934.280 * [misc]backup-simplify: Simplify -1 into -1 1547109934.280 * [misc]taylor: Taking taylor expansion of x in x 1547109934.280 * [misc]backup-simplify: Simplify 0 into 0 1547109934.280 * [misc]backup-simplify: Simplify 1 into 1 1547109934.280 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547109934.280 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547109934.280 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1547109934.280 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.281 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.281 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.281 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1547109934.281 * [misc]backup-simplify: Simplify 0 into 0 1547109934.281 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.281 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1547109934.281 * [misc]backup-simplify: Simplify 0 into 0 1547109934.281 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.282 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.282 * [misc]backup-simplify: Simplify 0 into 0 1547109934.282 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.282 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.282 * [misc]backup-simplify: Simplify 0 into 0 1547109934.283 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.283 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.283 * [misc]backup-simplify: Simplify 0 into 0 1547109934.283 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.284 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.284 * [misc]backup-simplify: Simplify 0 into 0 1547109934.284 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x))) 1547109934.284 * * * [misc]progress: simplifying candidates 1547109934.284 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1547109934.284 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1547109934.284 * [enter]simplify: Simplifying (cbrt (+ (exp x) (exp (- x)))) 1547109934.284 * * [misc]simplify: iters left: 6 (6 enodes) 1547109934.285 * * [misc]simplify: iters left: 5 (9 enodes) 1547109934.287 * * [misc]simplify: iters left: 4 (11 enodes) 1547109934.288 * [exit]simplify: Simplified to (cbrt (+ (exp x) (exp (- x)))) 1547109934.288 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x)))))) 1547109934.288 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1547109934.288 * [enter]simplify: Simplifying (sqrt (+ (exp x) (exp (- x)))) 1547109934.288 * * [misc]simplify: iters left: 6 (6 enodes) 1547109934.289 * * [misc]simplify: iters left: 5 (9 enodes) 1547109934.290 * * [misc]simplify: iters left: 4 (11 enodes) 1547109934.292 * [exit]simplify: Simplified to (sqrt (+ (exp x) (exp (- x)))) 1547109934.292 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) 1547109934.292 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1547109934.292 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1547109934.292 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.293 * * [misc]simplify: iters left: 4 (8 enodes) 1547109934.294 * * [misc]simplify: iters left: 3 (10 enodes) 1547109934.295 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1547109934.295 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x))))) 1547109934.295 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1547109934.295 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1547109934.295 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.296 * * [misc]simplify: iters left: 4 (8 enodes) 1547109934.297 * * [misc]simplify: iters left: 3 (10 enodes) 1547109934.298 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1547109934.298 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x))))) 1547109934.298 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1547109934.299 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 1547109934.299 * * [misc]simplify: iters left: 6 (9 enodes) 1547109934.300 * * [misc]simplify: iters left: 5 (25 enodes) 1547109934.305 * * [misc]simplify: iters left: 4 (55 enodes) 1547109934.313 * * [misc]simplify: iters left: 3 (87 enodes) 1547109934.329 * * [misc]simplify: iters left: 2 (168 enodes) 1547109934.361 * * [misc]simplify: iters left: 1 (277 enodes) 1547109934.417 * [exit]simplify: Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))) 1547109934.417 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))))) 1547109934.417 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1547109934.418 * [enter]simplify: Simplifying (- (exp x) (exp (- x))) 1547109934.418 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.419 * * [misc]simplify: iters left: 4 (9 enodes) 1547109934.420 * * [misc]simplify: iters left: 3 (15 enodes) 1547109934.422 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1547109934.422 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x)))) 1547109934.422 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1547109934.422 * [enter]simplify: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1547109934.422 * * [misc]simplify: iters left: 6 (12 enodes) 1547109934.424 * * [misc]simplify: iters left: 5 (22 enodes) 1547109934.428 * * [misc]simplify: iters left: 4 (41 enodes) 1547109934.434 * * [misc]simplify: iters left: 3 (55 enodes) 1547109934.441 * * [misc]simplify: iters left: 2 (63 enodes) 1547109934.449 * * [misc]simplify: iters left: 1 (72 enodes) 1547109934.459 * [exit]simplify: Simplified to (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1)) 1547109934.459 * [misc]simplify: Simplified (2) to (λ (x) (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1))) 1547109934.459 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1547109934.460 * [enter]simplify: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 1547109934.461 * * [misc]simplify: iters left: 6 (7 enodes) 1547109934.462 * * [misc]simplify: iters left: 5 (10 enodes) 1547109934.463 * * [misc]simplify: iters left: 4 (12 enodes) 1547109934.464 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109934.465 * [misc]simplify: Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x))))) 1547109934.465 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1547109934.465 * [enter]simplify: Simplifying (/ 2 (+ (exp (* -1 x)) (exp x))) 1547109934.465 * * [misc]simplify: iters left: 6 (8 enodes) 1547109934.467 * * [misc]simplify: iters left: 5 (13 enodes) 1547109934.468 * * [misc]simplify: iters left: 4 (15 enodes) 1547109934.471 * * [misc]simplify: iters left: 3 (18 enodes) 1547109934.473 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109934.473 * [misc]simplify: Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x))))) 1547109934.473 * * * [misc]progress: adding candidates to table 1547109934.576 * * [misc]progress: iteration 2 / 4 1547109934.577 * * * [misc]progress: picking best candidate 1547109934.580 * * * * [misc]pick: Picked # 1547109934.580 * * * [misc]progress: localizing error 1547109934.588 * * * [misc]progress: generating rewritten candidates 1547109934.588 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1) 1547109934.593 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1547109934.598 * * * [misc]progress: generating series expansions 1547109934.598 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1) 1547109934.599 * [misc]backup-simplify: Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x)))) 1547109934.599 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0 1547109934.599 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 1547109934.599 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.599 * [misc]backup-simplify: Simplify 2 into 2 1547109934.599 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1547109934.599 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547109934.599 * [misc]taylor: Taking taylor expansion of x in x 1547109934.599 * [misc]backup-simplify: Simplify 0 into 0 1547109934.599 * [misc]backup-simplify: Simplify 1 into 1 1547109934.599 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.599 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1547109934.599 * [misc]taylor: Taking taylor expansion of (- x) in x 1547109934.599 * [misc]taylor: Taking taylor expansion of x in x 1547109934.599 * [misc]backup-simplify: Simplify 0 into 0 1547109934.599 * [misc]backup-simplify: Simplify 1 into 1 1547109934.599 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.600 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.600 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.600 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547109934.600 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1547109934.600 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 1547109934.600 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.600 * [misc]backup-simplify: Simplify 2 into 2 1547109934.600 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1547109934.600 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547109934.600 * [misc]taylor: Taking taylor expansion of x in x 1547109934.600 * [misc]backup-simplify: Simplify 0 into 0 1547109934.600 * [misc]backup-simplify: Simplify 1 into 1 1547109934.600 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.600 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1547109934.600 * [misc]taylor: Taking taylor expansion of (- x) in x 1547109934.600 * [misc]taylor: Taking taylor expansion of x in x 1547109934.600 * [misc]backup-simplify: Simplify 0 into 0 1547109934.600 * [misc]backup-simplify: Simplify 1 into 1 1547109934.601 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.601 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.601 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.601 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547109934.601 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1547109934.601 * [misc]backup-simplify: Simplify 1 into 1 1547109934.603 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547109934.603 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.604 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1547109934.605 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547109934.605 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1547109934.605 * [misc]backup-simplify: Simplify 0 into 0 1547109934.607 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547109934.607 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.608 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.610 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547109934.610 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1547109934.610 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2 1547109934.610 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547109934.614 * [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 1547109934.614 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.615 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.615 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.615 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.618 * [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 1547109934.619 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1547109934.619 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0 1547109934.619 * [misc]backup-simplify: Simplify 0 into 0 1547109934.625 * [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 1547109934.626 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.626 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.626 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.626 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.626 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.626 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.626 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.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 1547109934.630 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1547109934.631 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24 1547109934.631 * [misc]backup-simplify: Simplify 5/24 into 5/24 1547109934.631 * [misc]backup-simplify: Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1547109934.631 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.631 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 1547109934.631 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1547109934.631 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.631 * [misc]backup-simplify: Simplify 2 into 2 1547109934.631 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1547109934.631 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.631 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.631 * [misc]taylor: Taking taylor expansion of x in x 1547109934.631 * [misc]backup-simplify: Simplify 0 into 0 1547109934.632 * [misc]backup-simplify: Simplify 1 into 1 1547109934.632 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.632 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.632 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of x in x 1547109934.632 * [misc]backup-simplify: Simplify 0 into 0 1547109934.632 * [misc]backup-simplify: Simplify 1 into 1 1547109934.632 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.632 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.632 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1547109934.632 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1547109934.632 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.632 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.632 * [misc]backup-simplify: Simplify 2 into 2 1547109934.632 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.632 * [misc]taylor: Taking taylor expansion of x in x 1547109934.632 * [misc]backup-simplify: Simplify 0 into 0 1547109934.632 * [misc]backup-simplify: Simplify 1 into 1 1547109934.632 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.633 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.633 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1547109934.633 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1547109934.633 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.633 * [misc]taylor: Taking taylor expansion of x in x 1547109934.633 * [misc]backup-simplify: Simplify 0 into 0 1547109934.633 * [misc]backup-simplify: Simplify 1 into 1 1547109934.633 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.633 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.633 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1547109934.633 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1547109934.633 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.633 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.633 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.634 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1547109934.634 * [misc]backup-simplify: Simplify 0 into 0 1547109934.634 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.634 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1547109934.634 * [misc]backup-simplify: Simplify 0 into 0 1547109934.634 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.635 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.635 * [misc]backup-simplify: Simplify 0 into 0 1547109934.635 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.635 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.635 * [misc]backup-simplify: Simplify 0 into 0 1547109934.635 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.636 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.636 * [misc]backup-simplify: Simplify 0 into 0 1547109934.636 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.637 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.637 * [misc]backup-simplify: Simplify 0 into 0 1547109934.637 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x)))) 1547109934.637 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.637 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 1547109934.637 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1547109934.637 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.637 * [misc]backup-simplify: Simplify 2 into 2 1547109934.637 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1547109934.637 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.637 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.637 * [misc]taylor: Taking taylor expansion of x in x 1547109934.637 * [misc]backup-simplify: Simplify 0 into 0 1547109934.637 * [misc]backup-simplify: Simplify 1 into 1 1547109934.637 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.637 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.637 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547109934.637 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547109934.637 * [misc]taylor: Taking taylor expansion of -1 in x 1547109934.637 * [misc]backup-simplify: Simplify -1 into -1 1547109934.637 * [misc]taylor: Taking taylor expansion of x in x 1547109934.637 * [misc]backup-simplify: Simplify 0 into 0 1547109934.637 * [misc]backup-simplify: Simplify 1 into 1 1547109934.638 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547109934.638 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547109934.638 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1547109934.638 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.638 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1547109934.638 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.638 * [misc]backup-simplify: Simplify 2 into 2 1547109934.638 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1547109934.638 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.638 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.638 * [misc]taylor: Taking taylor expansion of x in x 1547109934.638 * [misc]backup-simplify: Simplify 0 into 0 1547109934.638 * [misc]backup-simplify: Simplify 1 into 1 1547109934.638 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.638 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.638 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547109934.638 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547109934.638 * [misc]taylor: Taking taylor expansion of -1 in x 1547109934.638 * [misc]backup-simplify: Simplify -1 into -1 1547109934.638 * [misc]taylor: Taking taylor expansion of x in x 1547109934.638 * [misc]backup-simplify: Simplify 0 into 0 1547109934.638 * [misc]backup-simplify: Simplify 1 into 1 1547109934.638 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547109934.638 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547109934.638 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1547109934.638 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.639 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.639 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.639 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1547109934.639 * [misc]backup-simplify: Simplify 0 into 0 1547109934.639 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.639 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1547109934.639 * [misc]backup-simplify: Simplify 0 into 0 1547109934.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.640 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.640 * [misc]backup-simplify: Simplify 0 into 0 1547109934.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.640 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.640 * [misc]backup-simplify: Simplify 0 into 0 1547109934.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.641 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.641 * [misc]backup-simplify: Simplify 0 into 0 1547109934.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.642 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.642 * [misc]backup-simplify: Simplify 0 into 0 1547109934.642 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x))) 1547109934.642 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1547109934.642 * [misc]backup-simplify: Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x)))) 1547109934.642 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0 1547109934.642 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 1547109934.642 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.642 * [misc]backup-simplify: Simplify 2 into 2 1547109934.642 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1547109934.642 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547109934.642 * [misc]taylor: Taking taylor expansion of x in x 1547109934.642 * [misc]backup-simplify: Simplify 0 into 0 1547109934.642 * [misc]backup-simplify: Simplify 1 into 1 1547109934.642 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.642 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1547109934.642 * [misc]taylor: Taking taylor expansion of (- x) in x 1547109934.642 * [misc]taylor: Taking taylor expansion of x in x 1547109934.642 * [misc]backup-simplify: Simplify 0 into 0 1547109934.642 * [misc]backup-simplify: Simplify 1 into 1 1547109934.642 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.643 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.643 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.643 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547109934.643 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1547109934.643 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 1547109934.643 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.643 * [misc]backup-simplify: Simplify 2 into 2 1547109934.643 * [misc]taylor: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1547109934.643 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547109934.643 * [misc]taylor: Taking taylor expansion of x in x 1547109934.643 * [misc]backup-simplify: Simplify 0 into 0 1547109934.643 * [misc]backup-simplify: Simplify 1 into 1 1547109934.643 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.643 * [misc]taylor: Taking taylor expansion of (exp (- x)) in x 1547109934.643 * [misc]taylor: Taking taylor expansion of (- x) in x 1547109934.643 * [misc]taylor: Taking taylor expansion of x in x 1547109934.643 * [misc]backup-simplify: Simplify 0 into 0 1547109934.643 * [misc]backup-simplify: Simplify 1 into 1 1547109934.643 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.643 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.643 * [misc]backup-simplify: Simplify (exp 0) into 1 1547109934.643 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547109934.643 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1547109934.643 * [misc]backup-simplify: Simplify 1 into 1 1547109934.644 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547109934.645 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.645 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1547109934.646 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547109934.646 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1547109934.646 * [misc]backup-simplify: Simplify 0 into 0 1547109934.647 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547109934.647 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.647 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.649 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547109934.649 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1547109934.649 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2 1547109934.649 * [misc]backup-simplify: Simplify -1/2 into -1/2 1547109934.652 * [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 1547109934.652 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.652 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.652 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.652 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.654 * [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 1547109934.654 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1547109934.655 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0 1547109934.655 * [misc]backup-simplify: Simplify 0 into 0 1547109934.658 * [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 1547109934.658 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.659 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.659 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.659 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.659 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.659 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.659 * [misc]backup-simplify: Simplify (- 0) into 0 1547109934.663 * [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 1547109934.663 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1547109934.663 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24 1547109934.663 * [misc]backup-simplify: Simplify 5/24 into 5/24 1547109934.663 * [misc]backup-simplify: Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1547109934.664 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.664 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 1547109934.664 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.664 * [misc]backup-simplify: Simplify 2 into 2 1547109934.664 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of x in x 1547109934.664 * [misc]backup-simplify: Simplify 0 into 0 1547109934.664 * [misc]backup-simplify: Simplify 1 into 1 1547109934.664 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.664 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.664 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of x in x 1547109934.664 * [misc]backup-simplify: Simplify 0 into 0 1547109934.664 * [misc]backup-simplify: Simplify 1 into 1 1547109934.664 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.664 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.664 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1547109934.664 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1547109934.664 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.664 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1547109934.664 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.664 * [misc]backup-simplify: Simplify 2 into 2 1547109934.665 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1547109934.665 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.665 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.665 * [misc]taylor: Taking taylor expansion of x in x 1547109934.665 * [misc]backup-simplify: Simplify 0 into 0 1547109934.665 * [misc]backup-simplify: Simplify 1 into 1 1547109934.665 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.665 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.665 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 x))) in x 1547109934.665 * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x 1547109934.665 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.665 * [misc]taylor: Taking taylor expansion of x in x 1547109934.665 * [misc]backup-simplify: Simplify 0 into 0 1547109934.665 * [misc]backup-simplify: Simplify 1 into 1 1547109934.665 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.665 * [misc]backup-simplify: Simplify (- 1) into -1 1547109934.665 * [misc]backup-simplify: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1547109934.665 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1547109934.665 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.665 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1547109934.666 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.666 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1547109934.666 * [misc]backup-simplify: Simplify 0 into 0 1547109934.666 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.666 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1547109934.666 * [misc]backup-simplify: Simplify 0 into 0 1547109934.666 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.667 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.667 * [misc]backup-simplify: Simplify 0 into 0 1547109934.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.667 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.668 * [misc]backup-simplify: Simplify 0 into 0 1547109934.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.668 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.668 * [misc]backup-simplify: Simplify 0 into 0 1547109934.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.669 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (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 1547109934.669 * [misc]backup-simplify: Simplify 0 into 0 1547109934.669 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x)))) 1547109934.669 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.669 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 1547109934.669 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1547109934.669 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.669 * [misc]backup-simplify: Simplify 2 into 2 1547109934.669 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1547109934.669 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.669 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.669 * [misc]taylor: Taking taylor expansion of x in x 1547109934.669 * [misc]backup-simplify: Simplify 0 into 0 1547109934.669 * [misc]backup-simplify: Simplify 1 into 1 1547109934.669 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.670 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.670 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of -1 in x 1547109934.670 * [misc]backup-simplify: Simplify -1 into -1 1547109934.670 * [misc]taylor: Taking taylor expansion of x in x 1547109934.670 * [misc]backup-simplify: Simplify 0 into 0 1547109934.670 * [misc]backup-simplify: Simplify 1 into 1 1547109934.670 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547109934.670 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547109934.670 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1547109934.670 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.670 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of 2 in x 1547109934.670 * [misc]backup-simplify: Simplify 2 into 2 1547109934.670 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of x in x 1547109934.670 * [misc]backup-simplify: Simplify 0 into 0 1547109934.670 * [misc]backup-simplify: Simplify 1 into 1 1547109934.670 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547109934.670 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547109934.670 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547109934.670 * [misc]taylor: Taking taylor expansion of -1 in x 1547109934.670 * [misc]backup-simplify: Simplify -1 into -1 1547109934.670 * [misc]taylor: Taking taylor expansion of x in x 1547109934.670 * [misc]backup-simplify: Simplify 0 into 0 1547109934.670 * [misc]backup-simplify: Simplify 1 into 1 1547109934.670 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547109934.671 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547109934.671 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 1547109934.671 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.671 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 1547109934.671 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.671 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1547109934.672 * [misc]backup-simplify: Simplify 0 into 0 1547109934.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.672 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 1547109934.672 * [misc]backup-simplify: Simplify 0 into 0 1547109934.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.672 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.672 * [misc]backup-simplify: Simplify 0 into 0 1547109934.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.673 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.673 * [misc]backup-simplify: Simplify 0 into 0 1547109934.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.674 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.674 * [misc]backup-simplify: Simplify 0 into 0 1547109934.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547109934.674 * [misc]backup-simplify: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (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 1547109934.674 * [misc]backup-simplify: Simplify 0 into 0 1547109934.674 * [misc]backup-simplify: Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x))) 1547109934.674 * * * [misc]progress: simplifying candidates 1547109934.675 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1547109934.675 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1547109934.675 * [enter]simplify: Simplifying (cbrt (+ (exp x) (exp (- x)))) 1547109934.675 * * [misc]simplify: iters left: 6 (6 enodes) 1547109934.676 * * [misc]simplify: iters left: 5 (9 enodes) 1547109934.679 * * [misc]simplify: iters left: 4 (11 enodes) 1547109934.680 * [exit]simplify: Simplified to (cbrt (+ (exp x) (exp (- x)))) 1547109934.680 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x)))))))) 1547109934.680 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1547109934.681 * [enter]simplify: Simplifying (sqrt (+ (exp x) (exp (- x)))) 1547109934.681 * * [misc]simplify: iters left: 6 (6 enodes) 1547109934.682 * * [misc]simplify: iters left: 5 (9 enodes) 1547109934.683 * * [misc]simplify: iters left: 4 (11 enodes) 1547109934.684 * [exit]simplify: Simplified to (sqrt (+ (exp x) (exp (- x)))) 1547109934.684 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))))) 1547109934.684 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1547109934.684 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1547109934.684 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.685 * * [misc]simplify: iters left: 4 (8 enodes) 1547109934.686 * * [misc]simplify: iters left: 3 (10 enodes) 1547109934.687 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1547109934.688 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ (/ 2 1) (+ (exp x) (exp (- x))))))) 1547109934.688 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1547109934.688 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1547109934.688 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.688 * * [misc]simplify: iters left: 4 (8 enodes) 1547109934.690 * * [misc]simplify: iters left: 3 (10 enodes) 1547109934.691 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1547109934.691 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ (/ 2 1) (+ (exp x) (exp (- x))))))) 1547109934.691 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1547109934.691 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 1547109934.691 * * [misc]simplify: iters left: 6 (9 enodes) 1547109934.693 * * [misc]simplify: iters left: 5 (25 enodes) 1547109934.698 * * [misc]simplify: iters left: 4 (55 enodes) 1547109934.705 * * [misc]simplify: iters left: 3 (87 enodes) 1547109934.718 * * [misc]simplify: iters left: 2 (168 enodes) 1547109934.756 * * [misc]simplify: iters left: 1 (277 enodes) 1547109934.809 * [exit]simplify: Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))) 1547109934.809 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))))))) 1547109934.809 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1547109934.809 * [enter]simplify: Simplifying (- (exp x) (exp (- x))) 1547109934.809 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.810 * * [misc]simplify: iters left: 4 (9 enodes) 1547109934.811 * * [misc]simplify: iters left: 3 (15 enodes) 1547109934.814 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1547109934.814 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x)))))) 1547109934.814 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1547109934.814 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1547109934.814 * [enter]simplify: Simplifying (cbrt (+ (exp x) (exp (- x)))) 1547109934.814 * * [misc]simplify: iters left: 6 (6 enodes) 1547109934.815 * * [misc]simplify: iters left: 5 (9 enodes) 1547109934.816 * * [misc]simplify: iters left: 4 (11 enodes) 1547109934.818 * [exit]simplify: Simplified to (cbrt (+ (exp x) (exp (- x)))) 1547109934.818 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (sqrt (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.818 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1547109934.818 * [enter]simplify: Simplifying (sqrt (+ (exp x) (exp (- x)))) 1547109934.818 * * [misc]simplify: iters left: 6 (6 enodes) 1547109934.819 * * [misc]simplify: iters left: 5 (9 enodes) 1547109934.820 * * [misc]simplify: iters left: 4 (11 enodes) 1547109934.823 * [exit]simplify: Simplified to (sqrt (+ (exp x) (exp (- x)))) 1547109934.823 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (sqrt (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.823 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1547109934.823 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1547109934.823 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.824 * * [misc]simplify: iters left: 4 (8 enodes) 1547109934.825 * * [misc]simplify: iters left: 3 (10 enodes) 1547109934.826 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1547109934.826 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (sqrt (/ (/ 2 1) (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.826 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1547109934.827 * [enter]simplify: Simplifying (+ (exp x) (exp (- x))) 1547109934.827 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.827 * * [misc]simplify: iters left: 4 (8 enodes) 1547109934.828 * * [misc]simplify: iters left: 3 (10 enodes) 1547109934.830 * [exit]simplify: Simplified to (+ (exp x) (exp (- x))) 1547109934.830 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (sqrt (/ (/ 2 1) (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.830 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1547109934.830 * [enter]simplify: Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 1547109934.830 * * [misc]simplify: iters left: 6 (9 enodes) 1547109934.832 * * [misc]simplify: iters left: 5 (25 enodes) 1547109934.837 * * [misc]simplify: iters left: 4 (55 enodes) 1547109934.844 * * [misc]simplify: iters left: 3 (87 enodes) 1547109934.857 * * [misc]simplify: iters left: 2 (168 enodes) 1547109934.890 * * [misc]simplify: iters left: 1 (277 enodes) 1547109934.943 * [exit]simplify: Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))) 1547109934.943 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (sqrt (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.943 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1547109934.944 * [enter]simplify: Simplifying (- (exp x) (exp (- x))) 1547109934.944 * * [misc]simplify: iters left: 5 (5 enodes) 1547109934.944 * * [misc]simplify: iters left: 4 (9 enodes) 1547109934.946 * * [misc]simplify: iters left: 3 (15 enodes) 1547109934.948 * [exit]simplify: Simplified to (+ (/ -1 (exp x)) (exp x)) 1547109934.948 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (* (sqrt (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x)))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.948 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1547109934.948 * [enter]simplify: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1547109934.948 * * [misc]simplify: iters left: 6 (12 enodes) 1547109934.950 * * [misc]simplify: iters left: 5 (22 enodes) 1547109934.954 * * [misc]simplify: iters left: 4 (41 enodes) 1547109934.961 * * [misc]simplify: iters left: 3 (55 enodes) 1547109934.968 * * [misc]simplify: iters left: 2 (63 enodes) 1547109934.976 * * [misc]simplify: iters left: 1 (72 enodes) 1547109934.986 * [exit]simplify: Simplified to (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1)) 1547109934.986 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1))))) 1547109934.986 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1547109934.986 * [enter]simplify: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 1547109934.986 * * [misc]simplify: iters left: 6 (7 enodes) 1547109934.987 * * [misc]simplify: iters left: 5 (10 enodes) 1547109934.988 * * [misc]simplify: iters left: 4 (12 enodes) 1547109934.990 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109934.990 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.990 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1547109934.990 * [enter]simplify: Simplifying (/ 2 (+ (exp (* -1 x)) (exp x))) 1547109934.990 * * [misc]simplify: iters left: 6 (8 enodes) 1547109934.992 * * [misc]simplify: iters left: 5 (13 enodes) 1547109934.994 * * [misc]simplify: iters left: 4 (15 enodes) 1547109934.996 * * [misc]simplify: iters left: 3 (18 enodes) 1547109934.999 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109934.999 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109934.999 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1547109934.999 * [enter]simplify: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1547109934.999 * * [misc]simplify: iters left: 6 (12 enodes) 1547109935.001 * * [misc]simplify: iters left: 5 (22 enodes) 1547109935.004 * * [misc]simplify: iters left: 4 (41 enodes) 1547109935.010 * * [misc]simplify: iters left: 3 (55 enodes) 1547109935.018 * * [misc]simplify: iters left: 2 (63 enodes) 1547109935.026 * * [misc]simplify: iters left: 1 (72 enodes) 1547109935.037 * [exit]simplify: Simplified to (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1)) 1547109935.037 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109935.037 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1547109935.037 * [enter]simplify: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 1547109935.037 * * [misc]simplify: iters left: 6 (7 enodes) 1547109935.038 * * [misc]simplify: iters left: 5 (10 enodes) 1547109935.040 * * [misc]simplify: iters left: 4 (12 enodes) 1547109935.041 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109935.041 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109935.042 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1547109935.042 * [enter]simplify: Simplifying (/ 2 (+ (exp (* -1 x)) (exp x))) 1547109935.042 * * [misc]simplify: iters left: 6 (8 enodes) 1547109935.044 * * [misc]simplify: iters left: 5 (13 enodes) 1547109935.046 * * [misc]simplify: iters left: 4 (15 enodes) 1547109935.048 * * [misc]simplify: iters left: 3 (18 enodes) 1547109935.051 * [exit]simplify: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1547109935.051 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))) 1547109935.051 * * * [misc]progress: adding candidates to table 1547109935.340 * [misc]progress: [Phase 3 of 3] Extracting. 1547109935.343 * [enter]simplify: Simplifying (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))) 1547109935.343 * * [misc]simplify: iters left: 6 (9 enodes) 1547109935.343 * * [misc]simplify: iters left: 5 (10 enodes) 1547109935.344 * [exit]simplify: Simplified to (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))) 1547109935.344 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1547109936.057 * * * * [misc]points: Filtering points with unrepresentable outputs 1547109936.058 * * * * [exit]points: Sampled 8000 points with exact outputs 1547109936.325 * [misc]regime-testing: Baseline error score: 0.01540543242410191 1547109936.327 * [misc]regime-testing: Oracle error score: 0.01540543242410191 1547109936.327 * [misc]regime-testing: End program error score: 0.01540543242410191