0.457 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.654 * * * [progress]: [2/2] Setting up program. 0.659 * [progress]: [Phase 2 of 3] Improving. 0.659 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.661 * [simplify]: Simplifying: (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 0.662 * * [simplify]: iteration 1: (10 enodes) 0.697 * * [simplify]: iteration 2: (24 enodes) 0.702 * * [simplify]: iteration 3: (30 enodes) 0.707 * * [simplify]: iteration 4: (53 enodes) 0.715 * * [simplify]: iteration 5: (108 enodes) 0.748 * * [simplify]: iteration 6: (285 enodes) 0.847 * * [simplify]: iteration 7: (794 enodes) 1.636 * * [simplify]: Extracting #0: cost 1 inf + 0 1.636 * * [simplify]: Extracting #1: cost 4 inf + 0 1.637 * * [simplify]: Extracting #2: cost 103 inf + 1 1.638 * * [simplify]: Extracting #3: cost 412 inf + 3 1.641 * * [simplify]: Extracting #4: cost 674 inf + 3726 1.648 * * [simplify]: Extracting #5: cost 584 inf + 47285 1.677 * * [simplify]: Extracting #6: cost 229 inf + 278026 1.759 * * [simplify]: Extracting #7: cost 14 inf + 441155 1.847 * * [simplify]: Extracting #8: cost 0 inf + 442042 1.927 * * [simplify]: Extracting #9: cost 0 inf + 441303 2.035 * [simplify]: Simplified to: (sqrt (+ (exp x) 1)) 2.049 * * [progress]: iteration 1 / 4 2.049 * * * [progress]: picking best candidate 2.054 * * * * [pick]: Picked # 2.054 * * * [progress]: localizing error 2.074 * * * [progress]: generating rewritten candidates 2.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.092 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.112 * * * [progress]: generating series expansions 2.112 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.117 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1) 2.117 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 2.118 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.118 * [taylor]: Taking taylor expansion of (exp x) in x 2.118 * [taylor]: Taking taylor expansion of x in x 2.118 * [backup-simplify]: Simplify 0 into 0 2.118 * [backup-simplify]: Simplify 1 into 1 2.118 * [backup-simplify]: Simplify (exp 0) into 1 2.118 * [taylor]: Taking taylor expansion of 1 in x 2.118 * [backup-simplify]: Simplify 1 into 1 2.119 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.119 * [taylor]: Taking taylor expansion of (exp x) in x 2.119 * [taylor]: Taking taylor expansion of x in x 2.119 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify 1 into 1 2.119 * [backup-simplify]: Simplify (exp 0) into 1 2.119 * [taylor]: Taking taylor expansion of 1 in x 2.119 * [backup-simplify]: Simplify 1 into 1 2.121 * [backup-simplify]: Simplify (+ 1 1) into 2 2.121 * [backup-simplify]: Simplify 2 into 2 2.123 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.123 * [backup-simplify]: Simplify (+ 1 0) into 1 2.123 * [backup-simplify]: Simplify 1 into 1 2.125 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.126 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.126 * [backup-simplify]: Simplify 1/2 into 1/2 2.129 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 2.129 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.129 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 2.129 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.129 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.130 * [backup-simplify]: Simplify 0 into 0 2.130 * [backup-simplify]: Simplify 1 into 1 2.130 * [backup-simplify]: Simplify (/ 1 1) into 1 2.130 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.131 * [taylor]: Taking taylor expansion of 1 in x 2.131 * [backup-simplify]: Simplify 1 into 1 2.131 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.131 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.131 * [taylor]: Taking taylor expansion of x in x 2.131 * [backup-simplify]: Simplify 0 into 0 2.131 * [backup-simplify]: Simplify 1 into 1 2.132 * [backup-simplify]: Simplify (/ 1 1) into 1 2.132 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.132 * [taylor]: Taking taylor expansion of 1 in x 2.132 * [backup-simplify]: Simplify 1 into 1 2.132 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.132 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.133 * [backup-simplify]: Simplify (+ 0 0) into 0 2.133 * [backup-simplify]: Simplify 0 into 0 2.133 * [backup-simplify]: Simplify (+ 0 0) into 0 2.133 * [backup-simplify]: Simplify 0 into 0 2.134 * [backup-simplify]: Simplify (+ 0 0) into 0 2.134 * [backup-simplify]: Simplify 0 into 0 2.134 * [backup-simplify]: Simplify (+ 0 0) into 0 2.134 * [backup-simplify]: Simplify 0 into 0 2.134 * [backup-simplify]: Simplify (+ 0 0) into 0 2.134 * [backup-simplify]: Simplify 0 into 0 2.135 * [backup-simplify]: Simplify (+ 0 0) into 0 2.135 * [backup-simplify]: Simplify 0 into 0 2.135 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 2.135 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1) 2.135 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 2.135 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.135 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.135 * [taylor]: Taking taylor expansion of -1 in x 2.135 * [backup-simplify]: Simplify -1 into -1 2.135 * [taylor]: Taking taylor expansion of x in x 2.135 * [backup-simplify]: Simplify 0 into 0 2.135 * [backup-simplify]: Simplify 1 into 1 2.135 * [backup-simplify]: Simplify (/ -1 1) into -1 2.135 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.135 * [taylor]: Taking taylor expansion of 1 in x 2.135 * [backup-simplify]: Simplify 1 into 1 2.135 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.135 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.135 * [taylor]: Taking taylor expansion of -1 in x 2.135 * [backup-simplify]: Simplify -1 into -1 2.135 * [taylor]: Taking taylor expansion of x in x 2.136 * [backup-simplify]: Simplify 0 into 0 2.136 * [backup-simplify]: Simplify 1 into 1 2.136 * [backup-simplify]: Simplify (/ -1 1) into -1 2.136 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.136 * [taylor]: Taking taylor expansion of 1 in x 2.136 * [backup-simplify]: Simplify 1 into 1 2.136 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.136 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.136 * [backup-simplify]: Simplify (+ 0 0) into 0 2.136 * [backup-simplify]: Simplify 0 into 0 2.137 * [backup-simplify]: Simplify (+ 0 0) into 0 2.137 * [backup-simplify]: Simplify 0 into 0 2.137 * [backup-simplify]: Simplify (+ 0 0) into 0 2.137 * [backup-simplify]: Simplify 0 into 0 2.137 * [backup-simplify]: Simplify (+ 0 0) into 0 2.137 * [backup-simplify]: Simplify 0 into 0 2.137 * [backup-simplify]: Simplify (+ 0 0) into 0 2.137 * [backup-simplify]: Simplify 0 into 0 2.138 * [backup-simplify]: Simplify (+ 0 0) into 0 2.138 * [backup-simplify]: Simplify 0 into 0 2.138 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 2.138 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.138 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 2.138 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 2.138 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 2.138 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.138 * [taylor]: Taking taylor expansion of (exp x) in x 2.138 * [taylor]: Taking taylor expansion of x in x 2.138 * [backup-simplify]: Simplify 0 into 0 2.138 * [backup-simplify]: Simplify 1 into 1 2.138 * [backup-simplify]: Simplify (exp 0) into 1 2.138 * [taylor]: Taking taylor expansion of 1 in x 2.138 * [backup-simplify]: Simplify 1 into 1 2.138 * [backup-simplify]: Simplify (+ 1 1) into 2 2.139 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 2.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.140 * [backup-simplify]: Simplify (+ 1 0) into 1 2.140 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 2.141 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 2.141 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.141 * [taylor]: Taking taylor expansion of (exp x) in x 2.141 * [taylor]: Taking taylor expansion of x in x 2.141 * [backup-simplify]: Simplify 0 into 0 2.141 * [backup-simplify]: Simplify 1 into 1 2.141 * [backup-simplify]: Simplify (exp 0) into 1 2.141 * [taylor]: Taking taylor expansion of 1 in x 2.141 * [backup-simplify]: Simplify 1 into 1 2.141 * [backup-simplify]: Simplify (+ 1 1) into 2 2.141 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 2.142 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.142 * [backup-simplify]: Simplify (+ 1 0) into 1 2.143 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 2.143 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 2.151 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 2.152 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.153 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.156 * [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))) 2.160 * [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))) 2.165 * [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)))) 2.165 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.165 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 2.165 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 2.165 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.165 * [taylor]: Taking taylor expansion of x in x 2.165 * [backup-simplify]: Simplify 0 into 0 2.165 * [backup-simplify]: Simplify 1 into 1 2.165 * [backup-simplify]: Simplify (/ 1 1) into 1 2.165 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.165 * [taylor]: Taking taylor expansion of 1 in x 2.165 * [backup-simplify]: Simplify 1 into 1 2.165 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.165 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.166 * [backup-simplify]: Simplify (+ 0 0) into 0 2.166 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.166 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 2.166 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.166 * [taylor]: Taking taylor expansion of x in x 2.166 * [backup-simplify]: Simplify 0 into 0 2.166 * [backup-simplify]: Simplify 1 into 1 2.166 * [backup-simplify]: Simplify (/ 1 1) into 1 2.166 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.166 * [taylor]: Taking taylor expansion of 1 in x 2.166 * [backup-simplify]: Simplify 1 into 1 2.166 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.166 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.167 * [backup-simplify]: Simplify (+ 0 0) into 0 2.167 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.167 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.167 * [backup-simplify]: Simplify 0 into 0 2.167 * [backup-simplify]: Simplify (+ 0 0) into 0 2.168 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.168 * [backup-simplify]: Simplify 0 into 0 2.168 * [backup-simplify]: Simplify (+ 0 0) into 0 2.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.168 * [backup-simplify]: Simplify 0 into 0 2.169 * [backup-simplify]: Simplify (+ 0 0) into 0 2.169 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.169 * [backup-simplify]: Simplify 0 into 0 2.170 * [backup-simplify]: Simplify (+ 0 0) into 0 2.170 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.170 * [backup-simplify]: Simplify 0 into 0 2.170 * [backup-simplify]: Simplify (+ 0 0) into 0 2.171 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.171 * [backup-simplify]: Simplify 0 into 0 2.171 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 2.171 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.171 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 2.171 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 2.171 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.171 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.171 * [taylor]: Taking taylor expansion of -1 in x 2.171 * [backup-simplify]: Simplify -1 into -1 2.171 * [taylor]: Taking taylor expansion of x in x 2.171 * [backup-simplify]: Simplify 0 into 0 2.171 * [backup-simplify]: Simplify 1 into 1 2.172 * [backup-simplify]: Simplify (/ -1 1) into -1 2.172 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.172 * [taylor]: Taking taylor expansion of 1 in x 2.172 * [backup-simplify]: Simplify 1 into 1 2.172 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.172 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.172 * [backup-simplify]: Simplify (+ 0 0) into 0 2.172 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.172 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 2.172 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.172 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.172 * [taylor]: Taking taylor expansion of -1 in x 2.172 * [backup-simplify]: Simplify -1 into -1 2.172 * [taylor]: Taking taylor expansion of x in x 2.172 * [backup-simplify]: Simplify 0 into 0 2.172 * [backup-simplify]: Simplify 1 into 1 2.173 * [backup-simplify]: Simplify (/ -1 1) into -1 2.173 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.173 * [taylor]: Taking taylor expansion of 1 in x 2.173 * [backup-simplify]: Simplify 1 into 1 2.173 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.173 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.173 * [backup-simplify]: Simplify (+ 0 0) into 0 2.173 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.173 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.173 * [backup-simplify]: Simplify 0 into 0 2.174 * [backup-simplify]: Simplify (+ 0 0) into 0 2.174 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.174 * [backup-simplify]: Simplify 0 into 0 2.174 * [backup-simplify]: Simplify (+ 0 0) into 0 2.175 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.175 * [backup-simplify]: Simplify 0 into 0 2.175 * [backup-simplify]: Simplify (+ 0 0) into 0 2.176 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.176 * [backup-simplify]: Simplify 0 into 0 2.176 * [backup-simplify]: Simplify (+ 0 0) into 0 2.176 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.176 * [backup-simplify]: Simplify 0 into 0 2.177 * [backup-simplify]: Simplify (+ 0 0) into 0 2.177 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.177 * [backup-simplify]: Simplify 0 into 0 2.177 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 2.178 * * * [progress]: simplifying candidates 2.178 * * * * [progress]: [ 1 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 2 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 3 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 4 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 5 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 6 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 7 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 8 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 9 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 10 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 11 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 12 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 13 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 14 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 15 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 16 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 17 / 45 ] simplifiying candidate #real (real->posit16 (+ (exp x) 1)))))> 2.178 * * * * [progress]: [ 18 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 19 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 20 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 21 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 22 / 45 ] simplifiying candidate # 2.178 * * * * [progress]: [ 23 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 24 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 25 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 26 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 27 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 28 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 29 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 30 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 31 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 32 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 33 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 34 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 35 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 36 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 37 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 38 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 39 / 45 ] simplifiying candidate #real (real->posit16 (sqrt (+ (exp x) 1)))))> 2.179 * * * * [progress]: [ 40 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 41 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 42 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 43 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 44 / 45 ] simplifiying candidate # 2.179 * * * * [progress]: [ 45 / 45 ] simplifiying candidate # 2.180 * [simplify]: Simplifying: (expm1 (+ (exp x) 1)) (log1p (+ (exp x) 1)) (* (exp (exp x)) (exp 1)) (log (+ (exp x) 1)) (exp (+ (exp x) 1)) (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1) (+ (exp x) 1) (real->posit16 (+ (exp x) 1)) (expm1 (sqrt (+ (exp x) 1))) (log1p (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1))) (exp (sqrt (+ (exp x) 1))) (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1))) (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1))) (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt 1) (sqrt (+ (exp x) 1)) (sqrt 1) (sqrt (+ (exp x) 1)) (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1)) (/ 1 2) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (real->posit16 (sqrt (+ (exp x) 1))) (+ x (+ (* 1/2 (pow x 2)) 2)) (+ (exp x) 1) (+ (exp x) 1) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 2.180 * * [simplify]: iteration 1: (65 enodes) 2.195 * * [simplify]: iteration 2: (148 enodes) 2.241 * * [simplify]: iteration 3: (347 enodes) 2.409 * * [simplify]: iteration 4: (856 enodes) 3.605 * * [simplify]: Extracting #0: cost 33 inf + 0 3.605 * * [simplify]: Extracting #1: cost 135 inf + 2 3.607 * * [simplify]: Extracting #2: cost 430 inf + 1452 3.614 * * [simplify]: Extracting #3: cost 329 inf + 25374 3.637 * * [simplify]: Extracting #4: cost 142 inf + 70149 3.682 * * [simplify]: Extracting #5: cost 15 inf + 120510 3.722 * * [simplify]: Extracting #6: cost 0 inf + 127278 3.746 * [simplify]: Simplified to: (expm1 (+ (exp x) 1)) (log1p (+ (exp x) 1)) (* E (exp (exp x))) (log1p (exp x)) (* E (exp (exp x))) (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)) (* (+ (exp x) 1) (* (+ (exp x) 1) (+ (exp x) 1))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ 1 (exp (+ x (+ x x)))) (fma (exp x) (exp x) (- 1 (exp x))) (expm1 (+ x x)) (expm1 x) (+ (exp x) 1) (real->posit16 (+ (exp x) 1)) (expm1 (sqrt (+ (exp x) 1))) (log1p (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1))) (exp (sqrt (+ (exp x) 1))) (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1))) (* (+ (exp x) 1) (sqrt (+ (exp x) 1))) (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) 1 (sqrt (+ (exp x) 1)) 1 (sqrt (+ (exp x) 1)) (sqrt (+ 1 (exp (+ x (+ x x))))) (sqrt (fma (exp x) (exp x) (- 1 (exp x)))) (sqrt (expm1 (+ x x))) (sqrt (expm1 x)) 1/2 (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (real->posit16 (sqrt (+ (exp x) 1))) (fma (fma x 1/2 1) x 2) (+ (exp x) 1) (+ (exp x) 1) (+ (sqrt 2) (fma (/ x (sqrt 2)) 1/2 (* (* x (/ x (sqrt 2))) 3/16))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 3.748 * * * [progress]: adding candidates to table 4.108 * * [progress]: iteration 2 / 4 4.108 * * * [progress]: picking best candidate 4.122 * * * * [pick]: Picked # 4.122 * * * [progress]: localizing error 4.137 * * * [progress]: generating rewritten candidates 4.137 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.142 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.143 * * * [progress]: generating series expansions 4.143 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.143 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 4.143 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 4.143 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.143 * [taylor]: Taking taylor expansion of (exp x) in x 4.143 * [taylor]: Taking taylor expansion of x in x 4.143 * [backup-simplify]: Simplify 0 into 0 4.143 * [backup-simplify]: Simplify 1 into 1 4.143 * [backup-simplify]: Simplify (exp 0) into 1 4.144 * [backup-simplify]: Simplify (sqrt 1) into 1 4.145 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.145 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 4.145 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.145 * [taylor]: Taking taylor expansion of (exp x) in x 4.145 * [taylor]: Taking taylor expansion of x in x 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify 1 into 1 4.145 * [backup-simplify]: Simplify (exp 0) into 1 4.146 * [backup-simplify]: Simplify (sqrt 1) into 1 4.147 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.147 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 4.147 * [backup-simplify]: Simplify 1 into 1 4.147 * [backup-simplify]: Simplify 1/2 into 1/2 4.149 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.150 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 4.150 * [backup-simplify]: Simplify 1/8 into 1/8 4.150 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 4.150 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.150 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 4.150 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.150 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.150 * [taylor]: Taking taylor expansion of x in x 4.150 * [backup-simplify]: Simplify 0 into 0 4.150 * [backup-simplify]: Simplify 1 into 1 4.151 * [backup-simplify]: Simplify (/ 1 1) into 1 4.151 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.151 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.151 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 4.151 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.151 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.151 * [taylor]: Taking taylor expansion of x in x 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 1 into 1 4.151 * [backup-simplify]: Simplify (/ 1 1) into 1 4.152 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.152 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.152 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 4.152 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.152 * [backup-simplify]: Simplify 0 into 0 4.153 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.153 * [backup-simplify]: Simplify 0 into 0 4.153 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.153 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.154 * [backup-simplify]: Simplify 0 into 0 4.155 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.155 * [backup-simplify]: Simplify 0 into 0 4.156 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.156 * [backup-simplify]: Simplify 0 into 0 4.156 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 4.156 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 4.156 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 4.156 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.156 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.156 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.156 * [taylor]: Taking taylor expansion of -1 in x 4.156 * [backup-simplify]: Simplify -1 into -1 4.156 * [taylor]: Taking taylor expansion of x in x 4.156 * [backup-simplify]: Simplify 0 into 0 4.157 * [backup-simplify]: Simplify 1 into 1 4.157 * [backup-simplify]: Simplify (/ -1 1) into -1 4.157 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.157 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.157 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 4.157 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.157 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.157 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.157 * [taylor]: Taking taylor expansion of -1 in x 4.157 * [backup-simplify]: Simplify -1 into -1 4.157 * [taylor]: Taking taylor expansion of x in x 4.157 * [backup-simplify]: Simplify 0 into 0 4.157 * [backup-simplify]: Simplify 1 into 1 4.158 * [backup-simplify]: Simplify (/ -1 1) into -1 4.158 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.158 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.158 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 4.158 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.158 * [backup-simplify]: Simplify 0 into 0 4.159 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.159 * [backup-simplify]: Simplify 0 into 0 4.160 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.160 * [backup-simplify]: Simplify 0 into 0 4.161 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.161 * [backup-simplify]: Simplify 0 into 0 4.163 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.163 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.165 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 4.165 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.165 * [backup-simplify]: Simplify (hypot (sqrt (exp x)) 1) into (hypot (sqrt (exp x)) 1) 4.165 * [approximate]: Taking taylor expansion of (hypot (sqrt (exp x)) 1) in (x) around 0 4.165 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp x)) 1) in x 4.167 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1))) 4.167 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)) in x 4.167 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 4.167 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.167 * [taylor]: Taking taylor expansion of (exp x) in x 4.167 * [taylor]: Taking taylor expansion of x in x 4.167 * [backup-simplify]: Simplify 0 into 0 4.168 * [backup-simplify]: Simplify 1 into 1 4.168 * [backup-simplify]: Simplify (exp 0) into 1 4.168 * [backup-simplify]: Simplify (sqrt 1) into 1 4.169 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.170 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 4.170 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.170 * [taylor]: Taking taylor expansion of (exp x) in x 4.170 * [taylor]: Taking taylor expansion of x in x 4.170 * [backup-simplify]: Simplify 0 into 0 4.170 * [backup-simplify]: Simplify 1 into 1 4.170 * [backup-simplify]: Simplify (exp 0) into 1 4.170 * [backup-simplify]: Simplify (sqrt 1) into 1 4.171 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.172 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 4.172 * [taylor]: Taking taylor expansion of (* 1 1) in x 4.172 * [taylor]: Taking taylor expansion of 1 in x 4.172 * [backup-simplify]: Simplify 1 into 1 4.172 * [taylor]: Taking taylor expansion of 1 in x 4.172 * [backup-simplify]: Simplify 1 into 1 4.173 * [backup-simplify]: Simplify (* 1 1) into 1 4.173 * [backup-simplify]: Simplify (* 1 1) into 1 4.174 * [backup-simplify]: Simplify (+ 1 1) into 2 4.174 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 4.175 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 4.175 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.176 * [backup-simplify]: Simplify (+ 1 0) into 1 4.177 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 4.177 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp x)) 1) in x 4.178 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1))) 4.178 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)) in x 4.178 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 4.178 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.178 * [taylor]: Taking taylor expansion of (exp x) in x 4.178 * [taylor]: Taking taylor expansion of x in x 4.178 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify 1 into 1 4.178 * [backup-simplify]: Simplify (exp 0) into 1 4.178 * [backup-simplify]: Simplify (sqrt 1) into 1 4.179 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.180 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 4.180 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.180 * [taylor]: Taking taylor expansion of (exp x) in x 4.180 * [taylor]: Taking taylor expansion of x in x 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify 1 into 1 4.180 * [backup-simplify]: Simplify (exp 0) into 1 4.180 * [backup-simplify]: Simplify (sqrt 1) into 1 4.181 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.182 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 4.182 * [taylor]: Taking taylor expansion of (* 1 1) in x 4.182 * [taylor]: Taking taylor expansion of 1 in x 4.182 * [backup-simplify]: Simplify 1 into 1 4.182 * [taylor]: Taking taylor expansion of 1 in x 4.182 * [backup-simplify]: Simplify 1 into 1 4.183 * [backup-simplify]: Simplify (* 1 1) into 1 4.183 * [backup-simplify]: Simplify (* 1 1) into 1 4.183 * [backup-simplify]: Simplify (+ 1 1) into 2 4.184 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 4.184 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 4.185 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.185 * [backup-simplify]: Simplify (+ 1 0) into 1 4.187 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 4.187 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 4.188 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 4.189 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.190 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 4.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.193 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 4.194 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 4.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.195 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 4.199 * [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))) 4.205 * [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))) 4.218 * [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)))) 4.219 * [backup-simplify]: Simplify (hypot (sqrt (exp (/ 1 x))) 1) into (hypot (sqrt (exp (/ 1 x))) 1) 4.219 * [approximate]: Taking taylor expansion of (hypot (sqrt (exp (/ 1 x))) 1) in (x) around 0 4.219 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ 1 x))) 1) in x 4.219 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* 1 1))) 4.219 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* 1 1)) in x 4.219 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 4.219 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.219 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.219 * [taylor]: Taking taylor expansion of x in x 4.219 * [backup-simplify]: Simplify 0 into 0 4.219 * [backup-simplify]: Simplify 1 into 1 4.220 * [backup-simplify]: Simplify (/ 1 1) into 1 4.220 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.220 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.220 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 4.220 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.220 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.220 * [taylor]: Taking taylor expansion of x in x 4.220 * [backup-simplify]: Simplify 0 into 0 4.220 * [backup-simplify]: Simplify 1 into 1 4.220 * [backup-simplify]: Simplify (/ 1 1) into 1 4.220 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.221 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.221 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 4.221 * [taylor]: Taking taylor expansion of (* 1 1) in x 4.221 * [taylor]: Taking taylor expansion of 1 in x 4.221 * [backup-simplify]: Simplify 1 into 1 4.221 * [taylor]: Taking taylor expansion of 1 in x 4.221 * [backup-simplify]: Simplify 1 into 1 4.221 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 4.221 * [backup-simplify]: Simplify (* 1 1) into 1 4.221 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 4.221 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 4.222 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 4.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.223 * [backup-simplify]: Simplify (+ 0 0) into 0 4.223 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.223 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ 1 x))) 1) in x 4.223 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* 1 1))) 4.223 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* 1 1)) in x 4.223 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 4.223 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.223 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.223 * [taylor]: Taking taylor expansion of x in x 4.223 * [backup-simplify]: Simplify 0 into 0 4.223 * [backup-simplify]: Simplify 1 into 1 4.223 * [backup-simplify]: Simplify (/ 1 1) into 1 4.224 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.224 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 4.224 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.224 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.224 * [taylor]: Taking taylor expansion of x in x 4.224 * [backup-simplify]: Simplify 0 into 0 4.224 * [backup-simplify]: Simplify 1 into 1 4.224 * [backup-simplify]: Simplify (/ 1 1) into 1 4.224 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.224 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 4.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 4.224 * [taylor]: Taking taylor expansion of (* 1 1) in x 4.225 * [taylor]: Taking taylor expansion of 1 in x 4.225 * [backup-simplify]: Simplify 1 into 1 4.225 * [taylor]: Taking taylor expansion of 1 in x 4.225 * [backup-simplify]: Simplify 1 into 1 4.225 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 4.225 * [backup-simplify]: Simplify (* 1 1) into 1 4.225 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 4.225 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 4.225 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 4.226 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.226 * [backup-simplify]: Simplify (+ 0 0) into 0 4.226 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.227 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 4.227 * [backup-simplify]: Simplify 0 into 0 4.227 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.228 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.229 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 4.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.230 * [backup-simplify]: Simplify (+ 0 0) into 0 4.231 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.231 * [backup-simplify]: Simplify 0 into 0 4.232 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.233 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.234 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 4.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.235 * [backup-simplify]: Simplify (+ 0 0) into 0 4.236 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.236 * [backup-simplify]: Simplify 0 into 0 4.237 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.238 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.239 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 4.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.241 * [backup-simplify]: Simplify (+ 0 0) into 0 4.242 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.242 * [backup-simplify]: Simplify 0 into 0 4.242 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.244 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.245 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 4.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.246 * [backup-simplify]: Simplify (+ 0 0) into 0 4.247 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.247 * [backup-simplify]: Simplify 0 into 0 4.248 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.249 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 4.251 * [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 4.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.253 * [backup-simplify]: Simplify (+ 0 0) into 0 4.254 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.254 * [backup-simplify]: Simplify 0 into 0 4.254 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 4.254 * [backup-simplify]: Simplify (hypot (sqrt (exp (/ 1 (- x)))) 1) into (hypot (sqrt (exp (/ -1 x))) 1) 4.254 * [approximate]: Taking taylor expansion of (hypot (sqrt (exp (/ -1 x))) 1) in (x) around 0 4.254 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ -1 x))) 1) in x 4.254 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* 1 1))) 4.254 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* 1 1)) in x 4.254 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 4.254 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.254 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.254 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.254 * [taylor]: Taking taylor expansion of -1 in x 4.254 * [backup-simplify]: Simplify -1 into -1 4.254 * [taylor]: Taking taylor expansion of x in x 4.254 * [backup-simplify]: Simplify 0 into 0 4.254 * [backup-simplify]: Simplify 1 into 1 4.255 * [backup-simplify]: Simplify (/ -1 1) into -1 4.255 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.255 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.255 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 4.255 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.255 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.255 * [taylor]: Taking taylor expansion of -1 in x 4.255 * [backup-simplify]: Simplify -1 into -1 4.255 * [taylor]: Taking taylor expansion of x in x 4.255 * [backup-simplify]: Simplify 0 into 0 4.255 * [backup-simplify]: Simplify 1 into 1 4.256 * [backup-simplify]: Simplify (/ -1 1) into -1 4.256 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.256 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.256 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 4.256 * [taylor]: Taking taylor expansion of (* 1 1) in x 4.256 * [taylor]: Taking taylor expansion of 1 in x 4.256 * [backup-simplify]: Simplify 1 into 1 4.256 * [taylor]: Taking taylor expansion of 1 in x 4.256 * [backup-simplify]: Simplify 1 into 1 4.256 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 4.256 * [backup-simplify]: Simplify (* 1 1) into 1 4.256 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 4.257 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 4.257 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 4.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.258 * [backup-simplify]: Simplify (+ 0 0) into 0 4.258 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.258 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ -1 x))) 1) in x 4.258 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* 1 1))) 4.258 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* 1 1)) in x 4.258 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 4.258 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.258 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.258 * [taylor]: Taking taylor expansion of -1 in x 4.258 * [backup-simplify]: Simplify -1 into -1 4.258 * [taylor]: Taking taylor expansion of x in x 4.258 * [backup-simplify]: Simplify 0 into 0 4.258 * [backup-simplify]: Simplify 1 into 1 4.259 * [backup-simplify]: Simplify (/ -1 1) into -1 4.259 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.259 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.259 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 4.259 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.259 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.259 * [taylor]: Taking taylor expansion of -1 in x 4.259 * [backup-simplify]: Simplify -1 into -1 4.259 * [taylor]: Taking taylor expansion of x in x 4.259 * [backup-simplify]: Simplify 0 into 0 4.259 * [backup-simplify]: Simplify 1 into 1 4.260 * [backup-simplify]: Simplify (/ -1 1) into -1 4.260 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.260 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 4.260 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 4.260 * [taylor]: Taking taylor expansion of (* 1 1) in x 4.260 * [taylor]: Taking taylor expansion of 1 in x 4.260 * [backup-simplify]: Simplify 1 into 1 4.260 * [taylor]: Taking taylor expansion of 1 in x 4.260 * [backup-simplify]: Simplify 1 into 1 4.260 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 4.260 * [backup-simplify]: Simplify (* 1 1) into 1 4.261 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 4.261 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 4.261 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 4.261 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.262 * [backup-simplify]: Simplify (+ 0 0) into 0 4.262 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.262 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 4.262 * [backup-simplify]: Simplify 0 into 0 4.263 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.263 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.264 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 4.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.265 * [backup-simplify]: Simplify (+ 0 0) into 0 4.266 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.266 * [backup-simplify]: Simplify 0 into 0 4.267 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.267 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.268 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 4.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.269 * [backup-simplify]: Simplify (+ 0 0) into 0 4.270 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.270 * [backup-simplify]: Simplify 0 into 0 4.271 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.272 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.273 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 4.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.275 * [backup-simplify]: Simplify (+ 0 0) into 0 4.276 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.276 * [backup-simplify]: Simplify 0 into 0 4.276 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.277 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.279 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 4.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.280 * [backup-simplify]: Simplify (+ 0 0) into 0 4.281 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.281 * [backup-simplify]: Simplify 0 into 0 4.282 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.283 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 4.285 * [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 4.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.286 * [backup-simplify]: Simplify (+ 0 0) into 0 4.287 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.287 * [backup-simplify]: Simplify 0 into 0 4.287 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 4.287 * * * [progress]: simplifying candidates 4.287 * * * * [progress]: [ 1 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 2 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 3 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 4 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 5 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 6 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 7 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 8 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 9 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 10 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 11 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 12 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 13 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 14 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 15 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 16 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 17 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 18 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 19 / 36 ] simplifiying candidate #real (real->posit16 (sqrt (exp x)))) 1))> 4.288 * * * * [progress]: [ 20 / 36 ] simplifiying candidate # 4.288 * * * * [progress]: [ 21 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 22 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 23 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 24 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 25 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 26 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 27 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 28 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 29 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #real (real->posit16 (hypot (sqrt (exp x)) 1))))> 4.289 * * * * [progress]: [ 31 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 32 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 33 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 34 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 35 / 36 ] simplifiying candidate # 4.289 * * * * [progress]: [ 36 / 36 ] simplifiying candidate # 4.290 * [simplify]: Simplifying: (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (real->posit16 (sqrt (exp x))) (expm1 (hypot (sqrt (exp x)) 1)) (log1p (hypot (sqrt (exp x)) 1)) (+ (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)) (log (hypot (sqrt (exp x)) 1)) (exp (hypot (sqrt (exp x)) 1)) (* (cbrt (hypot (sqrt (exp x)) 1)) (cbrt (hypot (sqrt (exp x)) 1))) (cbrt (hypot (sqrt (exp x)) 1)) (* (* (hypot (sqrt (exp x)) 1) (hypot (sqrt (exp x)) 1)) (hypot (sqrt (exp x)) 1)) (sqrt (hypot (sqrt (exp x)) 1)) (sqrt (hypot (sqrt (exp x)) 1)) (real->posit16 (hypot (sqrt (exp x)) 1)) (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) (sqrt (exp x)) (sqrt (exp x)) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 4.290 * * [simplify]: iteration 1: (61 enodes) 4.311 * * [simplify]: iteration 2: (104 enodes) 4.337 * * [simplify]: iteration 3: (218 enodes) 4.411 * * [simplify]: iteration 4: (571 enodes) 4.846 * * [simplify]: iteration 5: (1852 enodes) 7.664 * * [simplify]: Extracting #0: cost 30 inf + 0 7.664 * * [simplify]: Extracting #1: cost 142 inf + 2 7.671 * * [simplify]: Extracting #2: cost 732 inf + 831 7.688 * * [simplify]: Extracting #3: cost 803 inf + 18681 7.730 * * [simplify]: Extracting #4: cost 536 inf + 90471 7.836 * * [simplify]: Extracting #5: cost 89 inf + 336509 7.945 * * [simplify]: Extracting #6: cost 0 inf + 389041 8.022 * * [simplify]: Extracting #7: cost 0 inf + 388066 8.122 * * [simplify]: Extracting #8: cost 0 inf + 387815 8.222 * * [simplify]: Extracting #9: cost 0 inf + 387775 8.303 * [simplify]: Simplified to: (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (sqrt (exp x)) (exp x)) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (real->posit16 (sqrt (exp x))) (expm1 (hypot (sqrt (exp x)) 1)) (log1p (hypot (sqrt (exp x)) 1)) (+ (exp x) 1) (log (hypot (sqrt (exp x)) 1)) (exp (hypot (sqrt (exp x)) 1)) (* (cbrt (hypot (sqrt (exp x)) 1)) (cbrt (hypot (sqrt (exp x)) 1))) (cbrt (hypot (sqrt (exp x)) 1)) (* (* (hypot (sqrt (exp x)) 1) (hypot (sqrt (exp x)) 1)) (hypot (sqrt (exp x)) 1)) (sqrt (hypot (sqrt (exp x)) 1)) (sqrt (hypot (sqrt (exp x)) 1)) (real->posit16 (hypot (sqrt (exp x)) 1)) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) (fma (/ x (sqrt 2)) 1/2 (fma (/ (* x x) (sqrt 2)) 3/16 (sqrt 2))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 8.304 * * * [progress]: adding candidates to table 8.651 * * [progress]: iteration 3 / 4 8.651 * * * [progress]: picking best candidate 8.656 * * * * [pick]: Picked # 8.656 * * * [progress]: localizing error 8.669 * * * [progress]: generating rewritten candidates 8.669 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.673 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.674 * * * [progress]: generating series expansions 8.674 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.674 * [backup-simplify]: Simplify (pow (exp 1) (/ x 2)) into (pow E (* 1/2 x)) 8.674 * [approximate]: Taking taylor expansion of (pow E (* 1/2 x)) in (x) around 0 8.674 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 8.674 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 8.674 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 8.674 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 8.674 * [taylor]: Taking taylor expansion of 1/2 in x 8.674 * [backup-simplify]: Simplify 1/2 into 1/2 8.674 * [taylor]: Taking taylor expansion of x in x 8.674 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify 1 into 1 8.674 * [taylor]: Taking taylor expansion of (log E) in x 8.674 * [taylor]: Taking taylor expansion of E in x 8.674 * [backup-simplify]: Simplify E into E 8.675 * [backup-simplify]: Simplify (log E) into 1 8.675 * [backup-simplify]: Simplify (* 1/2 0) into 0 8.675 * [backup-simplify]: Simplify (* 0 1) into 0 8.676 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.677 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 8.677 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 8.677 * [backup-simplify]: Simplify (exp 0) into 1 8.677 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 8.677 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 8.677 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 8.678 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 8.678 * [taylor]: Taking taylor expansion of 1/2 in x 8.678 * [backup-simplify]: Simplify 1/2 into 1/2 8.678 * [taylor]: Taking taylor expansion of x in x 8.678 * [backup-simplify]: Simplify 0 into 0 8.678 * [backup-simplify]: Simplify 1 into 1 8.678 * [taylor]: Taking taylor expansion of (log E) in x 8.678 * [taylor]: Taking taylor expansion of E in x 8.678 * [backup-simplify]: Simplify E into E 8.678 * [backup-simplify]: Simplify (log E) into 1 8.678 * [backup-simplify]: Simplify (* 1/2 0) into 0 8.678 * [backup-simplify]: Simplify (* 0 1) into 0 8.679 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.680 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 8.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 8.680 * [backup-simplify]: Simplify (exp 0) into 1 8.680 * [backup-simplify]: Simplify 1 into 1 8.684 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 8.684 * [backup-simplify]: Simplify 1/2 into 1/2 8.687 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.687 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 8.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (* 0 1))) into 0 8.689 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 8.689 * [backup-simplify]: Simplify 1/8 into 1/8 8.689 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 8.689 * [backup-simplify]: Simplify (pow (exp 1) (/ (/ 1 x) 2)) into (pow E (/ 1/2 x)) 8.689 * [approximate]: Taking taylor expansion of (pow E (/ 1/2 x)) in (x) around 0 8.689 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 8.689 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 8.689 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 8.689 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 8.689 * [taylor]: Taking taylor expansion of 1/2 in x 8.689 * [backup-simplify]: Simplify 1/2 into 1/2 8.689 * [taylor]: Taking taylor expansion of x in x 8.689 * [backup-simplify]: Simplify 0 into 0 8.689 * [backup-simplify]: Simplify 1 into 1 8.690 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 8.690 * [taylor]: Taking taylor expansion of (log E) in x 8.690 * [taylor]: Taking taylor expansion of E in x 8.690 * [backup-simplify]: Simplify E into E 8.690 * [backup-simplify]: Simplify (log E) into 1 8.690 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 8.690 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 8.690 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 8.690 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 8.690 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 8.690 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 8.690 * [taylor]: Taking taylor expansion of 1/2 in x 8.690 * [backup-simplify]: Simplify 1/2 into 1/2 8.690 * [taylor]: Taking taylor expansion of x in x 8.690 * [backup-simplify]: Simplify 0 into 0 8.690 * [backup-simplify]: Simplify 1 into 1 8.691 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 8.691 * [taylor]: Taking taylor expansion of (log E) in x 8.691 * [taylor]: Taking taylor expansion of E in x 8.691 * [backup-simplify]: Simplify E into E 8.691 * [backup-simplify]: Simplify (log E) into 1 8.691 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 8.691 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 8.691 * [backup-simplify]: Simplify (exp (/ 1/2 x)) into (exp (/ 1/2 x)) 8.691 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify (exp (/ 1/2 (/ 1 x))) into (exp (* 1/2 x)) 8.691 * [backup-simplify]: Simplify (pow (exp 1) (/ (/ 1 (- x)) 2)) into (pow E (/ -1/2 x)) 8.691 * [approximate]: Taking taylor expansion of (pow E (/ -1/2 x)) in (x) around 0 8.691 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 8.692 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 8.692 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 8.692 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 8.692 * [taylor]: Taking taylor expansion of -1/2 in x 8.692 * [backup-simplify]: Simplify -1/2 into -1/2 8.692 * [taylor]: Taking taylor expansion of x in x 8.692 * [backup-simplify]: Simplify 0 into 0 8.692 * [backup-simplify]: Simplify 1 into 1 8.692 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.692 * [taylor]: Taking taylor expansion of (log E) in x 8.692 * [taylor]: Taking taylor expansion of E in x 8.692 * [backup-simplify]: Simplify E into E 8.692 * [backup-simplify]: Simplify (log E) into 1 8.692 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 8.693 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 8.693 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 8.693 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 8.693 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 8.693 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 8.693 * [taylor]: Taking taylor expansion of -1/2 in x 8.693 * [backup-simplify]: Simplify -1/2 into -1/2 8.693 * [taylor]: Taking taylor expansion of x in x 8.693 * [backup-simplify]: Simplify 0 into 0 8.693 * [backup-simplify]: Simplify 1 into 1 8.693 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.693 * [taylor]: Taking taylor expansion of (log E) in x 8.693 * [taylor]: Taking taylor expansion of E in x 8.693 * [backup-simplify]: Simplify E into E 8.693 * [backup-simplify]: Simplify (log E) into 1 8.693 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 8.693 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 8.693 * [backup-simplify]: Simplify (exp (/ -1/2 x)) into (exp (/ -1/2 x)) 8.693 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify (exp (/ -1/2 (/ 1 (- x)))) into (exp (* 1/2 x)) 8.694 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.694 * [backup-simplify]: Simplify (hypot (pow (exp 1) (/ x 2)) 1) into (hypot (pow E (* 1/2 x)) 1) 8.694 * [approximate]: Taking taylor expansion of (hypot (pow E (* 1/2 x)) 1) in (x) around 0 8.694 * [taylor]: Taking taylor expansion of (hypot (pow E (* 1/2 x)) 1) in x 8.694 * [taylor]: Rewrote expression to (sqrt (+ (* (pow E (* 1/2 x)) (pow E (* 1/2 x))) (* 1 1))) 8.694 * [taylor]: Taking taylor expansion of (+ (* (pow E (* 1/2 x)) (pow E (* 1/2 x))) (* 1 1)) in x 8.694 * [taylor]: Taking taylor expansion of (* (pow E (* 1/2 x)) (pow E (* 1/2 x))) in x 8.694 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 8.694 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 8.694 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 8.694 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 8.694 * [taylor]: Taking taylor expansion of 1/2 in x 8.694 * [backup-simplify]: Simplify 1/2 into 1/2 8.694 * [taylor]: Taking taylor expansion of x in x 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 1 into 1 8.694 * [taylor]: Taking taylor expansion of (log E) in x 8.694 * [taylor]: Taking taylor expansion of E in x 8.694 * [backup-simplify]: Simplify E into E 8.694 * [backup-simplify]: Simplify (log E) into 1 8.694 * [backup-simplify]: Simplify (* 1/2 0) into 0 8.695 * [backup-simplify]: Simplify (* 0 1) into 0 8.696 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.696 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 8.696 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 8.696 * [backup-simplify]: Simplify (exp 0) into 1 8.697 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 8.697 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 8.697 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 8.697 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 8.697 * [taylor]: Taking taylor expansion of 1/2 in x 8.697 * [backup-simplify]: Simplify 1/2 into 1/2 8.697 * [taylor]: Taking taylor expansion of x in x 8.697 * [backup-simplify]: Simplify 0 into 0 8.697 * [backup-simplify]: Simplify 1 into 1 8.697 * [taylor]: Taking taylor expansion of (log E) in x 8.697 * [taylor]: Taking taylor expansion of E in x 8.697 * [backup-simplify]: Simplify E into E 8.697 * [backup-simplify]: Simplify (log E) into 1 8.697 * [backup-simplify]: Simplify (* 1/2 0) into 0 8.697 * [backup-simplify]: Simplify (* 0 1) into 0 8.698 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.699 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 8.699 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 8.699 * [backup-simplify]: Simplify (exp 0) into 1 8.699 * [taylor]: Taking taylor expansion of (* 1 1) in x 8.699 * [taylor]: Taking taylor expansion of 1 in x 8.699 * [backup-simplify]: Simplify 1 into 1 8.699 * [taylor]: Taking taylor expansion of 1 in x 8.699 * [backup-simplify]: Simplify 1 into 1 8.699 * [backup-simplify]: Simplify (* 1 1) into 1 8.700 * [backup-simplify]: Simplify (* 1 1) into 1 8.700 * [backup-simplify]: Simplify (+ 1 1) into 2 8.700 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 8.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 8.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 8.702 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 8.702 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.703 * [backup-simplify]: Simplify (+ 1 0) into 1 8.703 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 8.703 * [taylor]: Taking taylor expansion of (hypot (pow E (* 1/2 x)) 1) in x 8.703 * [taylor]: Rewrote expression to (sqrt (+ (* (pow E (* 1/2 x)) (pow E (* 1/2 x))) (* 1 1))) 8.704 * [taylor]: Taking taylor expansion of (+ (* (pow E (* 1/2 x)) (pow E (* 1/2 x))) (* 1 1)) in x 8.704 * [taylor]: Taking taylor expansion of (* (pow E (* 1/2 x)) (pow E (* 1/2 x))) in x 8.704 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 8.704 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 8.704 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 8.704 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 8.704 * [taylor]: Taking taylor expansion of 1/2 in x 8.704 * [backup-simplify]: Simplify 1/2 into 1/2 8.704 * [taylor]: Taking taylor expansion of x in x 8.704 * [backup-simplify]: Simplify 0 into 0 8.704 * [backup-simplify]: Simplify 1 into 1 8.704 * [taylor]: Taking taylor expansion of (log E) in x 8.704 * [taylor]: Taking taylor expansion of E in x 8.704 * [backup-simplify]: Simplify E into E 8.704 * [backup-simplify]: Simplify (log E) into 1 8.704 * [backup-simplify]: Simplify (* 1/2 0) into 0 8.704 * [backup-simplify]: Simplify (* 0 1) into 0 8.705 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.706 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 8.706 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 8.706 * [backup-simplify]: Simplify (exp 0) into 1 8.706 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 8.706 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 8.706 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 8.706 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 8.706 * [taylor]: Taking taylor expansion of 1/2 in x 8.706 * [backup-simplify]: Simplify 1/2 into 1/2 8.706 * [taylor]: Taking taylor expansion of x in x 8.706 * [backup-simplify]: Simplify 0 into 0 8.706 * [backup-simplify]: Simplify 1 into 1 8.706 * [taylor]: Taking taylor expansion of (log E) in x 8.706 * [taylor]: Taking taylor expansion of E in x 8.706 * [backup-simplify]: Simplify E into E 8.706 * [backup-simplify]: Simplify (log E) into 1 8.707 * [backup-simplify]: Simplify (* 1/2 0) into 0 8.707 * [backup-simplify]: Simplify (* 0 1) into 0 8.708 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.708 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 8.708 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 8.709 * [backup-simplify]: Simplify (exp 0) into 1 8.709 * [taylor]: Taking taylor expansion of (* 1 1) in x 8.709 * [taylor]: Taking taylor expansion of 1 in x 8.709 * [backup-simplify]: Simplify 1 into 1 8.709 * [taylor]: Taking taylor expansion of 1 in x 8.709 * [backup-simplify]: Simplify 1 into 1 8.709 * [backup-simplify]: Simplify (* 1 1) into 1 8.709 * [backup-simplify]: Simplify (* 1 1) into 1 8.709 * [backup-simplify]: Simplify (+ 1 1) into 2 8.710 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 8.710 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 8.711 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 8.712 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 8.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.712 * [backup-simplify]: Simplify (+ 1 0) into 1 8.713 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 8.713 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 8.714 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 8.716 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.716 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 8.717 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (* 0 1))) into 0 8.718 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 8.720 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.720 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 8.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (* 0 1))) into 0 8.722 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 8.723 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 8.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.725 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 8.730 * [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))) 8.736 * [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))) 8.744 * [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)))) 8.745 * [backup-simplify]: Simplify (hypot (pow (exp 1) (/ (/ 1 x) 2)) 1) into (hypot (pow E (/ 1/2 x)) 1) 8.745 * [approximate]: Taking taylor expansion of (hypot (pow E (/ 1/2 x)) 1) in (x) around 0 8.745 * [taylor]: Taking taylor expansion of (hypot (pow E (/ 1/2 x)) 1) in x 8.745 * [taylor]: Rewrote expression to (sqrt (+ (* (pow E (/ 1/2 x)) (pow E (/ 1/2 x))) (* 1 1))) 8.745 * [taylor]: Taking taylor expansion of (+ (* (pow E (/ 1/2 x)) (pow E (/ 1/2 x))) (* 1 1)) in x 8.745 * [taylor]: Taking taylor expansion of (* (pow E (/ 1/2 x)) (pow E (/ 1/2 x))) in x 8.745 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 8.745 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 8.745 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 8.745 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 8.745 * [taylor]: Taking taylor expansion of 1/2 in x 8.745 * [backup-simplify]: Simplify 1/2 into 1/2 8.745 * [taylor]: Taking taylor expansion of x in x 8.745 * [backup-simplify]: Simplify 0 into 0 8.745 * [backup-simplify]: Simplify 1 into 1 8.746 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 8.746 * [taylor]: Taking taylor expansion of (log E) in x 8.746 * [taylor]: Taking taylor expansion of E in x 8.746 * [backup-simplify]: Simplify E into E 8.746 * [backup-simplify]: Simplify (log E) into 1 8.746 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 8.746 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 8.746 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 8.746 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 8.746 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 8.746 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 8.746 * [taylor]: Taking taylor expansion of 1/2 in x 8.746 * [backup-simplify]: Simplify 1/2 into 1/2 8.746 * [taylor]: Taking taylor expansion of x in x 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [backup-simplify]: Simplify 1 into 1 8.747 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 8.747 * [taylor]: Taking taylor expansion of (log E) in x 8.747 * [taylor]: Taking taylor expansion of E in x 8.747 * [backup-simplify]: Simplify E into E 8.747 * [backup-simplify]: Simplify (log E) into 1 8.747 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 8.748 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 8.748 * [taylor]: Taking taylor expansion of (* 1 1) in x 8.748 * [taylor]: Taking taylor expansion of 1 in x 8.748 * [backup-simplify]: Simplify 1 into 1 8.748 * [taylor]: Taking taylor expansion of 1 in x 8.748 * [backup-simplify]: Simplify 1 into 1 8.748 * [backup-simplify]: Simplify (* (exp (/ 1/2 x)) (exp (/ 1/2 x))) into (pow (exp (/ 1/2 x)) 2) 8.748 * [backup-simplify]: Simplify (* 1 1) into 1 8.748 * [backup-simplify]: Simplify (+ (pow (exp (/ 1/2 x)) 2) 1) into (+ (pow (exp (/ 1/2 x)) 2) 1) 8.749 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)) into (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)) 8.749 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (* 0 (exp (/ 1/2 x)))) into 0 8.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.750 * [backup-simplify]: Simplify (+ 0 0) into 0 8.750 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.750 * [taylor]: Taking taylor expansion of (hypot (pow E (/ 1/2 x)) 1) in x 8.750 * [taylor]: Rewrote expression to (sqrt (+ (* (pow E (/ 1/2 x)) (pow E (/ 1/2 x))) (* 1 1))) 8.750 * [taylor]: Taking taylor expansion of (+ (* (pow E (/ 1/2 x)) (pow E (/ 1/2 x))) (* 1 1)) in x 8.750 * [taylor]: Taking taylor expansion of (* (pow E (/ 1/2 x)) (pow E (/ 1/2 x))) in x 8.750 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 8.750 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 8.750 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 8.750 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 8.750 * [taylor]: Taking taylor expansion of 1/2 in x 8.750 * [backup-simplify]: Simplify 1/2 into 1/2 8.750 * [taylor]: Taking taylor expansion of x in x 8.750 * [backup-simplify]: Simplify 0 into 0 8.750 * [backup-simplify]: Simplify 1 into 1 8.751 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 8.751 * [taylor]: Taking taylor expansion of (log E) in x 8.751 * [taylor]: Taking taylor expansion of E in x 8.751 * [backup-simplify]: Simplify E into E 8.751 * [backup-simplify]: Simplify (log E) into 1 8.751 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 8.751 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 8.752 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 8.752 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 8.752 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 8.752 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 8.752 * [taylor]: Taking taylor expansion of 1/2 in x 8.752 * [backup-simplify]: Simplify 1/2 into 1/2 8.752 * [taylor]: Taking taylor expansion of x in x 8.752 * [backup-simplify]: Simplify 0 into 0 8.752 * [backup-simplify]: Simplify 1 into 1 8.752 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 8.752 * [taylor]: Taking taylor expansion of (log E) in x 8.752 * [taylor]: Taking taylor expansion of E in x 8.752 * [backup-simplify]: Simplify E into E 8.752 * [backup-simplify]: Simplify (log E) into 1 8.753 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 8.753 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 8.753 * [taylor]: Taking taylor expansion of (* 1 1) in x 8.753 * [taylor]: Taking taylor expansion of 1 in x 8.753 * [backup-simplify]: Simplify 1 into 1 8.753 * [taylor]: Taking taylor expansion of 1 in x 8.753 * [backup-simplify]: Simplify 1 into 1 8.753 * [backup-simplify]: Simplify (* (exp (/ 1/2 x)) (exp (/ 1/2 x))) into (pow (exp (/ 1/2 x)) 2) 8.754 * [backup-simplify]: Simplify (* 1 1) into 1 8.754 * [backup-simplify]: Simplify (+ (pow (exp (/ 1/2 x)) 2) 1) into (+ (pow (exp (/ 1/2 x)) 2) 1) 8.754 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)) into (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)) 8.754 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (* 0 (exp (/ 1/2 x)))) into 0 8.755 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.755 * [backup-simplify]: Simplify (+ 0 0) into 0 8.755 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.756 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)) into (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)) 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1/2 x))))) into 0 8.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.757 * [backup-simplify]: Simplify (+ 0 0) into 0 8.758 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.758 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1/2 x)))))) into 0 8.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.761 * [backup-simplify]: Simplify (+ 0 0) into 0 8.762 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.763 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1/2 x))))))) into 0 8.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.764 * [backup-simplify]: Simplify (+ 0 0) into 0 8.766 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1/2 x)))))))) into 0 8.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.769 * [backup-simplify]: Simplify (+ 0 0) into 0 8.770 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.770 * [backup-simplify]: Simplify 0 into 0 8.772 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1/2 x))))))))) into 0 8.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.774 * [backup-simplify]: Simplify (+ 0 0) into 0 8.775 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ 1/2 x)) 2) 1)))) into 0 8.775 * [backup-simplify]: Simplify 0 into 0 8.775 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ 1/2 (/ 1 x))) 2) 1)) into (sqrt (+ (pow (exp (* 1/2 x)) 2) 1)) 8.775 * [backup-simplify]: Simplify (hypot (pow (exp 1) (/ (/ 1 (- x)) 2)) 1) into (hypot (pow E (/ -1/2 x)) 1) 8.775 * [approximate]: Taking taylor expansion of (hypot (pow E (/ -1/2 x)) 1) in (x) around 0 8.775 * [taylor]: Taking taylor expansion of (hypot (pow E (/ -1/2 x)) 1) in x 8.775 * [taylor]: Rewrote expression to (sqrt (+ (* (pow E (/ -1/2 x)) (pow E (/ -1/2 x))) (* 1 1))) 8.775 * [taylor]: Taking taylor expansion of (+ (* (pow E (/ -1/2 x)) (pow E (/ -1/2 x))) (* 1 1)) in x 8.775 * [taylor]: Taking taylor expansion of (* (pow E (/ -1/2 x)) (pow E (/ -1/2 x))) in x 8.775 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 8.775 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 8.775 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 8.775 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 8.775 * [taylor]: Taking taylor expansion of -1/2 in x 8.775 * [backup-simplify]: Simplify -1/2 into -1/2 8.775 * [taylor]: Taking taylor expansion of x in x 8.775 * [backup-simplify]: Simplify 0 into 0 8.775 * [backup-simplify]: Simplify 1 into 1 8.776 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.776 * [taylor]: Taking taylor expansion of (log E) in x 8.776 * [taylor]: Taking taylor expansion of E in x 8.776 * [backup-simplify]: Simplify E into E 8.776 * [backup-simplify]: Simplify (log E) into 1 8.776 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 8.777 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 8.777 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 8.777 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 8.777 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 8.777 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 8.777 * [taylor]: Taking taylor expansion of -1/2 in x 8.777 * [backup-simplify]: Simplify -1/2 into -1/2 8.777 * [taylor]: Taking taylor expansion of x in x 8.777 * [backup-simplify]: Simplify 0 into 0 8.777 * [backup-simplify]: Simplify 1 into 1 8.777 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.778 * [taylor]: Taking taylor expansion of (log E) in x 8.778 * [taylor]: Taking taylor expansion of E in x 8.778 * [backup-simplify]: Simplify E into E 8.778 * [backup-simplify]: Simplify (log E) into 1 8.778 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 8.779 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 8.779 * [taylor]: Taking taylor expansion of (* 1 1) in x 8.779 * [taylor]: Taking taylor expansion of 1 in x 8.779 * [backup-simplify]: Simplify 1 into 1 8.779 * [taylor]: Taking taylor expansion of 1 in x 8.779 * [backup-simplify]: Simplify 1 into 1 8.779 * [backup-simplify]: Simplify (* (exp (/ -1/2 x)) (exp (/ -1/2 x))) into (pow (exp (/ -1/2 x)) 2) 8.779 * [backup-simplify]: Simplify (* 1 1) into 1 8.780 * [backup-simplify]: Simplify (+ (pow (exp (/ -1/2 x)) 2) 1) into (+ (pow (exp (/ -1/2 x)) 2) 1) 8.780 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)) into (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)) 8.780 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (* 0 (exp (/ -1/2 x)))) into 0 8.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.781 * [backup-simplify]: Simplify (+ 0 0) into 0 8.781 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.781 * [taylor]: Taking taylor expansion of (hypot (pow E (/ -1/2 x)) 1) in x 8.781 * [taylor]: Rewrote expression to (sqrt (+ (* (pow E (/ -1/2 x)) (pow E (/ -1/2 x))) (* 1 1))) 8.781 * [taylor]: Taking taylor expansion of (+ (* (pow E (/ -1/2 x)) (pow E (/ -1/2 x))) (* 1 1)) in x 8.781 * [taylor]: Taking taylor expansion of (* (pow E (/ -1/2 x)) (pow E (/ -1/2 x))) in x 8.781 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 8.782 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 8.782 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 8.782 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 8.782 * [taylor]: Taking taylor expansion of -1/2 in x 8.782 * [backup-simplify]: Simplify -1/2 into -1/2 8.782 * [taylor]: Taking taylor expansion of x in x 8.782 * [backup-simplify]: Simplify 0 into 0 8.782 * [backup-simplify]: Simplify 1 into 1 8.782 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.782 * [taylor]: Taking taylor expansion of (log E) in x 8.782 * [taylor]: Taking taylor expansion of E in x 8.782 * [backup-simplify]: Simplify E into E 8.782 * [backup-simplify]: Simplify (log E) into 1 8.783 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 8.783 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 8.783 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 8.783 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 8.783 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 8.783 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 8.783 * [taylor]: Taking taylor expansion of -1/2 in x 8.783 * [backup-simplify]: Simplify -1/2 into -1/2 8.783 * [taylor]: Taking taylor expansion of x in x 8.783 * [backup-simplify]: Simplify 0 into 0 8.783 * [backup-simplify]: Simplify 1 into 1 8.784 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.784 * [taylor]: Taking taylor expansion of (log E) in x 8.784 * [taylor]: Taking taylor expansion of E in x 8.784 * [backup-simplify]: Simplify E into E 8.784 * [backup-simplify]: Simplify (log E) into 1 8.784 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 8.785 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 8.785 * [taylor]: Taking taylor expansion of (* 1 1) in x 8.785 * [taylor]: Taking taylor expansion of 1 in x 8.785 * [backup-simplify]: Simplify 1 into 1 8.785 * [taylor]: Taking taylor expansion of 1 in x 8.785 * [backup-simplify]: Simplify 1 into 1 8.785 * [backup-simplify]: Simplify (* (exp (/ -1/2 x)) (exp (/ -1/2 x))) into (pow (exp (/ -1/2 x)) 2) 8.785 * [backup-simplify]: Simplify (* 1 1) into 1 8.785 * [backup-simplify]: Simplify (+ (pow (exp (/ -1/2 x)) 2) 1) into (+ (pow (exp (/ -1/2 x)) 2) 1) 8.786 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)) into (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)) 8.786 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (* 0 (exp (/ -1/2 x)))) into 0 8.786 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.787 * [backup-simplify]: Simplify (+ 0 0) into 0 8.787 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.787 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)) into (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)) 8.787 * [backup-simplify]: Simplify 0 into 0 8.788 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1/2 x))))) into 0 8.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.789 * [backup-simplify]: Simplify (+ 0 0) into 0 8.790 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.790 * [backup-simplify]: Simplify 0 into 0 8.791 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1/2 x)))))) into 0 8.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.792 * [backup-simplify]: Simplify (+ 0 0) into 0 8.793 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.794 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1/2 x))))))) into 0 8.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.797 * [backup-simplify]: Simplify (+ 0 0) into 0 8.798 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.798 * [backup-simplify]: Simplify 0 into 0 8.800 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1/2 x)))))))) into 0 8.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.801 * [backup-simplify]: Simplify (+ 0 0) into 0 8.802 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.802 * [backup-simplify]: Simplify 0 into 0 8.807 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1/2 x))))))))) into 0 8.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.809 * [backup-simplify]: Simplify (+ 0 0) into 0 8.810 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (pow (exp (/ -1/2 x)) 2) 1)))) into 0 8.810 * [backup-simplify]: Simplify 0 into 0 8.811 * [backup-simplify]: Simplify (sqrt (+ (pow (exp (/ -1/2 (/ 1 (- x)))) 2) 1)) into (sqrt (+ (pow (exp (* 1/2 x)) 2) 1)) 8.811 * * * [progress]: simplifying candidates 8.811 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 8.811 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 8.812 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 33 / 50 ] simplifiying candidate #real (real->posit16 (pow (exp 1) (/ x 2)))) 1))> 8.813 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 43 / 50 ] simplifiying candidate # 8.813 * * * * [progress]: [ 44 / 50 ] simplifiying candidate #real (real->posit16 (hypot (pow (exp 1) (/ x 2)) 1))))> 8.814 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 8.814 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 8.814 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 8.814 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 8.814 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 8.814 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 8.815 * [simplify]: Simplifying: (expm1 (pow (exp 1) (/ x 2))) (log1p (pow (exp 1) (/ x 2))) (* 1 (/ x 2)) (* (log (exp 1)) (/ x 2)) (* 1 (/ x 2)) (* (cbrt 1) (/ x 2)) (* (sqrt 1) (/ x 2)) (* 1 (/ x 2)) (pow (exp 1) (* (cbrt (/ x 2)) (cbrt (/ x 2)))) (pow (exp 1) (sqrt (/ x 2))) (pow (exp 1) (/ (* (cbrt x) (cbrt x)) (* (cbrt 2) (cbrt 2)))) (pow (exp 1) (/ (* (cbrt x) (cbrt x)) (sqrt 2))) (pow (exp 1) (/ (* (cbrt x) (cbrt x)) 1)) (pow (exp 1) (/ (sqrt x) (* (cbrt 2) (cbrt 2)))) (pow (exp 1) (/ (sqrt x) (sqrt 2))) (pow (exp 1) (/ (sqrt x) 1)) (pow (exp 1) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (exp 1) (/ 1 (sqrt 2))) (pow (exp 1) (/ 1 1)) (pow (exp 1) 1) (pow (exp 1) x) (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (/ x 2)) (pow (cbrt (exp 1)) (/ x 2)) (pow (sqrt (exp 1)) (/ x 2)) (pow (sqrt (exp 1)) (/ x 2)) (pow 1 (/ x 2)) (pow (exp 1) (/ x 2)) (log (pow (exp 1) (/ x 2))) (exp (pow (exp 1) (/ x 2))) (* (cbrt (pow (exp 1) (/ x 2))) (cbrt (pow (exp 1) (/ x 2)))) (cbrt (pow (exp 1) (/ x 2))) (* (* (pow (exp 1) (/ x 2)) (pow (exp 1) (/ x 2))) (pow (exp 1) (/ x 2))) (sqrt (pow (exp 1) (/ x 2))) (sqrt (pow (exp 1) (/ x 2))) (pow (exp 1) (/ (/ x 2) 2)) (pow (exp 1) (/ (/ x 2) 2)) (real->posit16 (pow (exp 1) (/ x 2))) (expm1 (hypot (pow (exp 1) (/ x 2)) 1)) (log1p (hypot (pow (exp 1) (/ x 2)) 1)) (+ (* (pow (exp 1) (/ x 2)) (pow (exp 1) (/ x 2))) (* 1 1)) (log (hypot (pow (exp 1) (/ x 2)) 1)) (exp (hypot (pow (exp 1) (/ x 2)) 1)) (* (cbrt (hypot (pow (exp 1) (/ x 2)) 1)) (cbrt (hypot (pow (exp 1) (/ x 2)) 1))) (cbrt (hypot (pow (exp 1) (/ x 2)) 1)) (* (* (hypot (pow (exp 1) (/ x 2)) 1) (hypot (pow (exp 1) (/ x 2)) 1)) (hypot (pow (exp 1) (/ x 2)) 1)) (sqrt (hypot (pow (exp 1) (/ x 2)) 1)) (sqrt (hypot (pow (exp 1) (/ x 2)) 1)) (real->posit16 (hypot (pow (exp 1) (/ x 2)) 1)) (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) (exp (* 1/2 x)) (exp (* 1/2 x)) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (pow (exp (* 1/2 x)) 2) 1)) (sqrt (+ (pow (exp (* 1/2 x)) 2) 1)) 8.816 * * [simplify]: iteration 1: (99 enodes) 8.846 * * [simplify]: iteration 2: (246 enodes) 8.980 * * [simplify]: iteration 3: (558 enodes) 9.330 * * [simplify]: iteration 4: (1562 enodes) 12.285 * * [simplify]: Extracting #0: cost 41 inf + 0 12.286 * * [simplify]: Extracting #1: cost 251 inf + 2 12.292 * * [simplify]: Extracting #2: cost 971 inf + 4696 12.314 * * [simplify]: Extracting #3: cost 1025 inf + 46770 12.374 * * [simplify]: Extracting #4: cost 389 inf + 194985 12.437 * * [simplify]: Extracting #5: cost 89 inf + 325944 12.512 * * [simplify]: Extracting #6: cost 1 inf + 371915 12.582 * * [simplify]: Extracting #7: cost 0 inf + 372218 12.640 * [simplify]: Simplified to: (expm1 (pow E (/ x 2))) (log1p (pow E (/ x 2))) (/ x 2) (/ x 2) (/ x 2) (/ x 2) (/ x 2) (/ x 2) (pow E (* (cbrt (/ x 2)) (cbrt (/ x 2)))) (pow E (sqrt (/ x 2))) (pow E (* (/ (cbrt x) (cbrt 2)) (/ (cbrt x) (cbrt 2)))) (pow E (* (cbrt x) (/ (cbrt x) (sqrt 2)))) (pow E (* (cbrt x) (cbrt x))) (pow E (/ (/ (sqrt x) (cbrt 2)) (cbrt 2))) (pow E (/ (sqrt x) (sqrt 2))) (pow E (sqrt x)) (pow E (/ (/ 1 (cbrt 2)) (cbrt 2))) (pow E (/ 1 (sqrt 2))) E E (pow E x) (pow (* (cbrt E) (cbrt E)) (/ x 2)) (pow (cbrt E) (/ x 2)) (pow (sqrt E) (/ x 2)) (pow (sqrt E) (/ x 2)) 1 (pow E (/ x 2)) (/ x 2) (exp (pow E (/ x 2))) (* (cbrt (pow E (/ x 2))) (cbrt (pow E (/ x 2)))) (cbrt (pow E (/ x 2))) (pow (pow E (/ x 2)) 3) (sqrt (pow E (/ x 2))) (sqrt (pow E (/ x 2))) (pow E (/ x 4)) (pow E (/ x 4)) (real->posit16 (pow E (/ x 2))) (expm1 (hypot (pow E (/ x 2)) 1)) (log1p (hypot (pow E (/ x 2)) 1)) (+ (pow E x) 1) (log (hypot (pow E (/ x 2)) 1)) (exp (hypot (pow E (/ x 2)) 1)) (* (cbrt (hypot (pow E (/ x 2)) 1)) (cbrt (hypot (pow E (/ x 2)) 1))) (cbrt (hypot (pow E (/ x 2)) 1)) (* (hypot (pow E (/ x 2)) 1) (* (hypot (pow E (/ x 2)) 1) (hypot (pow E (/ x 2)) 1))) (sqrt (hypot (pow E (/ x 2)) 1)) (sqrt (hypot (pow E (/ x 2)) 1)) (real->posit16 (hypot (pow E (/ x 2)) 1)) (+ 1 (* (fma x 1/8 1/2) x)) (sqrt (exp x)) (sqrt (exp x)) (fma (/ 1/2 (sqrt 2)) x (+ (* (/ (* x x) (sqrt 2)) 3/16) (sqrt 2))) (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))) 12.642 * * * [progress]: adding candidates to table 13.012 * * [progress]: iteration 4 / 4 13.012 * * * [progress]: picking best candidate 13.014 * * * * [pick]: Picked # 13.014 * * * [progress]: localizing error 13.025 * * * [progress]: generating rewritten candidates 13.025 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 13.027 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 13.030 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 13.031 * * * [progress]: generating series expansions 13.031 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 13.031 * [backup-simplify]: Simplify (exp (log1p (exp x))) into (exp (log1p (exp x))) 13.031 * [approximate]: Taking taylor expansion of (exp (log1p (exp x))) in (x) around 0 13.031 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 13.031 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 13.031 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 13.031 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 13.031 * [taylor]: Taking taylor expansion of 1 in x 13.031 * [backup-simplify]: Simplify 1 into 1 13.031 * [taylor]: Taking taylor expansion of (exp x) in x 13.031 * [taylor]: Taking taylor expansion of x in x 13.031 * [backup-simplify]: Simplify 0 into 0 13.031 * [backup-simplify]: Simplify 1 into 1 13.031 * [backup-simplify]: Simplify (exp 0) into 1 13.032 * [backup-simplify]: Simplify (+ 1 1) into 2 13.032 * [backup-simplify]: Simplify (log 2) into (log 2) 13.033 * [backup-simplify]: Simplify (exp (log 2)) into 2 13.033 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 13.033 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 13.033 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 13.033 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 13.033 * [taylor]: Taking taylor expansion of 1 in x 13.033 * [backup-simplify]: Simplify 1 into 1 13.033 * [taylor]: Taking taylor expansion of (exp x) in x 13.033 * [taylor]: Taking taylor expansion of x in x 13.033 * [backup-simplify]: Simplify 0 into 0 13.033 * [backup-simplify]: Simplify 1 into 1 13.033 * [backup-simplify]: Simplify (exp 0) into 1 13.033 * [backup-simplify]: Simplify (+ 1 1) into 2 13.034 * [backup-simplify]: Simplify (log 2) into (log 2) 13.034 * [backup-simplify]: Simplify (exp (log 2)) into 2 13.034 * [backup-simplify]: Simplify 2 into 2 13.035 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.035 * [backup-simplify]: Simplify (+ 0 1) into 1 13.036 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 13.038 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1 13.038 * [backup-simplify]: Simplify 1 into 1 13.039 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.039 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 13.040 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 13.043 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2 13.043 * [backup-simplify]: Simplify 1/2 into 1/2 13.043 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 13.043 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 x)))) into (exp (log1p (exp (/ 1 x)))) 13.043 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in (x) around 0 13.043 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 13.043 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 13.043 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 13.043 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 13.043 * [taylor]: Taking taylor expansion of 1 in x 13.043 * [backup-simplify]: Simplify 1 into 1 13.043 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.043 * [taylor]: Taking taylor expansion of x in x 13.043 * [backup-simplify]: Simplify 0 into 0 13.043 * [backup-simplify]: Simplify 1 into 1 13.043 * [backup-simplify]: Simplify (/ 1 1) into 1 13.043 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.043 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 13.044 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.044 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 13.044 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 13.044 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 13.044 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 13.044 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 13.044 * [taylor]: Taking taylor expansion of 1 in x 13.044 * [backup-simplify]: Simplify 1 into 1 13.044 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.044 * [taylor]: Taking taylor expansion of x in x 13.044 * [backup-simplify]: Simplify 0 into 0 13.044 * [backup-simplify]: Simplify 1 into 1 13.044 * [backup-simplify]: Simplify (/ 1 1) into 1 13.044 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.044 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 13.044 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.044 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 13.044 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 13.045 * [backup-simplify]: Simplify (+ 0 0) into 0 13.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 13.046 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 13.046 * [backup-simplify]: Simplify 0 into 0 13.046 * [backup-simplify]: Simplify (+ 0 0) into 0 13.047 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 13.048 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.048 * [backup-simplify]: Simplify 0 into 0 13.048 * [backup-simplify]: Simplify (+ 0 0) into 0 13.050 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 13.051 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.051 * [backup-simplify]: Simplify 0 into 0 13.051 * [backup-simplify]: Simplify (+ 0 0) into 0 13.055 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 13.056 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.056 * [backup-simplify]: Simplify 0 into 0 13.056 * [backup-simplify]: Simplify (+ 0 0) into 0 13.063 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 13.068 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.069 * [backup-simplify]: Simplify 0 into 0 13.069 * [backup-simplify]: Simplify (+ 0 0) into 0 13.089 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 13.092 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.092 * [backup-simplify]: Simplify 0 into 0 13.092 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 13.093 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 (- x))))) into (exp (log1p (exp (/ -1 x)))) 13.093 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in (x) around 0 13.093 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 13.093 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 13.093 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 13.093 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 13.093 * [taylor]: Taking taylor expansion of 1 in x 13.093 * [backup-simplify]: Simplify 1 into 1 13.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.093 * [taylor]: Taking taylor expansion of -1 in x 13.093 * [backup-simplify]: Simplify -1 into -1 13.093 * [taylor]: Taking taylor expansion of x in x 13.093 * [backup-simplify]: Simplify 0 into 0 13.093 * [backup-simplify]: Simplify 1 into 1 13.093 * [backup-simplify]: Simplify (/ -1 1) into -1 13.093 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.093 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 13.093 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.094 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 13.094 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 13.094 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 13.094 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 13.094 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 13.094 * [taylor]: Taking taylor expansion of 1 in x 13.094 * [backup-simplify]: Simplify 1 into 1 13.094 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.094 * [taylor]: Taking taylor expansion of -1 in x 13.094 * [backup-simplify]: Simplify -1 into -1 13.094 * [taylor]: Taking taylor expansion of x in x 13.094 * [backup-simplify]: Simplify 0 into 0 13.094 * [backup-simplify]: Simplify 1 into 1 13.094 * [backup-simplify]: Simplify (/ -1 1) into -1 13.094 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.094 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 13.094 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.094 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 13.094 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 13.095 * [backup-simplify]: Simplify (+ 0 0) into 0 13.095 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 13.096 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 13.096 * [backup-simplify]: Simplify 0 into 0 13.096 * [backup-simplify]: Simplify (+ 0 0) into 0 13.097 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 13.099 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.099 * [backup-simplify]: Simplify 0 into 0 13.099 * [backup-simplify]: Simplify (+ 0 0) into 0 13.102 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 13.104 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.104 * [backup-simplify]: Simplify 0 into 0 13.104 * [backup-simplify]: Simplify (+ 0 0) into 0 13.109 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 13.112 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.112 * [backup-simplify]: Simplify 0 into 0 13.112 * [backup-simplify]: Simplify (+ 0 0) into 0 13.120 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 13.124 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.124 * [backup-simplify]: Simplify 0 into 0 13.125 * [backup-simplify]: Simplify (+ 0 0) into 0 13.137 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 13.144 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.144 * [backup-simplify]: Simplify 0 into 0 13.144 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 13.144 * * * * [progress]: [ 2 / 3 ] generating series at (2) 13.144 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp x)))) into (sqrt (exp (log1p (exp x)))) 13.144 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in (x) around 0 13.144 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x 13.145 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 13.145 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 13.145 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 13.145 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 13.145 * [taylor]: Taking taylor expansion of 1 in x 13.145 * [backup-simplify]: Simplify 1 into 1 13.145 * [taylor]: Taking taylor expansion of (exp x) in x 13.145 * [taylor]: Taking taylor expansion of x in x 13.145 * [backup-simplify]: Simplify 0 into 0 13.145 * [backup-simplify]: Simplify 1 into 1 13.145 * [backup-simplify]: Simplify (exp 0) into 1 13.145 * [backup-simplify]: Simplify (+ 1 1) into 2 13.146 * [backup-simplify]: Simplify (log 2) into (log 2) 13.147 * [backup-simplify]: Simplify (exp (log 2)) into 2 13.147 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 13.148 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.149 * [backup-simplify]: Simplify (+ 0 1) into 1 13.150 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 13.153 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1 13.154 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 13.155 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x 13.155 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 13.155 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 13.155 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 13.155 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 13.155 * [taylor]: Taking taylor expansion of 1 in x 13.155 * [backup-simplify]: Simplify 1 into 1 13.155 * [taylor]: Taking taylor expansion of (exp x) in x 13.155 * [taylor]: Taking taylor expansion of x in x 13.155 * [backup-simplify]: Simplify 0 into 0 13.155 * [backup-simplify]: Simplify 1 into 1 13.155 * [backup-simplify]: Simplify (exp 0) into 1 13.155 * [backup-simplify]: Simplify (+ 1 1) into 2 13.156 * [backup-simplify]: Simplify (log 2) into (log 2) 13.157 * [backup-simplify]: Simplify (exp (log 2)) into 2 13.157 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 13.158 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.159 * [backup-simplify]: Simplify (+ 0 1) into 1 13.160 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 13.163 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1 13.164 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 13.165 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 13.166 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 13.168 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.168 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 13.171 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 13.175 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2 13.180 * [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))) 13.186 * [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))) 13.195 * [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)))) 13.195 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 x))))) into (sqrt (exp (log1p (exp (/ 1 x))))) 13.195 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in (x) around 0 13.195 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x 13.195 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 13.195 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 13.195 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 13.195 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 13.196 * [taylor]: Taking taylor expansion of 1 in x 13.196 * [backup-simplify]: Simplify 1 into 1 13.196 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.196 * [taylor]: Taking taylor expansion of x in x 13.196 * [backup-simplify]: Simplify 0 into 0 13.196 * [backup-simplify]: Simplify 1 into 1 13.196 * [backup-simplify]: Simplify (/ 1 1) into 1 13.196 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.196 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 13.196 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.196 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 13.197 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 13.197 * [backup-simplify]: Simplify (+ 0 0) into 0 13.198 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 13.199 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 13.199 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.199 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x 13.199 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 13.199 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 13.199 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 13.199 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 13.199 * [taylor]: Taking taylor expansion of 1 in x 13.199 * [backup-simplify]: Simplify 1 into 1 13.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.199 * [taylor]: Taking taylor expansion of x in x 13.199 * [backup-simplify]: Simplify 0 into 0 13.199 * [backup-simplify]: Simplify 1 into 1 13.199 * [backup-simplify]: Simplify (/ 1 1) into 1 13.200 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.200 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 13.200 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.200 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 13.200 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 13.200 * [backup-simplify]: Simplify (+ 0 0) into 0 13.201 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 13.202 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 13.202 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.202 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 13.202 * [backup-simplify]: Simplify 0 into 0 13.202 * [backup-simplify]: Simplify (+ 0 0) into 0 13.203 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 13.204 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.205 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.205 * [backup-simplify]: Simplify 0 into 0 13.205 * [backup-simplify]: Simplify (+ 0 0) into 0 13.207 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 13.207 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.208 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.208 * [backup-simplify]: Simplify 0 into 0 13.208 * [backup-simplify]: Simplify (+ 0 0) into 0 13.211 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 13.214 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.215 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.215 * [backup-simplify]: Simplify 0 into 0 13.215 * [backup-simplify]: Simplify (+ 0 0) into 0 13.220 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 13.222 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.223 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.223 * [backup-simplify]: Simplify 0 into 0 13.223 * [backup-simplify]: Simplify (+ 0 0) into 0 13.232 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 13.237 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.238 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 13.238 * [backup-simplify]: Simplify 0 into 0 13.238 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 13.238 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 (- x)))))) into (sqrt (exp (log1p (exp (/ -1 x))))) 13.238 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in (x) around 0 13.238 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x 13.238 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 13.238 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 13.239 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 13.239 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 13.239 * [taylor]: Taking taylor expansion of 1 in x 13.239 * [backup-simplify]: Simplify 1 into 1 13.239 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.239 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.239 * [taylor]: Taking taylor expansion of -1 in x 13.239 * [backup-simplify]: Simplify -1 into -1 13.239 * [taylor]: Taking taylor expansion of x in x 13.239 * [backup-simplify]: Simplify 0 into 0 13.239 * [backup-simplify]: Simplify 1 into 1 13.239 * [backup-simplify]: Simplify (/ -1 1) into -1 13.239 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.239 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 13.239 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.240 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 13.240 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 13.240 * [backup-simplify]: Simplify (+ 0 0) into 0 13.241 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 13.242 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 13.242 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.242 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x 13.242 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 13.242 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 13.242 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 13.242 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 13.242 * [taylor]: Taking taylor expansion of 1 in x 13.242 * [backup-simplify]: Simplify 1 into 1 13.242 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.242 * [taylor]: Taking taylor expansion of -1 in x 13.242 * [backup-simplify]: Simplify -1 into -1 13.242 * [taylor]: Taking taylor expansion of x in x 13.242 * [backup-simplify]: Simplify 0 into 0 13.242 * [backup-simplify]: Simplify 1 into 1 13.242 * [backup-simplify]: Simplify (/ -1 1) into -1 13.243 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.243 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 13.243 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.243 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 13.243 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 13.243 * [backup-simplify]: Simplify (+ 0 0) into 0 13.244 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 13.245 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 13.245 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.245 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 13.245 * [backup-simplify]: Simplify 0 into 0 13.245 * [backup-simplify]: Simplify (+ 0 0) into 0 13.247 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 13.249 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.249 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.249 * [backup-simplify]: Simplify 0 into 0 13.250 * [backup-simplify]: Simplify (+ 0 0) into 0 13.253 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 13.254 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.255 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.255 * [backup-simplify]: Simplify 0 into 0 13.256 * [backup-simplify]: Simplify (+ 0 0) into 0 13.260 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 13.262 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.264 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.264 * [backup-simplify]: Simplify 0 into 0 13.264 * [backup-simplify]: Simplify (+ 0 0) into 0 13.271 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 13.274 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 13.275 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.275 * [backup-simplify]: Simplify 0 into 0 13.276 * [backup-simplify]: Simplify (+ 0 0) into 0 13.285 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 13.289 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 13.289 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 13.289 * [backup-simplify]: Simplify 0 into 0 13.289 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 13.289 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 13.290 * [backup-simplify]: Simplify (log1p (exp x)) into (log1p (exp x)) 13.290 * [approximate]: Taking taylor expansion of (log1p (exp x)) in (x) around 0 13.290 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 13.290 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 13.290 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 13.290 * [taylor]: Taking taylor expansion of 1 in x 13.290 * [backup-simplify]: Simplify 1 into 1 13.290 * [taylor]: Taking taylor expansion of (exp x) in x 13.290 * [taylor]: Taking taylor expansion of x in x 13.290 * [backup-simplify]: Simplify 0 into 0 13.290 * [backup-simplify]: Simplify 1 into 1 13.290 * [backup-simplify]: Simplify (exp 0) into 1 13.290 * [backup-simplify]: Simplify (+ 1 1) into 2 13.290 * [backup-simplify]: Simplify (log 2) into (log 2) 13.290 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 13.290 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 13.290 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 13.290 * [taylor]: Taking taylor expansion of 1 in x 13.290 * [backup-simplify]: Simplify 1 into 1 13.290 * [taylor]: Taking taylor expansion of (exp x) in x 13.290 * [taylor]: Taking taylor expansion of x in x 13.290 * [backup-simplify]: Simplify 0 into 0 13.290 * [backup-simplify]: Simplify 1 into 1 13.290 * [backup-simplify]: Simplify (exp 0) into 1 13.291 * [backup-simplify]: Simplify (+ 1 1) into 2 13.291 * [backup-simplify]: Simplify (log 2) into (log 2) 13.291 * [backup-simplify]: Simplify (log 2) into (log 2) 13.292 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.292 * [backup-simplify]: Simplify (+ 0 1) into 1 13.293 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 13.293 * [backup-simplify]: Simplify 1/2 into 1/2 13.294 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.294 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 13.296 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 13.296 * [backup-simplify]: Simplify 1/8 into 1/8 13.296 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (log 2))) into (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))) 13.296 * [backup-simplify]: Simplify (log1p (exp (/ 1 x))) into (log1p (exp (/ 1 x))) 13.296 * [approximate]: Taking taylor expansion of (log1p (exp (/ 1 x))) in (x) around 0 13.296 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 13.296 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 13.296 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 13.296 * [taylor]: Taking taylor expansion of 1 in x 13.296 * [backup-simplify]: Simplify 1 into 1 13.296 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.296 * [taylor]: Taking taylor expansion of x in x 13.296 * [backup-simplify]: Simplify 0 into 0 13.296 * [backup-simplify]: Simplify 1 into 1 13.297 * [backup-simplify]: Simplify (/ 1 1) into 1 13.297 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.297 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 13.297 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.297 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 13.297 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 13.297 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 13.297 * [taylor]: Taking taylor expansion of 1 in x 13.297 * [backup-simplify]: Simplify 1 into 1 13.297 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.297 * [taylor]: Taking taylor expansion of x in x 13.297 * [backup-simplify]: Simplify 0 into 0 13.297 * [backup-simplify]: Simplify 1 into 1 13.297 * [backup-simplify]: Simplify (/ 1 1) into 1 13.297 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.297 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 13.297 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.297 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 13.298 * [backup-simplify]: Simplify (+ 0 0) into 0 13.298 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 13.298 * [backup-simplify]: Simplify 0 into 0 13.298 * [backup-simplify]: Simplify (+ 0 0) into 0 13.299 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 13.300 * [backup-simplify]: Simplify 0 into 0 13.300 * [backup-simplify]: Simplify (+ 0 0) into 0 13.301 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 13.302 * [backup-simplify]: Simplify 0 into 0 13.302 * [backup-simplify]: Simplify (+ 0 0) into 0 13.305 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 13.305 * [backup-simplify]: Simplify 0 into 0 13.305 * [backup-simplify]: Simplify (+ 0 0) into 0 13.310 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 13.310 * [backup-simplify]: Simplify 0 into 0 13.310 * [backup-simplify]: Simplify (+ 0 0) into 0 13.324 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 13.324 * [backup-simplify]: Simplify 0 into 0 13.324 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 x))) 1)) into (log (+ (exp x) 1)) 13.324 * [backup-simplify]: Simplify (log1p (exp (/ 1 (- x)))) into (log1p (exp (/ -1 x))) 13.324 * [approximate]: Taking taylor expansion of (log1p (exp (/ -1 x))) in (x) around 0 13.324 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 13.324 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 13.324 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 13.324 * [taylor]: Taking taylor expansion of 1 in x 13.325 * [backup-simplify]: Simplify 1 into 1 13.325 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.325 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.325 * [taylor]: Taking taylor expansion of -1 in x 13.325 * [backup-simplify]: Simplify -1 into -1 13.325 * [taylor]: Taking taylor expansion of x in x 13.325 * [backup-simplify]: Simplify 0 into 0 13.325 * [backup-simplify]: Simplify 1 into 1 13.325 * [backup-simplify]: Simplify (/ -1 1) into -1 13.325 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.325 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 13.325 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.325 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 13.326 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 13.326 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 13.326 * [taylor]: Taking taylor expansion of 1 in x 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.326 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.326 * [taylor]: Taking taylor expansion of -1 in x 13.326 * [backup-simplify]: Simplify -1 into -1 13.326 * [taylor]: Taking taylor expansion of x in x 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [backup-simplify]: Simplify (/ -1 1) into -1 13.326 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.326 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 13.326 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.327 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 13.327 * [backup-simplify]: Simplify (+ 0 0) into 0 13.328 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 13.328 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify (+ 0 0) into 0 13.330 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify (+ 0 0) into 0 13.333 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 13.333 * [backup-simplify]: Simplify 0 into 0 13.333 * [backup-simplify]: Simplify (+ 0 0) into 0 13.337 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 13.338 * [backup-simplify]: Simplify 0 into 0 13.338 * [backup-simplify]: Simplify (+ 0 0) into 0 13.345 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 13.345 * [backup-simplify]: Simplify 0 into 0 13.345 * [backup-simplify]: Simplify (+ 0 0) into 0 13.357 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 13.357 * [backup-simplify]: Simplify 0 into 0 13.357 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (log (+ (exp x) 1)) 13.357 * * * [progress]: simplifying candidates 13.357 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 13.357 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 13.357 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 13.357 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 10 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 15 / 55 ] simplifiying candidate #real (real->posit16 (exp (log1p (exp x)))))))> 13.358 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 19 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 21 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 13.358 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 31 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 32 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 34 / 55 ] simplifiying candidate #real (real->posit16 (sqrt (exp (log1p (exp x)))))))> 13.359 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 13.359 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 42 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #real (real->posit16 (log1p (exp x)))))))> 13.360 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 48 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 13.360 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 13.361 * [simplify]: Simplifying: (expm1 (exp (log1p (exp x)))) (log1p (exp (log1p (exp x)))) (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (exp (sqrt (log1p (exp x)))) (exp 1) (log (exp (log1p (exp x)))) (exp (exp (log1p (exp x)))) (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))) (cbrt (exp (log1p (exp x)))) (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))) (real->posit16 (exp (log1p (exp x)))) (expm1 (sqrt (exp (log1p (exp x))))) (log1p (sqrt (exp (log1p (exp x))))) (log (sqrt (exp (log1p (exp x))))) (exp (sqrt (exp (log1p (exp x))))) (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x)))))) (cbrt (sqrt (exp (log1p (exp x))))) (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x))))) (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))) (sqrt (cbrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x))))) (sqrt 1) (sqrt (exp (log1p (exp x)))) (/ 1 2) (/ (cbrt (log1p (exp x))) 2) (/ (sqrt (log1p (exp x))) 2) (/ (log1p (exp x)) 2) (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x))))) (real->posit16 (sqrt (exp (log1p (exp x))))) (+ 1 (exp x)) (expm1 (log1p (exp x))) (log1p (log1p (exp x))) (log (log1p (exp x))) (exp (log1p (exp x))) (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x))) (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x))) (sqrt (log1p (exp x))) (sqrt (log1p (exp x))) (real->posit16 (log1p (exp x))) (+ x (+ (* 1/2 (pow x 2)) 2)) (+ (exp x) 1) (+ (exp x) 1) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))) (log (+ (exp x) 1)) (log (+ (exp x) 1)) 13.362 * * [simplify]: iteration 1: (73 enodes) 13.387 * * [simplify]: iteration 2: (132 enodes) 13.430 * * [simplify]: iteration 3: (278 enodes) 13.516 * * [simplify]: iteration 4: (701 enodes) 14.017 * * [simplify]: Extracting #0: cost 41 inf + 0 14.017 * * [simplify]: Extracting #1: cost 127 inf + 3 14.020 * * [simplify]: Extracting #2: cost 383 inf + 649 14.030 * * [simplify]: Extracting #3: cost 330 inf + 16544 14.053 * * [simplify]: Extracting #4: cost 177 inf + 52407 14.080 * * [simplify]: Extracting #5: cost 40 inf + 103701 14.100 * * [simplify]: Extracting #6: cost 3 inf + 118390 14.120 * * [simplify]: Extracting #7: cost 0 inf + 119339 14.152 * * [simplify]: Extracting #8: cost 0 inf + 119329 14.194 * [simplify]: Simplified to: (expm1 (+ 1 (exp x))) (log1p (+ 1 (exp x))) (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (exp (sqrt (log1p (exp x)))) E (log1p (exp x)) (* E (exp (exp x))) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))) (* (+ 1 (exp x)) (* (+ 1 (exp x)) (+ 1 (exp x)))) (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))) (real->posit16 (+ 1 (exp x))) (expm1 (sqrt (+ 1 (exp x)))) (log1p (sqrt (+ 1 (exp x)))) (log (sqrt (+ 1 (exp x)))) (exp (sqrt (+ 1 (exp x)))) (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (+ 1 (exp x)))) (* (+ 1 (exp x)) (sqrt (+ 1 (exp x)))) (fabs (cbrt (+ 1 (exp x)))) (sqrt (cbrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) 1 (sqrt (+ 1 (exp x))) 1/2 (/ (cbrt (log1p (exp x))) 2) (/ (sqrt (log1p (exp x))) 2) (/ (log1p (exp x)) 2) (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (real->posit16 (sqrt (+ 1 (exp x)))) (+ 1 (exp x)) (exp x) (log1p (log1p (exp x))) (log (log1p (exp x))) (+ 1 (exp x)) (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x))) (* (log1p (exp x)) (* (log1p (exp x)) (log1p (exp x)))) (sqrt (log1p (exp x))) (sqrt (log1p (exp x))) (real->posit16 (log1p (exp x))) (fma (fma 1/2 x 1) x 2) (+ 1 (exp x)) (+ 1 (exp x)) (fma 1/2 (/ x (sqrt 2)) (+ (sqrt 2) (* (* x (/ x (sqrt 2))) 3/16))) (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))) (fma x (fma 1/8 x 1/2) (log 2)) (log1p (exp x)) (log1p (exp x)) 14.197 * * * [progress]: adding candidates to table 14.670 * [progress]: [Phase 3 of 3] Extracting. 14.670 * * [regime]: Finding splitpoints for: (# # # #) 14.671 * * * [regime-changes]: Trying 1 branch expressions: (x) 14.671 * * * * [regimes]: Trying to branch on x from (# # # #) 14.705 * * * [regime]: Found split indices: #