0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.096 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.101 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.101 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1)) 0.102 * * [simplify]: iters left: 5 (5 enodes) 0.105 * * [simplify]: iters left: 4 (20 enodes) 0.113 * * [simplify]: iters left: 3 (24 enodes) 0.120 * * [simplify]: Extracting #0: cost 1 inf + 0 0.120 * * [simplify]: Extracting #1: cost 4 inf + 0 0.120 * * [simplify]: Extracting #2: cost 9 inf + 0 0.120 * * [simplify]: Extracting #3: cost 6 inf + 3 0.120 * * [simplify]: Extracting #4: cost 0 inf + 673 0.120 * [simplify]: Simplified to (/ (exp x) (- (exp x) 1)) 0.120 * [simplify]: Simplified (2) to (λ (x) (/ (exp x) (- (exp x) 1))) 0.125 * * [progress]: iteration 1 / 4 0.125 * * * [progress]: picking best candidate 0.128 * * * * [pick]: Picked # 0.128 * * * [progress]: localizing error 0.141 * * * [progress]: generating rewritten candidates 0.141 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.149 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.164 * * * [progress]: generating series expansions 0.165 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.165 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1) 0.165 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0 0.165 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.165 * [taylor]: Taking taylor expansion of (exp x) in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (exp 0) into 1 0.165 * [taylor]: Taking taylor expansion of 1 in x 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.165 * [taylor]: Taking taylor expansion of (exp x) in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (exp 0) into 1 0.165 * [taylor]: Taking taylor expansion of 1 in x 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (- 1) into -1 0.166 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.166 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.167 * [backup-simplify]: Simplify (- 0) into 0 0.168 * [backup-simplify]: Simplify (+ 1 0) into 1 0.168 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.170 * [backup-simplify]: Simplify (- 0) into 0 0.171 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.171 * [backup-simplify]: Simplify 1/2 into 1/2 0.173 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.174 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.174 * [backup-simplify]: Simplify 1/6 into 1/6 0.175 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 0.175 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.175 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 0.175 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.175 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ 1 1) into 1 0.175 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.176 * [taylor]: Taking taylor expansion of 1 in x 0.176 * [backup-simplify]: Simplify 1 into 1 0.176 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.176 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 1 into 1 0.176 * [backup-simplify]: Simplify (/ 1 1) into 1 0.176 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.176 * [taylor]: Taking taylor expansion of 1 in x 0.176 * [backup-simplify]: Simplify 1 into 1 0.177 * [backup-simplify]: Simplify (- 1) into -1 0.177 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.177 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.177 * [backup-simplify]: Simplify (- 0) into 0 0.178 * [backup-simplify]: Simplify (+ 0 0) into 0 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.179 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify (- 0) into 0 0.180 * [backup-simplify]: Simplify (+ 0 0) into 0 0.180 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify (- 0) into 0 0.181 * [backup-simplify]: Simplify (+ 0 0) into 0 0.181 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify (- 0) into 0 0.182 * [backup-simplify]: Simplify (+ 0 0) into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 0.182 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 0.182 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 0.182 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.182 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [backup-simplify]: Simplify -1 into -1 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.183 * [backup-simplify]: Simplify (/ -1 1) into -1 0.183 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.183 * [taylor]: Taking taylor expansion of 1 in x 0.183 * [backup-simplify]: Simplify 1 into 1 0.183 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.183 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [backup-simplify]: Simplify -1 into -1 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [backup-simplify]: Simplify 0 into 0 0.183 * [backup-simplify]: Simplify 1 into 1 0.184 * [backup-simplify]: Simplify (/ -1 1) into -1 0.184 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.184 * [taylor]: Taking taylor expansion of 1 in x 0.184 * [backup-simplify]: Simplify 1 into 1 0.184 * [backup-simplify]: Simplify (- 1) into -1 0.184 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.185 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 0.185 * [backup-simplify]: Simplify (- 0) into 0 0.185 * [backup-simplify]: Simplify (+ 0 0) into 0 0.185 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify (- 0) into 0 0.186 * [backup-simplify]: Simplify (+ 0 0) into 0 0.186 * [backup-simplify]: Simplify 0 into 0 0.187 * [backup-simplify]: Simplify (- 0) into 0 0.187 * [backup-simplify]: Simplify (+ 0 0) into 0 0.187 * [backup-simplify]: Simplify 0 into 0 0.187 * [backup-simplify]: Simplify (- 0) into 0 0.188 * [backup-simplify]: Simplify (+ 0 0) into 0 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify (- 0) into 0 0.189 * [backup-simplify]: Simplify (+ 0 0) into 0 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify (- 0) into 0 0.190 * [backup-simplify]: Simplify (+ 0 0) into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 0.190 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.190 * [backup-simplify]: Simplify (/ (exp x) (- (exp x) 1)) into (/ (exp x) (- (exp x) 1)) 0.190 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in (x) around 0 0.190 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x 0.190 * [taylor]: Taking taylor expansion of (exp x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 1 into 1 0.190 * [backup-simplify]: Simplify (exp 0) into 1 0.190 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.190 * [taylor]: Taking taylor expansion of (exp x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 1 into 1 0.190 * [backup-simplify]: Simplify (exp 0) into 1 0.190 * [taylor]: Taking taylor expansion of 1 in x 0.190 * [backup-simplify]: Simplify 1 into 1 0.191 * [backup-simplify]: Simplify (- 1) into -1 0.191 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.193 * [backup-simplify]: Simplify (- 0) into 0 0.193 * [backup-simplify]: Simplify (+ 1 0) into 1 0.194 * [backup-simplify]: Simplify (/ 1 1) into 1 0.194 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x 0.194 * [taylor]: Taking taylor expansion of (exp x) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (exp 0) into 1 0.194 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.194 * [taylor]: Taking taylor expansion of (exp x) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (exp 0) into 1 0.194 * [taylor]: Taking taylor expansion of 1 in x 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (- 1) into -1 0.195 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.196 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.196 * [backup-simplify]: Simplify (- 0) into 0 0.197 * [backup-simplify]: Simplify (+ 1 0) into 1 0.197 * [backup-simplify]: Simplify (/ 1 1) into 1 0.197 * [backup-simplify]: Simplify 1 into 1 0.198 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.207 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.208 * [backup-simplify]: Simplify (- 0) into 0 0.209 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.210 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2 0.210 * [backup-simplify]: Simplify 1/2 into 1/2 0.211 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.214 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.215 * [backup-simplify]: Simplify (- 0) into 0 0.215 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.216 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12 0.217 * [backup-simplify]: Simplify 1/12 into 1/12 0.217 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 0.217 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 0.217 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in (x) around 0 0.217 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x 0.217 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 1 into 1 0.218 * [backup-simplify]: Simplify (/ 1 1) into 1 0.218 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.218 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.218 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify 1 into 1 0.218 * [backup-simplify]: Simplify (/ 1 1) into 1 0.218 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.218 * [taylor]: Taking taylor expansion of 1 in x 0.218 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify (- 1) into -1 0.219 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.219 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 0.219 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x 0.219 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (/ 1 1) into 1 0.220 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.220 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (/ 1 1) into 1 0.220 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.220 * [taylor]: Taking taylor expansion of 1 in x 0.220 * [backup-simplify]: Simplify 1 into 1 0.221 * [backup-simplify]: Simplify (- 1) into -1 0.221 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.221 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 0.221 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 0.222 * [backup-simplify]: Simplify (- 0) into 0 0.222 * [backup-simplify]: Simplify (+ 0 0) into 0 0.223 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify (- 0) into 0 0.224 * [backup-simplify]: Simplify (+ 0 0) into 0 0.225 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (- 0) into 0 0.225 * [backup-simplify]: Simplify (+ 0 0) into 0 0.226 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 0.226 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.227 * [backup-simplify]: Simplify (+ 0 0) into 0 0.227 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify (- 0) into 0 0.228 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify (- 0) into 0 0.230 * [backup-simplify]: Simplify (+ 0 0) into 0 0.231 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (exp x) (- (exp x) 1)) 0.231 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (- (exp (/ 1 (- x))) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 0.231 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in (x) around 0 0.231 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x 0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.231 * [taylor]: Taking taylor expansion of -1 in x 0.231 * [backup-simplify]: Simplify -1 into -1 0.231 * [taylor]: Taking taylor expansion of x in x 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.232 * [backup-simplify]: Simplify (/ -1 1) into -1 0.232 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.232 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.232 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.232 * [taylor]: Taking taylor expansion of -1 in x 0.232 * [backup-simplify]: Simplify -1 into -1 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (/ -1 1) into -1 0.233 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.233 * [taylor]: Taking taylor expansion of 1 in x 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (- 1) into -1 0.233 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.234 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 0.234 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x 0.234 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.234 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.234 * [taylor]: Taking taylor expansion of -1 in x 0.234 * [backup-simplify]: Simplify -1 into -1 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (/ -1 1) into -1 0.234 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.234 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.234 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.234 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.234 * [taylor]: Taking taylor expansion of -1 in x 0.234 * [backup-simplify]: Simplify -1 into -1 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [backup-simplify]: Simplify (/ -1 1) into -1 0.235 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.235 * [taylor]: Taking taylor expansion of 1 in x 0.235 * [backup-simplify]: Simplify 1 into 1 0.236 * [backup-simplify]: Simplify (- 1) into -1 0.236 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.236 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 0.236 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) 0.236 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify (+ 0 0) into 0 0.237 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0 0.237 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (- 0) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (- 0) into 0 0.239 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (- 0) into 0 0.241 * [backup-simplify]: Simplify (+ 0 0) into 0 0.241 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (- 0) into 0 0.242 * [backup-simplify]: Simplify (+ 0 0) into 0 0.243 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify (- 0) into 0 0.244 * [backup-simplify]: Simplify (+ 0 0) into 0 0.245 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (exp x) (- (exp x) 1)) 0.245 * * * [progress]: simplifying candidates 0.245 * * * * [progress]: [ 1 / 69 ] simplifiying candidate # 0.245 * [simplify]: Simplifying (/ (exp (exp x)) (exp 1)) 0.245 * * [simplify]: iters left: 4 (6 enodes) 0.249 * * [simplify]: iters left: 3 (21 enodes) 0.253 * * [simplify]: iters left: 2 (28 enodes) 0.258 * * [simplify]: iters left: 1 (32 enodes) 0.264 * * [simplify]: Extracting #0: cost 1 inf + 0 0.264 * * [simplify]: Extracting #1: cost 6 inf + 0 0.264 * * [simplify]: Extracting #2: cost 11 inf + 1 0.264 * * [simplify]: Extracting #3: cost 9 inf + 145 0.264 * * [simplify]: Extracting #4: cost 6 inf + 288 0.265 * * [simplify]: Extracting #5: cost 1 inf + 976 0.265 * * [simplify]: Extracting #6: cost 0 inf + 1158 0.265 * [simplify]: Simplified to (/ (exp (exp x)) E) 0.265 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (log (/ (exp (exp x)) E)))) 0.265 * * * * [progress]: [ 2 / 69 ] simplifiying candidate # 0.265 * * * * [progress]: [ 3 / 69 ] simplifiying candidate # 0.265 * * * * [progress]: [ 4 / 69 ] simplifiying candidate # 0.265 * * * * [progress]: [ 5 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 6 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 7 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 8 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 9 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 10 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 11 / 69 ] simplifiying candidate # 0.266 * * * * [progress]: [ 12 / 69 ] simplifiying candidate # 0.266 * [simplify]: Simplifying (+ (sqrt (exp x)) (sqrt 1)) 0.266 * * [simplify]: iters left: 4 (6 enodes) 0.271 * * [simplify]: iters left: 3 (21 enodes) 0.277 * * [simplify]: iters left: 2 (23 enodes) 0.284 * * [simplify]: Extracting #0: cost 1 inf + 0 0.284 * * [simplify]: Extracting #1: cost 4 inf + 0 0.284 * * [simplify]: Extracting #2: cost 5 inf + 1 0.284 * * [simplify]: Extracting #3: cost 7 inf + 1 0.284 * * [simplify]: Extracting #4: cost 6 inf + 2 0.285 * * [simplify]: Extracting #5: cost 0 inf + 670 0.285 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 0.285 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1))))) 0.285 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt 1)) 0.285 * * [simplify]: iters left: 4 (6 enodes) 0.290 * * [simplify]: iters left: 3 (23 enodes) 0.298 * * [simplify]: iters left: 2 (29 enodes) 0.305 * * [simplify]: Extracting #0: cost 1 inf + 0 0.305 * * [simplify]: Extracting #1: cost 5 inf + 0 0.305 * * [simplify]: Extracting #2: cost 5 inf + 2 0.305 * * [simplify]: Extracting #3: cost 7 inf + 2 0.306 * * [simplify]: Extracting #4: cost 6 inf + 3 0.306 * * [simplify]: Extracting #5: cost 2 inf + 367 0.306 * * [simplify]: Extracting #6: cost 1 inf + 519 0.306 * * [simplify]: Extracting #7: cost 0 inf + 671 0.306 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 0.306 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) (sqrt 1)) (+ (sqrt (exp x)) -1)))) 0.306 * * * * [progress]: [ 13 / 69 ] simplifiying candidate # 0.307 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 0.307 * * [simplify]: iters left: 4 (5 enodes) 0.309 * * [simplify]: iters left: 3 (18 enodes) 0.315 * * [simplify]: iters left: 2 (20 enodes) 0.321 * * [simplify]: Extracting #0: cost 1 inf + 0 0.321 * * [simplify]: Extracting #1: cost 4 inf + 0 0.321 * * [simplify]: Extracting #2: cost 5 inf + 1 0.321 * * [simplify]: Extracting #3: cost 7 inf + 1 0.321 * * [simplify]: Extracting #4: cost 6 inf + 2 0.322 * * [simplify]: Extracting #5: cost 0 inf + 670 0.322 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 0.322 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) 0.322 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 0.322 * * [simplify]: iters left: 4 (5 enodes) 0.325 * * [simplify]: iters left: 3 (20 enodes) 0.331 * * [simplify]: iters left: 2 (24 enodes) 0.335 * * [simplify]: Extracting #0: cost 1 inf + 0 0.335 * * [simplify]: Extracting #1: cost 5 inf + 0 0.335 * * [simplify]: Extracting #2: cost 5 inf + 2 0.335 * * [simplify]: Extracting #3: cost 7 inf + 2 0.335 * * [simplify]: Extracting #4: cost 6 inf + 3 0.335 * * [simplify]: Extracting #5: cost 0 inf + 671 0.335 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 0.335 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) 1) (+ (sqrt (exp x)) -1)))) 0.335 * * * * [progress]: [ 14 / 69 ] simplifiying candidate # 0.335 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 0.336 * * [simplify]: iters left: 4 (5 enodes) 0.337 * * [simplify]: iters left: 3 (18 enodes) 0.340 * * [simplify]: iters left: 2 (20 enodes) 0.344 * * [simplify]: Extracting #0: cost 1 inf + 0 0.344 * * [simplify]: Extracting #1: cost 4 inf + 0 0.344 * * [simplify]: Extracting #2: cost 5 inf + 1 0.344 * * [simplify]: Extracting #3: cost 7 inf + 1 0.344 * * [simplify]: Extracting #4: cost 6 inf + 2 0.345 * * [simplify]: Extracting #5: cost 0 inf + 670 0.345 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 0.345 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) 0.345 * * * * [progress]: [ 15 / 69 ] simplifiying candidate # 0.345 * [simplify]: Simplifying (- (exp x) 1) 0.345 * * [simplify]: iters left: 3 (4 enodes) 0.348 * * [simplify]: iters left: 2 (17 enodes) 0.357 * * [simplify]: iters left: 1 (21 enodes) 0.364 * * [simplify]: Extracting #0: cost 1 inf + 0 0.364 * * [simplify]: Extracting #1: cost 5 inf + 0 0.364 * * [simplify]: Extracting #2: cost 5 inf + 2 0.364 * * [simplify]: Extracting #3: cost 4 inf + 3 0.364 * * [simplify]: Extracting #4: cost 0 inf + 369 0.364 * [simplify]: Simplified to (- (exp x) 1) 0.365 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (* 1 (- (exp x) 1)))) 0.365 * * * * [progress]: [ 16 / 69 ] simplifiying candidate # 0.365 * * * * [progress]: [ 17 / 69 ] simplifiying candidate #real (real->posit16 (- (exp x) 1)))))> 0.365 * * * * [progress]: [ 18 / 69 ] simplifiying candidate # 0.365 * * * * [progress]: [ 19 / 69 ] simplifiying candidate # 0.365 * [simplify]: Simplifying (- x (log (- (exp x) 1))) 0.365 * * [simplify]: iters left: 6 (6 enodes) 0.369 * * [simplify]: iters left: 5 (25 enodes) 0.377 * * [simplify]: iters left: 4 (32 enodes) 0.387 * * [simplify]: Extracting #0: cost 1 inf + 0 0.387 * * [simplify]: Extracting #1: cost 5 inf + 0 0.387 * * [simplify]: Extracting #2: cost 7 inf + 1 0.387 * * [simplify]: Extracting #3: cost 11 inf + 1 0.387 * * [simplify]: Extracting #4: cost 9 inf + 74 0.387 * * [simplify]: Extracting #5: cost 7 inf + 257 0.388 * * [simplify]: Extracting #6: cost 1 inf + 1399 0.388 * * [simplify]: Extracting #7: cost 0 inf + 1621 0.388 * [simplify]: Simplified to (- x (log (- (exp x) 1))) 0.388 * [simplify]: Simplified (2 1) to (λ (x) (exp (- x (log (- (exp x) 1))))) 0.389 * * * * [progress]: [ 20 / 69 ] simplifiying candidate # 0.389 * * * * [progress]: [ 21 / 69 ] simplifiying candidate # 0.389 * * * * [progress]: [ 22 / 69 ] simplifiying candidate # 0.389 * [simplify]: Simplifying (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1))) 0.389 * * [simplify]: iters left: 6 (9 enodes) 0.392 * * [simplify]: iters left: 5 (43 enodes) 0.401 * * [simplify]: iters left: 4 (105 enodes) 0.428 * * [simplify]: iters left: 3 (247 enodes) 0.519 * * [simplify]: iters left: 2 (488 enodes) 0.731 * * [simplify]: Extracting #0: cost 1 inf + 0 0.731 * * [simplify]: Extracting #1: cost 61 inf + 0 0.732 * * [simplify]: Extracting #2: cost 270 inf + 1 0.736 * * [simplify]: Extracting #3: cost 386 inf + 4351 0.754 * * [simplify]: Extracting #4: cost 98 inf + 74848 0.774 * * [simplify]: Extracting #5: cost 2 inf + 102904 0.790 * * [simplify]: Extracting #6: cost 0 inf + 103047 0.814 * [simplify]: Simplified to (* (/ (exp x) (- (exp x) 1)) (* (/ (exp x) (- (exp x) 1)) (/ (exp x) (- (exp x) 1)))) 0.814 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (/ (exp x) (- (exp x) 1)) (* (/ (exp x) (- (exp x) 1)) (/ (exp x) (- (exp x) 1)))))) 0.814 * * * * [progress]: [ 23 / 69 ] simplifiying candidate # 0.814 * * * * [progress]: [ 24 / 69 ] simplifiying candidate # 0.814 * * * * [progress]: [ 25 / 69 ] simplifiying candidate # 0.814 * * * * [progress]: [ 26 / 69 ] simplifiying candidate # 0.814 * * * * [progress]: [ 27 / 69 ] simplifiying candidate # 0.815 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 0.815 * * [simplify]: iters left: 6 (9 enodes) 0.820 * * [simplify]: iters left: 5 (38 enodes) 0.833 * * [simplify]: iters left: 4 (57 enodes) 0.848 * * [simplify]: iters left: 3 (64 enodes) 0.858 * * [simplify]: iters left: 2 (67 enodes) 0.869 * * [simplify]: Extracting #0: cost 1 inf + 0 0.869 * * [simplify]: Extracting #1: cost 11 inf + 0 0.870 * * [simplify]: Extracting #2: cost 22 inf + 0 0.870 * * [simplify]: Extracting #3: cost 27 inf + 0 0.870 * * [simplify]: Extracting #4: cost 22 inf + 186 0.870 * * [simplify]: Extracting #5: cost 6 inf + 4174 0.871 * * [simplify]: Extracting #6: cost 0 inf + 5965 0.872 * [simplify]: Simplified to (* (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1)))) 0.872 * [simplify]: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1))))) 0.872 * [simplify]: Simplifying (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) 0.872 * * [simplify]: iters left: 6 (7 enodes) 0.874 * * [simplify]: iters left: 5 (26 enodes) 0.878 * * [simplify]: iters left: 4 (30 enodes) 0.883 * * [simplify]: Extracting #0: cost 1 inf + 0 0.883 * * [simplify]: Extracting #1: cost 4 inf + 0 0.883 * * [simplify]: Extracting #2: cost 8 inf + 0 0.883 * * [simplify]: Extracting #3: cost 13 inf + 0 0.883 * * [simplify]: Extracting #4: cost 10 inf + 3 0.884 * * [simplify]: Extracting #5: cost 8 inf + 145 0.884 * * [simplify]: Extracting #6: cost 4 inf + 751 0.884 * * [simplify]: Extracting #7: cost 1 inf + 1367 0.884 * * [simplify]: Extracting #8: cost 0 inf + 1679 0.885 * [simplify]: Simplified to (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) 0.885 * [simplify]: Simplified (2 2) to (λ (x) (* (* (/ (cbrt (exp x)) (cbrt (- (exp x) 1))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1))))) 0.885 * * * * [progress]: [ 28 / 69 ] simplifiying candidate # 0.885 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) 0.885 * * [simplify]: iters left: 6 (8 enodes) 0.890 * * [simplify]: iters left: 5 (31 enodes) 0.900 * * [simplify]: iters left: 4 (39 enodes) 0.912 * * [simplify]: iters left: 3 (42 enodes) 0.924 * * [simplify]: Extracting #0: cost 1 inf + 0 0.924 * * [simplify]: Extracting #1: cost 7 inf + 0 0.924 * * [simplify]: Extracting #2: cost 14 inf + 0 0.924 * * [simplify]: Extracting #3: cost 19 inf + 0 0.925 * * [simplify]: Extracting #4: cost 16 inf + 3 0.925 * * [simplify]: Extracting #5: cost 13 inf + 298 0.925 * * [simplify]: Extracting #6: cost 1 inf + 2878 0.926 * * [simplify]: Extracting #7: cost 0 inf + 3069 0.926 * [simplify]: Simplified to (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) 0.927 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1))))) 0.927 * [simplify]: Simplifying (/ (cbrt (exp x)) (sqrt (- (exp x) 1))) 0.927 * * [simplify]: iters left: 6 (7 enodes) 0.931 * * [simplify]: iters left: 5 (26 enodes) 0.940 * * [simplify]: iters left: 4 (30 enodes) 0.949 * * [simplify]: Extracting #0: cost 1 inf + 0 0.949 * * [simplify]: Extracting #1: cost 4 inf + 0 0.949 * * [simplify]: Extracting #2: cost 8 inf + 0 0.949 * * [simplify]: Extracting #3: cost 13 inf + 0 0.949 * * [simplify]: Extracting #4: cost 10 inf + 3 0.949 * * [simplify]: Extracting #5: cost 8 inf + 145 0.949 * * [simplify]: Extracting #6: cost 4 inf + 711 0.949 * * [simplify]: Extracting #7: cost 1 inf + 1247 0.950 * * [simplify]: Extracting #8: cost 0 inf + 1519 0.950 * [simplify]: Simplified to (/ (cbrt (exp x)) (sqrt (- (exp x) 1))) 0.950 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1))))) 0.950 * * * * [progress]: [ 29 / 69 ] simplifiying candidate # 0.951 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) 0.951 * * [simplify]: iters left: 6 (6 enodes) 0.954 * * [simplify]: iters left: 5 (20 enodes) 0.961 * * [simplify]: iters left: 4 (30 enodes) 0.970 * * [simplify]: iters left: 3 (31 enodes) 0.978 * * [simplify]: Extracting #0: cost 1 inf + 0 0.978 * * [simplify]: Extracting #1: cost 5 inf + 0 0.978 * * [simplify]: Extracting #2: cost 7 inf + 1 0.978 * * [simplify]: Extracting #3: cost 9 inf + 1 0.978 * * [simplify]: Extracting #4: cost 8 inf + 2 0.979 * * [simplify]: Extracting #5: cost 0 inf + 1212 0.979 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 0.979 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1)))) 0.979 * [simplify]: Simplifying (/ (cbrt (exp x)) (- (exp x) 1)) 0.979 * * [simplify]: iters left: 5 (6 enodes) 0.983 * * [simplify]: iters left: 4 (23 enodes) 0.990 * * [simplify]: iters left: 3 (27 enodes) 0.999 * * [simplify]: Extracting #0: cost 1 inf + 0 0.999 * * [simplify]: Extracting #1: cost 4 inf + 0 0.999 * * [simplify]: Extracting #2: cost 9 inf + 0 0.999 * * [simplify]: Extracting #3: cost 9 inf + 2 0.999 * * [simplify]: Extracting #4: cost 8 inf + 3 0.999 * * [simplify]: Extracting #5: cost 2 inf + 671 0.999 * * [simplify]: Extracting #6: cost 1 inf + 903 1.000 * * [simplify]: Extracting #7: cost 0 inf + 1135 1.000 * [simplify]: Simplified to (/ (cbrt (exp x)) (- (exp x) 1)) 1.000 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1)))) 1.000 * * * * [progress]: [ 30 / 69 ] simplifiying candidate # 1.000 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1))) 1.000 * * [simplify]: iters left: 6 (9 enodes) 1.007 * * [simplify]: iters left: 5 (32 enodes) 1.017 * * [simplify]: iters left: 4 (38 enodes) 1.030 * * [simplify]: iters left: 3 (41 enodes) 1.040 * * [simplify]: Extracting #0: cost 1 inf + 0 1.040 * * [simplify]: Extracting #1: cost 7 inf + 0 1.040 * * [simplify]: Extracting #2: cost 15 inf + 0 1.040 * * [simplify]: Extracting #3: cost 17 inf + 1 1.040 * * [simplify]: Extracting #4: cost 14 inf + 144 1.040 * * [simplify]: Extracting #5: cost 7 inf + 1444 1.041 * * [simplify]: Extracting #6: cost 0 inf + 3066 1.041 * [simplify]: Simplified to (* (/ (cbrt (exp x)) (+ 1 (sqrt (exp x)))) (cbrt (exp x))) 1.041 * [simplify]: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (exp x)) (+ 1 (sqrt (exp x)))) (cbrt (exp x))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1))))) 1.041 * [simplify]: Simplifying (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1))) 1.041 * * [simplify]: iters left: 6 (8 enodes) 1.044 * * [simplify]: iters left: 5 (28 enodes) 1.049 * * [simplify]: iters left: 4 (37 enodes) 1.054 * * [simplify]: Extracting #0: cost 1 inf + 0 1.055 * * [simplify]: Extracting #1: cost 4 inf + 0 1.055 * * [simplify]: Extracting #2: cost 10 inf + 0 1.055 * * [simplify]: Extracting #3: cost 11 inf + 2 1.055 * * [simplify]: Extracting #4: cost 10 inf + 3 1.055 * * [simplify]: Extracting #5: cost 8 inf + 185 1.055 * * [simplify]: Extracting #6: cost 0 inf + 1517 1.055 * [simplify]: Simplified to (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)) 1.055 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1))) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)))) 1.055 * * * * [progress]: [ 31 / 69 ] simplifiying candidate # 1.055 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) 1.055 * * [simplify]: iters left: 6 (8 enodes) 1.058 * * [simplify]: iters left: 5 (29 enodes) 1.063 * * [simplify]: iters left: 4 (35 enodes) 1.068 * * [simplify]: iters left: 3 (38 enodes) 1.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1.074 * * [simplify]: Extracting #1: cost 7 inf + 0 1.074 * * [simplify]: Extracting #2: cost 15 inf + 0 1.074 * * [simplify]: Extracting #3: cost 17 inf + 1 1.074 * * [simplify]: Extracting #4: cost 16 inf + 2 1.074 * * [simplify]: Extracting #5: cost 15 inf + 73 1.075 * * [simplify]: Extracting #6: cost 1 inf + 2875 1.075 * * [simplify]: Extracting #7: cost 0 inf + 3066 1.076 * [simplify]: Simplified to (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 (sqrt (exp x)))) 1.076 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 (sqrt (exp x)))) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)))) 1.076 * [simplify]: Simplifying (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)) 1.076 * * [simplify]: iters left: 6 (7 enodes) 1.080 * * [simplify]: iters left: 5 (26 enodes) 1.088 * * [simplify]: iters left: 4 (30 enodes) 1.096 * * [simplify]: Extracting #0: cost 1 inf + 0 1.096 * * [simplify]: Extracting #1: cost 4 inf + 0 1.096 * * [simplify]: Extracting #2: cost 10 inf + 0 1.096 * * [simplify]: Extracting #3: cost 11 inf + 2 1.097 * * [simplify]: Extracting #4: cost 10 inf + 3 1.097 * * [simplify]: Extracting #5: cost 5 inf + 519 1.097 * * [simplify]: Extracting #6: cost 1 inf + 1245 1.097 * * [simplify]: Extracting #7: cost 0 inf + 1517 1.098 * [simplify]: Simplified to (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)) 1.098 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)))) 1.098 * * * * [progress]: [ 32 / 69 ] simplifiying candidate # 1.099 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) 1.099 * * [simplify]: iters left: 6 (8 enodes) 1.103 * * [simplify]: iters left: 5 (29 enodes) 1.112 * * [simplify]: iters left: 4 (35 enodes) 1.122 * * [simplify]: iters left: 3 (38 enodes) 1.131 * * [simplify]: Extracting #0: cost 1 inf + 0 1.131 * * [simplify]: Extracting #1: cost 7 inf + 0 1.131 * * [simplify]: Extracting #2: cost 15 inf + 0 1.131 * * [simplify]: Extracting #3: cost 17 inf + 1 1.131 * * [simplify]: Extracting #4: cost 16 inf + 2 1.131 * * [simplify]: Extracting #5: cost 15 inf + 73 1.132 * * [simplify]: Extracting #6: cost 1 inf + 2875 1.132 * * [simplify]: Extracting #7: cost 0 inf + 3066 1.132 * [simplify]: Simplified to (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 (sqrt (exp x)))) 1.132 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 (sqrt (exp x)))) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)))) 1.133 * [simplify]: Simplifying (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)) 1.133 * * [simplify]: iters left: 6 (7 enodes) 1.135 * * [simplify]: iters left: 5 (26 enodes) 1.141 * * [simplify]: iters left: 4 (30 enodes) 1.145 * * [simplify]: Extracting #0: cost 1 inf + 0 1.145 * * [simplify]: Extracting #1: cost 4 inf + 0 1.145 * * [simplify]: Extracting #2: cost 10 inf + 0 1.146 * * [simplify]: Extracting #3: cost 11 inf + 2 1.146 * * [simplify]: Extracting #4: cost 10 inf + 3 1.146 * * [simplify]: Extracting #5: cost 5 inf + 519 1.146 * * [simplify]: Extracting #6: cost 1 inf + 1245 1.146 * * [simplify]: Extracting #7: cost 0 inf + 1517 1.146 * [simplify]: Simplified to (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)) 1.146 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)))) 1.146 * * * * [progress]: [ 33 / 69 ] simplifiying candidate # 1.147 * [simplify]: Simplifying (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) 1.147 * * [simplify]: iters left: 6 (6 enodes) 1.149 * * [simplify]: iters left: 5 (20 enodes) 1.152 * * [simplify]: iters left: 4 (30 enodes) 1.157 * * [simplify]: iters left: 3 (31 enodes) 1.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1.161 * * [simplify]: Extracting #1: cost 5 inf + 0 1.161 * * [simplify]: Extracting #2: cost 7 inf + 1 1.161 * * [simplify]: Extracting #3: cost 9 inf + 1 1.161 * * [simplify]: Extracting #4: cost 8 inf + 2 1.161 * * [simplify]: Extracting #5: cost 0 inf + 1212 1.162 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1.162 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1)))) 1.162 * [simplify]: Simplifying (/ (cbrt (exp x)) (- (exp x) 1)) 1.162 * * [simplify]: iters left: 5 (6 enodes) 1.164 * * [simplify]: iters left: 4 (23 enodes) 1.168 * * [simplify]: iters left: 3 (27 enodes) 1.172 * * [simplify]: Extracting #0: cost 1 inf + 0 1.172 * * [simplify]: Extracting #1: cost 4 inf + 0 1.172 * * [simplify]: Extracting #2: cost 9 inf + 0 1.172 * * [simplify]: Extracting #3: cost 9 inf + 2 1.172 * * [simplify]: Extracting #4: cost 8 inf + 3 1.172 * * [simplify]: Extracting #5: cost 2 inf + 671 1.172 * * [simplify]: Extracting #6: cost 1 inf + 903 1.173 * * [simplify]: Extracting #7: cost 0 inf + 1135 1.173 * [simplify]: Simplified to (/ (cbrt (exp x)) (- (exp x) 1)) 1.173 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1)))) 1.173 * * * * [progress]: [ 34 / 69 ] simplifiying candidate # 1.173 * [simplify]: Simplifying (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1.173 * * [simplify]: iters left: 6 (8 enodes) 1.176 * * [simplify]: iters left: 5 (31 enodes) 1.181 * * [simplify]: iters left: 4 (37 enodes) 1.186 * * [simplify]: Extracting #0: cost 1 inf + 0 1.186 * * [simplify]: Extracting #1: cost 6 inf + 0 1.187 * * [simplify]: Extracting #2: cost 12 inf + 0 1.187 * * [simplify]: Extracting #3: cost 17 inf + 0 1.187 * * [simplify]: Extracting #4: cost 14 inf + 3 1.187 * * [simplify]: Extracting #5: cost 13 inf + 74 1.187 * * [simplify]: Extracting #6: cost 6 inf + 975 1.187 * * [simplify]: Extracting #7: cost 0 inf + 2607 1.187 * [simplify]: Simplified to (/ (/ (sqrt (exp x)) (cbrt (+ (exp x) -1))) (cbrt (+ (exp x) -1))) 1.187 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt (exp x)) (cbrt (+ (exp x) -1))) (cbrt (+ (exp x) -1))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1))))) 1.188 * [simplify]: Simplifying (/ (sqrt (exp x)) (cbrt (- (exp x) 1))) 1.188 * * [simplify]: iters left: 6 (7 enodes) 1.190 * * [simplify]: iters left: 5 (26 enodes) 1.195 * * [simplify]: iters left: 4 (30 enodes) 1.200 * * [simplify]: Extracting #0: cost 1 inf + 0 1.201 * * [simplify]: Extracting #1: cost 4 inf + 0 1.201 * * [simplify]: Extracting #2: cost 8 inf + 0 1.201 * * [simplify]: Extracting #3: cost 13 inf + 0 1.201 * * [simplify]: Extracting #4: cost 10 inf + 3 1.201 * * [simplify]: Extracting #5: cost 8 inf + 145 1.201 * * [simplify]: Extracting #6: cost 4 inf + 671 1.201 * * [simplify]: Extracting #7: cost 1 inf + 1247 1.201 * * [simplify]: Extracting #8: cost 0 inf + 1519 1.201 * [simplify]: Simplified to (/ (sqrt (exp x)) (cbrt (- (exp x) 1))) 1.201 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1))))) 1.202 * * * * [progress]: [ 35 / 69 ] simplifiying candidate # 1.202 * [simplify]: Simplifying (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) 1.202 * * [simplify]: iters left: 6 (7 enodes) 1.204 * * [simplify]: iters left: 5 (26 enodes) 1.208 * * [simplify]: iters left: 4 (30 enodes) 1.213 * * [simplify]: Extracting #0: cost 1 inf + 0 1.213 * * [simplify]: Extracting #1: cost 4 inf + 0 1.213 * * [simplify]: Extracting #2: cost 8 inf + 0 1.213 * * [simplify]: Extracting #3: cost 13 inf + 0 1.213 * * [simplify]: Extracting #4: cost 10 inf + 3 1.213 * * [simplify]: Extracting #5: cost 8 inf + 145 1.213 * * [simplify]: Extracting #6: cost 4 inf + 631 1.213 * * [simplify]: Extracting #7: cost 1 inf + 1127 1.213 * * [simplify]: Extracting #8: cost 0 inf + 1359 1.214 * [simplify]: Simplified to (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) 1.214 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1))))) 1.214 * [simplify]: Simplifying (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) 1.214 * * [simplify]: iters left: 6 (7 enodes) 1.216 * * [simplify]: iters left: 5 (26 enodes) 1.220 * * [simplify]: iters left: 4 (30 enodes) 1.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1.225 * * [simplify]: Extracting #1: cost 4 inf + 0 1.225 * * [simplify]: Extracting #2: cost 8 inf + 0 1.225 * * [simplify]: Extracting #3: cost 13 inf + 0 1.225 * * [simplify]: Extracting #4: cost 10 inf + 3 1.225 * * [simplify]: Extracting #5: cost 8 inf + 145 1.225 * * [simplify]: Extracting #6: cost 4 inf + 631 1.226 * * [simplify]: Extracting #7: cost 1 inf + 1127 1.226 * * [simplify]: Extracting #8: cost 0 inf + 1359 1.226 * [simplify]: Simplified to (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) 1.226 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1))))) 1.226 * * * * [progress]: [ 36 / 69 ] simplifiying candidate # 1.226 * [simplify]: Simplifying (/ (sqrt (exp x)) 1) 1.226 * * [simplify]: iters left: 4 (5 enodes) 1.228 * * [simplify]: iters left: 3 (15 enodes) 1.232 * * [simplify]: iters left: 2 (17 enodes) 1.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1.234 * * [simplify]: Extracting #1: cost 4 inf + 0 1.234 * * [simplify]: Extracting #2: cost 5 inf + 1 1.235 * * [simplify]: Extracting #3: cost 4 inf + 2 1.235 * * [simplify]: Extracting #4: cost 1 inf + 255 1.235 * * [simplify]: Extracting #5: cost 0 inf + 366 1.235 * [simplify]: Simplified to (sqrt (exp x)) 1.235 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1)))) 1.235 * [simplify]: Simplifying (/ (sqrt (exp x)) (- (exp x) 1)) 1.235 * * [simplify]: iters left: 5 (6 enodes) 1.237 * * [simplify]: iters left: 4 (23 enodes) 1.241 * * [simplify]: iters left: 3 (27 enodes) 1.245 * * [simplify]: Extracting #0: cost 1 inf + 0 1.245 * * [simplify]: Extracting #1: cost 4 inf + 0 1.245 * * [simplify]: Extracting #2: cost 9 inf + 0 1.246 * * [simplify]: Extracting #3: cost 9 inf + 2 1.246 * * [simplify]: Extracting #4: cost 8 inf + 3 1.246 * * [simplify]: Extracting #5: cost 2 inf + 591 1.246 * * [simplify]: Extracting #6: cost 1 inf + 783 1.246 * * [simplify]: Extracting #7: cost 0 inf + 975 1.246 * [simplify]: Simplified to (/ (sqrt (exp x)) (- (exp x) 1)) 1.246 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1)))) 1.246 * * * * [progress]: [ 37 / 69 ] simplifiying candidate # 1.246 * [simplify]: Simplifying (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1))) 1.246 * * [simplify]: iters left: 6 (7 enodes) 1.249 * * [simplify]: iters left: 5 (24 enodes) 1.253 * * [simplify]: iters left: 4 (26 enodes) 1.260 * * [simplify]: Extracting #0: cost 1 inf + 0 1.260 * * [simplify]: Extracting #1: cost 4 inf + 0 1.260 * * [simplify]: Extracting #2: cost 8 inf + 0 1.260 * * [simplify]: Extracting #3: cost 9 inf + 1 1.260 * * [simplify]: Extracting #4: cost 8 inf + 2 1.260 * * [simplify]: Extracting #5: cost 2 inf + 710 1.260 * * [simplify]: Extracting #6: cost 0 inf + 1054 1.261 * [simplify]: Simplified to (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) 1.261 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1))))) 1.261 * [simplify]: Simplifying (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1))) 1.261 * * [simplify]: iters left: 6 (7 enodes) 1.266 * * [simplify]: iters left: 5 (26 enodes) 1.275 * * [simplify]: iters left: 4 (32 enodes) 1.283 * * [simplify]: Extracting #0: cost 1 inf + 0 1.284 * * [simplify]: Extracting #1: cost 4 inf + 0 1.284 * * [simplify]: Extracting #2: cost 9 inf + 0 1.284 * * [simplify]: Extracting #3: cost 9 inf + 2 1.284 * * [simplify]: Extracting #4: cost 8 inf + 3 1.284 * * [simplify]: Extracting #5: cost 1 inf + 903 1.284 * * [simplify]: Extracting #6: cost 0 inf + 1055 1.285 * [simplify]: Simplified to (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)) 1.285 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1))) (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)))) 1.285 * * * * [progress]: [ 38 / 69 ] simplifiying candidate # 1.285 * [simplify]: Simplifying (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) 1.285 * * [simplify]: iters left: 6 (6 enodes) 1.289 * * [simplify]: iters left: 5 (21 enodes) 1.295 * * [simplify]: iters left: 4 (23 enodes) 1.302 * * [simplify]: Extracting #0: cost 1 inf + 0 1.302 * * [simplify]: Extracting #1: cost 4 inf + 0 1.302 * * [simplify]: Extracting #2: cost 8 inf + 0 1.302 * * [simplify]: Extracting #3: cost 9 inf + 1 1.303 * * [simplify]: Extracting #4: cost 8 inf + 2 1.303 * * [simplify]: Extracting #5: cost 0 inf + 1054 1.303 * [simplify]: Simplified to (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) 1.303 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)))) 1.303 * [simplify]: Simplifying (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)) 1.304 * * [simplify]: iters left: 6 (6 enodes) 1.307 * * [simplify]: iters left: 5 (23 enodes) 1.315 * * [simplify]: iters left: 4 (27 enodes) 1.323 * * [simplify]: Extracting #0: cost 1 inf + 0 1.323 * * [simplify]: Extracting #1: cost 4 inf + 0 1.323 * * [simplify]: Extracting #2: cost 9 inf + 0 1.323 * * [simplify]: Extracting #3: cost 9 inf + 2 1.323 * * [simplify]: Extracting #4: cost 8 inf + 3 1.324 * * [simplify]: Extracting #5: cost 4 inf + 367 1.324 * * [simplify]: Extracting #6: cost 1 inf + 863 1.324 * * [simplify]: Extracting #7: cost 0 inf + 1055 1.325 * [simplify]: Simplified to (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)) 1.325 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)))) 1.325 * * * * [progress]: [ 39 / 69 ] simplifiying candidate # 1.325 * [simplify]: Simplifying (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) 1.325 * * [simplify]: iters left: 6 (6 enodes) 1.328 * * [simplify]: iters left: 5 (21 enodes) 1.335 * * [simplify]: iters left: 4 (23 enodes) 1.342 * * [simplify]: Extracting #0: cost 1 inf + 0 1.342 * * [simplify]: Extracting #1: cost 4 inf + 0 1.342 * * [simplify]: Extracting #2: cost 8 inf + 0 1.342 * * [simplify]: Extracting #3: cost 9 inf + 1 1.342 * * [simplify]: Extracting #4: cost 8 inf + 2 1.342 * * [simplify]: Extracting #5: cost 0 inf + 1054 1.343 * [simplify]: Simplified to (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) 1.343 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (exp x)) (+ 1 (sqrt (exp x)))) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)))) 1.343 * [simplify]: Simplifying (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)) 1.343 * * [simplify]: iters left: 6 (6 enodes) 1.345 * * [simplify]: iters left: 5 (23 enodes) 1.350 * * [simplify]: iters left: 4 (27 enodes) 1.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1.354 * * [simplify]: Extracting #1: cost 4 inf + 0 1.354 * * [simplify]: Extracting #2: cost 9 inf + 0 1.354 * * [simplify]: Extracting #3: cost 9 inf + 2 1.355 * * [simplify]: Extracting #4: cost 8 inf + 3 1.355 * * [simplify]: Extracting #5: cost 4 inf + 367 1.355 * * [simplify]: Extracting #6: cost 1 inf + 863 1.355 * * [simplify]: Extracting #7: cost 0 inf + 1055 1.355 * [simplify]: Simplified to (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)) 1.355 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)))) 1.355 * * * * [progress]: [ 40 / 69 ] simplifiying candidate # 1.355 * [simplify]: Simplifying (/ (sqrt (exp x)) 1) 1.355 * * [simplify]: iters left: 4 (5 enodes) 1.357 * * [simplify]: iters left: 3 (15 enodes) 1.361 * * [simplify]: iters left: 2 (17 enodes) 1.364 * * [simplify]: Extracting #0: cost 1 inf + 0 1.364 * * [simplify]: Extracting #1: cost 4 inf + 0 1.364 * * [simplify]: Extracting #2: cost 5 inf + 1 1.364 * * [simplify]: Extracting #3: cost 4 inf + 2 1.364 * * [simplify]: Extracting #4: cost 1 inf + 255 1.364 * * [simplify]: Extracting #5: cost 0 inf + 366 1.364 * [simplify]: Simplified to (sqrt (exp x)) 1.364 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1)))) 1.365 * [simplify]: Simplifying (/ (sqrt (exp x)) (- (exp x) 1)) 1.365 * * [simplify]: iters left: 5 (6 enodes) 1.367 * * [simplify]: iters left: 4 (23 enodes) 1.370 * * [simplify]: iters left: 3 (27 enodes) 1.375 * * [simplify]: Extracting #0: cost 1 inf + 0 1.375 * * [simplify]: Extracting #1: cost 4 inf + 0 1.375 * * [simplify]: Extracting #2: cost 9 inf + 0 1.375 * * [simplify]: Extracting #3: cost 9 inf + 2 1.375 * * [simplify]: Extracting #4: cost 8 inf + 3 1.375 * * [simplify]: Extracting #5: cost 2 inf + 591 1.375 * * [simplify]: Extracting #6: cost 1 inf + 783 1.375 * * [simplify]: Extracting #7: cost 0 inf + 975 1.375 * [simplify]: Simplified to (/ (sqrt (exp x)) (- (exp x) 1)) 1.375 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1)))) 1.375 * * * * [progress]: [ 41 / 69 ] simplifiying candidate # 1.376 * [simplify]: Simplifying (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1.376 * * [simplify]: iters left: 6 (7 enodes) 1.378 * * [simplify]: iters left: 5 (28 enodes) 1.387 * * [simplify]: iters left: 4 (34 enodes) 1.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1.397 * * [simplify]: Extracting #1: cost 6 inf + 0 1.397 * * [simplify]: Extracting #2: cost 9 inf + 1 1.397 * * [simplify]: Extracting #3: cost 12 inf + 1 1.397 * * [simplify]: Extracting #4: cost 13 inf + 2 1.397 * * [simplify]: Extracting #5: cost 12 inf + 3 1.397 * * [simplify]: Extracting #6: cost 9 inf + 257 1.397 * * [simplify]: Extracting #7: cost 4 inf + 1257 1.398 * * [simplify]: Extracting #8: cost 0 inf + 2225 1.399 * [simplify]: Simplified to (/ (/ 1 (cbrt (- (exp x) 1))) (cbrt (- (exp x) 1))) 1.399 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (- (exp x) 1))) (cbrt (- (exp x) 1))) (/ (exp x) (cbrt (- (exp x) 1))))) 1.399 * [simplify]: Simplifying (/ (exp x) (cbrt (- (exp x) 1))) 1.399 * * [simplify]: iters left: 6 (6 enodes) 1.403 * * [simplify]: iters left: 5 (23 enodes) 1.410 * * [simplify]: iters left: 4 (27 enodes) 1.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1.418 * * [simplify]: Extracting #1: cost 4 inf + 0 1.418 * * [simplify]: Extracting #2: cost 8 inf + 0 1.419 * * [simplify]: Extracting #3: cost 10 inf + 1 1.419 * * [simplify]: Extracting #4: cost 6 inf + 145 1.419 * * [simplify]: Extracting #5: cost 4 inf + 369 1.419 * * [simplify]: Extracting #6: cost 2 inf + 793 1.419 * * [simplify]: Extracting #7: cost 0 inf + 1217 1.420 * [simplify]: Simplified to (/ (exp x) (cbrt (- (exp x) 1))) 1.420 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (exp x) (cbrt (- (exp x) 1))))) 1.420 * * * * [progress]: [ 42 / 69 ] simplifiying candidate # 1.420 * [simplify]: Simplifying (/ 1 (sqrt (- (exp x) 1))) 1.420 * * [simplify]: iters left: 6 (6 enodes) 1.424 * * [simplify]: iters left: 5 (23 enodes) 1.431 * * [simplify]: iters left: 4 (27 enodes) 1.438 * * [simplify]: Extracting #0: cost 1 inf + 0 1.438 * * [simplify]: Extracting #1: cost 4 inf + 0 1.438 * * [simplify]: Extracting #2: cost 5 inf + 1 1.438 * * [simplify]: Extracting #3: cost 8 inf + 1 1.439 * * [simplify]: Extracting #4: cost 9 inf + 2 1.439 * * [simplify]: Extracting #5: cost 6 inf + 145 1.439 * * [simplify]: Extracting #6: cost 1 inf + 865 1.439 * * [simplify]: Extracting #7: cost 0 inf + 1057 1.439 * [simplify]: Simplified to (/ 1 (sqrt (- (exp x) 1))) 1.439 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (- (exp x) 1))) (/ (exp x) (sqrt (- (exp x) 1))))) 1.439 * [simplify]: Simplifying (/ (exp x) (sqrt (- (exp x) 1))) 1.439 * * [simplify]: iters left: 6 (6 enodes) 1.441 * * [simplify]: iters left: 5 (23 enodes) 1.445 * * [simplify]: iters left: 4 (27 enodes) 1.450 * * [simplify]: Extracting #0: cost 1 inf + 0 1.450 * * [simplify]: Extracting #1: cost 4 inf + 0 1.450 * * [simplify]: Extracting #2: cost 8 inf + 0 1.450 * * [simplify]: Extracting #3: cost 10 inf + 1 1.450 * * [simplify]: Extracting #4: cost 6 inf + 145 1.450 * * [simplify]: Extracting #5: cost 1 inf + 865 1.450 * * [simplify]: Extracting #6: cost 0 inf + 1057 1.450 * [simplify]: Simplified to (/ (exp x) (sqrt (- (exp x) 1))) 1.450 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (- (exp x) 1))) (/ (exp x) (sqrt (- (exp x) 1))))) 1.450 * * * * [progress]: [ 43 / 69 ] simplifiying candidate # 1.451 * [simplify]: Simplifying (/ 1 1) 1.451 * * [simplify]: iters left: 2 (2 enodes) 1.451 * * [simplify]: iters left: 1 (6 enodes) 1.453 * * [simplify]: Extracting #0: cost 1 inf + 0 1.453 * * [simplify]: Extracting #1: cost 0 inf + 1 1.453 * [simplify]: Simplified to 1 1.453 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ (exp x) (- (exp x) 1)))) 1.453 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1)) 1.453 * * [simplify]: iters left: 5 (5 enodes) 1.455 * * [simplify]: iters left: 4 (20 enodes) 1.458 * * [simplify]: iters left: 3 (24 enodes) 1.462 * * [simplify]: Extracting #0: cost 1 inf + 0 1.462 * * [simplify]: Extracting #1: cost 4 inf + 0 1.462 * * [simplify]: Extracting #2: cost 9 inf + 0 1.462 * * [simplify]: Extracting #3: cost 6 inf + 3 1.462 * * [simplify]: Extracting #4: cost 0 inf + 673 1.462 * [simplify]: Simplified to (/ (exp x) (- (exp x) 1)) 1.462 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ (exp x) (- (exp x) 1)))) 1.462 * * * * [progress]: [ 44 / 69 ] simplifiying candidate # 1.463 * [simplify]: Simplifying (/ 1 (+ (sqrt (exp x)) (sqrt 1))) 1.463 * * [simplify]: iters left: 6 (7 enodes) 1.465 * * [simplify]: iters left: 5 (24 enodes) 1.469 * * [simplify]: iters left: 4 (26 enodes) 1.476 * * [simplify]: Extracting #0: cost 1 inf + 0 1.476 * * [simplify]: Extracting #1: cost 4 inf + 0 1.476 * * [simplify]: Extracting #2: cost 5 inf + 1 1.476 * * [simplify]: Extracting #3: cost 7 inf + 1 1.476 * * [simplify]: Extracting #4: cost 9 inf + 1 1.476 * * [simplify]: Extracting #5: cost 8 inf + 2 1.477 * * [simplify]: Extracting #6: cost 4 inf + 366 1.477 * * [simplify]: Extracting #7: cost 2 inf + 710 1.477 * * [simplify]: Extracting #8: cost 0 inf + 1054 1.477 * [simplify]: Simplified to (/ 1 (+ (sqrt (exp x)) 1)) 1.477 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) (sqrt 1))))) 1.478 * [simplify]: Simplifying (/ (exp x) (- (sqrt (exp x)) (sqrt 1))) 1.478 * * [simplify]: iters left: 6 (7 enodes) 1.486 * * [simplify]: iters left: 5 (26 enodes) 1.494 * * [simplify]: iters left: 4 (32 enodes) 1.503 * * [simplify]: Extracting #0: cost 1 inf + 0 1.503 * * [simplify]: Extracting #1: cost 4 inf + 0 1.503 * * [simplify]: Extracting #2: cost 10 inf + 0 1.503 * * [simplify]: Extracting #3: cost 8 inf + 3 1.503 * * [simplify]: Extracting #4: cost 3 inf + 519 1.504 * * [simplify]: Extracting #5: cost 1 inf + 863 1.504 * * [simplify]: Extracting #6: cost 0 inf + 1055 1.504 * [simplify]: Simplified to (/ (exp x) (+ (sqrt (exp x)) -1)) 1.504 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) (sqrt 1))) (/ (exp x) (+ (sqrt (exp x)) -1)))) 1.504 * * * * [progress]: [ 45 / 69 ] simplifiying candidate # 1.505 * [simplify]: Simplifying (/ 1 (+ (sqrt (exp x)) 1)) 1.505 * * [simplify]: iters left: 6 (6 enodes) 1.508 * * [simplify]: iters left: 5 (21 enodes) 1.514 * * [simplify]: iters left: 4 (23 enodes) 1.521 * * [simplify]: Extracting #0: cost 1 inf + 0 1.521 * * [simplify]: Extracting #1: cost 4 inf + 0 1.521 * * [simplify]: Extracting #2: cost 5 inf + 1 1.521 * * [simplify]: Extracting #3: cost 7 inf + 1 1.522 * * [simplify]: Extracting #4: cost 9 inf + 1 1.522 * * [simplify]: Extracting #5: cost 8 inf + 2 1.522 * * [simplify]: Extracting #6: cost 1 inf + 862 1.522 * * [simplify]: Extracting #7: cost 0 inf + 1054 1.522 * [simplify]: Simplified to (/ 1 (+ (sqrt (exp x)) 1)) 1.522 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1)))) 1.523 * [simplify]: Simplifying (/ (exp x) (- (sqrt (exp x)) 1)) 1.523 * * [simplify]: iters left: 6 (6 enodes) 1.527 * * [simplify]: iters left: 5 (23 enodes) 1.535 * * [simplify]: iters left: 4 (27 enodes) 1.544 * * [simplify]: Extracting #0: cost 1 inf + 0 1.544 * * [simplify]: Extracting #1: cost 4 inf + 0 1.544 * * [simplify]: Extracting #2: cost 10 inf + 0 1.544 * * [simplify]: Extracting #3: cost 8 inf + 3 1.544 * * [simplify]: Extracting #4: cost 4 inf + 367 1.544 * * [simplify]: Extracting #5: cost 2 inf + 711 1.545 * * [simplify]: Extracting #6: cost 0 inf + 1055 1.545 * [simplify]: Simplified to (/ (exp x) (+ (sqrt (exp x)) -1)) 1.545 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (+ (sqrt (exp x)) -1)))) 1.545 * * * * [progress]: [ 46 / 69 ] simplifiying candidate # 1.545 * [simplify]: Simplifying (/ 1 (+ (sqrt (exp x)) 1)) 1.545 * * [simplify]: iters left: 6 (6 enodes) 1.549 * * [simplify]: iters left: 5 (21 enodes) 1.556 * * [simplify]: iters left: 4 (23 enodes) 1.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1.563 * * [simplify]: Extracting #1: cost 4 inf + 0 1.563 * * [simplify]: Extracting #2: cost 5 inf + 1 1.563 * * [simplify]: Extracting #3: cost 7 inf + 1 1.563 * * [simplify]: Extracting #4: cost 9 inf + 1 1.563 * * [simplify]: Extracting #5: cost 8 inf + 2 1.563 * * [simplify]: Extracting #6: cost 1 inf + 862 1.564 * * [simplify]: Extracting #7: cost 0 inf + 1054 1.564 * [simplify]: Simplified to (/ 1 (+ (sqrt (exp x)) 1)) 1.564 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1)))) 1.564 * [simplify]: Simplifying (/ (exp x) (- (sqrt (exp x)) 1)) 1.565 * * [simplify]: iters left: 6 (6 enodes) 1.568 * * [simplify]: iters left: 5 (23 enodes) 1.576 * * [simplify]: iters left: 4 (27 enodes) 1.583 * * [simplify]: Extracting #0: cost 1 inf + 0 1.583 * * [simplify]: Extracting #1: cost 4 inf + 0 1.583 * * [simplify]: Extracting #2: cost 10 inf + 0 1.583 * * [simplify]: Extracting #3: cost 8 inf + 3 1.583 * * [simplify]: Extracting #4: cost 4 inf + 367 1.583 * * [simplify]: Extracting #5: cost 2 inf + 711 1.583 * * [simplify]: Extracting #6: cost 0 inf + 1055 1.584 * [simplify]: Simplified to (/ (exp x) (+ (sqrt (exp x)) -1)) 1.584 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (+ (sqrt (exp x)) -1)))) 1.584 * * * * [progress]: [ 47 / 69 ] simplifiying candidate # 1.584 * [simplify]: Simplifying (/ 1 1) 1.584 * * [simplify]: iters left: 2 (2 enodes) 1.585 * * [simplify]: iters left: 1 (6 enodes) 1.586 * * [simplify]: Extracting #0: cost 1 inf + 0 1.586 * * [simplify]: Extracting #1: cost 0 inf + 1 1.586 * [simplify]: Simplified to 1 1.586 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ (exp x) (- (exp x) 1)))) 1.586 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1)) 1.586 * * [simplify]: iters left: 5 (5 enodes) 1.588 * * [simplify]: iters left: 4 (20 enodes) 1.591 * * [simplify]: iters left: 3 (24 enodes) 1.595 * * [simplify]: Extracting #0: cost 1 inf + 0 1.595 * * [simplify]: Extracting #1: cost 4 inf + 0 1.595 * * [simplify]: Extracting #2: cost 9 inf + 0 1.595 * * [simplify]: Extracting #3: cost 6 inf + 3 1.595 * * [simplify]: Extracting #4: cost 0 inf + 673 1.595 * [simplify]: Simplified to (/ (exp x) (- (exp x) 1)) 1.595 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ (exp x) (- (exp x) 1)))) 1.595 * * * * [progress]: [ 48 / 69 ] simplifiying candidate # 1.595 * * * * [progress]: [ 49 / 69 ] simplifiying candidate # 1.595 * * * * [progress]: [ 50 / 69 ] simplifiying candidate # 1.595 * * * * [progress]: [ 51 / 69 ] simplifiying candidate # 1.596 * [simplify]: Simplifying (cbrt (- (exp x) 1)) 1.596 * * [simplify]: iters left: 4 (5 enodes) 1.597 * * [simplify]: iters left: 3 (20 enodes) 1.601 * * [simplify]: iters left: 2 (24 enodes) 1.605 * * [simplify]: Extracting #0: cost 1 inf + 0 1.605 * * [simplify]: Extracting #1: cost 3 inf + 0 1.605 * * [simplify]: Extracting #2: cost 7 inf + 0 1.605 * * [simplify]: Extracting #3: cost 7 inf + 2 1.605 * * [simplify]: Extracting #4: cost 6 inf + 3 1.605 * * [simplify]: Extracting #5: cost 0 inf + 753 1.605 * [simplify]: Simplified to (cbrt (- (exp x) 1)) 1.605 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1)))) 1.605 * * * * [progress]: [ 52 / 69 ] simplifiying candidate # 1.606 * [simplify]: Simplifying (sqrt (- (exp x) 1)) 1.606 * * [simplify]: iters left: 4 (5 enodes) 1.607 * * [simplify]: iters left: 3 (20 enodes) 1.611 * * [simplify]: iters left: 2 (24 enodes) 1.615 * * [simplify]: Extracting #0: cost 1 inf + 0 1.615 * * [simplify]: Extracting #1: cost 3 inf + 0 1.615 * * [simplify]: Extracting #2: cost 7 inf + 0 1.615 * * [simplify]: Extracting #3: cost 7 inf + 2 1.615 * * [simplify]: Extracting #4: cost 6 inf + 3 1.615 * * [simplify]: Extracting #5: cost 0 inf + 673 1.615 * [simplify]: Simplified to (sqrt (- (exp x) 1)) 1.615 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1)))) 1.616 * * * * [progress]: [ 53 / 69 ] simplifiying candidate # 1.616 * [simplify]: Simplifying (- (exp x) 1) 1.616 * * [simplify]: iters left: 3 (4 enodes) 1.619 * * [simplify]: iters left: 2 (17 enodes) 1.627 * * [simplify]: iters left: 1 (21 enodes) 1.633 * * [simplify]: Extracting #0: cost 1 inf + 0 1.633 * * [simplify]: Extracting #1: cost 5 inf + 0 1.633 * * [simplify]: Extracting #2: cost 5 inf + 2 1.634 * * [simplify]: Extracting #3: cost 4 inf + 3 1.634 * * [simplify]: Extracting #4: cost 0 inf + 369 1.634 * [simplify]: Simplified to (- (exp x) 1) 1.634 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) 1) (- (exp x) 1))) 1.634 * * * * [progress]: [ 54 / 69 ] simplifiying candidate # 1.634 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt 1)) 1.634 * * [simplify]: iters left: 4 (6 enodes) 1.639 * * [simplify]: iters left: 3 (23 enodes) 1.647 * * [simplify]: iters left: 2 (29 enodes) 1.655 * * [simplify]: Extracting #0: cost 1 inf + 0 1.655 * * [simplify]: Extracting #1: cost 5 inf + 0 1.655 * * [simplify]: Extracting #2: cost 5 inf + 2 1.655 * * [simplify]: Extracting #3: cost 7 inf + 2 1.655 * * [simplify]: Extracting #4: cost 6 inf + 3 1.655 * * [simplify]: Extracting #5: cost 2 inf + 367 1.656 * * [simplify]: Extracting #6: cost 1 inf + 519 1.656 * * [simplify]: Extracting #7: cost 0 inf + 671 1.656 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1.656 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) (sqrt 1))) (+ (sqrt (exp x)) -1))) 1.656 * * * * [progress]: [ 55 / 69 ] simplifiying candidate # 1.657 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 1.657 * * [simplify]: iters left: 4 (5 enodes) 1.660 * * [simplify]: iters left: 3 (20 enodes) 1.667 * * [simplify]: iters left: 2 (24 enodes) 1.672 * * [simplify]: Extracting #0: cost 1 inf + 0 1.672 * * [simplify]: Extracting #1: cost 5 inf + 0 1.672 * * [simplify]: Extracting #2: cost 5 inf + 2 1.672 * * [simplify]: Extracting #3: cost 7 inf + 2 1.672 * * [simplify]: Extracting #4: cost 6 inf + 3 1.672 * * [simplify]: Extracting #5: cost 0 inf + 671 1.672 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1.672 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (+ (sqrt (exp x)) -1))) 1.672 * * * * [progress]: [ 56 / 69 ] simplifiying candidate # 1.673 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 1.673 * * [simplify]: iters left: 4 (5 enodes) 1.674 * * [simplify]: iters left: 3 (20 enodes) 1.678 * * [simplify]: iters left: 2 (24 enodes) 1.682 * * [simplify]: Extracting #0: cost 1 inf + 0 1.682 * * [simplify]: Extracting #1: cost 5 inf + 0 1.682 * * [simplify]: Extracting #2: cost 5 inf + 2 1.682 * * [simplify]: Extracting #3: cost 7 inf + 2 1.682 * * [simplify]: Extracting #4: cost 6 inf + 3 1.682 * * [simplify]: Extracting #5: cost 0 inf + 671 1.682 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1.682 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (+ (sqrt (exp x)) -1))) 1.682 * * * * [progress]: [ 57 / 69 ] simplifiying candidate # 1.682 * [simplify]: Simplifying (- (exp x) 1) 1.682 * * [simplify]: iters left: 3 (4 enodes) 1.684 * * [simplify]: iters left: 2 (17 enodes) 1.687 * * [simplify]: iters left: 1 (21 enodes) 1.690 * * [simplify]: Extracting #0: cost 1 inf + 0 1.690 * * [simplify]: Extracting #1: cost 5 inf + 0 1.690 * * [simplify]: Extracting #2: cost 5 inf + 2 1.690 * * [simplify]: Extracting #3: cost 4 inf + 3 1.690 * * [simplify]: Extracting #4: cost 0 inf + 369 1.691 * [simplify]: Simplified to (- (exp x) 1) 1.691 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (exp x) 1) (- (exp x) 1))) 1.691 * * * * [progress]: [ 58 / 69 ] simplifiying candidate # 1.691 * [simplify]: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1.691 * * [simplify]: iters left: 4 (4 enodes) 1.692 * * [simplify]: iters left: 3 (12 enodes) 1.693 * * [simplify]: Extracting #0: cost 1 inf + 0 1.693 * * [simplify]: Extracting #1: cost 3 inf + 0 1.694 * * [simplify]: Extracting #2: cost 5 inf + 0 1.694 * * [simplify]: Extracting #3: cost 7 inf + 0 1.694 * * [simplify]: Extracting #4: cost 6 inf + 1 1.694 * * [simplify]: Extracting #5: cost 0 inf + 827 1.694 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1.694 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (- (exp x) 1) (cbrt (exp x))))) 1.694 * * * * [progress]: [ 59 / 69 ] simplifiying candidate # 1.694 * [simplify]: Simplifying (sqrt (exp x)) 1.694 * * [simplify]: iters left: 2 (3 enodes) 1.695 * * [simplify]: iters left: 1 (9 enodes) 1.696 * * [simplify]: Extracting #0: cost 1 inf + 0 1.696 * * [simplify]: Extracting #1: cost 3 inf + 0 1.696 * * [simplify]: Extracting #2: cost 5 inf + 0 1.696 * * [simplify]: Extracting #3: cost 4 inf + 1 1.696 * * [simplify]: Extracting #4: cost 0 inf + 365 1.696 * [simplify]: Simplified to (sqrt (exp x)) 1.696 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1) (sqrt (exp x))))) 1.696 * * * * [progress]: [ 60 / 69 ] simplifiying candidate # 1.696 * * * * [progress]: [ 61 / 69 ] simplifiying candidate # 1.696 * [simplify]: Simplifying (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))) 1.696 * * [simplify]: iters left: 6 (8 enodes) 1.699 * * [simplify]: iters left: 5 (30 enodes) 1.705 * * [simplify]: iters left: 4 (45 enodes) 1.713 * * [simplify]: iters left: 3 (55 enodes) 1.721 * * [simplify]: iters left: 2 (61 enodes) 1.736 * * [simplify]: iters left: 1 (65 enodes) 1.754 * * [simplify]: Extracting #0: cost 1 inf + 0 1.754 * * [simplify]: Extracting #1: cost 8 inf + 0 1.754 * * [simplify]: Extracting #2: cost 14 inf + 1 1.754 * * [simplify]: Extracting #3: cost 14 inf + 2 1.755 * * [simplify]: Extracting #4: cost 11 inf + 155 1.755 * * [simplify]: Extracting #5: cost 2 inf + 1320 1.756 * * [simplify]: Extracting #6: cost 0 inf + 1664 1.757 * [simplify]: Simplified to (+ (* (exp x) (+ 1 (exp x))) 1) 1.757 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (exp x) (- (pow (exp x) 3) (pow 1 3))) (+ (* (exp x) (+ 1 (exp x))) 1))) 1.757 * * * * [progress]: [ 62 / 69 ] simplifiying candidate # 1.757 * [simplify]: Simplifying (+ (exp x) 1) 1.757 * * [simplify]: iters left: 3 (4 enodes) 1.760 * * [simplify]: iters left: 2 (15 enodes) 1.764 * * [simplify]: iters left: 1 (17 enodes) 1.769 * * [simplify]: Extracting #0: cost 1 inf + 0 1.769 * * [simplify]: Extracting #1: cost 4 inf + 0 1.769 * * [simplify]: Extracting #2: cost 5 inf + 1 1.769 * * [simplify]: Extracting #3: cost 4 inf + 2 1.770 * * [simplify]: Extracting #4: cost 1 inf + 256 1.770 * * [simplify]: Extracting #5: cost 0 inf + 368 1.770 * [simplify]: Simplified to (+ (exp x) 1) 1.770 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1))) 1.770 * * * * [progress]: [ 63 / 69 ] simplifiying candidate #real (real->posit16 (/ (exp x) (- (exp x) 1)))))> 1.770 * * * * [progress]: [ 64 / 69 ] simplifiying candidate # 1.770 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1.770 * * [simplify]: iters left: 6 (11 enodes) 1.778 * * [simplify]: iters left: 5 (50 enodes) 1.798 * * [simplify]: iters left: 4 (92 enodes) 1.834 * * [simplify]: iters left: 3 (173 enodes) 1.895 * * [simplify]: iters left: 2 (302 enodes) 2.002 * * [simplify]: Extracting #0: cost 1 inf + 0 2.003 * * [simplify]: Extracting #1: cost 10 inf + 0 2.003 * * [simplify]: Extracting #2: cost 51 inf + 1 2.003 * * [simplify]: Extracting #3: cost 103 inf + 129 2.004 * * [simplify]: Extracting #4: cost 80 inf + 2291 2.006 * * [simplify]: Extracting #5: cost 22 inf + 21895 2.010 * * [simplify]: Extracting #6: cost 0 inf + 32338 2.014 * * [simplify]: Extracting #7: cost 0 inf + 32207 2.017 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 2.017 * [simplify]: Simplified (2 2) to (λ (x) (/ (exp x) (+ x (* (* x x) (+ (* x 1/6) 1/2))))) 2.017 * * * * [progress]: [ 65 / 69 ] simplifiying candidate # 2.017 * [simplify]: Simplifying (- (exp x) 1) 2.017 * * [simplify]: iters left: 3 (4 enodes) 2.020 * * [simplify]: iters left: 2 (17 enodes) 2.025 * * [simplify]: iters left: 1 (21 enodes) 2.031 * * [simplify]: Extracting #0: cost 1 inf + 0 2.031 * * [simplify]: Extracting #1: cost 5 inf + 0 2.031 * * [simplify]: Extracting #2: cost 5 inf + 2 2.031 * * [simplify]: Extracting #3: cost 4 inf + 3 2.031 * * [simplify]: Extracting #4: cost 0 inf + 369 2.032 * [simplify]: Simplified to (- (exp x) 1) 2.032 * [simplify]: Simplified (2 2) to (λ (x) (/ (exp x) (- (exp x) 1))) 2.032 * * * * [progress]: [ 66 / 69 ] simplifiying candidate # 2.032 * [simplify]: Simplifying (- (exp x) 1) 2.032 * * [simplify]: iters left: 3 (4 enodes) 2.035 * * [simplify]: iters left: 2 (17 enodes) 2.040 * * [simplify]: iters left: 1 (21 enodes) 2.045 * * [simplify]: Extracting #0: cost 1 inf + 0 2.045 * * [simplify]: Extracting #1: cost 5 inf + 0 2.046 * * [simplify]: Extracting #2: cost 5 inf + 2 2.046 * * [simplify]: Extracting #3: cost 4 inf + 3 2.046 * * [simplify]: Extracting #4: cost 0 inf + 369 2.046 * [simplify]: Simplified to (- (exp x) 1) 2.046 * [simplify]: Simplified (2 2) to (λ (x) (/ (exp x) (- (exp x) 1))) 2.046 * * * * [progress]: [ 67 / 69 ] simplifiying candidate # 2.046 * [simplify]: Simplifying (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2.047 * * [simplify]: iters left: 6 (8 enodes) 2.051 * * [simplify]: iters left: 5 (31 enodes) 2.060 * * [simplify]: iters left: 4 (41 enodes) 2.072 * * [simplify]: iters left: 3 (46 enodes) 2.083 * * [simplify]: Extracting #0: cost 1 inf + 0 2.083 * * [simplify]: Extracting #1: cost 8 inf + 0 2.083 * * [simplify]: Extracting #2: cost 15 inf + 1 2.083 * * [simplify]: Extracting #3: cost 12 inf + 4 2.083 * * [simplify]: Extracting #4: cost 1 inf + 995 2.084 * * [simplify]: Extracting #5: cost 0 inf + 1078 2.084 * [simplify]: Simplified to (+ (+ (* 1/12 x) (/ 1 x)) 1/2) 2.084 * [simplify]: Simplified (2) to (λ (x) (+ (+ (* 1/12 x) (/ 1 x)) 1/2)) 2.084 * * * * [progress]: [ 68 / 69 ] simplifiying candidate # 2.085 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1)) 2.085 * * [simplify]: iters left: 5 (5 enodes) 2.088 * * [simplify]: iters left: 4 (20 enodes) 2.093 * * [simplify]: iters left: 3 (24 enodes) 2.104 * * [simplify]: Extracting #0: cost 1 inf + 0 2.104 * * [simplify]: Extracting #1: cost 4 inf + 0 2.104 * * [simplify]: Extracting #2: cost 9 inf + 0 2.104 * * [simplify]: Extracting #3: cost 6 inf + 3 2.104 * * [simplify]: Extracting #4: cost 0 inf + 673 2.105 * [simplify]: Simplified to (/ (exp x) (- (exp x) 1)) 2.105 * [simplify]: Simplified (2) to (λ (x) (/ (exp x) (- (exp x) 1))) 2.105 * * * * [progress]: [ 69 / 69 ] simplifiying candidate # 2.105 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1)) 2.105 * * [simplify]: iters left: 5 (5 enodes) 2.108 * * [simplify]: iters left: 4 (20 enodes) 2.114 * * [simplify]: iters left: 3 (24 enodes) 2.120 * * [simplify]: Extracting #0: cost 1 inf + 0 2.121 * * [simplify]: Extracting #1: cost 4 inf + 0 2.121 * * [simplify]: Extracting #2: cost 9 inf + 0 2.121 * * [simplify]: Extracting #3: cost 6 inf + 3 2.121 * * [simplify]: Extracting #4: cost 0 inf + 673 2.121 * [simplify]: Simplified to (/ (exp x) (- (exp x) 1)) 2.121 * [simplify]: Simplified (2) to (λ (x) (/ (exp x) (- (exp x) 1))) 2.121 * * * [progress]: adding candidates to table 2.689 * * [progress]: iteration 2 / 4 2.689 * * * [progress]: picking best candidate 2.694 * * * * [pick]: Picked # 2.694 * * * [progress]: localizing error 2.705 * * * [progress]: generating rewritten candidates 2.705 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 2.719 * * * [progress]: generating series expansions 2.719 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 2.719 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 2.719 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0 2.719 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 2.719 * [taylor]: Taking taylor expansion of 1/12 in x 2.719 * [backup-simplify]: Simplify 1/12 into 1/12 2.719 * [taylor]: Taking taylor expansion of x in x 2.719 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.719 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 2.719 * [taylor]: Taking taylor expansion of 1/12 in x 2.719 * [backup-simplify]: Simplify 1/12 into 1/12 2.719 * [taylor]: Taking taylor expansion of x in x 2.719 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.720 * [backup-simplify]: Simplify (* 1/12 0) into 0 2.720 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 2.721 * [backup-simplify]: Simplify 1/12 into 1/12 2.722 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 2.722 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.724 * [backup-simplify]: Simplify 0 into 0 2.725 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.725 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.728 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 2.729 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 2.731 * [backup-simplify]: Simplify (* 1/12 (/ 1 x)) into (/ 1/12 x) 2.731 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0 2.731 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 2.731 * [taylor]: Taking taylor expansion of 1/12 in x 2.731 * [backup-simplify]: Simplify 1/12 into 1/12 2.731 * [taylor]: Taking taylor expansion of x in x 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify 1 into 1 2.732 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 2.732 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 2.732 * [taylor]: Taking taylor expansion of 1/12 in x 2.732 * [backup-simplify]: Simplify 1/12 into 1/12 2.732 * [taylor]: Taking taylor expansion of x in x 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify 1 into 1 2.732 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 2.732 * [backup-simplify]: Simplify 1/12 into 1/12 2.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 2.733 * [backup-simplify]: Simplify 0 into 0 2.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.734 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.736 * [backup-simplify]: Simplify 0 into 0 2.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.737 * [backup-simplify]: Simplify 0 into 0 2.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.738 * [backup-simplify]: Simplify 0 into 0 2.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.739 * [backup-simplify]: Simplify 0 into 0 2.739 * [backup-simplify]: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 2.739 * [backup-simplify]: Simplify (* 1/12 (/ 1 (- x))) into (/ -1/12 x) 2.739 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0 2.739 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 2.739 * [taylor]: Taking taylor expansion of -1/12 in x 2.739 * [backup-simplify]: Simplify -1/12 into -1/12 2.739 * [taylor]: Taking taylor expansion of x in x 2.740 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify 1 into 1 2.740 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 2.740 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 2.740 * [taylor]: Taking taylor expansion of -1/12 in x 2.740 * [backup-simplify]: Simplify -1/12 into -1/12 2.740 * [taylor]: Taking taylor expansion of x in x 2.740 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify 1 into 1 2.741 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 2.741 * [backup-simplify]: Simplify -1/12 into -1/12 2.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 2.742 * [backup-simplify]: Simplify 0 into 0 2.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.743 * [backup-simplify]: Simplify 0 into 0 2.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.744 * [backup-simplify]: Simplify 0 into 0 2.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.745 * [backup-simplify]: Simplify 0 into 0 2.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.746 * [backup-simplify]: Simplify 0 into 0 2.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.748 * [backup-simplify]: Simplify 0 into 0 2.748 * [backup-simplify]: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 2.748 * * * [progress]: simplifying candidates 2.748 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 2.749 * [simplify]: Simplifying (* 1/12 x) 2.749 * * [simplify]: iters left: 2 (3 enodes) 2.751 * * [simplify]: iters left: 1 (10 enodes) 2.754 * * [simplify]: Extracting #0: cost 1 inf + 0 2.754 * * [simplify]: Extracting #1: cost 4 inf + 0 2.755 * * [simplify]: Extracting #2: cost 2 inf + 2 2.755 * * [simplify]: Extracting #3: cost 0 inf + 86 2.755 * [simplify]: Simplified to (* 1/12 x) 2.755 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (pow (* 1/12 x) 1) (+ (/ 1 x) 1/2))) 2.755 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 2.755 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 2.755 * [simplify]: Simplifying (+ (log 1/12) (log x)) 2.755 * * [simplify]: iters left: 3 (5 enodes) 2.758 * * [simplify]: iters left: 2 (16 enodes) 2.764 * * [simplify]: Extracting #0: cost 1 inf + 0 2.764 * * [simplify]: Extracting #1: cost 4 inf + 0 2.764 * * [simplify]: Extracting #2: cost 8 inf + 0 2.764 * * [simplify]: Extracting #3: cost 4 inf + 144 2.764 * * [simplify]: Extracting #4: cost 0 inf + 650 2.764 * [simplify]: Simplified to (+ (log 1/12) (log x)) 2.764 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (exp (+ (log 1/12) (log x))) (+ (/ 1 x) 1/2))) 2.764 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 2.764 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 2.764 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 2.765 * [simplify]: Simplifying (* (* (* 1/12 1/12) 1/12) (* (* x x) x)) 2.765 * * [simplify]: iters left: 6 (7 enodes) 2.770 * * [simplify]: iters left: 5 (29 enodes) 2.783 * * [simplify]: iters left: 4 (59 enodes) 2.804 * * [simplify]: iters left: 3 (115 enodes) 2.838 * * [simplify]: iters left: 2 (193 enodes) 2.880 * * [simplify]: iters left: 1 (265 enodes) 2.942 * * [simplify]: Extracting #0: cost 1 inf + 0 2.943 * * [simplify]: Extracting #1: cost 27 inf + 0 2.943 * * [simplify]: Extracting #2: cost 62 inf + 210 2.944 * * [simplify]: Extracting #3: cost 46 inf + 1990 2.945 * * [simplify]: Extracting #4: cost 28 inf + 7163 2.946 * * [simplify]: Extracting #5: cost 10 inf + 12930 2.948 * * [simplify]: Extracting #6: cost 0 inf + 17345 2.950 * [simplify]: Simplified to (* 1/1728 (* x (* x x))) 2.950 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (cbrt (* 1/1728 (* x (* x x)))) (+ (/ 1 x) 1/2))) 2.950 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 2.950 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 2.950 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 2.950 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 2.950 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 2.951 * [simplify]: Simplifying (* (sqrt 1/12) (sqrt x)) 2.951 * * [simplify]: iters left: 3 (5 enodes) 2.952 * * [simplify]: iters left: 2 (16 enodes) 2.955 * * [simplify]: Extracting #0: cost 1 inf + 0 2.956 * * [simplify]: Extracting #1: cost 4 inf + 0 2.956 * * [simplify]: Extracting #2: cost 8 inf + 0 2.956 * * [simplify]: Extracting #3: cost 4 inf + 84 2.956 * * [simplify]: Extracting #4: cost 0 inf + 410 2.956 * [simplify]: Simplified to (* (sqrt x) (sqrt 1/12)) 2.956 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* (sqrt x) (sqrt 1/12)) (* (sqrt 1/12) (sqrt x))) (+ (/ 1 x) 1/2))) 2.956 * [simplify]: Simplifying (* (sqrt 1/12) (sqrt x)) 2.956 * * [simplify]: iters left: 3 (5 enodes) 2.958 * * [simplify]: iters left: 2 (16 enodes) 2.961 * * [simplify]: Extracting #0: cost 1 inf + 0 2.961 * * [simplify]: Extracting #1: cost 4 inf + 0 2.961 * * [simplify]: Extracting #2: cost 8 inf + 0 2.961 * * [simplify]: Extracting #3: cost 4 inf + 84 2.961 * * [simplify]: Extracting #4: cost 0 inf + 410 2.961 * [simplify]: Simplified to (* (sqrt x) (sqrt 1/12)) 2.962 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* (sqrt 1/12) (sqrt x)) (* (sqrt x) (sqrt 1/12))) (+ (/ 1 x) 1/2))) 2.962 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 2.962 * [simplify]: Simplifying (cbrt x) 2.962 * * [simplify]: iters left: 1 (2 enodes) 2.962 * * [simplify]: Extracting #0: cost 1 inf + 0 2.962 * * [simplify]: Extracting #1: cost 3 inf + 0 2.962 * * [simplify]: Extracting #2: cost 2 inf + 1 2.962 * * [simplify]: Extracting #3: cost 0 inf + 163 2.962 * [simplify]: Simplified to (cbrt x) 2.962 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* 1/12 (* (cbrt x) (cbrt x))) (cbrt x)) (+ (/ 1 x) 1/2))) 2.962 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 2.963 * [simplify]: Simplifying (sqrt x) 2.963 * * [simplify]: iters left: 1 (2 enodes) 2.963 * * [simplify]: Extracting #0: cost 1 inf + 0 2.963 * * [simplify]: Extracting #1: cost 3 inf + 0 2.963 * * [simplify]: Extracting #2: cost 2 inf + 1 2.963 * * [simplify]: Extracting #3: cost 0 inf + 83 2.963 * [simplify]: Simplified to (sqrt x) 2.963 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* 1/12 (sqrt x)) (sqrt x)) (+ (/ 1 x) 1/2))) 2.963 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 2.963 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 2.964 * [simplify]: Simplifying (* (cbrt 1/12) (cbrt 1/12)) 2.964 * * [simplify]: iters left: 3 (3 enodes) 2.965 * * [simplify]: iters left: 2 (9 enodes) 2.967 * * [simplify]: Extracting #0: cost 1 inf + 0 2.967 * * [simplify]: Extracting #1: cost 3 inf + 0 2.967 * * [simplify]: Extracting #2: cost 5 inf + 0 2.967 * * [simplify]: Extracting #3: cost 4 inf + 1 2.967 * * [simplify]: Extracting #4: cost 0 inf + 405 2.967 * [simplify]: Simplified to (* (cbrt 1/12) (cbrt 1/12)) 2.967 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* (cbrt 1/12) (cbrt 1/12)) (* (cbrt 1/12) x)) (+ (/ 1 x) 1/2))) 2.968 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 2.968 * [simplify]: Simplifying (sqrt 1/12) 2.968 * * [simplify]: iters left: 1 (2 enodes) 2.969 * * [simplify]: Extracting #0: cost 1 inf + 0 2.969 * * [simplify]: Extracting #1: cost 3 inf + 0 2.969 * * [simplify]: Extracting #2: cost 2 inf + 1 2.969 * * [simplify]: Extracting #3: cost 0 inf + 83 2.969 * [simplify]: Simplified to (sqrt 1/12) 2.969 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (sqrt 1/12) (* (sqrt 1/12) x)) (+ (/ 1 x) 1/2))) 2.969 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 2.969 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2)))> 2.969 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 2.969 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 2.969 * [simplify]: Simplifying (* 1/12 x) 2.969 * * [simplify]: iters left: 2 (3 enodes) 2.971 * * [simplify]: iters left: 1 (10 enodes) 2.973 * * [simplify]: Extracting #0: cost 1 inf + 0 2.973 * * [simplify]: Extracting #1: cost 4 inf + 0 2.973 * * [simplify]: Extracting #2: cost 2 inf + 2 2.973 * * [simplify]: Extracting #3: cost 0 inf + 86 2.973 * [simplify]: Simplified to (* 1/12 x) 2.973 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 2.973 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 2.973 * [simplify]: Simplifying (* 1/12 x) 2.973 * * [simplify]: iters left: 2 (3 enodes) 2.974 * * [simplify]: iters left: 1 (10 enodes) 2.976 * * [simplify]: Extracting #0: cost 1 inf + 0 2.976 * * [simplify]: Extracting #1: cost 4 inf + 0 2.976 * * [simplify]: Extracting #2: cost 2 inf + 2 2.976 * * [simplify]: Extracting #3: cost 0 inf + 86 2.976 * [simplify]: Simplified to (* 1/12 x) 2.976 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 2.976 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 2.976 * [simplify]: Simplifying (* 1/12 x) 2.976 * * [simplify]: iters left: 2 (3 enodes) 2.977 * * [simplify]: iters left: 1 (10 enodes) 2.979 * * [simplify]: Extracting #0: cost 1 inf + 0 2.979 * * [simplify]: Extracting #1: cost 4 inf + 0 2.979 * * [simplify]: Extracting #2: cost 2 inf + 2 2.979 * * [simplify]: Extracting #3: cost 0 inf + 86 2.979 * [simplify]: Simplified to (* 1/12 x) 2.979 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 2.980 * * * [progress]: adding candidates to table 3.113 * * [progress]: iteration 3 / 4 3.113 * * * [progress]: picking best candidate 3.133 * * * * [pick]: Picked #real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2)))> 3.133 * * * [progress]: localizing error 3.186 * * * [progress]: generating rewritten candidates 3.186 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 3.186 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 3.197 * * * [progress]: generating series expansions 3.197 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 3.197 * [backup-simplify]: Simplify (posit16->real (real->posit16 (* 1/12 x))) into (* 1/12 x) 3.197 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0 3.197 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 3.197 * [taylor]: Taking taylor expansion of 1/12 in x 3.197 * [backup-simplify]: Simplify 1/12 into 1/12 3.197 * [taylor]: Taking taylor expansion of x in x 3.197 * [backup-simplify]: Simplify 0 into 0 3.197 * [backup-simplify]: Simplify 1 into 1 3.197 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 3.198 * [taylor]: Taking taylor expansion of 1/12 in x 3.198 * [backup-simplify]: Simplify 1/12 into 1/12 3.198 * [taylor]: Taking taylor expansion of x in x 3.198 * [backup-simplify]: Simplify 0 into 0 3.198 * [backup-simplify]: Simplify 1 into 1 3.198 * [backup-simplify]: Simplify (* 1/12 0) into 0 3.198 * [backup-simplify]: Simplify 0 into 0 3.199 * [backup-simplify]: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 3.199 * [backup-simplify]: Simplify 1/12 into 1/12 3.200 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 3.200 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.202 * [backup-simplify]: Simplify 0 into 0 3.209 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.209 * [backup-simplify]: Simplify 0 into 0 3.211 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.211 * [backup-simplify]: Simplify 0 into 0 3.213 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 3.213 * [backup-simplify]: Simplify 0 into 0 3.214 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 3.215 * [backup-simplify]: Simplify 0 into 0 3.215 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 3.215 * [backup-simplify]: Simplify (posit16->real (real->posit16 (* 1/12 (/ 1 x)))) into (/ 1/12 x) 3.215 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0 3.215 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 3.215 * [taylor]: Taking taylor expansion of 1/12 in x 3.215 * [backup-simplify]: Simplify 1/12 into 1/12 3.215 * [taylor]: Taking taylor expansion of x in x 3.215 * [backup-simplify]: Simplify 0 into 0 3.215 * [backup-simplify]: Simplify 1 into 1 3.215 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 3.215 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 3.216 * [taylor]: Taking taylor expansion of 1/12 in x 3.216 * [backup-simplify]: Simplify 1/12 into 1/12 3.216 * [taylor]: Taking taylor expansion of x in x 3.216 * [backup-simplify]: Simplify 0 into 0 3.216 * [backup-simplify]: Simplify 1 into 1 3.216 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 3.216 * [backup-simplify]: Simplify 1/12 into 1/12 3.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 3.217 * [backup-simplify]: Simplify 0 into 0 3.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.218 * [backup-simplify]: Simplify 0 into 0 3.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.219 * [backup-simplify]: Simplify 0 into 0 3.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.220 * [backup-simplify]: Simplify 0 into 0 3.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.221 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.223 * [backup-simplify]: Simplify 0 into 0 3.223 * [backup-simplify]: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 3.223 * [backup-simplify]: Simplify (posit16->real (real->posit16 (* 1/12 (/ 1 (- x))))) into (/ -1/12 x) 3.223 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0 3.223 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 3.223 * [taylor]: Taking taylor expansion of -1/12 in x 3.223 * [backup-simplify]: Simplify -1/12 into -1/12 3.223 * [taylor]: Taking taylor expansion of x in x 3.223 * [backup-simplify]: Simplify 0 into 0 3.223 * [backup-simplify]: Simplify 1 into 1 3.224 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 3.224 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 3.224 * [taylor]: Taking taylor expansion of -1/12 in x 3.224 * [backup-simplify]: Simplify -1/12 into -1/12 3.224 * [taylor]: Taking taylor expansion of x in x 3.224 * [backup-simplify]: Simplify 0 into 0 3.224 * [backup-simplify]: Simplify 1 into 1 3.224 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 3.224 * [backup-simplify]: Simplify -1/12 into -1/12 3.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 3.225 * [backup-simplify]: Simplify 0 into 0 3.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.226 * [backup-simplify]: Simplify 0 into 0 3.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.227 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.228 * [backup-simplify]: Simplify 0 into 0 3.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.230 * [backup-simplify]: Simplify 0 into 0 3.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.231 * [backup-simplify]: Simplify 0 into 0 3.231 * [backup-simplify]: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 3.232 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 3.232 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 3.232 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0 3.232 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 3.232 * [taylor]: Taking taylor expansion of 1/12 in x 3.232 * [backup-simplify]: Simplify 1/12 into 1/12 3.232 * [taylor]: Taking taylor expansion of x in x 3.232 * [backup-simplify]: Simplify 0 into 0 3.232 * [backup-simplify]: Simplify 1 into 1 3.232 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 3.232 * [taylor]: Taking taylor expansion of 1/12 in x 3.232 * [backup-simplify]: Simplify 1/12 into 1/12 3.232 * [taylor]: Taking taylor expansion of x in x 3.232 * [backup-simplify]: Simplify 0 into 0 3.232 * [backup-simplify]: Simplify 1 into 1 3.233 * [backup-simplify]: Simplify (* 1/12 0) into 0 3.233 * [backup-simplify]: Simplify 0 into 0 3.233 * [backup-simplify]: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 3.233 * [backup-simplify]: Simplify 1/12 into 1/12 3.235 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 3.235 * [backup-simplify]: Simplify 0 into 0 3.236 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.236 * [backup-simplify]: Simplify 0 into 0 3.237 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.237 * [backup-simplify]: Simplify 0 into 0 3.239 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.239 * [backup-simplify]: Simplify 0 into 0 3.241 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 3.241 * [backup-simplify]: Simplify 0 into 0 3.243 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 3.243 * [backup-simplify]: Simplify (* 1/12 (/ 1 x)) into (/ 1/12 x) 3.243 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0 3.243 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 3.243 * [taylor]: Taking taylor expansion of 1/12 in x 3.243 * [backup-simplify]: Simplify 1/12 into 1/12 3.243 * [taylor]: Taking taylor expansion of x in x 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [backup-simplify]: Simplify 1 into 1 3.244 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 3.244 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 3.244 * [taylor]: Taking taylor expansion of 1/12 in x 3.244 * [backup-simplify]: Simplify 1/12 into 1/12 3.244 * [taylor]: Taking taylor expansion of x in x 3.244 * [backup-simplify]: Simplify 0 into 0 3.244 * [backup-simplify]: Simplify 1 into 1 3.244 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 3.245 * [backup-simplify]: Simplify 1/12 into 1/12 3.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.247 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.249 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.251 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 3.252 * [backup-simplify]: Simplify (* 1/12 (/ 1 (- x))) into (/ -1/12 x) 3.252 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0 3.252 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 3.252 * [taylor]: Taking taylor expansion of -1/12 in x 3.252 * [backup-simplify]: Simplify -1/12 into -1/12 3.252 * [taylor]: Taking taylor expansion of x in x 3.252 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify 1 into 1 3.252 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 3.252 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 3.252 * [taylor]: Taking taylor expansion of -1/12 in x 3.253 * [backup-simplify]: Simplify -1/12 into -1/12 3.253 * [taylor]: Taking taylor expansion of x in x 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 1 into 1 3.253 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 3.253 * [backup-simplify]: Simplify -1/12 into -1/12 3.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 3.254 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.255 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.257 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.259 * [backup-simplify]: Simplify 0 into 0 3.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.260 * [backup-simplify]: Simplify 0 into 0 3.260 * [backup-simplify]: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 3.260 * * * [progress]: simplifying candidates 3.260 * * * * [progress]: [ 1 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) 1) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 2 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 3 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 4 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x)))) (cbrt (posit16->real (real->posit16 (* 1/12 x))))) (cbrt (posit16->real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 5 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) (posit16->real (real->posit16 (* 1/12 x)))) (posit16->real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 6 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x)))) (sqrt (posit16->real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 7 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x)))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 8 / 34 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.260 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 3.261 * * * * [progress]: [ 10 / 34 ] simplifiying candidate #real (real->posit16 (pow (* 1/12 x) 1))) (+ (/ 1 x) 1/2)))> 3.261 * [simplify]: Simplifying (* 1/12 x) 3.261 * * [simplify]: iters left: 2 (3 enodes) 3.263 * * [simplify]: iters left: 1 (10 enodes) 3.266 * * [simplify]: Extracting #0: cost 1 inf + 0 3.266 * * [simplify]: Extracting #1: cost 4 inf + 0 3.266 * * [simplify]: Extracting #2: cost 2 inf + 2 3.266 * * [simplify]: Extracting #3: cost 0 inf + 86 3.266 * [simplify]: Simplified to (* 1/12 x) 3.266 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (pow (* 1/12 x) 1))) (+ (/ 1 x) 1/2))) 3.266 * * * * [progress]: [ 11 / 34 ] simplifiying candidate #real (real->posit16 (pow (* 1/12 x) 1))) (+ (/ 1 x) 1/2)))> 3.266 * * * * [progress]: [ 12 / 34 ] simplifiying candidate #real (real->posit16 (exp (+ (log 1/12) (log x))))) (+ (/ 1 x) 1/2)))> 3.267 * [simplify]: Simplifying (+ (log 1/12) (log x)) 3.267 * * [simplify]: iters left: 3 (5 enodes) 3.270 * * [simplify]: iters left: 2 (16 enodes) 3.275 * * [simplify]: Extracting #0: cost 1 inf + 0 3.275 * * [simplify]: Extracting #1: cost 4 inf + 0 3.275 * * [simplify]: Extracting #2: cost 8 inf + 0 3.275 * * [simplify]: Extracting #3: cost 4 inf + 144 3.275 * * [simplify]: Extracting #4: cost 0 inf + 650 3.275 * [simplify]: Simplified to (+ (log 1/12) (log x)) 3.275 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (exp (+ (log 1/12) (log x))))) (+ (/ 1 x) 1/2))) 3.275 * * * * [progress]: [ 13 / 34 ] simplifiying candidate #real (real->posit16 (exp (log (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.275 * * * * [progress]: [ 14 / 34 ] simplifiying candidate #real (real->posit16 (log (exp (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.276 * * * * [progress]: [ 15 / 34 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (* 1/12 1/12) 1/12) (* (* x x) x))))) (+ (/ 1 x) 1/2)))> 3.276 * [simplify]: Simplifying (* (* (* 1/12 1/12) 1/12) (* (* x x) x)) 3.276 * * [simplify]: iters left: 6 (7 enodes) 3.281 * * [simplify]: iters left: 5 (29 enodes) 3.293 * * [simplify]: iters left: 4 (59 enodes) 3.307 * * [simplify]: iters left: 3 (115 enodes) 3.337 * * [simplify]: iters left: 2 (193 enodes) 3.400 * * [simplify]: iters left: 1 (265 enodes) 3.451 * * [simplify]: Extracting #0: cost 1 inf + 0 3.452 * * [simplify]: Extracting #1: cost 27 inf + 0 3.452 * * [simplify]: Extracting #2: cost 62 inf + 210 3.453 * * [simplify]: Extracting #3: cost 46 inf + 1990 3.454 * * [simplify]: Extracting #4: cost 28 inf + 7163 3.455 * * [simplify]: Extracting #5: cost 10 inf + 12930 3.457 * * [simplify]: Extracting #6: cost 0 inf + 17345 3.460 * [simplify]: Simplified to (* 1/1728 (* x (* x x))) 3.460 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (cbrt (* 1/1728 (* x (* x x)))))) (+ (/ 1 x) 1/2))) 3.461 * * * * [progress]: [ 16 / 34 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x))) (cbrt (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.461 * * * * [progress]: [ 17 / 34 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (* 1/12 x) (* 1/12 x)) (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.461 * * * * [progress]: [ 18 / 34 ] simplifiying candidate #real (real->posit16 (* (sqrt (* 1/12 x)) (sqrt (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.461 * * * * [progress]: [ 19 / 34 ] simplifiying candidate #real (real->posit16 (* 1 (* 1/12 x)))) (+ (/ 1 x) 1/2)))> 3.461 * * * * [progress]: [ 20 / 34 ] simplifiying candidate #real (real->posit16 (* (* (sqrt 1/12) (sqrt x)) (* (sqrt 1/12) (sqrt x))))) (+ (/ 1 x) 1/2)))> 3.461 * [simplify]: Simplifying (* (sqrt 1/12) (sqrt x)) 3.461 * * [simplify]: iters left: 3 (5 enodes) 3.464 * * [simplify]: iters left: 2 (16 enodes) 3.470 * * [simplify]: Extracting #0: cost 1 inf + 0 3.470 * * [simplify]: Extracting #1: cost 4 inf + 0 3.470 * * [simplify]: Extracting #2: cost 8 inf + 0 3.470 * * [simplify]: Extracting #3: cost 4 inf + 84 3.470 * * [simplify]: Extracting #4: cost 0 inf + 410 3.471 * [simplify]: Simplified to (* (sqrt x) (sqrt 1/12)) 3.471 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (* (* (sqrt x) (sqrt 1/12)) (* (sqrt 1/12) (sqrt x))))) (+ (/ 1 x) 1/2))) 3.471 * [simplify]: Simplifying (* (sqrt 1/12) (sqrt x)) 3.471 * * [simplify]: iters left: 3 (5 enodes) 3.474 * * [simplify]: iters left: 2 (16 enodes) 3.480 * * [simplify]: Extracting #0: cost 1 inf + 0 3.480 * * [simplify]: Extracting #1: cost 4 inf + 0 3.480 * * [simplify]: Extracting #2: cost 8 inf + 0 3.480 * * [simplify]: Extracting #3: cost 4 inf + 84 3.480 * * [simplify]: Extracting #4: cost 0 inf + 410 3.480 * [simplify]: Simplified to (* (sqrt x) (sqrt 1/12)) 3.480 * [simplify]: Simplified (2 1 1 1 2) to (λ (x) (+ (posit16->real (real->posit16 (* (* (sqrt 1/12) (sqrt x)) (* (sqrt x) (sqrt 1/12))))) (+ (/ 1 x) 1/2))) 3.480 * * * * [progress]: [ 21 / 34 ] simplifiying candidate #real (real->posit16 (* (* 1/12 (* (cbrt x) (cbrt x))) (cbrt x)))) (+ (/ 1 x) 1/2)))> 3.481 * [simplify]: Simplifying (cbrt x) 3.481 * * [simplify]: iters left: 1 (2 enodes) 3.482 * * [simplify]: Extracting #0: cost 1 inf + 0 3.482 * * [simplify]: Extracting #1: cost 3 inf + 0 3.482 * * [simplify]: Extracting #2: cost 2 inf + 1 3.482 * * [simplify]: Extracting #3: cost 0 inf + 163 3.482 * [simplify]: Simplified to (cbrt x) 3.482 * [simplify]: Simplified (2 1 1 1 2) to (λ (x) (+ (posit16->real (real->posit16 (* (* 1/12 (* (cbrt x) (cbrt x))) (cbrt x)))) (+ (/ 1 x) 1/2))) 3.482 * * * * [progress]: [ 22 / 34 ] simplifiying candidate #real (real->posit16 (* (* 1/12 (sqrt x)) (sqrt x)))) (+ (/ 1 x) 1/2)))> 3.483 * [simplify]: Simplifying (sqrt x) 3.483 * * [simplify]: iters left: 1 (2 enodes) 3.484 * * [simplify]: Extracting #0: cost 1 inf + 0 3.484 * * [simplify]: Extracting #1: cost 3 inf + 0 3.484 * * [simplify]: Extracting #2: cost 2 inf + 1 3.484 * * [simplify]: Extracting #3: cost 0 inf + 83 3.484 * [simplify]: Simplified to (sqrt x) 3.484 * [simplify]: Simplified (2 1 1 1 2) to (λ (x) (+ (posit16->real (real->posit16 (* (* 1/12 (sqrt x)) (sqrt x)))) (+ (/ 1 x) 1/2))) 3.484 * * * * [progress]: [ 23 / 34 ] simplifiying candidate #real (real->posit16 (* (* 1/12 1) x))) (+ (/ 1 x) 1/2)))> 3.484 * * * * [progress]: [ 24 / 34 ] simplifiying candidate #real (real->posit16 (* (* (cbrt 1/12) (cbrt 1/12)) (* (cbrt 1/12) x)))) (+ (/ 1 x) 1/2)))> 3.484 * [simplify]: Simplifying (* (cbrt 1/12) (cbrt 1/12)) 3.484 * * [simplify]: iters left: 3 (3 enodes) 3.487 * * [simplify]: iters left: 2 (9 enodes) 3.490 * * [simplify]: Extracting #0: cost 1 inf + 0 3.490 * * [simplify]: Extracting #1: cost 3 inf + 0 3.490 * * [simplify]: Extracting #2: cost 5 inf + 0 3.490 * * [simplify]: Extracting #3: cost 4 inf + 1 3.490 * * [simplify]: Extracting #4: cost 0 inf + 405 3.491 * [simplify]: Simplified to (* (cbrt 1/12) (cbrt 1/12)) 3.491 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (* (* (cbrt 1/12) (cbrt 1/12)) (* (cbrt 1/12) x)))) (+ (/ 1 x) 1/2))) 3.491 * * * * [progress]: [ 25 / 34 ] simplifiying candidate #real (real->posit16 (* (sqrt 1/12) (* (sqrt 1/12) x)))) (+ (/ 1 x) 1/2)))> 3.491 * [simplify]: Simplifying (sqrt 1/12) 3.491 * * [simplify]: iters left: 1 (2 enodes) 3.493 * * [simplify]: Extracting #0: cost 1 inf + 0 3.493 * * [simplify]: Extracting #1: cost 3 inf + 0 3.493 * * [simplify]: Extracting #2: cost 2 inf + 1 3.493 * * [simplify]: Extracting #3: cost 0 inf + 83 3.493 * [simplify]: Simplified to (sqrt 1/12) 3.493 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (* (sqrt 1/12) (* (sqrt 1/12) x)))) (+ (/ 1 x) 1/2))) 3.493 * * * * [progress]: [ 26 / 34 ] simplifiying candidate #real (real->posit16 (* 1 (* 1/12 x)))) (+ (/ 1 x) 1/2)))> 3.494 * * * * [progress]: [ 27 / 34 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> 3.494 * * * * [progress]: [ 28 / 34 ] simplifiying candidate #real (real->posit16 (* x 1/12))) (+ (/ 1 x) 1/2)))> 3.494 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 3.494 * [simplify]: Simplifying (* 1/12 x) 3.494 * * [simplify]: iters left: 2 (3 enodes) 3.496 * * [simplify]: iters left: 1 (10 enodes) 3.499 * * [simplify]: Extracting #0: cost 1 inf + 0 3.499 * * [simplify]: Extracting #1: cost 4 inf + 0 3.499 * * [simplify]: Extracting #2: cost 2 inf + 2 3.499 * * [simplify]: Extracting #3: cost 0 inf + 86 3.500 * [simplify]: Simplified to (* 1/12 x) 3.500 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 3.500 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 3.500 * [simplify]: Simplifying (* 1/12 x) 3.500 * * [simplify]: iters left: 2 (3 enodes) 3.502 * * [simplify]: iters left: 1 (10 enodes) 3.505 * * [simplify]: Extracting #0: cost 1 inf + 0 3.505 * * [simplify]: Extracting #1: cost 4 inf + 0 3.505 * * [simplify]: Extracting #2: cost 2 inf + 2 3.505 * * [simplify]: Extracting #3: cost 0 inf + 86 3.505 * [simplify]: Simplified to (* 1/12 x) 3.505 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 3.505 * * * * [progress]: [ 31 / 34 ] simplifiying candidate # 3.506 * [simplify]: Simplifying (* 1/12 x) 3.506 * * [simplify]: iters left: 2 (3 enodes) 3.508 * * [simplify]: iters left: 1 (10 enodes) 3.511 * * [simplify]: Extracting #0: cost 1 inf + 0 3.511 * * [simplify]: Extracting #1: cost 4 inf + 0 3.511 * * [simplify]: Extracting #2: cost 2 inf + 2 3.511 * * [simplify]: Extracting #3: cost 0 inf + 86 3.511 * [simplify]: Simplified to (* 1/12 x) 3.511 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 3.511 * * * * [progress]: [ 32 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2)))> 3.511 * [simplify]: Simplifying (* 1/12 x) 3.511 * * [simplify]: iters left: 2 (3 enodes) 3.513 * * [simplify]: iters left: 1 (10 enodes) 3.516 * * [simplify]: Extracting #0: cost 1 inf + 0 3.516 * * [simplify]: Extracting #1: cost 4 inf + 0 3.516 * * [simplify]: Extracting #2: cost 2 inf + 2 3.517 * * [simplify]: Extracting #3: cost 0 inf + 86 3.517 * [simplify]: Simplified to (* 1/12 x) 3.517 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2))) 3.517 * * * * [progress]: [ 33 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2)))> 3.517 * [simplify]: Simplifying (* 1/12 x) 3.517 * * [simplify]: iters left: 2 (3 enodes) 3.519 * * [simplify]: iters left: 1 (10 enodes) 3.522 * * [simplify]: Extracting #0: cost 1 inf + 0 3.522 * * [simplify]: Extracting #1: cost 4 inf + 0 3.522 * * [simplify]: Extracting #2: cost 2 inf + 2 3.522 * * [simplify]: Extracting #3: cost 0 inf + 86 3.522 * [simplify]: Simplified to (* 1/12 x) 3.522 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2))) 3.522 * * * * [progress]: [ 34 / 34 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2)))> 3.523 * [simplify]: Simplifying (* 1/12 x) 3.523 * * [simplify]: iters left: 2 (3 enodes) 3.525 * * [simplify]: iters left: 1 (10 enodes) 3.528 * * [simplify]: Extracting #0: cost 1 inf + 0 3.528 * * [simplify]: Extracting #1: cost 4 inf + 0 3.528 * * [simplify]: Extracting #2: cost 2 inf + 2 3.528 * * [simplify]: Extracting #3: cost 0 inf + 86 3.528 * [simplify]: Simplified to (* 1/12 x) 3.528 * [simplify]: Simplified (2 1 1 1) to (λ (x) (+ (posit16->real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2))) 3.529 * * * [progress]: adding candidates to table 4.224 * * [progress]: iteration 4 / 4 4.224 * * * [progress]: picking best candidate 4.236 * * * * [pick]: Picked # 4.236 * * * [progress]: localizing error 4.259 * * * [progress]: generating rewritten candidates 4.259 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.277 * * * [progress]: generating series expansions 4.278 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.278 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 4.278 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0 4.278 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 4.278 * [taylor]: Taking taylor expansion of 1/12 in x 4.278 * [backup-simplify]: Simplify 1/12 into 1/12 4.278 * [taylor]: Taking taylor expansion of x in x 4.278 * [backup-simplify]: Simplify 0 into 0 4.278 * [backup-simplify]: Simplify 1 into 1 4.278 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 4.278 * [taylor]: Taking taylor expansion of 1/12 in x 4.278 * [backup-simplify]: Simplify 1/12 into 1/12 4.278 * [taylor]: Taking taylor expansion of x in x 4.278 * [backup-simplify]: Simplify 0 into 0 4.278 * [backup-simplify]: Simplify 1 into 1 4.279 * [backup-simplify]: Simplify (* 1/12 0) into 0 4.279 * [backup-simplify]: Simplify 0 into 0 4.280 * [backup-simplify]: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12 4.280 * [backup-simplify]: Simplify 1/12 into 1/12 4.281 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0 4.281 * [backup-simplify]: Simplify 0 into 0 4.282 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.282 * [backup-simplify]: Simplify 0 into 0 4.284 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.284 * [backup-simplify]: Simplify 0 into 0 4.285 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.285 * [backup-simplify]: Simplify 0 into 0 4.288 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.288 * [backup-simplify]: Simplify 0 into 0 4.290 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.290 * [backup-simplify]: Simplify 0 into 0 4.290 * [backup-simplify]: Simplify (* 1/12 x) into (* 1/12 x) 4.290 * [backup-simplify]: Simplify (* 1/12 (/ 1 x)) into (/ 1/12 x) 4.290 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0 4.290 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 4.290 * [taylor]: Taking taylor expansion of 1/12 in x 4.290 * [backup-simplify]: Simplify 1/12 into 1/12 4.290 * [taylor]: Taking taylor expansion of x in x 4.290 * [backup-simplify]: Simplify 0 into 0 4.291 * [backup-simplify]: Simplify 1 into 1 4.291 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 4.291 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 4.291 * [taylor]: Taking taylor expansion of 1/12 in x 4.291 * [backup-simplify]: Simplify 1/12 into 1/12 4.291 * [taylor]: Taking taylor expansion of x in x 4.291 * [backup-simplify]: Simplify 0 into 0 4.291 * [backup-simplify]: Simplify 1 into 1 4.292 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 4.292 * [backup-simplify]: Simplify 1/12 into 1/12 4.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 4.293 * [backup-simplify]: Simplify 0 into 0 4.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.294 * [backup-simplify]: Simplify 0 into 0 4.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.294 * [backup-simplify]: Simplify 0 into 0 4.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.295 * [backup-simplify]: Simplify 0 into 0 4.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.296 * [backup-simplify]: Simplify 0 into 0 4.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.296 * [backup-simplify]: Simplify 0 into 0 4.297 * [backup-simplify]: Simplify (* 1/12 (/ 1 (/ 1 x))) into (* 1/12 x) 4.297 * [backup-simplify]: Simplify (* 1/12 (/ 1 (- x))) into (/ -1/12 x) 4.297 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0 4.297 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 4.297 * [taylor]: Taking taylor expansion of -1/12 in x 4.297 * [backup-simplify]: Simplify -1/12 into -1/12 4.297 * [taylor]: Taking taylor expansion of x in x 4.297 * [backup-simplify]: Simplify 0 into 0 4.297 * [backup-simplify]: Simplify 1 into 1 4.297 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 4.297 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 4.297 * [taylor]: Taking taylor expansion of -1/12 in x 4.297 * [backup-simplify]: Simplify -1/12 into -1/12 4.297 * [taylor]: Taking taylor expansion of x in x 4.297 * [backup-simplify]: Simplify 0 into 0 4.297 * [backup-simplify]: Simplify 1 into 1 4.297 * [backup-simplify]: Simplify (/ -1/12 1) into -1/12 4.298 * [backup-simplify]: Simplify -1/12 into -1/12 4.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)))) into 0 4.298 * [backup-simplify]: Simplify 0 into 0 4.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.299 * [backup-simplify]: Simplify 0 into 0 4.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.299 * [backup-simplify]: Simplify 0 into 0 4.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.300 * [backup-simplify]: Simplify 0 into 0 4.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.301 * [backup-simplify]: Simplify 0 into 0 4.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.301 * [backup-simplify]: Simplify 0 into 0 4.301 * [backup-simplify]: Simplify (* -1/12 (/ 1 (/ 1 (- x)))) into (* 1/12 x) 4.301 * * * [progress]: simplifying candidates 4.301 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 4.302 * [simplify]: Simplifying (* 1/12 x) 4.302 * * [simplify]: iters left: 2 (3 enodes) 4.303 * * [simplify]: iters left: 1 (10 enodes) 4.304 * * [simplify]: Extracting #0: cost 1 inf + 0 4.304 * * [simplify]: Extracting #1: cost 4 inf + 0 4.304 * * [simplify]: Extracting #2: cost 2 inf + 2 4.304 * * [simplify]: Extracting #3: cost 0 inf + 86 4.305 * [simplify]: Simplified to (* 1/12 x) 4.305 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (pow (* 1/12 x) 1) (+ (/ 1 x) 1/2))) 4.305 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 4.305 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 4.305 * [simplify]: Simplifying (+ (log 1/12) (log x)) 4.305 * * [simplify]: iters left: 3 (5 enodes) 4.307 * * [simplify]: iters left: 2 (16 enodes) 4.310 * * [simplify]: Extracting #0: cost 1 inf + 0 4.310 * * [simplify]: Extracting #1: cost 4 inf + 0 4.310 * * [simplify]: Extracting #2: cost 8 inf + 0 4.310 * * [simplify]: Extracting #3: cost 4 inf + 144 4.310 * * [simplify]: Extracting #4: cost 0 inf + 650 4.310 * [simplify]: Simplified to (+ (log 1/12) (log x)) 4.310 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (exp (+ (log 1/12) (log x))) (+ (/ 1 x) 1/2))) 4.310 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 4.310 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 4.310 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 4.310 * [simplify]: Simplifying (* (* (* 1/12 1/12) 1/12) (* (* x x) x)) 4.310 * * [simplify]: iters left: 6 (7 enodes) 4.313 * * [simplify]: iters left: 5 (29 enodes) 4.319 * * [simplify]: iters left: 4 (59 enodes) 4.337 * * [simplify]: iters left: 3 (115 enodes) 4.381 * * [simplify]: iters left: 2 (193 enodes) 4.449 * * [simplify]: iters left: 1 (265 enodes) 4.513 * * [simplify]: Extracting #0: cost 1 inf + 0 4.513 * * [simplify]: Extracting #1: cost 27 inf + 0 4.513 * * [simplify]: Extracting #2: cost 62 inf + 210 4.515 * * [simplify]: Extracting #3: cost 46 inf + 1990 4.517 * * [simplify]: Extracting #4: cost 28 inf + 7163 4.520 * * [simplify]: Extracting #5: cost 10 inf + 12930 4.524 * * [simplify]: Extracting #6: cost 0 inf + 17345 4.528 * [simplify]: Simplified to (* 1/1728 (* x (* x x))) 4.528 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (cbrt (* 1/1728 (* x (* x x)))) (+ (/ 1 x) 1/2))) 4.528 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 4.528 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 4.528 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 4.528 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 4.528 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 4.528 * [simplify]: Simplifying (* (sqrt 1/12) (sqrt x)) 4.528 * * [simplify]: iters left: 3 (5 enodes) 4.531 * * [simplify]: iters left: 2 (16 enodes) 4.537 * * [simplify]: Extracting #0: cost 1 inf + 0 4.537 * * [simplify]: Extracting #1: cost 4 inf + 0 4.537 * * [simplify]: Extracting #2: cost 8 inf + 0 4.537 * * [simplify]: Extracting #3: cost 4 inf + 84 4.537 * * [simplify]: Extracting #4: cost 0 inf + 410 4.537 * [simplify]: Simplified to (* (sqrt x) (sqrt 1/12)) 4.537 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* (sqrt x) (sqrt 1/12)) (* (sqrt 1/12) (sqrt x))) (+ (/ 1 x) 1/2))) 4.538 * [simplify]: Simplifying (* (sqrt 1/12) (sqrt x)) 4.538 * * [simplify]: iters left: 3 (5 enodes) 4.539 * * [simplify]: iters left: 2 (16 enodes) 4.542 * * [simplify]: Extracting #0: cost 1 inf + 0 4.542 * * [simplify]: Extracting #1: cost 4 inf + 0 4.542 * * [simplify]: Extracting #2: cost 8 inf + 0 4.543 * * [simplify]: Extracting #3: cost 4 inf + 84 4.543 * * [simplify]: Extracting #4: cost 0 inf + 410 4.543 * [simplify]: Simplified to (* (sqrt x) (sqrt 1/12)) 4.543 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* (sqrt 1/12) (sqrt x)) (* (sqrt x) (sqrt 1/12))) (+ (/ 1 x) 1/2))) 4.543 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 4.543 * [simplify]: Simplifying (cbrt x) 4.543 * * [simplify]: iters left: 1 (2 enodes) 4.543 * * [simplify]: Extracting #0: cost 1 inf + 0 4.543 * * [simplify]: Extracting #1: cost 3 inf + 0 4.544 * * [simplify]: Extracting #2: cost 2 inf + 1 4.544 * * [simplify]: Extracting #3: cost 0 inf + 163 4.544 * [simplify]: Simplified to (cbrt x) 4.544 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* 1/12 (* (cbrt x) (cbrt x))) (cbrt x)) (+ (/ 1 x) 1/2))) 4.544 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 4.544 * [simplify]: Simplifying (sqrt x) 4.544 * * [simplify]: iters left: 1 (2 enodes) 4.544 * * [simplify]: Extracting #0: cost 1 inf + 0 4.544 * * [simplify]: Extracting #1: cost 3 inf + 0 4.544 * * [simplify]: Extracting #2: cost 2 inf + 1 4.544 * * [simplify]: Extracting #3: cost 0 inf + 83 4.544 * [simplify]: Simplified to (sqrt x) 4.544 * [simplify]: Simplified (2 1 2) to (λ (x) (+ (* (* 1/12 (sqrt x)) (sqrt x)) (+ (/ 1 x) 1/2))) 4.545 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 4.545 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 4.545 * [simplify]: Simplifying (* (cbrt 1/12) (cbrt 1/12)) 4.545 * * [simplify]: iters left: 3 (3 enodes) 4.546 * * [simplify]: iters left: 2 (9 enodes) 4.548 * * [simplify]: Extracting #0: cost 1 inf + 0 4.548 * * [simplify]: Extracting #1: cost 3 inf + 0 4.548 * * [simplify]: Extracting #2: cost 5 inf + 0 4.548 * * [simplify]: Extracting #3: cost 4 inf + 1 4.548 * * [simplify]: Extracting #4: cost 0 inf + 405 4.548 * [simplify]: Simplified to (* (cbrt 1/12) (cbrt 1/12)) 4.548 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (* (cbrt 1/12) (cbrt 1/12)) (* (cbrt 1/12) x)) (+ (/ 1 x) 1/2))) 4.548 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 4.549 * [simplify]: Simplifying (sqrt 1/12) 4.549 * * [simplify]: iters left: 1 (2 enodes) 4.550 * * [simplify]: Extracting #0: cost 1 inf + 0 4.550 * * [simplify]: Extracting #1: cost 3 inf + 0 4.550 * * [simplify]: Extracting #2: cost 2 inf + 1 4.550 * * [simplify]: Extracting #3: cost 0 inf + 83 4.550 * [simplify]: Simplified to (sqrt 1/12) 4.550 * [simplify]: Simplified (2 1 1) to (λ (x) (+ (* (sqrt 1/12) (* (sqrt 1/12) x)) (+ (/ 1 x) 1/2))) 4.550 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 4.550 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* 1/12 x))) (+ (/ 1 x) 1/2)))> 4.550 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 4.550 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 4.550 * [simplify]: Simplifying (* 1/12 x) 4.550 * * [simplify]: iters left: 2 (3 enodes) 4.551 * * [simplify]: iters left: 1 (10 enodes) 4.553 * * [simplify]: Extracting #0: cost 1 inf + 0 4.553 * * [simplify]: Extracting #1: cost 4 inf + 0 4.553 * * [simplify]: Extracting #2: cost 2 inf + 2 4.553 * * [simplify]: Extracting #3: cost 0 inf + 86 4.553 * [simplify]: Simplified to (* 1/12 x) 4.553 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 4.553 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 4.553 * [simplify]: Simplifying (* 1/12 x) 4.553 * * [simplify]: iters left: 2 (3 enodes) 4.554 * * [simplify]: iters left: 1 (10 enodes) 4.556 * * [simplify]: Extracting #0: cost 1 inf + 0 4.556 * * [simplify]: Extracting #1: cost 4 inf + 0 4.556 * * [simplify]: Extracting #2: cost 2 inf + 2 4.556 * * [simplify]: Extracting #3: cost 0 inf + 86 4.556 * [simplify]: Simplified to (* 1/12 x) 4.556 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 4.556 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 4.556 * [simplify]: Simplifying (* 1/12 x) 4.556 * * [simplify]: iters left: 2 (3 enodes) 4.557 * * [simplify]: iters left: 1 (10 enodes) 4.558 * * [simplify]: Extracting #0: cost 1 inf + 0 4.559 * * [simplify]: Extracting #1: cost 4 inf + 0 4.559 * * [simplify]: Extracting #2: cost 2 inf + 2 4.559 * * [simplify]: Extracting #3: cost 0 inf + 86 4.559 * [simplify]: Simplified to (* 1/12 x) 4.559 * [simplify]: Simplified (2 1) to (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 4.559 * * * [progress]: adding candidates to table 4.728 * [progress]: [Phase 3 of 3] Extracting. 4.728 * * [regime]: Finding splitpoints for: (# #real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> #) 4.728 * * * [regime-changes]: Trying 2 branch expressions: (x (exp x)) 4.728 * * * * [regimes]: Trying to branch on x from (# #real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> #) 4.785 * * * * [regimes]: Trying to branch on (exp x) from (# #real (real->posit16 (* 1/12 x))))) (+ (/ 1 x) 1/2)))> #) 4.841 * * * [regime]: Found split indices: #