1538643672.000 * [misc]progress: [Phase 1 of 3] Setting up. 1538643672.001 * * * [misc]progress: [1/2] Preparing points 1538643672.001 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538643672.328 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643672.329 * * * * [misc]points: Sampling 64 additional inputs, on iter 1 have 192 / 256 1538643672.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643672.427 * * * * [misc]points: Sampling 14 additional inputs, on iter 2 have 242 / 256 1538643672.442 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643672.442 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 252 / 256 1538643672.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643672.449 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 255 / 256 1538643672.458 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643672.458 * * * * [exit]points: Sampled 257 points with exact outputs 1538643672.459 * * * [misc]progress: [2/2] Setting up program. 1538643672.470 * [misc]progress: [Phase 2 of 3] Improving. 1538643672.471 * [enter]simplify: Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 1538643672.473 * * [misc]simplify: iters left: 6 (10 enodes) 1538643672.485 * * [misc]simplify: iters left: 5 (24 enodes) 1538643672.492 * * [misc]simplify: iters left: 4 (27 enodes) 1538643672.501 * * [misc]simplify: iters left: 3 (37 enodes) 1538643672.514 * * [misc]simplify: iters left: 2 (54 enodes) 1538643672.536 * * [misc]simplify: iters left: 1 (90 enodes) 1538643672.984 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538643672.994 * * [misc]progress: iteration 1 / 4 1538643672.994 * * * [misc]progress: picking best candidate 1538643672.997 * * * * [misc]pick: Picked # 1538643672.998 * * * [misc]progress: localizing error 1538643673.012 * * * [misc]progress: generating rewritten candidates 1538643673.012 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1538643673.059 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1538643673.090 * * * [misc]progress: generating series expansions 1538643673.091 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1538643673.101 * [misc]backup-simplify: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1538643673.101 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1538643673.102 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1538643673.102 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538643673.102 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643673.102 * [misc]taylor: Taking taylor expansion of x in x 1538643673.102 * [misc]backup-simplify: Simplify 0 into 0 1538643673.102 * [misc]backup-simplify: Simplify 1 into 1 1538643673.102 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643673.102 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.102 * [misc]backup-simplify: Simplify 1 into 1 1538643673.104 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538643673.104 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538643673.106 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643673.106 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538643673.107 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538643673.107 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1538643673.107 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538643673.107 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643673.107 * [misc]taylor: Taking taylor expansion of x in x 1538643673.107 * [misc]backup-simplify: Simplify 0 into 0 1538643673.107 * [misc]backup-simplify: Simplify 1 into 1 1538643673.107 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643673.107 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.107 * [misc]backup-simplify: Simplify 1 into 1 1538643673.107 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538643673.108 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538643673.109 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643673.109 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538643673.110 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538643673.110 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538643673.111 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1538643673.114 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538643673.114 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538643673.117 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538643673.121 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538643673.125 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538643673.126 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643673.126 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1538643673.126 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1538643673.126 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538643673.126 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643673.126 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643673.126 * [misc]taylor: Taking taylor expansion of x in x 1538643673.126 * [misc]backup-simplify: Simplify 0 into 0 1538643673.126 * [misc]backup-simplify: Simplify 1 into 1 1538643673.126 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643673.126 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643673.126 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.126 * [misc]backup-simplify: Simplify 1 into 1 1538643673.127 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643673.127 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643673.127 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.127 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.127 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1538643673.127 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538643673.127 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643673.127 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643673.127 * [misc]taylor: Taking taylor expansion of x in x 1538643673.127 * [misc]backup-simplify: Simplify 0 into 0 1538643673.127 * [misc]backup-simplify: Simplify 1 into 1 1538643673.127 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643673.128 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643673.128 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.128 * [misc]backup-simplify: Simplify 1 into 1 1538643673.128 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643673.128 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643673.128 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.128 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.128 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643673.128 * [misc]backup-simplify: Simplify 0 into 0 1538643673.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.129 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.129 * [misc]backup-simplify: Simplify 0 into 0 1538643673.130 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.130 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.130 * [misc]backup-simplify: Simplify 0 into 0 1538643673.130 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.131 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.131 * [misc]backup-simplify: Simplify 0 into 0 1538643673.131 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.132 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.132 * [misc]backup-simplify: Simplify 0 into 0 1538643673.132 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.133 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643673.133 * [misc]backup-simplify: Simplify 0 into 0 1538643673.133 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1538643673.134 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643673.134 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1538643673.134 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1538643673.134 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538643673.134 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643673.134 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643673.134 * [misc]taylor: Taking taylor expansion of -1 in x 1538643673.134 * [misc]backup-simplify: Simplify -1 into -1 1538643673.134 * [misc]taylor: Taking taylor expansion of x in x 1538643673.134 * [misc]backup-simplify: Simplify 0 into 0 1538643673.134 * [misc]backup-simplify: Simplify 1 into 1 1538643673.134 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643673.134 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643673.134 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.134 * [misc]backup-simplify: Simplify 1 into 1 1538643673.134 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538643673.135 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643673.135 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.135 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.135 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1538643673.135 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538643673.135 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643673.135 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643673.135 * [misc]taylor: Taking taylor expansion of -1 in x 1538643673.135 * [misc]backup-simplify: Simplify -1 into -1 1538643673.135 * [misc]taylor: Taking taylor expansion of x in x 1538643673.135 * [misc]backup-simplify: Simplify 0 into 0 1538643673.135 * [misc]backup-simplify: Simplify 1 into 1 1538643673.135 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643673.135 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643673.135 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.135 * [misc]backup-simplify: Simplify 1 into 1 1538643673.136 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538643673.136 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643673.136 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.136 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.136 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643673.136 * [misc]backup-simplify: Simplify 0 into 0 1538643673.136 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.137 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.137 * [misc]backup-simplify: Simplify 0 into 0 1538643673.137 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.138 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.138 * [misc]backup-simplify: Simplify 0 into 0 1538643673.138 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.139 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.139 * [misc]backup-simplify: Simplify 0 into 0 1538643673.139 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.140 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.140 * [misc]backup-simplify: Simplify 0 into 0 1538643673.140 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.141 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643673.141 * [misc]backup-simplify: Simplify 0 into 0 1538643673.141 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1538643673.141 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1538643673.142 * [misc]backup-simplify: Simplify (+ (exp x) 1) into (+ (exp x) 1) 1538643673.142 * [misc]approximate: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 1538643673.142 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538643673.142 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643673.142 * [misc]taylor: Taking taylor expansion of x in x 1538643673.142 * [misc]backup-simplify: Simplify 0 into 0 1538643673.142 * [misc]backup-simplify: Simplify 1 into 1 1538643673.142 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643673.142 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.142 * [misc]backup-simplify: Simplify 1 into 1 1538643673.142 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538643673.142 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643673.142 * [misc]taylor: Taking taylor expansion of x in x 1538643673.142 * [misc]backup-simplify: Simplify 0 into 0 1538643673.142 * [misc]backup-simplify: Simplify 1 into 1 1538643673.142 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643673.142 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.142 * [misc]backup-simplify: Simplify 1 into 1 1538643673.142 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538643673.142 * [misc]backup-simplify: Simplify 2 into 2 1538643673.144 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643673.144 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538643673.144 * [misc]backup-simplify: Simplify 1 into 1 1538643673.146 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538643673.146 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538643673.147 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538643673.147 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 1538643673.147 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643673.147 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 1538643673.147 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538643673.147 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643673.147 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643673.147 * [misc]taylor: Taking taylor expansion of x in x 1538643673.147 * [misc]backup-simplify: Simplify 0 into 0 1538643673.147 * [misc]backup-simplify: Simplify 1 into 1 1538643673.147 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643673.147 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643673.147 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.147 * [misc]backup-simplify: Simplify 1 into 1 1538643673.147 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538643673.147 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643673.148 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643673.148 * [misc]taylor: Taking taylor expansion of x in x 1538643673.148 * [misc]backup-simplify: Simplify 0 into 0 1538643673.148 * [misc]backup-simplify: Simplify 1 into 1 1538643673.148 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643673.148 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643673.148 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.148 * [misc]backup-simplify: Simplify 1 into 1 1538643673.148 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643673.148 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643673.148 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.148 * [misc]backup-simplify: Simplify 0 into 0 1538643673.149 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.149 * [misc]backup-simplify: Simplify 0 into 0 1538643673.149 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.149 * [misc]backup-simplify: Simplify 0 into 0 1538643673.149 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.149 * [misc]backup-simplify: Simplify 0 into 0 1538643673.149 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.149 * [misc]backup-simplify: Simplify 0 into 0 1538643673.149 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.149 * [misc]backup-simplify: Simplify 0 into 0 1538643673.150 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 1538643673.150 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1) 1538643673.150 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 1538643673.150 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538643673.150 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643673.150 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643673.150 * [misc]taylor: Taking taylor expansion of -1 in x 1538643673.150 * [misc]backup-simplify: Simplify -1 into -1 1538643673.150 * [misc]taylor: Taking taylor expansion of x in x 1538643673.150 * [misc]backup-simplify: Simplify 0 into 0 1538643673.150 * [misc]backup-simplify: Simplify 1 into 1 1538643673.150 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643673.150 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643673.150 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.150 * [misc]backup-simplify: Simplify 1 into 1 1538643673.150 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538643673.150 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643673.150 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643673.150 * [misc]taylor: Taking taylor expansion of -1 in x 1538643673.151 * [misc]backup-simplify: Simplify -1 into -1 1538643673.151 * [misc]taylor: Taking taylor expansion of x in x 1538643673.151 * [misc]backup-simplify: Simplify 0 into 0 1538643673.151 * [misc]backup-simplify: Simplify 1 into 1 1538643673.151 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643673.151 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643673.151 * [misc]taylor: Taking taylor expansion of 1 in x 1538643673.151 * [misc]backup-simplify: Simplify 1 into 1 1538643673.151 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538643673.151 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538643673.151 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.151 * [misc]backup-simplify: Simplify 0 into 0 1538643673.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.152 * [misc]backup-simplify: Simplify 0 into 0 1538643673.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.152 * [misc]backup-simplify: Simplify 0 into 0 1538643673.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.152 * [misc]backup-simplify: Simplify 0 into 0 1538643673.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.152 * [misc]backup-simplify: Simplify 0 into 0 1538643673.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643673.152 * [misc]backup-simplify: Simplify 0 into 0 1538643673.153 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 1538643673.153 * * * [misc]progress: simplifying candidates 1538643673.153 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1538643673.153 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1538643673.153 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1538643673.153 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1538643673.153 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1538643673.154 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1538643673.154 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1538643673.154 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1538643673.154 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1538643673.154 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1538643673.155 * * [misc]simplify: iters left: 6 (7 enodes) 1538643673.158 * * [misc]simplify: iters left: 5 (11 enodes) 1538643673.161 * [exit]simplify: Simplified to (fabs (cbrt (+ (exp x) 1))) 1538643673.161 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))) 1538643673.162 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1538643673.162 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1538643673.163 * * [misc]simplify: iters left: 5 (6 enodes) 1538643673.165 * * [misc]simplify: iters left: 4 (9 enodes) 1538643673.168 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1538643673.168 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1538643673.168 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1538643673.168 * [enter]simplify: Simplifying (sqrt 1) 1538643673.169 * * [misc]simplify: iters left: 1 (2 enodes) 1538643673.170 * [exit]simplify: Simplified to 1 1538643673.170 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1)))) 1538643673.170 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1538643673.171 * [enter]simplify: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1538643673.171 * * [misc]simplify: iters left: 5 (8 enodes) 1538643673.176 * * [misc]simplify: iters left: 4 (16 enodes) 1538643673.181 * * [misc]simplify: iters left: 3 (20 enodes) 1538643673.186 * * [misc]simplify: iters left: 2 (24 enodes) 1538643673.193 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1538643673.193 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1538643673.193 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1538643673.193 * [enter]simplify: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1538643673.194 * * [misc]simplify: iters left: 6 (7 enodes) 1538643673.200 * * [misc]simplify: iters left: 5 (16 enodes) 1538643673.214 * * [misc]simplify: iters left: 4 (24 enodes) 1538643673.221 * * [misc]simplify: iters left: 3 (28 enodes) 1538643673.229 * * [misc]simplify: iters left: 2 (44 enodes) 1538643673.255 * * [misc]simplify: iters left: 1 (75 enodes) 1538643673.305 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1538643673.305 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))) 1538643673.305 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1538643673.305 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1538643673.306 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538643673.306 * * [misc]simplify: iters left: 4 (5 enodes) 1538643673.308 * * [misc]simplify: iters left: 3 (8 enodes) 1538643673.310 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538643673.311 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1)))) 1538643673.311 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1538643673.311 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1538643673.311 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1538643673.311 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1538643673.311 * [enter]simplify: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1538643673.312 * * [misc]simplify: iters left: 4 (4 enodes) 1538643673.313 * [exit]simplify: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1538643673.313 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1))) 1538643673.313 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1538643673.313 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643673.314 * * [misc]simplify: iters left: 2 (3 enodes) 1538643673.315 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643673.315 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538643673.315 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1538643673.315 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1538643673.316 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1538643673.316 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1538643673.316 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1538643673.316 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538643673.318 * * [misc]simplify: iters left: 6 (18 enodes) 1538643673.329 * * [misc]simplify: iters left: 5 (40 enodes) 1538643673.362 * * [misc]simplify: iters left: 4 (111 enodes) 1538643673.434 * * [misc]simplify: iters left: 3 (276 enodes) 1538643673.612 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1538643673.612 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1538643673.612 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1538643673.612 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538643673.612 * * [misc]simplify: iters left: 4 (5 enodes) 1538643673.613 * * [misc]simplify: iters left: 3 (8 enodes) 1538643673.615 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538643673.615 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538643673.615 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1538643673.615 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538643673.615 * * [misc]simplify: iters left: 4 (5 enodes) 1538643673.616 * * [misc]simplify: iters left: 3 (8 enodes) 1538643673.620 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538643673.620 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538643673.620 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1538643673.621 * [enter]simplify: Simplifying (+ x (+ (* 1/2 (pow x 2)) 2)) 1538643673.621 * * [misc]simplify: iters left: 6 (7 enodes) 1538643673.623 * * [misc]simplify: iters left: 5 (14 enodes) 1538643673.627 * * [misc]simplify: iters left: 4 (25 enodes) 1538643673.632 * * [misc]simplify: iters left: 3 (39 enodes) 1538643673.638 * * [misc]simplify: iters left: 2 (46 enodes) 1538643673.643 * * [misc]simplify: iters left: 1 (52 enodes) 1538643673.658 * [exit]simplify: Simplified to (fma (fma x 1/2 1) x 2) 1538643673.658 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2))) 1538643673.658 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1538643673.658 * [enter]simplify: Simplifying (+ (exp x) 1) 1538643673.659 * * [misc]simplify: iters left: 3 (4 enodes) 1538643673.660 * * [misc]simplify: iters left: 2 (7 enodes) 1538643673.661 * [exit]simplify: Simplified to (+ (exp x) 1) 1538643673.661 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1538643673.661 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1538643673.661 * [enter]simplify: Simplifying (+ (exp x) 1) 1538643673.661 * * [misc]simplify: iters left: 3 (4 enodes) 1538643673.662 * * [misc]simplify: iters left: 2 (7 enodes) 1538643673.663 * [exit]simplify: Simplified to (+ (exp x) 1) 1538643673.663 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1538643673.663 * * * [misc]progress: adding candidates to table 1538643673.996 * * [misc]progress: iteration 2 / 4 1538643673.996 * * * [misc]progress: picking best candidate 1538643674.000 * * * * [misc]pick: Picked # 1538643674.000 * * * [misc]progress: localizing error 1538643674.010 * * * [misc]progress: generating rewritten candidates 1538643674.010 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 2) 1538643674.016 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1538643674.021 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2) 1538643674.026 * * * [misc]progress: generating series expansions 1538643674.026 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 2) 1538643674.026 * [misc]backup-simplify: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1538643674.026 * [misc]approximate: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1538643674.026 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.026 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.026 * [misc]taylor: Taking taylor expansion of x in x 1538643674.026 * [misc]backup-simplify: Simplify 0 into 0 1538643674.026 * [misc]backup-simplify: Simplify 1 into 1 1538643674.026 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.026 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.027 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.027 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.027 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.027 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.027 * [misc]taylor: Taking taylor expansion of x in x 1538643674.027 * [misc]backup-simplify: Simplify 0 into 0 1538643674.027 * [misc]backup-simplify: Simplify 1 into 1 1538643674.027 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.027 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.028 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.028 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.028 * [misc]backup-simplify: Simplify 1 into 1 1538643674.029 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538643674.030 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538643674.031 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538643674.031 * [misc]backup-simplify: Simplify 1/8 into 1/8 1538643674.031 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538643674.031 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.031 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1538643674.031 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.031 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.031 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.031 * [misc]taylor: Taking taylor expansion of x in x 1538643674.031 * [misc]backup-simplify: Simplify 0 into 0 1538643674.031 * [misc]backup-simplify: Simplify 1 into 1 1538643674.031 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.031 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.031 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.031 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.031 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.031 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.031 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.031 * [misc]taylor: Taking taylor expansion of x in x 1538643674.031 * [misc]backup-simplify: Simplify 0 into 0 1538643674.031 * [misc]backup-simplify: Simplify 1 into 1 1538643674.032 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.032 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.032 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.032 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.032 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.032 * [misc]backup-simplify: Simplify 0 into 0 1538643674.033 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.033 * [misc]backup-simplify: Simplify 0 into 0 1538643674.034 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.034 * [misc]backup-simplify: Simplify 0 into 0 1538643674.035 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.035 * [misc]backup-simplify: Simplify 0 into 0 1538643674.035 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.035 * [misc]backup-simplify: Simplify 0 into 0 1538643674.036 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.037 * [misc]backup-simplify: Simplify 0 into 0 1538643674.037 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1538643674.037 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1538643674.037 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1538643674.037 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.037 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.037 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.037 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.037 * [misc]backup-simplify: Simplify -1 into -1 1538643674.037 * [misc]taylor: Taking taylor expansion of x in x 1538643674.037 * [misc]backup-simplify: Simplify 0 into 0 1538643674.037 * [misc]backup-simplify: Simplify 1 into 1 1538643674.037 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.037 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.037 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.038 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.038 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.038 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.038 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.038 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.038 * [misc]backup-simplify: Simplify -1 into -1 1538643674.038 * [misc]taylor: Taking taylor expansion of x in x 1538643674.038 * [misc]backup-simplify: Simplify 0 into 0 1538643674.038 * [misc]backup-simplify: Simplify 1 into 1 1538643674.038 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.038 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.038 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.038 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.038 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.039 * [misc]backup-simplify: Simplify 0 into 0 1538643674.039 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.039 * [misc]backup-simplify: Simplify 0 into 0 1538643674.040 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.040 * [misc]backup-simplify: Simplify 0 into 0 1538643674.041 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.041 * [misc]backup-simplify: Simplify 0 into 0 1538643674.041 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.041 * [misc]backup-simplify: Simplify 0 into 0 1538643674.042 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.042 * [misc]backup-simplify: Simplify 0 into 0 1538643674.043 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1538643674.043 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1538643674.043 * [misc]backup-simplify: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1538643674.043 * [misc]approximate: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1538643674.043 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.043 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.043 * [misc]taylor: Taking taylor expansion of x in x 1538643674.043 * [misc]backup-simplify: Simplify 0 into 0 1538643674.043 * [misc]backup-simplify: Simplify 1 into 1 1538643674.043 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.043 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.045 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.045 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.045 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.045 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.045 * [misc]taylor: Taking taylor expansion of x in x 1538643674.045 * [misc]backup-simplify: Simplify 0 into 0 1538643674.045 * [misc]backup-simplify: Simplify 1 into 1 1538643674.045 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.045 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.047 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.047 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.047 * [misc]backup-simplify: Simplify 1 into 1 1538643674.047 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538643674.050 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538643674.051 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538643674.051 * [misc]backup-simplify: Simplify 1/8 into 1/8 1538643674.051 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538643674.051 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.051 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1538643674.051 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.051 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.051 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.051 * [misc]taylor: Taking taylor expansion of x in x 1538643674.051 * [misc]backup-simplify: Simplify 0 into 0 1538643674.051 * [misc]backup-simplify: Simplify 1 into 1 1538643674.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.052 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.052 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.052 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.052 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.052 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.052 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.052 * [misc]taylor: Taking taylor expansion of x in x 1538643674.052 * [misc]backup-simplify: Simplify 0 into 0 1538643674.052 * [misc]backup-simplify: Simplify 1 into 1 1538643674.052 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.052 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.052 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.053 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.053 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.053 * [misc]backup-simplify: Simplify 0 into 0 1538643674.054 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.054 * [misc]backup-simplify: Simplify 0 into 0 1538643674.054 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.054 * [misc]backup-simplify: Simplify 0 into 0 1538643674.055 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.055 * [misc]backup-simplify: Simplify 0 into 0 1538643674.055 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.056 * [misc]backup-simplify: Simplify 0 into 0 1538643674.057 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.057 * [misc]backup-simplify: Simplify 0 into 0 1538643674.057 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1538643674.057 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1538643674.057 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1538643674.057 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.057 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.057 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.057 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.057 * [misc]backup-simplify: Simplify -1 into -1 1538643674.057 * [misc]taylor: Taking taylor expansion of x in x 1538643674.057 * [misc]backup-simplify: Simplify 0 into 0 1538643674.057 * [misc]backup-simplify: Simplify 1 into 1 1538643674.057 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.057 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.058 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.058 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.058 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.058 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.058 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.058 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.058 * [misc]backup-simplify: Simplify -1 into -1 1538643674.058 * [misc]taylor: Taking taylor expansion of x in x 1538643674.058 * [misc]backup-simplify: Simplify 0 into 0 1538643674.058 * [misc]backup-simplify: Simplify 1 into 1 1538643674.058 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.058 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.058 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.058 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.059 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.059 * [misc]backup-simplify: Simplify 0 into 0 1538643674.059 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.060 * [misc]backup-simplify: Simplify 0 into 0 1538643674.060 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.060 * [misc]backup-simplify: Simplify 0 into 0 1538643674.061 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.061 * [misc]backup-simplify: Simplify 0 into 0 1538643674.061 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.061 * [misc]backup-simplify: Simplify 0 into 0 1538643674.062 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.062 * [misc]backup-simplify: Simplify 0 into 0 1538643674.063 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1538643674.063 * * * * [misc]progress: [ 3 / 3 ] generating series at (2) 1538643674.068 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) into (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1538643674.068 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in (x) around 0 1538643674.068 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1538643674.068 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1538643674.070 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1538643674.070 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1538643674.070 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.070 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.070 * [misc]taylor: Taking taylor expansion of x in x 1538643674.070 * [misc]backup-simplify: Simplify 0 into 0 1538643674.070 * [misc]backup-simplify: Simplify 1 into 1 1538643674.070 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.071 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.072 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.073 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.073 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.073 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.073 * [misc]taylor: Taking taylor expansion of x in x 1538643674.073 * [misc]backup-simplify: Simplify 0 into 0 1538643674.073 * [misc]backup-simplify: Simplify 1 into 1 1538643674.073 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.073 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.075 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.075 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.075 * [misc]taylor: Taking taylor expansion of 1 in x 1538643674.075 * [misc]backup-simplify: Simplify 1 into 1 1538643674.075 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538643674.076 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538643674.076 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538643674.076 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1538643674.076 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538643674.077 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538643674.077 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1538643674.077 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1538643674.077 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1538643674.077 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1538643674.077 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.077 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.077 * [misc]taylor: Taking taylor expansion of x in x 1538643674.077 * [misc]backup-simplify: Simplify 0 into 0 1538643674.077 * [misc]backup-simplify: Simplify 1 into 1 1538643674.077 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.077 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.079 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.079 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.079 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538643674.079 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538643674.079 * [misc]taylor: Taking taylor expansion of x in x 1538643674.079 * [misc]backup-simplify: Simplify 0 into 0 1538643674.079 * [misc]backup-simplify: Simplify 1 into 1 1538643674.079 * [misc]backup-simplify: Simplify (exp 0) into 1 1538643674.080 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538643674.081 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538643674.082 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538643674.082 * [misc]taylor: Taking taylor expansion of 1 in x 1538643674.082 * [misc]backup-simplify: Simplify 1 into 1 1538643674.082 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538643674.082 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538643674.082 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538643674.082 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1538643674.083 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538643674.083 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538643674.083 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538643674.084 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1538643674.086 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538643674.087 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538643674.090 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538643674.091 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538643674.091 * [misc]backup-simplify: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 1538643674.091 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538643674.094 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538643674.096 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538643674.101 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538643674.101 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) into (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) 1538643674.101 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in (x) around 0 1538643674.101 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1538643674.101 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1538643674.101 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1538643674.101 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1538643674.101 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.101 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.101 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.101 * [misc]taylor: Taking taylor expansion of x in x 1538643674.101 * [misc]backup-simplify: Simplify 0 into 0 1538643674.101 * [misc]backup-simplify: Simplify 1 into 1 1538643674.102 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.102 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.102 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.102 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.102 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.102 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.102 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.102 * [misc]taylor: Taking taylor expansion of x in x 1538643674.102 * [misc]backup-simplify: Simplify 0 into 0 1538643674.102 * [misc]backup-simplify: Simplify 1 into 1 1538643674.102 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.102 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.103 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.103 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.103 * [misc]taylor: Taking taylor expansion of 1 in x 1538643674.103 * [misc]backup-simplify: Simplify 1 into 1 1538643674.103 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1538643674.103 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643674.103 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643674.103 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1538643674.103 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.104 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.104 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1538643674.104 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1538643674.104 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1538643674.104 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1538643674.104 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.104 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.104 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.104 * [misc]taylor: Taking taylor expansion of x in x 1538643674.104 * [misc]backup-simplify: Simplify 0 into 0 1538643674.104 * [misc]backup-simplify: Simplify 1 into 1 1538643674.104 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.104 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.104 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.104 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.105 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538643674.105 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538643674.105 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538643674.105 * [misc]taylor: Taking taylor expansion of x in x 1538643674.105 * [misc]backup-simplify: Simplify 0 into 0 1538643674.105 * [misc]backup-simplify: Simplify 1 into 1 1538643674.105 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538643674.105 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538643674.105 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538643674.105 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.105 * [misc]taylor: Taking taylor expansion of 1 in x 1538643674.105 * [misc]backup-simplify: Simplify 1 into 1 1538643674.105 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1538643674.105 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538643674.106 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643674.106 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1538643674.106 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.106 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.106 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538643674.106 * [misc]backup-simplify: Simplify 0 into 0 1538643674.107 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.108 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.108 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 1538643674.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.109 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.109 * [misc]backup-simplify: Simplify 0 into 0 1538643674.110 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.110 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.111 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 1538643674.111 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.111 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.112 * [misc]backup-simplify: Simplify 0 into 0 1538643674.112 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.113 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.114 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 1538643674.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.115 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.115 * [misc]backup-simplify: Simplify 0 into 0 1538643674.116 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.116 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.117 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 1538643674.117 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.118 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.118 * [misc]backup-simplify: Simplify 0 into 0 1538643674.119 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.120 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538643674.121 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 1538643674.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.122 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538643674.122 * [misc]backup-simplify: Simplify 0 into 0 1538643674.123 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1538643674.123 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) 1)) into (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) 1538643674.123 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in (x) around 0 1538643674.123 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1538643674.123 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1538643674.123 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1538643674.123 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1538643674.123 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.123 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.123 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.123 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.123 * [misc]backup-simplify: Simplify -1 into -1 1538643674.123 * [misc]taylor: Taking taylor expansion of x in x 1538643674.123 * [misc]backup-simplify: Simplify 0 into 0 1538643674.123 * [misc]backup-simplify: Simplify 1 into 1 1538643674.124 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.124 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.124 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.124 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.124 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.124 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.124 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.124 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.124 * [misc]backup-simplify: Simplify -1 into -1 1538643674.124 * [misc]taylor: Taking taylor expansion of x in x 1538643674.124 * [misc]backup-simplify: Simplify 0 into 0 1538643674.124 * [misc]backup-simplify: Simplify 1 into 1 1538643674.124 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.124 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.125 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.125 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.125 * [misc]taylor: Taking taylor expansion of 1 in x 1538643674.125 * [misc]backup-simplify: Simplify 1 into 1 1538643674.125 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1538643674.125 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538643674.125 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643674.125 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1538643674.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.126 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.126 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1538643674.126 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1538643674.126 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1538643674.126 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1538643674.126 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.126 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.126 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.126 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.126 * [misc]backup-simplify: Simplify -1 into -1 1538643674.126 * [misc]taylor: Taking taylor expansion of x in x 1538643674.126 * [misc]backup-simplify: Simplify 0 into 0 1538643674.127 * [misc]backup-simplify: Simplify 1 into 1 1538643674.127 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.127 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.127 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.127 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.127 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538643674.127 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538643674.127 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538643674.127 * [misc]taylor: Taking taylor expansion of -1 in x 1538643674.127 * [misc]backup-simplify: Simplify -1 into -1 1538643674.127 * [misc]taylor: Taking taylor expansion of x in x 1538643674.127 * [misc]backup-simplify: Simplify 0 into 0 1538643674.127 * [misc]backup-simplify: Simplify 1 into 1 1538643674.127 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538643674.128 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538643674.128 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538643674.128 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.128 * [misc]taylor: Taking taylor expansion of 1 in x 1538643674.128 * [misc]backup-simplify: Simplify 1 into 1 1538643674.128 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1538643674.128 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538643674.128 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643674.128 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1538643674.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.129 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.129 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538643674.129 * [misc]backup-simplify: Simplify 0 into 0 1538643674.130 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.131 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.131 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 1538643674.131 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.132 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.132 * [misc]backup-simplify: Simplify 0 into 0 1538643674.133 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.133 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.133 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 1538643674.133 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.134 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.134 * [misc]backup-simplify: Simplify 0 into 0 1538643674.135 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.136 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.136 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 1538643674.136 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.137 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.137 * [misc]backup-simplify: Simplify 0 into 0 1538643674.138 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.138 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.139 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 1538643674.139 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.140 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.140 * [misc]backup-simplify: Simplify 0 into 0 1538643674.141 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.142 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538643674.143 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 1538643674.143 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538643674.144 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538643674.144 * [misc]backup-simplify: Simplify 0 into 0 1538643674.144 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1538643674.144 * * * [misc]progress: simplifying candidates 1538643674.144 * * * * [misc]progress: [ 1 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 2 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 3 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 4 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 5 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 6 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 7 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 8 / 51 ] simplifiying candidate # 1538643674.144 * * * * [misc]progress: [ 9 / 51 ] simplifiying candidate # 1538643674.145 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1538643674.146 * * [misc]simplify: iters left: 5 (5 enodes) 1538643674.148 * * [misc]simplify: iters left: 4 (6 enodes) 1538643674.150 * [exit]simplify: Simplified to (fabs (cbrt (exp x))) 1538643674.150 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) 1))) 1538643674.150 * * * * [misc]progress: [ 10 / 51 ] simplifiying candidate # 1538643674.150 * [enter]simplify: Simplifying (sqrt (sqrt (exp x))) 1538643674.151 * * [misc]simplify: iters left: 3 (4 enodes) 1538643674.152 * [exit]simplify: Simplified to (sqrt (sqrt (exp x))) 1538643674.152 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) 1))) 1538643674.152 * * * * [misc]progress: [ 11 / 51 ] simplifiying candidate # 1538643674.153 * [enter]simplify: Simplifying (sqrt 1) 1538643674.153 * * [misc]simplify: iters left: 1 (2 enodes) 1538643674.154 * [exit]simplify: Simplified to 1 1538643674.154 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* 1 (sqrt (exp x))) 1))) 1538643674.154 * * * * [misc]progress: [ 12 / 51 ] simplifiying candidate # 1538643674.155 * * * * [misc]progress: [ 13 / 51 ] simplifiying candidate # 1538643674.155 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643674.155 * * [misc]simplify: iters left: 2 (3 enodes) 1538643674.156 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643674.156 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (fabs (sqrt (exp x))) 1))) 1538643674.156 * * * * [misc]progress: [ 14 / 51 ] simplifiying candidate # 1538643674.156 * * * * [misc]progress: [ 15 / 51 ] simplifiying candidate # 1538643674.156 * * * * [misc]progress: [ 16 / 51 ] simplifiying candidate # 1538643674.156 * * * * [misc]progress: [ 17 / 51 ] simplifiying candidate # 1538643674.157 * * * * [misc]progress: [ 18 / 51 ] simplifiying candidate # 1538643674.157 * * * * [misc]progress: [ 19 / 51 ] simplifiying candidate # 1538643674.157 * * * * [misc]progress: [ 20 / 51 ] simplifiying candidate # 1538643674.157 * * * * [misc]progress: [ 21 / 51 ] simplifiying candidate # 1538643674.157 * * * * [misc]progress: [ 22 / 51 ] simplifiying candidate # 1538643674.157 * * * * [misc]progress: [ 23 / 51 ] simplifiying candidate # 1538643674.157 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1538643674.158 * * [misc]simplify: iters left: 5 (5 enodes) 1538643674.160 * * [misc]simplify: iters left: 4 (6 enodes) 1538643674.162 * [exit]simplify: Simplified to (fabs (cbrt (exp x))) 1538643674.162 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) (sqrt (exp x)) 1))) 1538643674.162 * * * * [misc]progress: [ 24 / 51 ] simplifiying candidate # 1538643674.162 * [enter]simplify: Simplifying (sqrt (sqrt (exp x))) 1538643674.162 * * [misc]simplify: iters left: 3 (4 enodes) 1538643674.164 * [exit]simplify: Simplified to (sqrt (sqrt (exp x))) 1538643674.164 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) (sqrt (exp x)) 1))) 1538643674.164 * * * * [misc]progress: [ 25 / 51 ] simplifiying candidate # 1538643674.164 * [enter]simplify: Simplifying (sqrt 1) 1538643674.165 * * [misc]simplify: iters left: 1 (2 enodes) 1538643674.166 * [exit]simplify: Simplified to 1 1538643674.166 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* 1 (sqrt (exp x))) (sqrt (exp x)) 1))) 1538643674.166 * * * * [misc]progress: [ 26 / 51 ] simplifiying candidate # 1538643674.166 * * * * [misc]progress: [ 27 / 51 ] simplifiying candidate # 1538643674.167 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643674.167 * * [misc]simplify: iters left: 2 (3 enodes) 1538643674.168 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643674.168 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (fabs (sqrt (exp x))) (sqrt (exp x)) 1))) 1538643674.168 * * * * [misc]progress: [ 28 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 29 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 30 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 31 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 32 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 33 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 34 / 51 ] simplifiying candidate # 1538643674.168 * * * * [misc]progress: [ 35 / 51 ] simplifiying candidate # 1538643674.169 * * * * [misc]progress: [ 36 / 51 ] simplifiying candidate # 1538643674.169 * * * * [misc]progress: [ 37 / 51 ] simplifiying candidate # 1538643674.169 * [enter]simplify: Simplifying (sqrt (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1538643674.170 * * [misc]simplify: iters left: 6 (8 enodes) 1538643674.173 * * [misc]simplify: iters left: 5 (13 enodes) 1538643674.177 * * [misc]simplify: iters left: 4 (14 enodes) 1538643674.181 * * [misc]simplify: iters left: 3 (15 enodes) 1538643674.185 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 (exp x)))) 1538643674.185 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ 1 (exp x)))) (sqrt (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1538643674.186 * * * * [misc]progress: [ 38 / 51 ] simplifiying candidate # 1538643674.186 * [enter]simplify: Simplifying (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538643674.187 * * [misc]simplify: iters left: 5 (7 enodes) 1538643674.190 * * [misc]simplify: iters left: 4 (11 enodes) 1538643674.193 * * [misc]simplify: iters left: 3 (12 enodes) 1538643674.197 * * [misc]simplify: iters left: 2 (14 enodes) 1538643674.201 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 (exp x)))) 1538643674.201 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1538643674.201 * * * * [misc]progress: [ 39 / 51 ] simplifiying candidate # 1538643674.201 * [enter]simplify: Simplifying (sqrt 1) 1538643674.201 * * [misc]simplify: iters left: 1 (2 enodes) 1538643674.203 * [exit]simplify: Simplified to 1 1538643674.203 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1538643674.203 * * * * [misc]progress: [ 40 / 51 ] simplifiying candidate # 1538643674.203 * * * * [misc]progress: [ 41 / 51 ] simplifiying candidate # 1538643674.203 * [enter]simplify: Simplifying (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1538643674.204 * * [misc]simplify: iters left: 4 (6 enodes) 1538643674.206 * * [misc]simplify: iters left: 3 (10 enodes) 1538643674.209 * * [misc]simplify: iters left: 2 (11 enodes) 1538643674.213 * * [misc]simplify: iters left: 1 (13 enodes) 1538643674.216 * [exit]simplify: Simplified to (sqrt (+ 1 (exp x))) 1538643674.216 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ 1 (exp x))))) 1538643674.216 * * * * [misc]progress: [ 42 / 51 ] simplifiying candidate # 1538643674.216 * * * * [misc]progress: [ 43 / 51 ] simplifiying candidate # 1538643674.217 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538643674.217 * * [misc]simplify: iters left: 6 (10 enodes) 1538643674.223 * * [misc]simplify: iters left: 5 (21 enodes) 1538643674.235 * * [misc]simplify: iters left: 4 (35 enodes) 1538643674.250 * * [misc]simplify: iters left: 3 (56 enodes) 1538643674.268 * * [misc]simplify: iters left: 2 (76 enodes) 1538643674.282 * * [misc]simplify: iters left: 1 (91 enodes) 1538643674.291 * [exit]simplify: Simplified to (fma x (fma x 1/8 1/2) 1) 1538643674.291 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) 1))) 1538643674.291 * * * * [misc]progress: [ 44 / 51 ] simplifiying candidate # 1538643674.291 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643674.291 * * [misc]simplify: iters left: 2 (3 enodes) 1538643674.292 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643674.292 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538643674.292 * * * * [misc]progress: [ 45 / 51 ] simplifiying candidate # 1538643674.292 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643674.292 * * [misc]simplify: iters left: 2 (3 enodes) 1538643674.293 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643674.293 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538643674.293 * * * * [misc]progress: [ 46 / 51 ] simplifiying candidate # 1538643674.293 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538643674.294 * * [misc]simplify: iters left: 6 (10 enodes) 1538643674.296 * * [misc]simplify: iters left: 5 (21 enodes) 1538643674.302 * * [misc]simplify: iters left: 4 (35 enodes) 1538643674.316 * * [misc]simplify: iters left: 3 (56 enodes) 1538643674.334 * * [misc]simplify: iters left: 2 (76 enodes) 1538643674.361 * * [misc]simplify: iters left: 1 (91 enodes) 1538643674.376 * [exit]simplify: Simplified to (fma x (fma x 1/8 1/2) 1) 1538643674.376 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) 1))) 1538643674.376 * * * * [misc]progress: [ 47 / 51 ] simplifiying candidate # 1538643674.376 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643674.377 * * [misc]simplify: iters left: 2 (3 enodes) 1538643674.377 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643674.377 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538643674.377 * * * * [misc]progress: [ 48 / 51 ] simplifiying candidate # 1538643674.377 * [enter]simplify: Simplifying (sqrt (exp x)) 1538643674.378 * * [misc]simplify: iters left: 2 (3 enodes) 1538643674.378 * [exit]simplify: Simplified to (sqrt (exp x)) 1538643674.378 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538643674.378 * * * * [misc]progress: [ 49 / 51 ] simplifiying candidate # 1538643674.378 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538643674.379 * * [misc]simplify: iters left: 6 (18 enodes) 1538643674.385 * * [misc]simplify: iters left: 5 (40 enodes) 1538643674.400 * * [misc]simplify: iters left: 4 (111 enodes) 1538643674.474 * * [misc]simplify: iters left: 3 (276 enodes) 1538643674.712 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1538643674.712 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1538643674.712 * * * * [misc]progress: [ 50 / 51 ] simplifiying candidate # 1538643674.713 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538643674.713 * * [misc]simplify: iters left: 4 (5 enodes) 1538643674.715 * * [misc]simplify: iters left: 3 (8 enodes) 1538643674.718 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538643674.718 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538643674.718 * * * * [misc]progress: [ 51 / 51 ] simplifiying candidate # 1538643674.718 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538643674.719 * * [misc]simplify: iters left: 4 (5 enodes) 1538643674.721 * * [misc]simplify: iters left: 3 (8 enodes) 1538643674.723 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538643674.723 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538643674.724 * * * [misc]progress: adding candidates to table 1538643675.519 * [misc]progress: [Phase 3 of 3] Extracting. 1538643675.519 * * [misc]regime: Finding splitpoints for: (# #) 1538643675.521 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1538643675.521 * * * * [misc]regimes: Trying to branch on x from (# #) 1538643675.565 * * * [misc]regime: Found split indices: #