1552120380.082 * [progress]: [Phase 1 of 3] Setting up. 1552120380.082 * * * [progress]: [1/2] Preparing points 1552120380.137 * * * [progress]: [2/2] Setting up program. 1552120380.141 * [progress]: [Phase 2 of 3] Improving. 1552120380.141 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552120380.141 * [simplify]: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.141 * * [simplify]: iters left: 6 (6 enodes) 1552120380.145 * * [simplify]: iters left: 5 (23 enodes) 1552120380.166 * * [simplify]: iters left: 4 (31 enodes) 1552120380.175 * * [simplify]: iters left: 3 (33 enodes) 1552120380.183 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.183 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.183 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120380.183 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120380.183 * * [simplify]: Extracting #4: cost 2 inf + 499 1552120380.183 * * [simplify]: Extracting #5: cost 0 inf + 743 1552120380.183 * [simplify]: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.183 * [simplify]: Simplified (2) to (λ (x) (- (/ 1 (+ x 1)) (/ 1 x))) 1552120380.185 * * [progress]: iteration 1 / 4 1552120380.185 * * * [progress]: picking best candidate 1552120380.187 * * * * [pick]: Picked # 1552120380.187 * * * [progress]: localizing error 1552120380.197 * * * [progress]: generating rewritten candidates 1552120380.197 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1552120380.204 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1552120380.205 * * * [progress]: generating series expansions 1552120380.205 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1552120380.205 * [backup-simplify]: Simplify (- (/ 1 (+ x 1)) (/ 1 x)) into (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.205 * [approximate]: Taking taylor expansion of (- (/ 1 (+ x 1)) (/ 1 x)) in (x) around 0 1552120380.205 * [taylor]: Taking taylor expansion of (- (/ 1 (+ x 1)) (/ 1 x)) in x 1552120380.205 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1)) in x 1552120380.205 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120380.205 * [taylor]: Taking taylor expansion of x in x 1552120380.205 * [backup-simplify]: Simplify 0 into 0 1552120380.205 * [backup-simplify]: Simplify 1 into 1 1552120380.205 * [taylor]: Taking taylor expansion of 1 in x 1552120380.205 * [backup-simplify]: Simplify 1 into 1 1552120380.206 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120380.206 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.206 * [taylor]: Taking taylor expansion of x in x 1552120380.206 * [backup-simplify]: Simplify 0 into 0 1552120380.206 * [backup-simplify]: Simplify 1 into 1 1552120380.206 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.206 * [taylor]: Taking taylor expansion of (- (/ 1 (+ x 1)) (/ 1 x)) in x 1552120380.206 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1)) in x 1552120380.206 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120380.206 * [taylor]: Taking taylor expansion of x in x 1552120380.206 * [backup-simplify]: Simplify 0 into 0 1552120380.206 * [backup-simplify]: Simplify 1 into 1 1552120380.207 * [taylor]: Taking taylor expansion of 1 in x 1552120380.207 * [backup-simplify]: Simplify 1 into 1 1552120380.207 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120380.207 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.207 * [taylor]: Taking taylor expansion of x in x 1552120380.207 * [backup-simplify]: Simplify 0 into 0 1552120380.207 * [backup-simplify]: Simplify 1 into 1 1552120380.207 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.208 * [backup-simplify]: Simplify (- 1) into -1 1552120380.208 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120380.208 * [backup-simplify]: Simplify -1 into -1 1552120380.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120380.209 * [backup-simplify]: Simplify (- 0) into 0 1552120380.209 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.209 * [backup-simplify]: Simplify 1 into 1 1552120380.209 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1552120380.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.210 * [backup-simplify]: Simplify (- 0) into 0 1552120380.211 * [backup-simplify]: Simplify (+ -1 0) into -1 1552120380.211 * [backup-simplify]: Simplify -1 into -1 1552120380.211 * [backup-simplify]: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1552120380.211 * [backup-simplify]: Simplify (- (/ 1 (+ (/ 1 x) 1)) (/ 1 (/ 1 x))) into (- (/ 1 (+ (/ 1 x) 1)) x) 1552120380.211 * [approximate]: Taking taylor expansion of (- (/ 1 (+ (/ 1 x) 1)) x) in (x) around 0 1552120380.211 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (/ 1 x) 1)) x) in x 1552120380.211 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1552120380.211 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120380.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.211 * [taylor]: Taking taylor expansion of x in x 1552120380.211 * [backup-simplify]: Simplify 0 into 0 1552120380.211 * [backup-simplify]: Simplify 1 into 1 1552120380.211 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.211 * [taylor]: Taking taylor expansion of 1 in x 1552120380.211 * [backup-simplify]: Simplify 1 into 1 1552120380.211 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.212 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.212 * [taylor]: Taking taylor expansion of x in x 1552120380.212 * [backup-simplify]: Simplify 0 into 0 1552120380.212 * [backup-simplify]: Simplify 1 into 1 1552120380.212 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (/ 1 x) 1)) x) in x 1552120380.212 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1552120380.212 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120380.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.212 * [taylor]: Taking taylor expansion of x in x 1552120380.212 * [backup-simplify]: Simplify 0 into 0 1552120380.212 * [backup-simplify]: Simplify 1 into 1 1552120380.212 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.212 * [taylor]: Taking taylor expansion of 1 in x 1552120380.212 * [backup-simplify]: Simplify 1 into 1 1552120380.212 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.213 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.213 * [taylor]: Taking taylor expansion of x in x 1552120380.213 * [backup-simplify]: Simplify 0 into 0 1552120380.213 * [backup-simplify]: Simplify 1 into 1 1552120380.213 * [backup-simplify]: Simplify (- 0) into 0 1552120380.213 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.213 * [backup-simplify]: Simplify 0 into 0 1552120380.213 * [backup-simplify]: Simplify (- 1) into -1 1552120380.214 * [backup-simplify]: Simplify (+ 1 -1) into 0 1552120380.214 * [backup-simplify]: Simplify 0 into 0 1552120380.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120380.214 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120380.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1552120380.215 * [backup-simplify]: Simplify (- 0) into 0 1552120380.215 * [backup-simplify]: Simplify (+ -1 0) into -1 1552120380.215 * [backup-simplify]: Simplify -1 into -1 1552120380.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.216 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1552120380.217 * [backup-simplify]: Simplify (- 0) into 0 1552120380.217 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.217 * [backup-simplify]: Simplify 1 into 1 1552120380.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.218 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1552120380.220 * [backup-simplify]: Simplify (- 0) into 0 1552120380.220 * [backup-simplify]: Simplify (+ -1 0) into -1 1552120380.220 * [backup-simplify]: Simplify -1 into -1 1552120380.221 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120380.221 * [backup-simplify]: Simplify (- (/ 1 (+ (/ 1 (- x)) 1)) (/ 1 (/ 1 (- x)))) into (+ (/ 1 (- 1 (/ 1 x))) x) 1552120380.221 * [approximate]: Taking taylor expansion of (+ (/ 1 (- 1 (/ 1 x))) x) in (x) around 0 1552120380.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (- 1 (/ 1 x))) x) in x 1552120380.221 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1552120380.221 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120380.221 * [taylor]: Taking taylor expansion of 1 in x 1552120380.221 * [backup-simplify]: Simplify 1 into 1 1552120380.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.221 * [taylor]: Taking taylor expansion of x in x 1552120380.221 * [backup-simplify]: Simplify 0 into 0 1552120380.221 * [backup-simplify]: Simplify 1 into 1 1552120380.222 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.222 * [backup-simplify]: Simplify (- 1) into -1 1552120380.223 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120380.223 * [backup-simplify]: Simplify (/ 1 -1) into -1 1552120380.223 * [taylor]: Taking taylor expansion of x in x 1552120380.223 * [backup-simplify]: Simplify 0 into 0 1552120380.223 * [backup-simplify]: Simplify 1 into 1 1552120380.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (- 1 (/ 1 x))) x) in x 1552120380.223 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1552120380.223 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120380.223 * [taylor]: Taking taylor expansion of 1 in x 1552120380.223 * [backup-simplify]: Simplify 1 into 1 1552120380.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.223 * [taylor]: Taking taylor expansion of x in x 1552120380.223 * [backup-simplify]: Simplify 0 into 0 1552120380.223 * [backup-simplify]: Simplify 1 into 1 1552120380.224 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.224 * [backup-simplify]: Simplify (- 1) into -1 1552120380.224 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120380.225 * [backup-simplify]: Simplify (/ 1 -1) into -1 1552120380.225 * [taylor]: Taking taylor expansion of x in x 1552120380.225 * [backup-simplify]: Simplify 0 into 0 1552120380.225 * [backup-simplify]: Simplify 1 into 1 1552120380.225 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.225 * [backup-simplify]: Simplify 0 into 0 1552120380.226 * [backup-simplify]: Simplify (+ -1 1) into 0 1552120380.226 * [backup-simplify]: Simplify 0 into 0 1552120380.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120380.227 * [backup-simplify]: Simplify (- 0) into 0 1552120380.227 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.228 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1552120380.228 * [backup-simplify]: Simplify (+ -1 0) into -1 1552120380.229 * [backup-simplify]: Simplify -1 into -1 1552120380.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.230 * [backup-simplify]: Simplify (- 0) into 0 1552120380.230 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.231 * [backup-simplify]: Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1552120380.232 * [backup-simplify]: Simplify (+ -1 0) into -1 1552120380.232 * [backup-simplify]: Simplify -1 into -1 1552120380.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.233 * [backup-simplify]: Simplify (- 0) into 0 1552120380.233 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.235 * [backup-simplify]: Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1552120380.235 * [backup-simplify]: Simplify (+ -1 0) into -1 1552120380.235 * [backup-simplify]: Simplify -1 into -1 1552120380.235 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120380.236 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1552120380.236 * [backup-simplify]: Simplify (/ 1 (+ x 1)) into (/ 1 (+ x 1)) 1552120380.236 * [approximate]: Taking taylor expansion of (/ 1 (+ x 1)) in (x) around 0 1552120380.236 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1)) in x 1552120380.236 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120380.236 * [taylor]: Taking taylor expansion of x in x 1552120380.236 * [backup-simplify]: Simplify 0 into 0 1552120380.236 * [backup-simplify]: Simplify 1 into 1 1552120380.236 * [taylor]: Taking taylor expansion of 1 in x 1552120380.236 * [backup-simplify]: Simplify 1 into 1 1552120380.236 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120380.237 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.237 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1)) in x 1552120380.237 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120380.237 * [taylor]: Taking taylor expansion of x in x 1552120380.237 * [backup-simplify]: Simplify 0 into 0 1552120380.237 * [backup-simplify]: Simplify 1 into 1 1552120380.237 * [taylor]: Taking taylor expansion of 1 in x 1552120380.237 * [backup-simplify]: Simplify 1 into 1 1552120380.237 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120380.238 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.238 * [backup-simplify]: Simplify 1 into 1 1552120380.238 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1552120380.239 * [backup-simplify]: Simplify -1 into -1 1552120380.239 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1552120380.241 * [backup-simplify]: Simplify 1 into 1 1552120380.241 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (pow x 2) 1) x) 1552120380.241 * [backup-simplify]: Simplify (/ 1 (+ (/ 1 x) 1)) into (/ 1 (+ (/ 1 x) 1)) 1552120380.241 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in (x) around 0 1552120380.241 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1552120380.241 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120380.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.241 * [taylor]: Taking taylor expansion of x in x 1552120380.241 * [backup-simplify]: Simplify 0 into 0 1552120380.241 * [backup-simplify]: Simplify 1 into 1 1552120380.241 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.241 * [taylor]: Taking taylor expansion of 1 in x 1552120380.241 * [backup-simplify]: Simplify 1 into 1 1552120380.242 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.242 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.242 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1552120380.242 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120380.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.242 * [taylor]: Taking taylor expansion of x in x 1552120380.242 * [backup-simplify]: Simplify 0 into 0 1552120380.242 * [backup-simplify]: Simplify 1 into 1 1552120380.243 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.243 * [taylor]: Taking taylor expansion of 1 in x 1552120380.243 * [backup-simplify]: Simplify 1 into 1 1552120380.243 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.243 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.244 * [backup-simplify]: Simplify 1 into 1 1552120380.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120380.245 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120380.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1552120380.245 * [backup-simplify]: Simplify -1 into -1 1552120380.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.247 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1552120380.248 * [backup-simplify]: Simplify 1 into 1 1552120380.248 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 x) 3)) (+ (* -1 (pow (/ 1 x) 2)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1552120380.249 * [backup-simplify]: Simplify (/ 1 (+ (/ 1 (- x)) 1)) into (/ 1 (- 1 (/ 1 x))) 1552120380.249 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in (x) around 0 1552120380.249 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1552120380.249 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120380.249 * [taylor]: Taking taylor expansion of 1 in x 1552120380.249 * [backup-simplify]: Simplify 1 into 1 1552120380.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.249 * [taylor]: Taking taylor expansion of x in x 1552120380.249 * [backup-simplify]: Simplify 0 into 0 1552120380.249 * [backup-simplify]: Simplify 1 into 1 1552120380.249 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.250 * [backup-simplify]: Simplify (- 1) into -1 1552120380.250 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120380.250 * [backup-simplify]: Simplify (/ 1 -1) into -1 1552120380.250 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1552120380.251 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120380.251 * [taylor]: Taking taylor expansion of 1 in x 1552120380.251 * [backup-simplify]: Simplify 1 into 1 1552120380.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120380.251 * [taylor]: Taking taylor expansion of x in x 1552120380.251 * [backup-simplify]: Simplify 0 into 0 1552120380.251 * [backup-simplify]: Simplify 1 into 1 1552120380.251 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120380.251 * [backup-simplify]: Simplify (- 1) into -1 1552120380.252 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120380.252 * [backup-simplify]: Simplify (/ 1 -1) into -1 1552120380.252 * [backup-simplify]: Simplify -1 into -1 1552120380.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120380.253 * [backup-simplify]: Simplify (- 0) into 0 1552120380.254 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120380.254 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1552120380.255 * [backup-simplify]: Simplify -1 into -1 1552120380.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120380.256 * [backup-simplify]: Simplify (- 0) into 0 1552120380.256 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120380.257 * [backup-simplify]: Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1552120380.257 * [backup-simplify]: Simplify -1 into -1 1552120380.258 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 (- x)) 3)) (+ (* -1 (pow (/ 1 (- x)) 2)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1552120380.258 * * * [progress]: simplifying candidates 1552120380.258 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 1552120380.258 * [simplify]: Simplifying (/ (exp (/ 1 (+ x 1))) (exp (/ 1 x))) 1552120380.258 * * [simplify]: iters left: 6 (8 enodes) 1552120380.263 * * [simplify]: iters left: 5 (29 enodes) 1552120380.271 * * [simplify]: iters left: 4 (35 enodes) 1552120380.289 * * [simplify]: iters left: 3 (43 enodes) 1552120380.303 * * [simplify]: iters left: 2 (49 enodes) 1552120380.316 * * [simplify]: iters left: 1 (53 enodes) 1552120380.324 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.324 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120380.324 * * [simplify]: Extracting #2: cost 15 inf + 1 1552120380.324 * * [simplify]: Extracting #3: cost 21 inf + 1 1552120380.324 * * [simplify]: Extracting #4: cost 19 inf + 45 1552120380.324 * * [simplify]: Extracting #5: cost 9 inf + 825 1552120380.325 * * [simplify]: Extracting #6: cost 0 inf + 2413 1552120380.325 * [simplify]: Simplified to (exp (- (/ 1 (+ x 1)) (/ 1 x))) 1552120380.325 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (- (/ 1 (+ x 1)) (/ 1 x))))) 1552120380.325 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 1552120380.325 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 1552120380.325 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 1552120380.325 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 1552120380.325 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 1552120380.325 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 1552120380.325 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 1552120380.326 * [simplify]: Simplifying (- (* 1 x) (* (+ x 1) 1)) 1552120380.326 * * [simplify]: iters left: 6 (6 enodes) 1552120380.327 * * [simplify]: iters left: 5 (20 enodes) 1552120380.332 * * [simplify]: iters left: 4 (44 enodes) 1552120380.338 * * [simplify]: iters left: 3 (54 enodes) 1552120380.344 * * [simplify]: iters left: 2 (59 enodes) 1552120380.350 * * [simplify]: iters left: 1 (72 enodes) 1552120380.359 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.359 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120380.359 * [simplify]: Simplified to -1 1552120380.359 * [simplify]: Simplified (2 1) to (λ (x) (/ -1 (* (+ x 1) x))) 1552120380.360 * [simplify]: Simplifying (* (+ x 1) x) 1552120380.360 * * [simplify]: iters left: 4 (4 enodes) 1552120380.361 * * [simplify]: iters left: 3 (16 enodes) 1552120380.364 * * [simplify]: iters left: 2 (25 enodes) 1552120380.370 * * [simplify]: iters left: 1 (27 enodes) 1552120380.376 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.377 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.377 * * [simplify]: Extracting #2: cost 7 inf + 1 1552120380.377 * * [simplify]: Extracting #3: cost 2 inf + 246 1552120380.377 * * [simplify]: Extracting #4: cost 0 inf + 330 1552120380.377 * [simplify]: Simplified to (+ (* x x) x) 1552120380.377 * [simplify]: Simplified (2 2) to (λ (x) (/ -1 (+ (* x x) x))) 1552120380.377 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 1552120380.377 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 1552120380.377 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 1552120380.378 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 1552120380.378 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 1552120380.378 * [simplify]: Simplifying (+ (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) 1552120380.378 * * [simplify]: iters left: 6 (8 enodes) 1552120380.382 * * [simplify]: iters left: 5 (28 enodes) 1552120380.389 * * [simplify]: iters left: 4 (30 enodes) 1552120380.396 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.396 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120380.396 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120380.396 * * [simplify]: Extracting #3: cost 13 inf + 0 1552120380.396 * * [simplify]: Extracting #4: cost 12 inf + 2 1552120380.396 * * [simplify]: Extracting #5: cost 8 inf + 210 1552120380.396 * * [simplify]: Extracting #6: cost 1 inf + 984 1552120380.396 * * [simplify]: Extracting #7: cost 0 inf + 1226 1552120380.396 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) (sqrt (/ 1 (+ x 1)))) 1552120380.397 * [simplify]: Simplified (2 1) to (λ (x) (* (+ (sqrt (/ 1 x)) (sqrt (/ 1 (+ x 1)))) (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))))) 1552120380.397 * [simplify]: Simplifying (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) 1552120380.397 * * [simplify]: iters left: 6 (8 enodes) 1552120380.399 * * [simplify]: iters left: 5 (29 enodes) 1552120380.403 * * [simplify]: iters left: 4 (34 enodes) 1552120380.408 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.408 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.408 * * [simplify]: Extracting #2: cost 10 inf + 0 1552120380.408 * * [simplify]: Extracting #3: cost 15 inf + 0 1552120380.409 * * [simplify]: Extracting #4: cost 14 inf + 2 1552120380.409 * * [simplify]: Extracting #5: cost 10 inf + 210 1552120380.409 * * [simplify]: Extracting #6: cost 0 inf + 1470 1552120380.409 * [simplify]: Simplified to (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) 1552120380.409 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))))) 1552120380.409 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 1552120380.409 * [simplify]: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.409 * * [simplify]: iters left: 6 (6 enodes) 1552120380.411 * * [simplify]: iters left: 5 (23 enodes) 1552120380.415 * * [simplify]: iters left: 4 (31 enodes) 1552120380.419 * * [simplify]: iters left: 3 (33 enodes) 1552120380.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.424 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.424 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120380.424 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120380.424 * * [simplify]: Extracting #4: cost 2 inf + 499 1552120380.425 * * [simplify]: Extracting #5: cost 0 inf + 743 1552120380.425 * [simplify]: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.425 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1552120380.425 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1552120380.425 * [simplify]: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.425 * * [simplify]: iters left: 6 (6 enodes) 1552120380.427 * * [simplify]: iters left: 5 (23 enodes) 1552120380.432 * * [simplify]: iters left: 4 (31 enodes) 1552120380.439 * * [simplify]: iters left: 3 (33 enodes) 1552120380.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.447 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.447 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120380.447 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120380.447 * * [simplify]: Extracting #4: cost 2 inf + 499 1552120380.447 * * [simplify]: Extracting #5: cost 0 inf + 743 1552120380.448 * [simplify]: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.448 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1552120380.448 * * * * [progress]: [ 16 / 44 ] simplifiying candidate # 1552120380.448 * [simplify]: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.448 * * [simplify]: iters left: 6 (6 enodes) 1552120380.451 * * [simplify]: iters left: 5 (23 enodes) 1552120380.457 * * [simplify]: iters left: 4 (31 enodes) 1552120380.465 * * [simplify]: iters left: 3 (33 enodes) 1552120380.473 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.473 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.473 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120380.473 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120380.474 * * [simplify]: Extracting #4: cost 2 inf + 499 1552120380.474 * * [simplify]: Extracting #5: cost 0 inf + 743 1552120380.474 * [simplify]: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.474 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1552120380.474 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1552120380.475 * [simplify]: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.475 * * [simplify]: iters left: 6 (6 enodes) 1552120380.478 * * [simplify]: iters left: 5 (23 enodes) 1552120380.485 * * [simplify]: iters left: 4 (31 enodes) 1552120380.493 * * [simplify]: iters left: 3 (33 enodes) 1552120380.503 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.503 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.503 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120380.503 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120380.503 * * [simplify]: Extracting #4: cost 2 inf + 499 1552120380.504 * * [simplify]: Extracting #5: cost 0 inf + 743 1552120380.504 * [simplify]: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1552120380.504 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1552120380.504 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1552120380.504 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #real (real->posit16 (- (/ 1 (+ x 1)) (/ 1 x)))))> 1552120380.504 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 1552120380.504 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 1552120380.505 * [simplify]: Simplifying (- 1) 1552120380.505 * * [simplify]: iters left: 2 (2 enodes) 1552120380.507 * * [simplify]: iters left: 1 (9 enodes) 1552120380.510 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.510 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120380.510 * [simplify]: Simplified to -1 1552120380.510 * [simplify]: Simplified (2 1 2) to (λ (x) (- (pow (+ x 1) -1) (/ 1 x))) 1552120380.510 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 1552120380.510 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 1552120380.511 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 1552120380.511 * [simplify]: Simplifying (cbrt (+ x 1)) 1552120380.511 * * [simplify]: iters left: 3 (4 enodes) 1552120380.516 * * [simplify]: iters left: 2 (15 enodes) 1552120380.520 * * [simplify]: iters left: 1 (17 enodes) 1552120380.523 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.523 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120380.523 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120380.523 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120380.523 * * [simplify]: Extracting #4: cost 1 inf + 208 1552120380.523 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120380.523 * [simplify]: Simplified to (cbrt (+ 1 x)) 1552120380.523 * [simplify]: Simplified (2 1 2) to (λ (x) (- (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ 1 x))) (/ 1 x))) 1552120380.523 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 1552120380.524 * [simplify]: Simplifying (sqrt (+ x 1)) 1552120380.524 * * [simplify]: iters left: 3 (4 enodes) 1552120380.525 * * [simplify]: iters left: 2 (15 enodes) 1552120380.527 * * [simplify]: iters left: 1 (17 enodes) 1552120380.530 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.530 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120380.530 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120380.530 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120380.530 * * [simplify]: Extracting #4: cost 1 inf + 168 1552120380.530 * * [simplify]: Extracting #5: cost 0 inf + 250 1552120380.530 * [simplify]: Simplified to (sqrt (+ 1 x)) 1552120380.530 * [simplify]: Simplified (2 1 2) to (λ (x) (- (/ (/ 1 (sqrt (+ x 1))) (sqrt (+ 1 x))) (/ 1 x))) 1552120380.530 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 1552120380.530 * [simplify]: Simplifying (+ x 1) 1552120380.531 * * [simplify]: iters left: 2 (3 enodes) 1552120380.532 * * [simplify]: iters left: 1 (12 enodes) 1552120380.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.534 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120380.534 * * [simplify]: Extracting #2: cost 2 inf + 2 1552120380.534 * * [simplify]: Extracting #3: cost 0 inf + 86 1552120380.534 * [simplify]: Simplified to (+ 1 x) 1552120380.534 * [simplify]: Simplified (2 1 2) to (λ (x) (- (/ (/ 1 1) (+ 1 x)) (/ 1 x))) 1552120380.534 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 1552120380.534 * [simplify]: Simplifying (+ (* x x) (- (* 1 1) (* x 1))) 1552120380.534 * * [simplify]: iters left: 6 (7 enodes) 1552120380.536 * * [simplify]: iters left: 5 (24 enodes) 1552120380.540 * * [simplify]: iters left: 4 (41 enodes) 1552120380.546 * * [simplify]: iters left: 3 (59 enodes) 1552120380.554 * * [simplify]: iters left: 2 (73 enodes) 1552120380.563 * * [simplify]: iters left: 1 (91 enodes) 1552120380.576 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.576 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120380.576 * * [simplify]: Extracting #2: cost 24 inf + 2 1552120380.577 * * [simplify]: Extracting #3: cost 11 inf + 818 1552120380.577 * * [simplify]: Extracting #4: cost 1 inf + 1474 1552120380.577 * * [simplify]: Extracting #5: cost 0 inf + 1556 1552120380.578 * [simplify]: Simplified to (+ (- 1 x) (* x x)) 1552120380.578 * [simplify]: Simplified (2 1 2) to (λ (x) (- (* (/ 1 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) (/ 1 x))) 1552120380.578 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 1552120380.578 * [simplify]: Simplifying (- x 1) 1552120380.578 * * [simplify]: iters left: 2 (3 enodes) 1552120380.580 * * [simplify]: iters left: 1 (14 enodes) 1552120380.582 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.582 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120380.582 * * [simplify]: Extracting #2: cost 2 inf + 3 1552120380.582 * * [simplify]: Extracting #3: cost 0 inf + 87 1552120380.582 * [simplify]: Simplified to (- x 1) 1552120380.582 * [simplify]: Simplified (2 1 2) to (λ (x) (- (* (/ 1 (- (* x x) (* 1 1))) (- x 1)) (/ 1 x))) 1552120380.582 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #real (real->posit16 (/ 1 (+ x 1)))) (/ 1 x)))> 1552120380.582 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 1552120380.582 * [simplify]: Simplifying (- 1 (+ x (/ 1 x))) 1552120380.582 * * [simplify]: iters left: 6 (5 enodes) 1552120380.584 * * [simplify]: iters left: 5 (22 enodes) 1552120380.589 * * [simplify]: iters left: 4 (37 enodes) 1552120380.602 * * [simplify]: iters left: 3 (57 enodes) 1552120380.618 * * [simplify]: iters left: 2 (74 enodes) 1552120380.637 * * [simplify]: iters left: 1 (92 enodes) 1552120380.659 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.660 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120380.660 * * [simplify]: Extracting #2: cost 21 inf + 45 1552120380.661 * * [simplify]: Extracting #3: cost 4 inf + 1238 1552120380.662 * * [simplify]: Extracting #4: cost 0 inf + 1566 1552120380.663 * [simplify]: Simplified to (- 1 (+ x (/ 1 x))) 1552120380.663 * [simplify]: Simplified (2) to (λ (x) (- 1 (+ x (/ 1 x)))) 1552120380.663 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 1552120380.663 * [simplify]: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120380.663 * * [simplify]: iters left: 6 (13 enodes) 1552120380.671 * * [simplify]: iters left: 5 (49 enodes) 1552120380.683 * * [simplify]: iters left: 4 (70 enodes) 1552120380.694 * * [simplify]: iters left: 3 (95 enodes) 1552120380.709 * * [simplify]: iters left: 2 (115 enodes) 1552120380.742 * * [simplify]: iters left: 1 (136 enodes) 1552120380.780 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.780 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120380.780 * * [simplify]: Extracting #2: cost 36 inf + 0 1552120380.780 * * [simplify]: Extracting #3: cost 41 inf + 3 1552120380.781 * * [simplify]: Extracting #4: cost 20 inf + 1798 1552120380.783 * * [simplify]: Extracting #5: cost 6 inf + 6356 1552120380.786 * * [simplify]: Extracting #6: cost 0 inf + 8514 1552120380.789 * [simplify]: Simplified to (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x)) 1552120380.789 * [simplify]: Simplified (2) to (λ (x) (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x))) 1552120380.789 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 1552120380.789 * [simplify]: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120380.790 * * [simplify]: iters left: 6 (13 enodes) 1552120380.797 * * [simplify]: iters left: 5 (49 enodes) 1552120380.813 * * [simplify]: iters left: 4 (70 enodes) 1552120380.834 * * [simplify]: iters left: 3 (95 enodes) 1552120380.863 * * [simplify]: iters left: 2 (115 enodes) 1552120380.880 * * [simplify]: iters left: 1 (136 enodes) 1552120380.898 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.898 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120380.898 * * [simplify]: Extracting #2: cost 36 inf + 0 1552120380.898 * * [simplify]: Extracting #3: cost 41 inf + 3 1552120380.899 * * [simplify]: Extracting #4: cost 20 inf + 1798 1552120380.900 * * [simplify]: Extracting #5: cost 6 inf + 6356 1552120380.901 * * [simplify]: Extracting #6: cost 0 inf + 8514 1552120380.903 * [simplify]: Simplified to (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x)) 1552120380.903 * [simplify]: Simplified (2) to (λ (x) (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x))) 1552120380.903 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 1552120380.904 * [simplify]: Simplifying (- (+ (pow x 2) 1) x) 1552120380.904 * * [simplify]: iters left: 5 (6 enodes) 1552120380.906 * * [simplify]: iters left: 4 (26 enodes) 1552120380.911 * * [simplify]: iters left: 3 (40 enodes) 1552120380.917 * * [simplify]: iters left: 2 (49 enodes) 1552120380.924 * * [simplify]: iters left: 1 (53 enodes) 1552120380.931 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.931 * * [simplify]: Extracting #1: cost 11 inf + 0 1552120380.931 * * [simplify]: Extracting #2: cost 17 inf + 2 1552120380.931 * * [simplify]: Extracting #3: cost 8 inf + 534 1552120380.931 * * [simplify]: Extracting #4: cost 0 inf + 1145 1552120380.932 * [simplify]: Simplified to (- (+ 1 (* x x)) x) 1552120380.932 * [simplify]: Simplified (2 1) to (λ (x) (- (- (+ 1 (* x x)) x) (/ 1 x))) 1552120380.932 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 1552120380.932 * [simplify]: Simplifying (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1552120380.932 * * [simplify]: iters left: 6 (11 enodes) 1552120380.935 * * [simplify]: iters left: 5 (43 enodes) 1552120380.944 * * [simplify]: iters left: 4 (65 enodes) 1552120380.958 * * [simplify]: iters left: 3 (78 enodes) 1552120380.968 * * [simplify]: iters left: 2 (85 enodes) 1552120380.978 * * [simplify]: iters left: 1 (92 enodes) 1552120380.990 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120380.990 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120380.990 * * [simplify]: Extracting #2: cost 31 inf + 0 1552120380.990 * * [simplify]: Extracting #3: cost 29 inf + 291 1552120380.991 * * [simplify]: Extracting #4: cost 14 inf + 1738 1552120380.992 * * [simplify]: Extracting #5: cost 0 inf + 3704 1552120380.992 * [simplify]: Simplified to (+ (/ (/ (/ 1 x) x) x) (- (/ 1 x) (/ (/ 1 x) x))) 1552120380.992 * [simplify]: Simplified (2 1) to (λ (x) (- (+ (/ (/ (/ 1 x) x) x) (- (/ 1 x) (/ (/ 1 x) x))) (/ 1 x))) 1552120380.993 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 1552120380.993 * [simplify]: Simplifying (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1552120380.993 * * [simplify]: iters left: 6 (11 enodes) 1552120380.996 * * [simplify]: iters left: 5 (43 enodes) 1552120381.008 * * [simplify]: iters left: 4 (65 enodes) 1552120381.026 * * [simplify]: iters left: 3 (78 enodes) 1552120381.046 * * [simplify]: iters left: 2 (85 enodes) 1552120381.070 * * [simplify]: iters left: 1 (92 enodes) 1552120381.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.087 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120381.087 * * [simplify]: Extracting #2: cost 31 inf + 0 1552120381.088 * * [simplify]: Extracting #3: cost 29 inf + 291 1552120381.088 * * [simplify]: Extracting #4: cost 14 inf + 1738 1552120381.089 * * [simplify]: Extracting #5: cost 0 inf + 3704 1552120381.090 * [simplify]: Simplified to (+ (/ (/ (/ 1 x) x) x) (- (/ 1 x) (/ (/ 1 x) x))) 1552120381.090 * [simplify]: Simplified (2 1) to (λ (x) (- (+ (/ (/ (/ 1 x) x) x) (- (/ 1 x) (/ (/ 1 x) x))) (/ 1 x))) 1552120381.090 * * * [progress]: adding candidates to table 1552120381.331 * * [progress]: iteration 2 / 4 1552120381.331 * * * [progress]: picking best candidate 1552120381.336 * * * * [pick]: Picked # 1552120381.336 * * * [progress]: localizing error 1552120381.356 * * * [progress]: generating rewritten candidates 1552120381.356 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552120381.360 * * * [progress]: generating series expansions 1552120381.360 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552120381.360 * [backup-simplify]: Simplify (/ -1 (+ (* x x) x)) into (/ -1 (+ x (pow x 2))) 1552120381.360 * [approximate]: Taking taylor expansion of (/ -1 (+ x (pow x 2))) in (x) around 0 1552120381.360 * [taylor]: Taking taylor expansion of (/ -1 (+ x (pow x 2))) in x 1552120381.360 * [taylor]: Taking taylor expansion of -1 in x 1552120381.360 * [backup-simplify]: Simplify -1 into -1 1552120381.360 * [taylor]: Taking taylor expansion of (+ x (pow x 2)) in x 1552120381.360 * [taylor]: Taking taylor expansion of x in x 1552120381.360 * [backup-simplify]: Simplify 0 into 0 1552120381.360 * [backup-simplify]: Simplify 1 into 1 1552120381.360 * [taylor]: Taking taylor expansion of (pow x 2) in x 1552120381.360 * [taylor]: Taking taylor expansion of x in x 1552120381.360 * [backup-simplify]: Simplify 0 into 0 1552120381.360 * [backup-simplify]: Simplify 1 into 1 1552120381.361 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120381.361 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120381.362 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120381.362 * [taylor]: Taking taylor expansion of (/ -1 (+ x (pow x 2))) in x 1552120381.362 * [taylor]: Taking taylor expansion of -1 in x 1552120381.362 * [backup-simplify]: Simplify -1 into -1 1552120381.362 * [taylor]: Taking taylor expansion of (+ x (pow x 2)) in x 1552120381.362 * [taylor]: Taking taylor expansion of x in x 1552120381.362 * [backup-simplify]: Simplify 0 into 0 1552120381.362 * [backup-simplify]: Simplify 1 into 1 1552120381.362 * [taylor]: Taking taylor expansion of (pow x 2) in x 1552120381.362 * [taylor]: Taking taylor expansion of x in x 1552120381.362 * [backup-simplify]: Simplify 0 into 0 1552120381.362 * [backup-simplify]: Simplify 1 into 1 1552120381.362 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120381.362 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120381.363 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120381.363 * [backup-simplify]: Simplify -1 into -1 1552120381.363 * [backup-simplify]: Simplify (* 1 1) into 1 1552120381.363 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120381.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1552120381.364 * [backup-simplify]: Simplify 1 into 1 1552120381.364 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120381.365 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120381.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1552120381.365 * [backup-simplify]: Simplify -1 into -1 1552120381.365 * [backup-simplify]: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1552120381.366 * [backup-simplify]: Simplify (/ -1 (+ (* (/ 1 x) (/ 1 x)) (/ 1 x))) into (/ -1 (+ (/ 1 (pow x 2)) (/ 1 x))) 1552120381.366 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 (pow x 2)) (/ 1 x))) in (x) around 0 1552120381.366 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (pow x 2)) (/ 1 x))) in x 1552120381.366 * [taylor]: Taking taylor expansion of -1 in x 1552120381.366 * [backup-simplify]: Simplify -1 into -1 1552120381.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x 1552120381.366 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1552120381.366 * [taylor]: Taking taylor expansion of (pow x 2) in x 1552120381.366 * [taylor]: Taking taylor expansion of x in x 1552120381.366 * [backup-simplify]: Simplify 0 into 0 1552120381.366 * [backup-simplify]: Simplify 1 into 1 1552120381.366 * [backup-simplify]: Simplify (* 1 1) into 1 1552120381.366 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120381.366 * [taylor]: Taking taylor expansion of x in x 1552120381.366 * [backup-simplify]: Simplify 0 into 0 1552120381.366 * [backup-simplify]: Simplify 1 into 1 1552120381.366 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.367 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120381.367 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120381.367 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (pow x 2)) (/ 1 x))) in x 1552120381.367 * [taylor]: Taking taylor expansion of -1 in x 1552120381.367 * [backup-simplify]: Simplify -1 into -1 1552120381.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x 1552120381.367 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1552120381.367 * [taylor]: Taking taylor expansion of (pow x 2) in x 1552120381.367 * [taylor]: Taking taylor expansion of x in x 1552120381.367 * [backup-simplify]: Simplify 0 into 0 1552120381.367 * [backup-simplify]: Simplify 1 into 1 1552120381.367 * [backup-simplify]: Simplify (* 1 1) into 1 1552120381.368 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120381.368 * [taylor]: Taking taylor expansion of x in x 1552120381.368 * [backup-simplify]: Simplify 0 into 0 1552120381.368 * [backup-simplify]: Simplify 1 into 1 1552120381.368 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.368 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120381.368 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120381.368 * [backup-simplify]: Simplify -1 into -1 1552120381.369 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120381.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120381.370 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120381.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1552120381.370 * [backup-simplify]: Simplify 1 into 1 1552120381.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120381.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120381.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120381.372 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120381.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1552120381.372 * [backup-simplify]: Simplify -1 into -1 1552120381.373 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120381.373 * [backup-simplify]: Simplify (/ -1 (+ (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)))) into (/ -1 (- (/ 1 (pow x 2)) (/ 1 x))) 1552120381.373 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 (pow x 2)) (/ 1 x))) in (x) around 0 1552120381.373 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 (pow x 2)) (/ 1 x))) in x 1552120381.373 * [taylor]: Taking taylor expansion of -1 in x 1552120381.373 * [backup-simplify]: Simplify -1 into -1 1552120381.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x 1552120381.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1552120381.373 * [taylor]: Taking taylor expansion of (pow x 2) in x 1552120381.373 * [taylor]: Taking taylor expansion of x in x 1552120381.373 * [backup-simplify]: Simplify 0 into 0 1552120381.373 * [backup-simplify]: Simplify 1 into 1 1552120381.373 * [backup-simplify]: Simplify (* 1 1) into 1 1552120381.373 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120381.374 * [taylor]: Taking taylor expansion of x in x 1552120381.374 * [backup-simplify]: Simplify 0 into 0 1552120381.374 * [backup-simplify]: Simplify 1 into 1 1552120381.374 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.374 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120381.374 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120381.374 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 (pow x 2)) (/ 1 x))) in x 1552120381.374 * [taylor]: Taking taylor expansion of -1 in x 1552120381.374 * [backup-simplify]: Simplify -1 into -1 1552120381.374 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x 1552120381.374 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1552120381.374 * [taylor]: Taking taylor expansion of (pow x 2) in x 1552120381.374 * [taylor]: Taking taylor expansion of x in x 1552120381.374 * [backup-simplify]: Simplify 0 into 0 1552120381.374 * [backup-simplify]: Simplify 1 into 1 1552120381.375 * [backup-simplify]: Simplify (* 1 1) into 1 1552120381.375 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120381.375 * [taylor]: Taking taylor expansion of x in x 1552120381.375 * [backup-simplify]: Simplify 0 into 0 1552120381.375 * [backup-simplify]: Simplify 1 into 1 1552120381.375 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120381.376 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120381.376 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120381.376 * [backup-simplify]: Simplify -1 into -1 1552120381.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120381.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120381.377 * [backup-simplify]: Simplify (- 1) into -1 1552120381.377 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120381.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ -1 1)))) into -1 1552120381.378 * [backup-simplify]: Simplify -1 into -1 1552120381.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120381.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120381.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120381.380 * [backup-simplify]: Simplify (- 0) into 0 1552120381.380 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120381.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* -1 (/ -1 1)))) into -1 1552120381.380 * [backup-simplify]: Simplify -1 into -1 1552120381.381 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120381.381 * * * [progress]: simplifying candidates 1552120381.381 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 1552120381.381 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 1552120381.381 * [simplify]: Simplifying (cbrt (+ (* x x) x)) 1552120381.381 * * [simplify]: iters left: 5 (4 enodes) 1552120381.382 * * [simplify]: iters left: 4 (16 enodes) 1552120381.386 * * [simplify]: iters left: 3 (24 enodes) 1552120381.390 * * [simplify]: iters left: 2 (32 enodes) 1552120381.395 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.395 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120381.395 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120381.395 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120381.395 * * [simplify]: Extracting #4: cost 2 inf + 568 1552120381.395 * * [simplify]: Extracting #5: cost 1 inf + 610 1552120381.396 * * [simplify]: Extracting #6: cost 0 inf + 652 1552120381.396 * [simplify]: Simplified to (cbrt (+ (* x x) x)) 1552120381.396 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ -1 (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x)))) (cbrt (+ (* x x) x)))) 1552120381.396 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 1552120381.396 * [simplify]: Simplifying (sqrt (+ (* x x) x)) 1552120381.396 * * [simplify]: iters left: 5 (4 enodes) 1552120381.397 * * [simplify]: iters left: 4 (16 enodes) 1552120381.401 * * [simplify]: iters left: 3 (24 enodes) 1552120381.405 * * [simplify]: iters left: 2 (32 enodes) 1552120381.410 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.410 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120381.410 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120381.410 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120381.410 * * [simplify]: Extracting #4: cost 2 inf + 488 1552120381.410 * * [simplify]: Extracting #5: cost 1 inf + 530 1552120381.410 * * [simplify]: Extracting #6: cost 0 inf + 572 1552120381.410 * [simplify]: Simplified to (sqrt (+ (* x x) x)) 1552120381.410 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ -1 (sqrt (+ (* x x) x))) (sqrt (+ (* x x) x)))) 1552120381.411 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 1552120381.411 * [simplify]: Simplifying (+ (* x x) x) 1552120381.411 * * [simplify]: iters left: 4 (3 enodes) 1552120381.412 * * [simplify]: iters left: 3 (13 enodes) 1552120381.415 * * [simplify]: iters left: 2 (21 enodes) 1552120381.419 * * [simplify]: iters left: 1 (29 enodes) 1552120381.423 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.423 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120381.423 * * [simplify]: Extracting #2: cost 6 inf + 42 1552120381.423 * * [simplify]: Extracting #3: cost 2 inf + 246 1552120381.423 * * [simplify]: Extracting #4: cost 1 inf + 288 1552120381.423 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120381.423 * [simplify]: Simplified to (+ (* x x) x) 1552120381.423 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ -1 1) (+ (* x x) x))) 1552120381.423 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 1552120381.423 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 1552120381.424 * [simplify]: Simplifying (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x))) 1552120381.424 * * [simplify]: iters left: 6 (6 enodes) 1552120381.425 * * [simplify]: iters left: 5 (28 enodes) 1552120381.430 * * [simplify]: iters left: 4 (60 enodes) 1552120381.448 * * [simplify]: iters left: 3 (120 enodes) 1552120381.471 * * [simplify]: iters left: 2 (197 enodes) 1552120381.553 * * [simplify]: iters left: 1 (312 enodes) 1552120381.640 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.640 * * [simplify]: Extracting #1: cost 22 inf + 0 1552120381.640 * * [simplify]: Extracting #2: cost 66 inf + 2 1552120381.641 * * [simplify]: Extracting #3: cost 65 inf + 537 1552120381.642 * * [simplify]: Extracting #4: cost 24 inf + 4873 1552120381.644 * * [simplify]: Extracting #5: cost 0 inf + 8024 1552120381.647 * * [simplify]: Extracting #6: cost 0 inf + 8023 1552120381.649 * [simplify]: Simplified to (+ (* (- (* x x) x) (* x x)) (* x x)) 1552120381.649 * [simplify]: Simplified (2 2) to (λ (x) (* (/ -1 (+ (pow (* x x) 3) (pow x 3))) (+ (* (- (* x x) x) (* x x)) (* x x)))) 1552120381.649 * * * * [progress]: [ 16 / 20 ] simplifiying candidate # 1552120381.649 * [simplify]: Simplifying (- (* x x) x) 1552120381.649 * * [simplify]: iters left: 4 (3 enodes) 1552120381.650 * * [simplify]: iters left: 3 (11 enodes) 1552120381.652 * * [simplify]: iters left: 2 (14 enodes) 1552120381.654 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.654 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120381.654 * * [simplify]: Extracting #2: cost 6 inf + 1 1552120381.654 * * [simplify]: Extracting #3: cost 0 inf + 327 1552120381.654 * [simplify]: Simplified to (- (* x x) x) 1552120381.654 * [simplify]: Simplified (2 2) to (λ (x) (* (/ -1 (- (* (* x x) (* x x)) (* x x))) (- (* x x) x))) 1552120381.654 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #real (real->posit16 (/ -1 (+ (* x x) x)))))> 1552120381.654 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 1552120381.654 * [simplify]: Simplifying (- 1 (+ x (/ 1 x))) 1552120381.654 * * [simplify]: iters left: 6 (5 enodes) 1552120381.656 * * [simplify]: iters left: 5 (22 enodes) 1552120381.662 * * [simplify]: iters left: 4 (37 enodes) 1552120381.674 * * [simplify]: iters left: 3 (57 enodes) 1552120381.690 * * [simplify]: iters left: 2 (74 enodes) 1552120381.711 * * [simplify]: iters left: 1 (92 enodes) 1552120381.740 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.740 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120381.741 * * [simplify]: Extracting #2: cost 21 inf + 45 1552120381.741 * * [simplify]: Extracting #3: cost 4 inf + 1238 1552120381.743 * * [simplify]: Extracting #4: cost 0 inf + 1566 1552120381.744 * [simplify]: Simplified to (- 1 (+ x (/ 1 x))) 1552120381.744 * [simplify]: Simplified (2) to (λ (x) (- 1 (+ x (/ 1 x)))) 1552120381.744 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 1552120381.744 * [simplify]: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120381.745 * * [simplify]: iters left: 6 (13 enodes) 1552120381.753 * * [simplify]: iters left: 5 (49 enodes) 1552120381.772 * * [simplify]: iters left: 4 (70 enodes) 1552120381.788 * * [simplify]: iters left: 3 (95 enodes) 1552120381.801 * * [simplify]: iters left: 2 (115 enodes) 1552120381.815 * * [simplify]: iters left: 1 (136 enodes) 1552120381.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.837 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120381.838 * * [simplify]: Extracting #2: cost 36 inf + 0 1552120381.838 * * [simplify]: Extracting #3: cost 41 inf + 3 1552120381.838 * * [simplify]: Extracting #4: cost 20 inf + 1798 1552120381.839 * * [simplify]: Extracting #5: cost 6 inf + 6356 1552120381.840 * * [simplify]: Extracting #6: cost 0 inf + 8514 1552120381.842 * [simplify]: Simplified to (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x)) 1552120381.842 * [simplify]: Simplified (2) to (λ (x) (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x))) 1552120381.842 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 1552120381.842 * [simplify]: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120381.842 * * [simplify]: iters left: 6 (13 enodes) 1552120381.846 * * [simplify]: iters left: 5 (49 enodes) 1552120381.854 * * [simplify]: iters left: 4 (70 enodes) 1552120381.867 * * [simplify]: iters left: 3 (95 enodes) 1552120381.892 * * [simplify]: iters left: 2 (115 enodes) 1552120381.922 * * [simplify]: iters left: 1 (136 enodes) 1552120381.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120381.958 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120381.958 * * [simplify]: Extracting #2: cost 36 inf + 0 1552120381.958 * * [simplify]: Extracting #3: cost 41 inf + 3 1552120381.959 * * [simplify]: Extracting #4: cost 20 inf + 1798 1552120381.960 * * [simplify]: Extracting #5: cost 6 inf + 6356 1552120381.961 * * [simplify]: Extracting #6: cost 0 inf + 8514 1552120381.963 * [simplify]: Simplified to (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x)) 1552120381.963 * [simplify]: Simplified (2) to (λ (x) (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x))) 1552120381.963 * * * [progress]: adding candidates to table 1552120382.102 * * [progress]: iteration 3 / 4 1552120382.102 * * * [progress]: picking best candidate 1552120382.111 * * * * [pick]: Picked # 1552120382.111 * * * [progress]: localizing error 1552120382.122 * * * [progress]: generating rewritten candidates 1552120382.122 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1552120382.129 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1552120382.131 * * * [progress]: generating series expansions 1552120382.131 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1552120382.131 * [backup-simplify]: Simplify (/ (/ -1 (+ x 1)) x) into (/ -1 (* x (+ x 1))) 1552120382.131 * [approximate]: Taking taylor expansion of (/ -1 (* x (+ x 1))) in (x) around 0 1552120382.131 * [taylor]: Taking taylor expansion of (/ -1 (* x (+ x 1))) in x 1552120382.131 * [taylor]: Taking taylor expansion of -1 in x 1552120382.131 * [backup-simplify]: Simplify -1 into -1 1552120382.131 * [taylor]: Taking taylor expansion of (* x (+ x 1)) in x 1552120382.131 * [taylor]: Taking taylor expansion of x in x 1552120382.131 * [backup-simplify]: Simplify 0 into 0 1552120382.131 * [backup-simplify]: Simplify 1 into 1 1552120382.131 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120382.131 * [taylor]: Taking taylor expansion of x in x 1552120382.131 * [backup-simplify]: Simplify 0 into 0 1552120382.131 * [backup-simplify]: Simplify 1 into 1 1552120382.131 * [taylor]: Taking taylor expansion of 1 in x 1552120382.131 * [backup-simplify]: Simplify 1 into 1 1552120382.132 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120382.133 * [backup-simplify]: Simplify (* 0 1) into 0 1552120382.133 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.134 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1552120382.134 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120382.134 * [taylor]: Taking taylor expansion of (/ -1 (* x (+ x 1))) in x 1552120382.134 * [taylor]: Taking taylor expansion of -1 in x 1552120382.134 * [backup-simplify]: Simplify -1 into -1 1552120382.134 * [taylor]: Taking taylor expansion of (* x (+ x 1)) in x 1552120382.134 * [taylor]: Taking taylor expansion of x in x 1552120382.134 * [backup-simplify]: Simplify 0 into 0 1552120382.134 * [backup-simplify]: Simplify 1 into 1 1552120382.134 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120382.134 * [taylor]: Taking taylor expansion of x in x 1552120382.134 * [backup-simplify]: Simplify 0 into 0 1552120382.135 * [backup-simplify]: Simplify 1 into 1 1552120382.135 * [taylor]: Taking taylor expansion of 1 in x 1552120382.135 * [backup-simplify]: Simplify 1 into 1 1552120382.135 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120382.135 * [backup-simplify]: Simplify (* 0 1) into 0 1552120382.136 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.136 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1552120382.137 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120382.137 * [backup-simplify]: Simplify -1 into -1 1552120382.137 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.138 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1552120382.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1552120382.139 * [backup-simplify]: Simplify 1 into 1 1552120382.144 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1552120382.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1552120382.147 * [backup-simplify]: Simplify -1 into -1 1552120382.147 * [backup-simplify]: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1552120382.147 * [backup-simplify]: Simplify (/ (/ -1 (+ (/ 1 x) 1)) (/ 1 x)) into (* -1 (/ x (+ (/ 1 x) 1))) 1552120382.147 * [approximate]: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in (x) around 0 1552120382.147 * [taylor]: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in x 1552120382.147 * [taylor]: Taking taylor expansion of -1 in x 1552120382.147 * [backup-simplify]: Simplify -1 into -1 1552120382.147 * [taylor]: Taking taylor expansion of (/ x (+ (/ 1 x) 1)) in x 1552120382.147 * [taylor]: Taking taylor expansion of x in x 1552120382.147 * [backup-simplify]: Simplify 0 into 0 1552120382.147 * [backup-simplify]: Simplify 1 into 1 1552120382.147 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120382.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.147 * [taylor]: Taking taylor expansion of x in x 1552120382.147 * [backup-simplify]: Simplify 0 into 0 1552120382.147 * [backup-simplify]: Simplify 1 into 1 1552120382.148 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.148 * [taylor]: Taking taylor expansion of 1 in x 1552120382.148 * [backup-simplify]: Simplify 1 into 1 1552120382.149 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.150 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.150 * [taylor]: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in x 1552120382.150 * [taylor]: Taking taylor expansion of -1 in x 1552120382.150 * [backup-simplify]: Simplify -1 into -1 1552120382.150 * [taylor]: Taking taylor expansion of (/ x (+ (/ 1 x) 1)) in x 1552120382.150 * [taylor]: Taking taylor expansion of x in x 1552120382.150 * [backup-simplify]: Simplify 0 into 0 1552120382.150 * [backup-simplify]: Simplify 1 into 1 1552120382.150 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120382.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.150 * [taylor]: Taking taylor expansion of x in x 1552120382.150 * [backup-simplify]: Simplify 0 into 0 1552120382.150 * [backup-simplify]: Simplify 1 into 1 1552120382.150 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.150 * [taylor]: Taking taylor expansion of 1 in x 1552120382.150 * [backup-simplify]: Simplify 1 into 1 1552120382.151 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.151 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.152 * [backup-simplify]: Simplify (* -1 1) into -1 1552120382.152 * [backup-simplify]: Simplify -1 into -1 1552120382.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120382.153 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120382.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1552120382.155 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 1)) into 1 1552120382.155 * [backup-simplify]: Simplify 1 into 1 1552120382.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120382.156 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1552120382.158 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 1))) into -1 1552120382.158 * [backup-simplify]: Simplify -1 into -1 1552120382.159 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120382.159 * [backup-simplify]: Simplify (/ (/ -1 (+ (/ 1 (- x)) 1)) (/ 1 (- x))) into (/ x (- 1 (/ 1 x))) 1552120382.159 * [approximate]: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in (x) around 0 1552120382.159 * [taylor]: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in x 1552120382.159 * [taylor]: Taking taylor expansion of x in x 1552120382.159 * [backup-simplify]: Simplify 0 into 0 1552120382.159 * [backup-simplify]: Simplify 1 into 1 1552120382.159 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120382.159 * [taylor]: Taking taylor expansion of 1 in x 1552120382.159 * [backup-simplify]: Simplify 1 into 1 1552120382.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.159 * [taylor]: Taking taylor expansion of x in x 1552120382.159 * [backup-simplify]: Simplify 0 into 0 1552120382.159 * [backup-simplify]: Simplify 1 into 1 1552120382.159 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.160 * [backup-simplify]: Simplify (- 1) into -1 1552120382.160 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120382.161 * [backup-simplify]: Simplify (/ 1 -1) into -1 1552120382.161 * [taylor]: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in x 1552120382.161 * [taylor]: Taking taylor expansion of x in x 1552120382.161 * [backup-simplify]: Simplify 0 into 0 1552120382.161 * [backup-simplify]: Simplify 1 into 1 1552120382.161 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120382.161 * [taylor]: Taking taylor expansion of 1 in x 1552120382.161 * [backup-simplify]: Simplify 1 into 1 1552120382.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.161 * [taylor]: Taking taylor expansion of x in x 1552120382.161 * [backup-simplify]: Simplify 0 into 0 1552120382.161 * [backup-simplify]: Simplify 1 into 1 1552120382.161 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.162 * [backup-simplify]: Simplify (- 1) into -1 1552120382.162 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120382.162 * [backup-simplify]: Simplify (/ 1 -1) into -1 1552120382.162 * [backup-simplify]: Simplify -1 into -1 1552120382.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120382.163 * [backup-simplify]: Simplify (- 0) into 0 1552120382.164 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.165 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 1 -1)))) into -1 1552120382.165 * [backup-simplify]: Simplify -1 into -1 1552120382.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120382.166 * [backup-simplify]: Simplify (- 0) into 0 1552120382.166 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.167 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1552120382.167 * [backup-simplify]: Simplify -1 into -1 1552120382.168 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120382.168 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1552120382.168 * [backup-simplify]: Simplify (/ -1 (+ x 1)) into (/ -1 (+ x 1)) 1552120382.168 * [approximate]: Taking taylor expansion of (/ -1 (+ x 1)) in (x) around 0 1552120382.168 * [taylor]: Taking taylor expansion of (/ -1 (+ x 1)) in x 1552120382.168 * [taylor]: Taking taylor expansion of -1 in x 1552120382.168 * [backup-simplify]: Simplify -1 into -1 1552120382.168 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120382.168 * [taylor]: Taking taylor expansion of x in x 1552120382.168 * [backup-simplify]: Simplify 0 into 0 1552120382.168 * [backup-simplify]: Simplify 1 into 1 1552120382.168 * [taylor]: Taking taylor expansion of 1 in x 1552120382.168 * [backup-simplify]: Simplify 1 into 1 1552120382.169 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120382.169 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120382.169 * [taylor]: Taking taylor expansion of (/ -1 (+ x 1)) in x 1552120382.169 * [taylor]: Taking taylor expansion of -1 in x 1552120382.169 * [backup-simplify]: Simplify -1 into -1 1552120382.169 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120382.169 * [taylor]: Taking taylor expansion of x in x 1552120382.169 * [backup-simplify]: Simplify 0 into 0 1552120382.169 * [backup-simplify]: Simplify 1 into 1 1552120382.169 * [taylor]: Taking taylor expansion of 1 in x 1552120382.169 * [backup-simplify]: Simplify 1 into 1 1552120382.170 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120382.170 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120382.170 * [backup-simplify]: Simplify -1 into -1 1552120382.171 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.172 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1552120382.172 * [backup-simplify]: Simplify 1 into 1 1552120382.172 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1552120382.173 * [backup-simplify]: Simplify -1 into -1 1552120382.174 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) (+ (* 1 x) -1)) into (- x (+ (pow x 2) 1)) 1552120382.174 * [backup-simplify]: Simplify (/ -1 (+ (/ 1 x) 1)) into (/ -1 (+ (/ 1 x) 1)) 1552120382.174 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in (x) around 0 1552120382.174 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x 1552120382.174 * [taylor]: Taking taylor expansion of -1 in x 1552120382.174 * [backup-simplify]: Simplify -1 into -1 1552120382.174 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120382.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.174 * [taylor]: Taking taylor expansion of x in x 1552120382.174 * [backup-simplify]: Simplify 0 into 0 1552120382.174 * [backup-simplify]: Simplify 1 into 1 1552120382.174 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.174 * [taylor]: Taking taylor expansion of 1 in x 1552120382.174 * [backup-simplify]: Simplify 1 into 1 1552120382.175 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.175 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120382.175 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x 1552120382.175 * [taylor]: Taking taylor expansion of -1 in x 1552120382.175 * [backup-simplify]: Simplify -1 into -1 1552120382.175 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120382.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.175 * [taylor]: Taking taylor expansion of x in x 1552120382.175 * [backup-simplify]: Simplify 0 into 0 1552120382.175 * [backup-simplify]: Simplify 1 into 1 1552120382.176 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.176 * [taylor]: Taking taylor expansion of 1 in x 1552120382.176 * [backup-simplify]: Simplify 1 into 1 1552120382.176 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.177 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120382.177 * [backup-simplify]: Simplify -1 into -1 1552120382.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120382.178 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120382.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1552120382.179 * [backup-simplify]: Simplify 1 into 1 1552120382.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120382.180 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1552120382.181 * [backup-simplify]: Simplify -1 into -1 1552120382.181 * [backup-simplify]: Simplify (+ (* -1 (pow (/ 1 x) 3)) (+ (* 1 (pow (/ 1 x) 2)) (* -1 (/ 1 x)))) into (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1552120382.182 * [backup-simplify]: Simplify (/ -1 (+ (/ 1 (- x)) 1)) into (/ -1 (- 1 (/ 1 x))) 1552120382.182 * [approximate]: Taking taylor expansion of (/ -1 (- 1 (/ 1 x))) in (x) around 0 1552120382.182 * [taylor]: Taking taylor expansion of (/ -1 (- 1 (/ 1 x))) in x 1552120382.182 * [taylor]: Taking taylor expansion of -1 in x 1552120382.182 * [backup-simplify]: Simplify -1 into -1 1552120382.182 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120382.182 * [taylor]: Taking taylor expansion of 1 in x 1552120382.182 * [backup-simplify]: Simplify 1 into 1 1552120382.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.182 * [taylor]: Taking taylor expansion of x in x 1552120382.182 * [backup-simplify]: Simplify 0 into 0 1552120382.182 * [backup-simplify]: Simplify 1 into 1 1552120382.182 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.182 * [backup-simplify]: Simplify (- 1) into -1 1552120382.183 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120382.183 * [backup-simplify]: Simplify (/ -1 -1) into 1 1552120382.183 * [taylor]: Taking taylor expansion of (/ -1 (- 1 (/ 1 x))) in x 1552120382.183 * [taylor]: Taking taylor expansion of -1 in x 1552120382.183 * [backup-simplify]: Simplify -1 into -1 1552120382.183 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120382.183 * [taylor]: Taking taylor expansion of 1 in x 1552120382.183 * [backup-simplify]: Simplify 1 into 1 1552120382.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120382.183 * [taylor]: Taking taylor expansion of x in x 1552120382.183 * [backup-simplify]: Simplify 0 into 0 1552120382.183 * [backup-simplify]: Simplify 1 into 1 1552120382.184 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120382.184 * [backup-simplify]: Simplify (- 1) into -1 1552120382.185 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120382.185 * [backup-simplify]: Simplify (/ -1 -1) into 1 1552120382.185 * [backup-simplify]: Simplify 1 into 1 1552120382.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120382.186 * [backup-simplify]: Simplify (- 0) into 0 1552120382.186 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120382.187 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 1 -1)))) into 1 1552120382.187 * [backup-simplify]: Simplify 1 into 1 1552120382.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120382.189 * [backup-simplify]: Simplify (- 0) into 0 1552120382.189 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120382.190 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 1 -1)))) into 1 1552120382.191 * [backup-simplify]: Simplify 1 into 1 1552120382.191 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (- x)) 3)) (+ (* 1 (pow (/ 1 (- x)) 2)) (* 1 (/ 1 (- x))))) into (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1552120382.191 * * * [progress]: simplifying candidates 1552120382.191 * * * * [progress]: [ 1 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 2 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 3 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 4 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 5 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 6 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 7 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 8 / 40 ] simplifiying candidate # 1552120382.191 * * * * [progress]: [ 9 / 40 ] simplifiying candidate # 1552120382.192 * * * * [progress]: [ 10 / 40 ] simplifiying candidate # 1552120382.192 * * * * [progress]: [ 11 / 40 ] simplifiying candidate # 1552120382.192 * [simplify]: Simplifying (* (cbrt (/ -1 (+ x 1))) (cbrt (/ -1 (+ x 1)))) 1552120382.192 * * [simplify]: iters left: 6 (7 enodes) 1552120382.195 * * [simplify]: iters left: 5 (24 enodes) 1552120382.198 * * [simplify]: iters left: 4 (26 enodes) 1552120382.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.202 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120382.202 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120382.202 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120382.202 * * [simplify]: Extracting #4: cost 10 inf + 1 1552120382.202 * * [simplify]: Extracting #5: cost 6 inf + 87 1552120382.202 * * [simplify]: Extracting #6: cost 2 inf + 619 1552120382.203 * * [simplify]: Extracting #7: cost 0 inf + 985 1552120382.203 * [simplify]: Simplified to (* (cbrt (/ -1 (+ x 1))) (cbrt (/ -1 (+ x 1)))) 1552120382.203 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (cbrt (/ -1 (+ x 1))) (cbrt (/ -1 (+ x 1)))) (/ x (cbrt (/ -1 (+ x 1)))))) 1552120382.203 * * * * [progress]: [ 12 / 40 ] simplifiying candidate # 1552120382.203 * [simplify]: Simplifying (sqrt (/ -1 (+ x 1))) 1552120382.203 * * [simplify]: iters left: 5 (6 enodes) 1552120382.205 * * [simplify]: iters left: 4 (21 enodes) 1552120382.208 * * [simplify]: iters left: 3 (23 enodes) 1552120382.212 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.212 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120382.212 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120382.212 * * [simplify]: Extracting #3: cost 8 inf + 1 1552120382.212 * * [simplify]: Extracting #4: cost 6 inf + 3 1552120382.212 * * [simplify]: Extracting #5: cost 1 inf + 376 1552120382.212 * * [simplify]: Extracting #6: cost 0 inf + 499 1552120382.212 * [simplify]: Simplified to (sqrt (/ -1 (+ x 1))) 1552120382.212 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (/ -1 (+ x 1))) (/ x (sqrt (/ -1 (+ x 1)))))) 1552120382.212 * * * * [progress]: [ 13 / 40 ] simplifiying candidate # 1552120382.212 * * * * [progress]: [ 14 / 40 ] simplifiying candidate # 1552120382.212 * * * * [progress]: [ 15 / 40 ] simplifiying candidate # 1552120382.213 * [simplify]: Simplifying (/ -1 (+ (pow x 3) (pow 1 3))) 1552120382.213 * * [simplify]: iters left: 5 (8 enodes) 1552120382.215 * * [simplify]: iters left: 4 (30 enodes) 1552120382.220 * * [simplify]: iters left: 3 (34 enodes) 1552120382.227 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.227 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120382.227 * * [simplify]: Extracting #2: cost 6 inf + 1 1552120382.227 * * [simplify]: Extracting #3: cost 9 inf + 2 1552120382.228 * * [simplify]: Extracting #4: cost 1 inf + 1563 1552120382.228 * * [simplify]: Extracting #5: cost 0 inf + 818 1552120382.228 * [simplify]: Simplified to (/ -1 (+ (* (* x x) x) 1)) 1552120382.228 * [simplify]: Simplified (2 1) to (λ (x) (/ (/ -1 (+ (* (* x x) x) 1)) (/ x (+ (* x x) (- (* 1 1) (* x 1)))))) 1552120382.228 * * * * [progress]: [ 16 / 40 ] simplifiying candidate # 1552120382.229 * [simplify]: Simplifying (/ -1 (- (* x x) (* 1 1))) 1552120382.229 * * [simplify]: iters left: 6 (7 enodes) 1552120382.231 * * [simplify]: iters left: 5 (23 enodes) 1552120382.235 * * [simplify]: iters left: 4 (28 enodes) 1552120382.239 * * [simplify]: iters left: 3 (37 enodes) 1552120382.244 * * [simplify]: iters left: 2 (55 enodes) 1552120382.258 * * [simplify]: iters left: 1 (92 enodes) 1552120382.275 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.275 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120382.275 * * [simplify]: Extracting #2: cost 27 inf + 1 1552120382.275 * * [simplify]: Extracting #3: cost 30 inf + 45 1552120382.276 * * [simplify]: Extracting #4: cost 7 inf + 1967 1552120382.277 * * [simplify]: Extracting #5: cost 1 inf + 2540 1552120382.277 * * [simplify]: Extracting #6: cost 0 inf + 2662 1552120382.278 * [simplify]: Simplified to (/ -1 (+ -1 (* x x))) 1552120382.278 * [simplify]: Simplified (2 1) to (λ (x) (/ (/ -1 (+ -1 (* x x))) (/ x (- x 1)))) 1552120382.278 * * * * [progress]: [ 17 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 18 / 40 ] simplifiying candidate #real (real->posit16 (/ (/ -1 (+ x 1)) x))))> 1552120382.278 * * * * [progress]: [ 19 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 20 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 21 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 22 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 23 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 24 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 25 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 26 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 27 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 28 / 40 ] simplifiying candidate # 1552120382.278 * * * * [progress]: [ 29 / 40 ] simplifiying candidate # 1552120382.279 * [simplify]: Simplifying (cbrt (+ x 1)) 1552120382.279 * * [simplify]: iters left: 3 (4 enodes) 1552120382.280 * * [simplify]: iters left: 2 (15 enodes) 1552120382.282 * * [simplify]: iters left: 1 (17 enodes) 1552120382.285 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.285 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120382.285 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120382.285 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120382.285 * * [simplify]: Extracting #4: cost 1 inf + 208 1552120382.285 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120382.285 * [simplify]: Simplified to (cbrt (+ 1 x)) 1552120382.285 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ 1 x))) x)) 1552120382.285 * * * * [progress]: [ 30 / 40 ] simplifiying candidate # 1552120382.286 * [simplify]: Simplifying (sqrt (+ x 1)) 1552120382.286 * * [simplify]: iters left: 3 (4 enodes) 1552120382.287 * * [simplify]: iters left: 2 (15 enodes) 1552120382.289 * * [simplify]: iters left: 1 (17 enodes) 1552120382.291 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.291 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120382.292 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120382.292 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120382.292 * * [simplify]: Extracting #4: cost 1 inf + 168 1552120382.292 * * [simplify]: Extracting #5: cost 0 inf + 250 1552120382.292 * [simplify]: Simplified to (sqrt (+ 1 x)) 1552120382.292 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (sqrt (+ x 1))) (sqrt (+ 1 x))) x)) 1552120382.292 * * * * [progress]: [ 31 / 40 ] simplifiying candidate # 1552120382.292 * [simplify]: Simplifying (+ x 1) 1552120382.292 * * [simplify]: iters left: 2 (3 enodes) 1552120382.293 * * [simplify]: iters left: 1 (12 enodes) 1552120382.296 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.296 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120382.296 * * [simplify]: Extracting #2: cost 2 inf + 2 1552120382.296 * * [simplify]: Extracting #3: cost 0 inf + 86 1552120382.296 * [simplify]: Simplified to (+ 1 x) 1552120382.296 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 1) (+ 1 x)) x)) 1552120382.296 * * * * [progress]: [ 32 / 40 ] simplifiying candidate # 1552120382.296 * [simplify]: Simplifying (+ (* x x) (- (* 1 1) (* x 1))) 1552120382.296 * * [simplify]: iters left: 6 (7 enodes) 1552120382.298 * * [simplify]: iters left: 5 (24 enodes) 1552120382.302 * * [simplify]: iters left: 4 (41 enodes) 1552120382.312 * * [simplify]: iters left: 3 (59 enodes) 1552120382.322 * * [simplify]: iters left: 2 (73 enodes) 1552120382.331 * * [simplify]: iters left: 1 (91 enodes) 1552120382.349 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.350 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120382.350 * * [simplify]: Extracting #2: cost 24 inf + 2 1552120382.350 * * [simplify]: Extracting #3: cost 11 inf + 818 1552120382.351 * * [simplify]: Extracting #4: cost 1 inf + 1474 1552120382.352 * * [simplify]: Extracting #5: cost 0 inf + 1556 1552120382.353 * [simplify]: Simplified to (+ (- 1 x) (* x x)) 1552120382.353 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (* (/ -1 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) x)) 1552120382.353 * * * * [progress]: [ 33 / 40 ] simplifiying candidate # 1552120382.353 * [simplify]: Simplifying (- x 1) 1552120382.353 * * [simplify]: iters left: 2 (3 enodes) 1552120382.355 * * [simplify]: iters left: 1 (14 enodes) 1552120382.359 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.359 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120382.359 * * [simplify]: Extracting #2: cost 2 inf + 3 1552120382.359 * * [simplify]: Extracting #3: cost 0 inf + 87 1552120382.359 * [simplify]: Simplified to (- x 1) 1552120382.359 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (* (/ -1 (- (* x x) (* 1 1))) (- x 1)) x)) 1552120382.360 * * * * [progress]: [ 34 / 40 ] simplifiying candidate #real (real->posit16 (/ -1 (+ x 1)))) x))> 1552120382.360 * * * * [progress]: [ 35 / 40 ] simplifiying candidate # 1552120382.360 * [simplify]: Simplifying (- 1 (+ x (/ 1 x))) 1552120382.360 * * [simplify]: iters left: 6 (5 enodes) 1552120382.362 * * [simplify]: iters left: 5 (22 enodes) 1552120382.369 * * [simplify]: iters left: 4 (37 enodes) 1552120382.380 * * [simplify]: iters left: 3 (57 enodes) 1552120382.391 * * [simplify]: iters left: 2 (74 enodes) 1552120382.401 * * [simplify]: iters left: 1 (92 enodes) 1552120382.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.413 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120382.413 * * [simplify]: Extracting #2: cost 21 inf + 45 1552120382.414 * * [simplify]: Extracting #3: cost 4 inf + 1238 1552120382.415 * * [simplify]: Extracting #4: cost 0 inf + 1566 1552120382.415 * [simplify]: Simplified to (- 1 (+ x (/ 1 x))) 1552120382.415 * [simplify]: Simplified (2) to (λ (x) (- 1 (+ x (/ 1 x)))) 1552120382.416 * * * * [progress]: [ 36 / 40 ] simplifiying candidate # 1552120382.416 * [simplify]: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120382.416 * * [simplify]: iters left: 6 (13 enodes) 1552120382.423 * * [simplify]: iters left: 5 (49 enodes) 1552120382.438 * * [simplify]: iters left: 4 (70 enodes) 1552120382.461 * * [simplify]: iters left: 3 (95 enodes) 1552120382.484 * * [simplify]: iters left: 2 (115 enodes) 1552120382.500 * * [simplify]: iters left: 1 (136 enodes) 1552120382.529 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.529 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120382.529 * * [simplify]: Extracting #2: cost 36 inf + 0 1552120382.530 * * [simplify]: Extracting #3: cost 41 inf + 3 1552120382.530 * * [simplify]: Extracting #4: cost 20 inf + 1798 1552120382.531 * * [simplify]: Extracting #5: cost 6 inf + 6356 1552120382.533 * * [simplify]: Extracting #6: cost 0 inf + 8514 1552120382.534 * [simplify]: Simplified to (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x)) 1552120382.534 * [simplify]: Simplified (2) to (λ (x) (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x))) 1552120382.534 * * * * [progress]: [ 37 / 40 ] simplifiying candidate # 1552120382.534 * [simplify]: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1552120382.535 * * [simplify]: iters left: 6 (13 enodes) 1552120382.539 * * [simplify]: iters left: 5 (49 enodes) 1552120382.547 * * [simplify]: iters left: 4 (70 enodes) 1552120382.569 * * [simplify]: iters left: 3 (95 enodes) 1552120382.596 * * [simplify]: iters left: 2 (115 enodes) 1552120382.614 * * [simplify]: iters left: 1 (136 enodes) 1552120382.639 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.639 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120382.639 * * [simplify]: Extracting #2: cost 36 inf + 0 1552120382.639 * * [simplify]: Extracting #3: cost 41 inf + 3 1552120382.640 * * [simplify]: Extracting #4: cost 20 inf + 1798 1552120382.642 * * [simplify]: Extracting #5: cost 6 inf + 6356 1552120382.645 * * [simplify]: Extracting #6: cost 0 inf + 8514 1552120382.648 * [simplify]: Simplified to (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x)) 1552120382.648 * [simplify]: Simplified (2) to (λ (x) (- (+ (/ -1 (pow x 4)) (/ (/ -1 x) x)) (/ (/ (/ -1 x) x) x))) 1552120382.648 * * * * [progress]: [ 38 / 40 ] simplifiying candidate # 1552120382.648 * [simplify]: Simplifying (- x (+ (pow x 2) 1)) 1552120382.648 * * [simplify]: iters left: 5 (6 enodes) 1552120382.652 * * [simplify]: iters left: 4 (26 enodes) 1552120382.661 * * [simplify]: iters left: 3 (42 enodes) 1552120382.674 * * [simplify]: iters left: 2 (60 enodes) 1552120382.695 * * [simplify]: iters left: 1 (79 enodes) 1552120382.716 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.716 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120382.716 * * [simplify]: Extracting #2: cost 22 inf + 3 1552120382.717 * * [simplify]: Extracting #3: cost 13 inf + 658 1552120382.718 * * [simplify]: Extracting #4: cost 1 inf + 1799 1552120382.719 * * [simplify]: Extracting #5: cost 0 inf + 1881 1552120382.720 * [simplify]: Simplified to (- x (+ 1 (* x x))) 1552120382.720 * [simplify]: Simplified (2 1) to (λ (x) (/ (- x (+ 1 (* x x))) x)) 1552120382.720 * * * * [progress]: [ 39 / 40 ] simplifiying candidate # 1552120382.720 * [simplify]: Simplifying (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1552120382.720 * * [simplify]: iters left: 6 (11 enodes) 1552120382.727 * * [simplify]: iters left: 5 (43 enodes) 1552120382.741 * * [simplify]: iters left: 4 (63 enodes) 1552120382.760 * * [simplify]: iters left: 3 (87 enodes) 1552120382.773 * * [simplify]: iters left: 2 (108 enodes) 1552120382.789 * * [simplify]: iters left: 1 (126 enodes) 1552120382.810 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.810 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120382.811 * * [simplify]: Extracting #2: cost 33 inf + 0 1552120382.811 * * [simplify]: Extracting #3: cost 34 inf + 3 1552120382.811 * * [simplify]: Extracting #4: cost 26 inf + 335 1552120382.813 * * [simplify]: Extracting #5: cost 7 inf + 2891 1552120382.815 * * [simplify]: Extracting #6: cost 0 inf + 4385 1552120382.817 * [simplify]: Simplified to (- (- (/ 1 (* x x)) (/ 1 x)) (/ (/ 1 x) (* x x))) 1552120382.817 * [simplify]: Simplified (2 1) to (λ (x) (/ (- (- (/ 1 (* x x)) (/ 1 x)) (/ (/ 1 x) (* x x))) x)) 1552120382.817 * * * * [progress]: [ 40 / 40 ] simplifiying candidate # 1552120382.817 * [simplify]: Simplifying (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1552120382.817 * * [simplify]: iters left: 6 (11 enodes) 1552120382.821 * * [simplify]: iters left: 5 (43 enodes) 1552120382.829 * * [simplify]: iters left: 4 (63 enodes) 1552120382.847 * * [simplify]: iters left: 3 (87 enodes) 1552120382.870 * * [simplify]: iters left: 2 (108 enodes) 1552120382.890 * * [simplify]: iters left: 1 (126 enodes) 1552120382.907 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120382.907 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120382.907 * * [simplify]: Extracting #2: cost 33 inf + 0 1552120382.907 * * [simplify]: Extracting #3: cost 34 inf + 3 1552120382.908 * * [simplify]: Extracting #4: cost 26 inf + 335 1552120382.908 * * [simplify]: Extracting #5: cost 7 inf + 2891 1552120382.909 * * [simplify]: Extracting #6: cost 0 inf + 4385 1552120382.913 * [simplify]: Simplified to (- (- (/ 1 (* x x)) (/ 1 x)) (/ (/ 1 x) (* x x))) 1552120382.913 * [simplify]: Simplified (2 1) to (λ (x) (/ (- (- (/ 1 (* x x)) (/ 1 x)) (/ (/ 1 x) (* x x))) x)) 1552120382.913 * * * [progress]: adding candidates to table 1552120383.118 * * [progress]: iteration 4 / 4 1552120383.118 * * * [progress]: picking best candidate 1552120383.122 * * * * [pick]: Picked # 1552120383.122 * * * [progress]: localizing error 1552120383.135 * * * [progress]: generating rewritten candidates 1552120383.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1552120383.136 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1552120383.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1552120383.138 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1552120383.145 * * * [progress]: generating series expansions 1552120383.145 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1552120383.145 * [backup-simplify]: Simplify (cbrt (+ x 1)) into (pow (+ x 1) 1/3) 1552120383.146 * [approximate]: Taking taylor expansion of (pow (+ x 1) 1/3) in (x) around 0 1552120383.146 * [taylor]: Taking taylor expansion of (pow (+ x 1) 1/3) in x 1552120383.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1)))) in x 1552120383.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1))) in x 1552120383.146 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.146 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.146 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1552120383.146 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.146 * [taylor]: Taking taylor expansion of x in x 1552120383.146 * [backup-simplify]: Simplify 0 into 0 1552120383.146 * [backup-simplify]: Simplify 1 into 1 1552120383.146 * [taylor]: Taking taylor expansion of 1 in x 1552120383.146 * [backup-simplify]: Simplify 1 into 1 1552120383.146 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.147 * [backup-simplify]: Simplify (log 1) into 0 1552120383.147 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.148 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.148 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.149 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1552120383.149 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.149 * [taylor]: Taking taylor expansion of (pow (+ x 1) 1/3) in x 1552120383.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1)))) in x 1552120383.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1))) in x 1552120383.149 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.149 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.149 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1552120383.149 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.149 * [taylor]: Taking taylor expansion of x in x 1552120383.149 * [backup-simplify]: Simplify 0 into 0 1552120383.149 * [backup-simplify]: Simplify 1 into 1 1552120383.149 * [taylor]: Taking taylor expansion of 1 in x 1552120383.149 * [backup-simplify]: Simplify 1 into 1 1552120383.149 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.150 * [backup-simplify]: Simplify (log 1) into 0 1552120383.150 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.150 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.151 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.151 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1552120383.151 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.152 * [backup-simplify]: Simplify 1 into 1 1552120383.153 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 1552120383.153 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.153 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.155 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120383.156 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 1552120383.157 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 1552120383.157 * [backup-simplify]: Simplify -1/9 into -1/9 1552120383.157 * [backup-simplify]: Simplify (+ (* -1/9 (pow x 2)) (+ (* 1/3 x) 1)) into (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) 1552120383.157 * [backup-simplify]: Simplify (cbrt (+ (/ 1 x) 1)) into (pow (+ (/ 1 x) 1) 1/3) 1552120383.157 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in (x) around 0 1552120383.157 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in x 1552120383.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1)))) in x 1552120383.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1))) in x 1552120383.157 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.157 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.157 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1552120383.157 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.157 * [taylor]: Taking taylor expansion of x in x 1552120383.157 * [backup-simplify]: Simplify 0 into 0 1552120383.157 * [backup-simplify]: Simplify 1 into 1 1552120383.157 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.157 * [taylor]: Taking taylor expansion of 1 in x 1552120383.158 * [backup-simplify]: Simplify 1 into 1 1552120383.158 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.158 * [backup-simplify]: Simplify (log 1) into 0 1552120383.158 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.158 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x)) 1552120383.158 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3) 1552120383.159 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in x 1552120383.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1)))) in x 1552120383.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1))) in x 1552120383.159 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.159 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.159 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1552120383.159 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.159 * [taylor]: Taking taylor expansion of x in x 1552120383.159 * [backup-simplify]: Simplify 0 into 0 1552120383.159 * [backup-simplify]: Simplify 1 into 1 1552120383.159 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.159 * [taylor]: Taking taylor expansion of 1 in x 1552120383.159 * [backup-simplify]: Simplify 1 into 1 1552120383.159 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.159 * [backup-simplify]: Simplify (log 1) into 0 1552120383.160 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.160 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x)) 1552120383.160 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3) 1552120383.160 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3) 1552120383.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.161 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.161 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.162 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.162 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log x)))) into 1/3 1552120383.163 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 x) 1/3)) 1552120383.163 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 x) 1/3)) into (* 1/3 (pow (/ 1 x) 1/3)) 1552120383.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.163 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.165 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120383.165 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.166 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log x))))) into (- 1/6) 1552120383.172 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 x) 1/3)) 1552120383.172 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 x) 1/3)) into (* -1/9 (pow (/ 1 x) 1/3)) 1552120383.172 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (/ 1 x)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* 1/3 (pow (/ 1 (/ 1 x)) 1/3)) (/ 1 x)) (pow (/ 1 x) -1/3))) into (- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3))) 1552120383.172 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- x)) 1)) into (pow (- 1 (/ 1 x)) 1/3) 1552120383.172 * [approximate]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in (x) around 0 1552120383.172 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in x 1552120383.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 x))))) in x 1552120383.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 x)))) in x 1552120383.172 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.172 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.172 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1552120383.172 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.173 * [taylor]: Taking taylor expansion of 1 in x 1552120383.173 * [backup-simplify]: Simplify 1 into 1 1552120383.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.173 * [taylor]: Taking taylor expansion of x in x 1552120383.173 * [backup-simplify]: Simplify 0 into 0 1552120383.173 * [backup-simplify]: Simplify 1 into 1 1552120383.173 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.174 * [backup-simplify]: Simplify (- 1) into -1 1552120383.174 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.174 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120383.175 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.175 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x))) 1552120383.175 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.175 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in x 1552120383.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 x))))) in x 1552120383.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 x)))) in x 1552120383.175 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.175 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.175 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1552120383.175 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.175 * [taylor]: Taking taylor expansion of 1 in x 1552120383.175 * [backup-simplify]: Simplify 1 into 1 1552120383.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.175 * [taylor]: Taking taylor expansion of x in x 1552120383.175 * [backup-simplify]: Simplify 0 into 0 1552120383.175 * [backup-simplify]: Simplify 1 into 1 1552120383.176 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.176 * [backup-simplify]: Simplify (- 1) into -1 1552120383.176 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.176 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120383.177 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.177 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x))) 1552120383.177 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.178 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.179 * [backup-simplify]: Simplify (- 0) into 0 1552120383.179 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.179 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1552120383.180 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.181 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log x)))) into (- 1/3) 1552120383.181 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.182 * [backup-simplify]: Simplify (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) into (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.182 * [backup-simplify]: Simplify (- 0) into 0 1552120383.183 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.185 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1552120383.186 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.188 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log x))))) into (- 1/6) 1552120383.190 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.191 * [backup-simplify]: Simplify (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) into (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.193 * [backup-simplify]: Simplify (+ (* (* -1/9 (exp (* 1/3 (- (log -1) (log (/ 1 (- x))))))) (pow (/ 1 (- x)) 2)) (+ (* (* -1/3 (exp (* 1/3 (- (log -1) (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (* 1/3 (- (log -1) (log (/ 1 (- x)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 1552120383.193 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1552120383.193 * [backup-simplify]: Simplify (cbrt (+ x 1)) into (pow (+ x 1) 1/3) 1552120383.193 * [approximate]: Taking taylor expansion of (pow (+ x 1) 1/3) in (x) around 0 1552120383.193 * [taylor]: Taking taylor expansion of (pow (+ x 1) 1/3) in x 1552120383.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1)))) in x 1552120383.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1))) in x 1552120383.193 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.193 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.193 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1552120383.193 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.193 * [taylor]: Taking taylor expansion of x in x 1552120383.193 * [backup-simplify]: Simplify 0 into 0 1552120383.193 * [backup-simplify]: Simplify 1 into 1 1552120383.193 * [taylor]: Taking taylor expansion of 1 in x 1552120383.193 * [backup-simplify]: Simplify 1 into 1 1552120383.194 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.195 * [backup-simplify]: Simplify (log 1) into 0 1552120383.195 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.195 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.197 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.197 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1552120383.197 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.197 * [taylor]: Taking taylor expansion of (pow (+ x 1) 1/3) in x 1552120383.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1)))) in x 1552120383.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1))) in x 1552120383.197 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.197 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.197 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1552120383.198 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.198 * [taylor]: Taking taylor expansion of x in x 1552120383.198 * [backup-simplify]: Simplify 0 into 0 1552120383.198 * [backup-simplify]: Simplify 1 into 1 1552120383.198 * [taylor]: Taking taylor expansion of 1 in x 1552120383.198 * [backup-simplify]: Simplify 1 into 1 1552120383.198 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.198 * [backup-simplify]: Simplify (log 1) into 0 1552120383.199 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.199 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.200 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.201 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1552120383.201 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.201 * [backup-simplify]: Simplify 1 into 1 1552120383.202 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 1552120383.202 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.203 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.205 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120383.206 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 1552120383.208 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 1552120383.208 * [backup-simplify]: Simplify -1/9 into -1/9 1552120383.208 * [backup-simplify]: Simplify (+ (* -1/9 (pow x 2)) (+ (* 1/3 x) 1)) into (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) 1552120383.209 * [backup-simplify]: Simplify (cbrt (+ (/ 1 x) 1)) into (pow (+ (/ 1 x) 1) 1/3) 1552120383.209 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in (x) around 0 1552120383.209 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in x 1552120383.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1)))) in x 1552120383.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1))) in x 1552120383.209 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.209 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.209 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1552120383.209 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.209 * [taylor]: Taking taylor expansion of x in x 1552120383.209 * [backup-simplify]: Simplify 0 into 0 1552120383.209 * [backup-simplify]: Simplify 1 into 1 1552120383.209 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.209 * [taylor]: Taking taylor expansion of 1 in x 1552120383.209 * [backup-simplify]: Simplify 1 into 1 1552120383.210 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.210 * [backup-simplify]: Simplify (log 1) into 0 1552120383.210 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.211 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x)) 1552120383.211 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3) 1552120383.211 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in x 1552120383.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1)))) in x 1552120383.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1))) in x 1552120383.211 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.211 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.211 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1552120383.211 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.211 * [taylor]: Taking taylor expansion of x in x 1552120383.211 * [backup-simplify]: Simplify 0 into 0 1552120383.211 * [backup-simplify]: Simplify 1 into 1 1552120383.211 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.211 * [taylor]: Taking taylor expansion of 1 in x 1552120383.211 * [backup-simplify]: Simplify 1 into 1 1552120383.212 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.212 * [backup-simplify]: Simplify (log 1) into 0 1552120383.213 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.213 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x)) 1552120383.213 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3) 1552120383.213 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3) 1552120383.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.214 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.214 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.215 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.215 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log x)))) into 1/3 1552120383.215 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 x) 1/3)) 1552120383.215 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 x) 1/3)) into (* 1/3 (pow (/ 1 x) 1/3)) 1552120383.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.216 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.218 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120383.218 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.218 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log x))))) into (- 1/6) 1552120383.219 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 x) 1/3)) 1552120383.219 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 x) 1/3)) into (* -1/9 (pow (/ 1 x) 1/3)) 1552120383.220 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (/ 1 x)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* 1/3 (pow (/ 1 (/ 1 x)) 1/3)) (/ 1 x)) (pow (/ 1 x) -1/3))) into (- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3))) 1552120383.220 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- x)) 1)) into (pow (- 1 (/ 1 x)) 1/3) 1552120383.220 * [approximate]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in (x) around 0 1552120383.220 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in x 1552120383.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 x))))) in x 1552120383.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 x)))) in x 1552120383.220 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.220 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.220 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1552120383.220 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.220 * [taylor]: Taking taylor expansion of 1 in x 1552120383.220 * [backup-simplify]: Simplify 1 into 1 1552120383.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.220 * [taylor]: Taking taylor expansion of x in x 1552120383.220 * [backup-simplify]: Simplify 0 into 0 1552120383.220 * [backup-simplify]: Simplify 1 into 1 1552120383.220 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.221 * [backup-simplify]: Simplify (- 1) into -1 1552120383.221 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.221 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120383.222 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.222 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x))) 1552120383.222 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.222 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in x 1552120383.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 x))))) in x 1552120383.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 x)))) in x 1552120383.222 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.222 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.222 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1552120383.222 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.222 * [taylor]: Taking taylor expansion of 1 in x 1552120383.222 * [backup-simplify]: Simplify 1 into 1 1552120383.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.222 * [taylor]: Taking taylor expansion of x in x 1552120383.222 * [backup-simplify]: Simplify 0 into 0 1552120383.222 * [backup-simplify]: Simplify 1 into 1 1552120383.223 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.223 * [backup-simplify]: Simplify (- 1) into -1 1552120383.223 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.223 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120383.224 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.224 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x))) 1552120383.224 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.225 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.225 * [backup-simplify]: Simplify (- 0) into 0 1552120383.226 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.226 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1552120383.227 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.227 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log x)))) into (- 1/3) 1552120383.228 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.229 * [backup-simplify]: Simplify (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) into (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.229 * [backup-simplify]: Simplify (- 0) into 0 1552120383.230 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.231 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1552120383.232 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.232 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log x))))) into (- 1/6) 1552120383.234 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.234 * [backup-simplify]: Simplify (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) into (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.235 * [backup-simplify]: Simplify (+ (* (* -1/9 (exp (* 1/3 (- (log -1) (log (/ 1 (- x))))))) (pow (/ 1 (- x)) 2)) (+ (* (* -1/3 (exp (* 1/3 (- (log -1) (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (* 1/3 (- (log -1) (log (/ 1 (- x)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 1552120383.235 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1552120383.235 * [backup-simplify]: Simplify (cbrt (+ x 1)) into (pow (+ x 1) 1/3) 1552120383.235 * [approximate]: Taking taylor expansion of (pow (+ x 1) 1/3) in (x) around 0 1552120383.235 * [taylor]: Taking taylor expansion of (pow (+ x 1) 1/3) in x 1552120383.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1)))) in x 1552120383.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1))) in x 1552120383.235 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.235 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.235 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1552120383.235 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.235 * [taylor]: Taking taylor expansion of x in x 1552120383.235 * [backup-simplify]: Simplify 0 into 0 1552120383.235 * [backup-simplify]: Simplify 1 into 1 1552120383.235 * [taylor]: Taking taylor expansion of 1 in x 1552120383.235 * [backup-simplify]: Simplify 1 into 1 1552120383.235 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.236 * [backup-simplify]: Simplify (log 1) into 0 1552120383.236 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.236 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.237 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.237 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1552120383.237 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.237 * [taylor]: Taking taylor expansion of (pow (+ x 1) 1/3) in x 1552120383.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1)))) in x 1552120383.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1))) in x 1552120383.237 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.237 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.237 * [taylor]: Taking taylor expansion of (log (+ x 1)) in x 1552120383.237 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.238 * [taylor]: Taking taylor expansion of x in x 1552120383.238 * [backup-simplify]: Simplify 0 into 0 1552120383.238 * [backup-simplify]: Simplify 1 into 1 1552120383.238 * [taylor]: Taking taylor expansion of 1 in x 1552120383.238 * [backup-simplify]: Simplify 1 into 1 1552120383.238 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.238 * [backup-simplify]: Simplify (log 1) into 0 1552120383.238 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.239 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.239 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.240 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1552120383.240 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.240 * [backup-simplify]: Simplify 1 into 1 1552120383.240 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 1552120383.240 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.241 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.242 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120383.243 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 1552120383.244 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 1552120383.244 * [backup-simplify]: Simplify -1/9 into -1/9 1552120383.244 * [backup-simplify]: Simplify (+ (* -1/9 (pow x 2)) (+ (* 1/3 x) 1)) into (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) 1552120383.244 * [backup-simplify]: Simplify (cbrt (+ (/ 1 x) 1)) into (pow (+ (/ 1 x) 1) 1/3) 1552120383.244 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in (x) around 0 1552120383.244 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in x 1552120383.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1)))) in x 1552120383.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1))) in x 1552120383.244 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.244 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.244 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1552120383.244 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.244 * [taylor]: Taking taylor expansion of x in x 1552120383.244 * [backup-simplify]: Simplify 0 into 0 1552120383.244 * [backup-simplify]: Simplify 1 into 1 1552120383.245 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.245 * [taylor]: Taking taylor expansion of 1 in x 1552120383.245 * [backup-simplify]: Simplify 1 into 1 1552120383.245 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.245 * [backup-simplify]: Simplify (log 1) into 0 1552120383.245 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.245 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x)) 1552120383.246 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3) 1552120383.246 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 1/3) in x 1552120383.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1)))) in x 1552120383.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1))) in x 1552120383.246 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.246 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.246 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1552120383.246 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.246 * [taylor]: Taking taylor expansion of x in x 1552120383.246 * [backup-simplify]: Simplify 0 into 0 1552120383.246 * [backup-simplify]: Simplify 1 into 1 1552120383.246 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.246 * [taylor]: Taking taylor expansion of 1 in x 1552120383.246 * [backup-simplify]: Simplify 1 into 1 1552120383.246 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.246 * [backup-simplify]: Simplify (log 1) into 0 1552120383.247 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.247 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x)) 1552120383.247 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3) 1552120383.247 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3) 1552120383.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.248 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.248 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120383.249 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.249 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log x)))) into 1/3 1552120383.249 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 x) 1/3)) 1552120383.250 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 x) 1/3)) into (* 1/3 (pow (/ 1 x) 1/3)) 1552120383.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.250 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.252 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120383.252 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1552120383.253 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log x))))) into (- 1/6) 1552120383.254 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 x) 1/3)) 1552120383.254 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 x) 1/3)) into (* -1/9 (pow (/ 1 x) 1/3)) 1552120383.254 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (/ 1 x)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* 1/3 (pow (/ 1 (/ 1 x)) 1/3)) (/ 1 x)) (pow (/ 1 x) -1/3))) into (- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3))) 1552120383.254 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- x)) 1)) into (pow (- 1 (/ 1 x)) 1/3) 1552120383.254 * [approximate]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in (x) around 0 1552120383.254 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in x 1552120383.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 x))))) in x 1552120383.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 x)))) in x 1552120383.255 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.255 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.255 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1552120383.255 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.255 * [taylor]: Taking taylor expansion of 1 in x 1552120383.255 * [backup-simplify]: Simplify 1 into 1 1552120383.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.255 * [taylor]: Taking taylor expansion of x in x 1552120383.255 * [backup-simplify]: Simplify 0 into 0 1552120383.255 * [backup-simplify]: Simplify 1 into 1 1552120383.255 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.255 * [backup-simplify]: Simplify (- 1) into -1 1552120383.256 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.256 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120383.256 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.257 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x))) 1552120383.257 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.257 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 1/3) in x 1552120383.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 x))))) in x 1552120383.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 x)))) in x 1552120383.257 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.257 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.257 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1552120383.257 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.257 * [taylor]: Taking taylor expansion of 1 in x 1552120383.257 * [backup-simplify]: Simplify 1 into 1 1552120383.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.257 * [taylor]: Taking taylor expansion of x in x 1552120383.257 * [backup-simplify]: Simplify 0 into 0 1552120383.257 * [backup-simplify]: Simplify 1 into 1 1552120383.257 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.258 * [backup-simplify]: Simplify (- 1) into -1 1552120383.258 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.258 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120383.259 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.259 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x))) 1552120383.259 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.260 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x)))) 1552120383.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.261 * [backup-simplify]: Simplify (- 0) into 0 1552120383.261 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1552120383.262 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.263 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log x)))) into (- 1/3) 1552120383.265 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.265 * [backup-simplify]: Simplify (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) into (* -1/3 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.266 * [backup-simplify]: Simplify (- 0) into 0 1552120383.266 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.268 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1552120383.268 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1552120383.269 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log x))))) into (- 1/6) 1552120383.271 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.271 * [backup-simplify]: Simplify (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) into (* -1/9 (exp (* 1/3 (- (log -1) (log x))))) 1552120383.279 * [backup-simplify]: Simplify (+ (* (* -1/9 (exp (* 1/3 (- (log -1) (log (/ 1 (- x))))))) (pow (/ 1 (- x)) 2)) (+ (* (* -1/3 (exp (* 1/3 (- (log -1) (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (* 1/3 (- (log -1) (log (/ 1 (- x)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 1552120383.279 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1552120383.280 * [backup-simplify]: Simplify (* (cbrt (+ x 1)) (cbrt (+ x 1))) into (pow (pow (+ x 1) 2) 1/3) 1552120383.280 * [approximate]: Taking taylor expansion of (pow (pow (+ x 1) 2) 1/3) in (x) around 0 1552120383.280 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1) 2) 1/3) in x 1552120383.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x 1) 2)))) in x 1552120383.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x 1) 2))) in x 1552120383.280 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.280 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.280 * [taylor]: Taking taylor expansion of (log (pow (+ x 1) 2)) in x 1552120383.280 * [taylor]: Taking taylor expansion of (pow (+ x 1) 2) in x 1552120383.280 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.280 * [taylor]: Taking taylor expansion of x in x 1552120383.280 * [backup-simplify]: Simplify 0 into 0 1552120383.280 * [backup-simplify]: Simplify 1 into 1 1552120383.280 * [taylor]: Taking taylor expansion of 1 in x 1552120383.280 * [backup-simplify]: Simplify 1 into 1 1552120383.280 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.281 * [backup-simplify]: Simplify (* 1 1) into 1 1552120383.281 * [backup-simplify]: Simplify (log 1) into 0 1552120383.281 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.281 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.282 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 1552120383.283 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1552120383.283 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3 1552120383.283 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.283 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1) 2) 1/3) in x 1552120383.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x 1) 2)))) in x 1552120383.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x 1) 2))) in x 1552120383.283 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.283 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.283 * [taylor]: Taking taylor expansion of (log (pow (+ x 1) 2)) in x 1552120383.283 * [taylor]: Taking taylor expansion of (pow (+ x 1) 2) in x 1552120383.283 * [taylor]: Taking taylor expansion of (+ x 1) in x 1552120383.283 * [taylor]: Taking taylor expansion of x in x 1552120383.283 * [backup-simplify]: Simplify 0 into 0 1552120383.283 * [backup-simplify]: Simplify 1 into 1 1552120383.283 * [taylor]: Taking taylor expansion of 1 in x 1552120383.283 * [backup-simplify]: Simplify 1 into 1 1552120383.283 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.284 * [backup-simplify]: Simplify (* 1 1) into 1 1552120383.284 * [backup-simplify]: Simplify (log 1) into 0 1552120383.284 * [backup-simplify]: Simplify (* 1/3 0) into 0 1552120383.284 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.285 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 1552120383.285 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1552120383.286 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3 1552120383.286 * [backup-simplify]: Simplify (exp 0) into 1 1552120383.286 * [backup-simplify]: Simplify 1 into 1 1552120383.287 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2/3 1) 1)))) into 2/3 1552120383.287 * [backup-simplify]: Simplify 2/3 into 2/3 1552120383.287 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1552120383.289 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1552120383.289 * [backup-simplify]: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 0))) into -1/3 1552120383.290 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow -1/3 1) 1)))) into -1/9 1552120383.290 * [backup-simplify]: Simplify -1/9 into -1/9 1552120383.291 * [backup-simplify]: Simplify (+ (* -1/9 (pow x 2)) (+ (* 2/3 x) 1)) into (- (+ (* 2/3 x) 1) (* 1/9 (pow x 2))) 1552120383.291 * [backup-simplify]: Simplify (* (cbrt (+ (/ 1 x) 1)) (cbrt (+ (/ 1 x) 1))) into (pow (pow (+ (/ 1 x) 1) 2) 1/3) 1552120383.291 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1) 2) 1/3) in (x) around 0 1552120383.291 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1) 2) 1/3) in x 1552120383.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1) 2)))) in x 1552120383.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1) 2))) in x 1552120383.291 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.291 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.291 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1) 2)) in x 1552120383.291 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 2) in x 1552120383.291 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.291 * [taylor]: Taking taylor expansion of x in x 1552120383.291 * [backup-simplify]: Simplify 0 into 0 1552120383.291 * [backup-simplify]: Simplify 1 into 1 1552120383.291 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.291 * [taylor]: Taking taylor expansion of 1 in x 1552120383.291 * [backup-simplify]: Simplify 1 into 1 1552120383.292 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.292 * [backup-simplify]: Simplify (* 1 1) into 1 1552120383.292 * [backup-simplify]: Simplify (log 1) into 0 1552120383.292 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.293 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x)) 1552120383.293 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3) 1552120383.293 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1) 2) 1/3) in x 1552120383.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1) 2)))) in x 1552120383.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1) 2))) in x 1552120383.293 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.293 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.293 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1) 2)) in x 1552120383.293 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1) 2) in x 1552120383.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1552120383.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.293 * [taylor]: Taking taylor expansion of x in x 1552120383.293 * [backup-simplify]: Simplify 0 into 0 1552120383.293 * [backup-simplify]: Simplify 1 into 1 1552120383.293 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.293 * [taylor]: Taking taylor expansion of 1 in x 1552120383.293 * [backup-simplify]: Simplify 1 into 1 1552120383.293 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.294 * [backup-simplify]: Simplify (* 1 1) into 1 1552120383.294 * [backup-simplify]: Simplify (log 1) into 0 1552120383.294 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.294 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x)) 1552120383.294 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3) 1552120383.294 * [backup-simplify]: Simplify (pow x -2/3) into (pow x -2/3) 1552120383.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.296 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120383.296 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 1552120383.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1552120383.297 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.297 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 (- (* 2 (log x))))) into 2/3 1552120383.298 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.298 * [backup-simplify]: Simplify (* 2/3 (pow (/ 1 (pow x 2)) 1/3)) into (* 2/3 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.299 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1552120383.300 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1552120383.301 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.301 * [backup-simplify]: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (- (* 2 (log x)))))) into (- 1/3) 1552120383.302 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.302 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow x 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.303 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 x) 2)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* 2/3 (pow (/ 1 (pow (/ 1 x) 2)) 1/3)) (/ 1 x)) (pow (/ 1 x) -2/3))) into (- (+ (* 2/3 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 1/9 (pow (/ 1 (pow x 4)) 1/3))) 1552120383.303 * [backup-simplify]: Simplify (* (cbrt (+ (/ 1 (- x)) 1)) (cbrt (+ (/ 1 (- x)) 1))) into (pow (pow (- 1 (/ 1 x)) 2) 1/3) 1552120383.303 * [approximate]: Taking taylor expansion of (pow (pow (- 1 (/ 1 x)) 2) 1/3) in (x) around 0 1552120383.303 * [taylor]: Taking taylor expansion of (pow (pow (- 1 (/ 1 x)) 2) 1/3) in x 1552120383.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1 (/ 1 x)) 2)))) in x 1552120383.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1 (/ 1 x)) 2))) in x 1552120383.303 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.303 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.303 * [taylor]: Taking taylor expansion of (log (pow (- 1 (/ 1 x)) 2)) in x 1552120383.303 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 2) in x 1552120383.303 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.303 * [taylor]: Taking taylor expansion of 1 in x 1552120383.303 * [backup-simplify]: Simplify 1 into 1 1552120383.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.303 * [taylor]: Taking taylor expansion of x in x 1552120383.303 * [backup-simplify]: Simplify 0 into 0 1552120383.303 * [backup-simplify]: Simplify 1 into 1 1552120383.303 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.303 * [backup-simplify]: Simplify (- 1) into -1 1552120383.304 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.304 * [backup-simplify]: Simplify (* -1 -1) into 1 1552120383.304 * [backup-simplify]: Simplify (log 1) into 0 1552120383.304 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.305 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x)) 1552120383.305 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3) 1552120383.305 * [taylor]: Taking taylor expansion of (pow (pow (- 1 (/ 1 x)) 2) 1/3) in x 1552120383.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1 (/ 1 x)) 2)))) in x 1552120383.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1 (/ 1 x)) 2))) in x 1552120383.305 * [taylor]: Taking taylor expansion of 1/3 in x 1552120383.305 * [backup-simplify]: Simplify 1/3 into 1/3 1552120383.305 * [taylor]: Taking taylor expansion of (log (pow (- 1 (/ 1 x)) 2)) in x 1552120383.305 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 x)) 2) in x 1552120383.305 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1552120383.305 * [taylor]: Taking taylor expansion of 1 in x 1552120383.305 * [backup-simplify]: Simplify 1 into 1 1552120383.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120383.305 * [taylor]: Taking taylor expansion of x in x 1552120383.305 * [backup-simplify]: Simplify 0 into 0 1552120383.305 * [backup-simplify]: Simplify 1 into 1 1552120383.305 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120383.305 * [backup-simplify]: Simplify (- 1) into -1 1552120383.306 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120383.306 * [backup-simplify]: Simplify (* -1 -1) into 1 1552120383.306 * [backup-simplify]: Simplify (log 1) into 0 1552120383.306 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.306 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x)) 1552120383.306 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3) 1552120383.306 * [backup-simplify]: Simplify (pow x -2/3) into (pow x -2/3) 1552120383.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120383.307 * [backup-simplify]: Simplify (- 0) into 0 1552120383.307 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120383.308 * [backup-simplify]: Simplify (+ (* -1 1) (* 1 -1)) into -2 1552120383.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow 1 1)))) 1) into -2 1552120383.309 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.309 * [backup-simplify]: Simplify (+ (* 1/3 -2) (* 0 (- (* 2 (log x))))) into (- 2/3) 1552120383.310 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow (- 2/3) 1) 1)))) into (* -2/3 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.310 * [backup-simplify]: Simplify (* -2/3 (pow (/ 1 (pow x 2)) 1/3)) into (* -2/3 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120383.311 * [backup-simplify]: Simplify (- 0) into 0 1552120383.312 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120383.313 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1 1552120383.315 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1552120383.316 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1552120383.317 * [backup-simplify]: Simplify (+ (* 1/3 -1) (+ (* 0 -2) (* 0 (- (* 2 (log x)))))) into (- 1/3) 1552120383.319 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow (- 2/3) 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.319 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow x 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow x 2)) 1/3)) 1552120383.319 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* -2/3 (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -2/3))) into (- (+ (* 2/3 (pow (/ 1 x) 1/3)) (pow (/ -1 x) -2/3)) (* 1/9 (pow (/ 1 (pow x 4)) 1/3))) 1552120383.320 * * * [progress]: simplifying candidates 1552120383.320 * * * * [progress]: [ 1 / 91 ] simplifiying candidate # 1552120383.320 * * * * [progress]: [ 2 / 91 ] simplifiying candidate # 1552120383.320 * * * * [progress]: [ 3 / 91 ] simplifiying candidate # 1552120383.320 * * * * [progress]: [ 4 / 91 ] simplifiying candidate # 1552120383.320 * * * * [progress]: [ 5 / 91 ] simplifiying candidate # 1552120383.320 * [simplify]: Simplifying (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1552120383.320 * * [simplify]: iters left: 6 (6 enodes) 1552120383.323 * * [simplify]: iters left: 5 (21 enodes) 1552120383.329 * * [simplify]: iters left: 4 (23 enodes) 1552120383.336 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.336 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.336 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.336 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120383.336 * * [simplify]: Extracting #4: cost 10 inf + 0 1552120383.336 * * [simplify]: Extracting #5: cost 8 inf + 2 1552120383.336 * * [simplify]: Extracting #6: cost 0 inf + 1138 1552120383.337 * [simplify]: Simplified to (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1552120383.337 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ x 1))))) x)) 1552120383.337 * * * * [progress]: [ 6 / 91 ] simplifiying candidate # 1552120383.337 * [simplify]: Simplifying (cbrt (sqrt (+ x 1))) 1552120383.337 * * [simplify]: iters left: 4 (5 enodes) 1552120383.340 * * [simplify]: iters left: 3 (18 enodes) 1552120383.345 * * [simplify]: iters left: 2 (20 enodes) 1552120383.350 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.350 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.350 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.350 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120383.350 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120383.351 * * [simplify]: Extracting #5: cost 0 inf + 574 1552120383.351 * [simplify]: Simplified to (cbrt (sqrt (+ 1 x))) 1552120383.351 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ x 1))))) x)) 1552120383.351 * * * * [progress]: [ 7 / 91 ] simplifiying candidate # 1552120383.351 * [simplify]: Simplifying (cbrt 1) 1552120383.351 * * [simplify]: iters left: 1 (2 enodes) 1552120383.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.354 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120383.354 * [simplify]: Simplified to 1 1552120383.354 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (* 1 (cbrt (+ x 1)))) x)) 1552120383.354 * * * * [progress]: [ 8 / 91 ] simplifiying candidate # 1552120383.354 * [simplify]: Simplifying (cbrt (+ (pow x 3) (pow 1 3))) 1552120383.355 * * [simplify]: iters left: 4 (7 enodes) 1552120383.359 * * [simplify]: iters left: 3 (27 enodes) 1552120383.365 * * [simplify]: iters left: 2 (31 enodes) 1552120383.373 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.373 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.373 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120383.373 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120383.373 * * [simplify]: Extracting #4: cost 8 inf + 3 1552120383.373 * * [simplify]: Extracting #5: cost 2 inf + 1095 1552120383.373 * * [simplify]: Extracting #6: cost 0 inf + 1157 1552120383.374 * * [simplify]: Extracting #7: cost 0 inf + 895 1552120383.374 * [simplify]: Simplified to (cbrt (+ 1 (* (* x x) x))) 1552120383.374 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (cbrt (+ 1 (* (* x x) x))) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))) x)) 1552120383.374 * * * * [progress]: [ 9 / 91 ] simplifiying candidate # 1552120383.375 * [simplify]: Simplifying (cbrt (- (* x x) (* 1 1))) 1552120383.375 * * [simplify]: iters left: 5 (6 enodes) 1552120383.379 * * [simplify]: iters left: 4 (21 enodes) 1552120383.386 * * [simplify]: iters left: 3 (28 enodes) 1552120383.394 * * [simplify]: iters left: 2 (35 enodes) 1552120383.404 * * [simplify]: iters left: 1 (51 enodes) 1552120383.428 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.428 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.428 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120383.428 * * [simplify]: Extracting #3: cost 21 inf + 2 1552120383.428 * * [simplify]: Extracting #4: cost 8 inf + 625 1552120383.429 * * [simplify]: Extracting #5: cost 1 inf + 1239 1552120383.430 * * [simplify]: Extracting #6: cost 0 inf + 1401 1552120383.431 * [simplify]: Simplified to (cbrt (+ -1 (* x x))) 1552120383.431 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (cbrt (+ -1 (* x x))) (cbrt (- x 1)))) x)) 1552120383.431 * * * * [progress]: [ 10 / 91 ] simplifiying candidate # 1552120383.431 * * * * [progress]: [ 11 / 91 ] simplifiying candidate # 1552120383.431 * * * * [progress]: [ 12 / 91 ] simplifiying candidate # 1552120383.431 * * * * [progress]: [ 13 / 91 ] simplifiying candidate # 1552120383.431 * * * * [progress]: [ 14 / 91 ] simplifiying candidate #real (real->posit16 (cbrt (+ x 1))))) x))> 1552120383.432 * * * * [progress]: [ 15 / 91 ] simplifiying candidate # 1552120383.432 * * * * [progress]: [ 16 / 91 ] simplifiying candidate # 1552120383.432 * * * * [progress]: [ 17 / 91 ] simplifiying candidate # 1552120383.432 * * * * [progress]: [ 18 / 91 ] simplifiying candidate # 1552120383.432 * * * * [progress]: [ 19 / 91 ] simplifiying candidate # 1552120383.432 * [simplify]: Simplifying (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1552120383.432 * * [simplify]: iters left: 6 (6 enodes) 1552120383.435 * * [simplify]: iters left: 5 (21 enodes) 1552120383.443 * * [simplify]: iters left: 4 (23 enodes) 1552120383.450 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.450 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.450 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.450 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120383.451 * * [simplify]: Extracting #4: cost 10 inf + 0 1552120383.451 * * [simplify]: Extracting #5: cost 8 inf + 2 1552120383.451 * * [simplify]: Extracting #6: cost 0 inf + 1138 1552120383.451 * [simplify]: Simplified to (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1552120383.451 * [simplify]: Simplified (2 1 1 2 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ x 1)))))) (cbrt (+ x 1))) x)) 1552120383.451 * * * * [progress]: [ 20 / 91 ] simplifiying candidate # 1552120383.452 * [simplify]: Simplifying (cbrt (sqrt (+ x 1))) 1552120383.452 * * [simplify]: iters left: 4 (5 enodes) 1552120383.454 * * [simplify]: iters left: 3 (18 enodes) 1552120383.460 * * [simplify]: iters left: 2 (20 enodes) 1552120383.465 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.466 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.466 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.466 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120383.466 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120383.466 * * [simplify]: Extracting #5: cost 0 inf + 574 1552120383.466 * [simplify]: Simplified to (cbrt (sqrt (+ 1 x))) 1552120383.466 * [simplify]: Simplified (2 1 1 2 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ x 1)))))) (cbrt (+ x 1))) x)) 1552120383.466 * * * * [progress]: [ 21 / 91 ] simplifiying candidate # 1552120383.466 * [simplify]: Simplifying (cbrt 1) 1552120383.466 * * [simplify]: iters left: 1 (2 enodes) 1552120383.468 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.468 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120383.468 * [simplify]: Simplified to 1 1552120383.468 * [simplify]: Simplified (2 1 1 2 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (* 1 (cbrt (+ x 1))))) (cbrt (+ x 1))) x)) 1552120383.468 * * * * [progress]: [ 22 / 91 ] simplifiying candidate # 1552120383.468 * [simplify]: Simplifying (cbrt (+ (pow x 3) (pow 1 3))) 1552120383.469 * * [simplify]: iters left: 4 (7 enodes) 1552120383.471 * * [simplify]: iters left: 3 (27 enodes) 1552120383.475 * * [simplify]: iters left: 2 (31 enodes) 1552120383.480 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.480 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.480 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120383.480 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120383.480 * * [simplify]: Extracting #4: cost 8 inf + 3 1552120383.480 * * [simplify]: Extracting #5: cost 2 inf + 1095 1552120383.480 * * [simplify]: Extracting #6: cost 0 inf + 1157 1552120383.480 * * [simplify]: Extracting #7: cost 0 inf + 895 1552120383.481 * [simplify]: Simplified to (cbrt (+ 1 (* (* x x) x))) 1552120383.481 * [simplify]: Simplified (2 1 1 2 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (/ (cbrt (+ 1 (* (* x x) x))) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))))) (cbrt (+ x 1))) x)) 1552120383.481 * * * * [progress]: [ 23 / 91 ] simplifiying candidate # 1552120383.481 * [simplify]: Simplifying (cbrt (- (* x x) (* 1 1))) 1552120383.481 * * [simplify]: iters left: 5 (6 enodes) 1552120383.483 * * [simplify]: iters left: 4 (21 enodes) 1552120383.486 * * [simplify]: iters left: 3 (28 enodes) 1552120383.491 * * [simplify]: iters left: 2 (35 enodes) 1552120383.499 * * [simplify]: iters left: 1 (51 enodes) 1552120383.517 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.517 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.517 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120383.517 * * [simplify]: Extracting #3: cost 21 inf + 2 1552120383.517 * * [simplify]: Extracting #4: cost 8 inf + 625 1552120383.518 * * [simplify]: Extracting #5: cost 1 inf + 1239 1552120383.518 * * [simplify]: Extracting #6: cost 0 inf + 1401 1552120383.518 * [simplify]: Simplified to (cbrt (+ -1 (* x x))) 1552120383.519 * [simplify]: Simplified (2 1 1 2 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (/ (cbrt (+ -1 (* x x))) (cbrt (- x 1))))) (cbrt (+ x 1))) x)) 1552120383.519 * * * * [progress]: [ 24 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 25 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 26 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 27 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 28 / 91 ] simplifiying candidate #real (real->posit16 (cbrt (+ x 1)))))) (cbrt (+ x 1))) x))> 1552120383.519 * * * * [progress]: [ 29 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 30 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 31 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 32 / 91 ] simplifiying candidate # 1552120383.519 * * * * [progress]: [ 33 / 91 ] simplifiying candidate # 1552120383.519 * [simplify]: Simplifying (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1552120383.519 * * [simplify]: iters left: 6 (6 enodes) 1552120383.521 * * [simplify]: iters left: 5 (21 enodes) 1552120383.525 * * [simplify]: iters left: 4 (23 enodes) 1552120383.529 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.529 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.529 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.529 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120383.529 * * [simplify]: Extracting #4: cost 10 inf + 0 1552120383.529 * * [simplify]: Extracting #5: cost 8 inf + 2 1552120383.529 * * [simplify]: Extracting #6: cost 0 inf + 1138 1552120383.529 * [simplify]: Simplified to (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1552120383.529 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ x 1)))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120383.529 * * * * [progress]: [ 34 / 91 ] simplifiying candidate # 1552120383.529 * [simplify]: Simplifying (cbrt (sqrt (+ x 1))) 1552120383.530 * * [simplify]: iters left: 4 (5 enodes) 1552120383.531 * * [simplify]: iters left: 3 (18 enodes) 1552120383.537 * * [simplify]: iters left: 2 (20 enodes) 1552120383.540 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.540 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.540 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.541 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120383.541 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120383.541 * * [simplify]: Extracting #5: cost 0 inf + 574 1552120383.541 * [simplify]: Simplified to (cbrt (sqrt (+ 1 x))) 1552120383.541 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ x 1)))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120383.541 * * * * [progress]: [ 35 / 91 ] simplifiying candidate # 1552120383.541 * [simplify]: Simplifying (cbrt 1) 1552120383.541 * * [simplify]: iters left: 1 (2 enodes) 1552120383.544 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.544 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120383.544 * [simplify]: Simplified to 1 1552120383.544 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (x) (/ (/ (/ -1 (* (* 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120383.544 * * * * [progress]: [ 36 / 91 ] simplifiying candidate # 1552120383.545 * [simplify]: Simplifying (cbrt (+ (pow x 3) (pow 1 3))) 1552120383.545 * * [simplify]: iters left: 4 (7 enodes) 1552120383.549 * * [simplify]: iters left: 3 (27 enodes) 1552120383.557 * * [simplify]: iters left: 2 (31 enodes) 1552120383.566 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.566 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.566 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120383.566 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120383.566 * * [simplify]: Extracting #4: cost 8 inf + 3 1552120383.566 * * [simplify]: Extracting #5: cost 2 inf + 1095 1552120383.567 * * [simplify]: Extracting #6: cost 0 inf + 1157 1552120383.567 * * [simplify]: Extracting #7: cost 0 inf + 895 1552120383.567 * [simplify]: Simplified to (cbrt (+ 1 (* (* x x) x))) 1552120383.567 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (x) (/ (/ (/ -1 (* (/ (cbrt (+ 1 (* (* x x) x))) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120383.567 * * * * [progress]: [ 37 / 91 ] simplifiying candidate # 1552120383.568 * [simplify]: Simplifying (cbrt (- (* x x) (* 1 1))) 1552120383.568 * * [simplify]: iters left: 5 (6 enodes) 1552120383.571 * * [simplify]: iters left: 4 (21 enodes) 1552120383.578 * * [simplify]: iters left: 3 (28 enodes) 1552120383.587 * * [simplify]: iters left: 2 (35 enodes) 1552120383.596 * * [simplify]: iters left: 1 (51 enodes) 1552120383.612 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.613 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.613 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120383.613 * * [simplify]: Extracting #3: cost 21 inf + 2 1552120383.613 * * [simplify]: Extracting #4: cost 8 inf + 625 1552120383.614 * * [simplify]: Extracting #5: cost 1 inf + 1239 1552120383.614 * * [simplify]: Extracting #6: cost 0 inf + 1401 1552120383.615 * [simplify]: Simplified to (cbrt (+ -1 (* x x))) 1552120383.615 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (x) (/ (/ (/ -1 (* (/ (cbrt (+ -1 (* x x))) (cbrt (- x 1))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120383.615 * * * * [progress]: [ 38 / 91 ] simplifiying candidate # 1552120383.615 * * * * [progress]: [ 39 / 91 ] simplifiying candidate # 1552120383.615 * * * * [progress]: [ 40 / 91 ] simplifiying candidate # 1552120383.615 * * * * [progress]: [ 41 / 91 ] simplifiying candidate # 1552120383.616 * * * * [progress]: [ 42 / 91 ] simplifiying candidate #real (real->posit16 (cbrt (+ x 1)))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x))> 1552120383.616 * * * * [progress]: [ 43 / 91 ] simplifiying candidate # 1552120383.616 * [simplify]: Simplifying (+ x 1) 1552120383.616 * * [simplify]: iters left: 2 (3 enodes) 1552120383.618 * * [simplify]: iters left: 1 (12 enodes) 1552120383.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.622 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120383.622 * * [simplify]: Extracting #2: cost 2 inf + 2 1552120383.622 * * [simplify]: Extracting #3: cost 0 inf + 86 1552120383.622 * [simplify]: Simplified to (+ 1 x) 1552120383.622 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (pow (+ 1 x) (+ 1/3 1/3))) (cbrt (+ x 1))) x)) 1552120383.622 * [simplify]: Simplifying (+ 1/3 1/3) 1552120383.622 * * [simplify]: iters left: 2 (2 enodes) 1552120383.625 * * [simplify]: iters left: 1 (7 enodes) 1552120383.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.627 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120383.627 * [simplify]: Simplified to 2/3 1552120383.627 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (pow (+ x 1) 2/3)) (cbrt (+ x 1))) x)) 1552120383.627 * * * * [progress]: [ 44 / 91 ] simplifiying candidate # 1552120383.628 * [simplify]: Simplifying (cbrt (+ x 1)) 1552120383.628 * * [simplify]: iters left: 3 (4 enodes) 1552120383.630 * * [simplify]: iters left: 2 (15 enodes) 1552120383.634 * * [simplify]: iters left: 1 (17 enodes) 1552120383.638 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.639 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.639 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120383.639 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120383.639 * * [simplify]: Extracting #4: cost 1 inf + 208 1552120383.639 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120383.639 * [simplify]: Simplified to (cbrt (+ 1 x)) 1552120383.639 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (pow (cbrt (+ 1 x)) (+ 1 1))) (cbrt (+ x 1))) x)) 1552120383.639 * [simplify]: Simplifying (+ 1 1) 1552120383.639 * * [simplify]: iters left: 2 (2 enodes) 1552120383.641 * * [simplify]: iters left: 1 (9 enodes) 1552120383.644 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.644 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120383.644 * [simplify]: Simplified to 2 1552120383.644 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (pow (cbrt (+ x 1)) 2)) (cbrt (+ x 1))) x)) 1552120383.644 * * * * [progress]: [ 45 / 91 ] simplifiying candidate # 1552120383.644 * [simplify]: Simplifying (* (+ x 1) (+ x 1)) 1552120383.645 * * [simplify]: iters left: 4 (4 enodes) 1552120383.646 * * [simplify]: iters left: 3 (21 enodes) 1552120383.654 * * [simplify]: iters left: 2 (41 enodes) 1552120383.664 * * [simplify]: iters left: 1 (55 enodes) 1552120383.683 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.684 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120383.684 * * [simplify]: Extracting #2: cost 23 inf + 2 1552120383.684 * * [simplify]: Extracting #3: cost 3 inf + 1717 1552120383.685 * * [simplify]: Extracting #4: cost 0 inf + 2081 1552120383.686 * [simplify]: Simplified to (* (+ 1 x) (+ 1 x)) 1552120383.686 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (pow (* (+ 1 x) (+ 1 x)) 1/3)) (cbrt (+ x 1))) x)) 1552120383.686 * * * * [progress]: [ 46 / 91 ] simplifiying candidate # 1552120383.687 * [simplify]: Simplifying (* (cbrt (+ x 1)) (cbrt (+ x 1))) 1552120383.687 * * [simplify]: iters left: 5 (5 enodes) 1552120383.689 * * [simplify]: iters left: 4 (18 enodes) 1552120383.692 * * [simplify]: iters left: 3 (20 enodes) 1552120383.696 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.696 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.696 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.696 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120383.696 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120383.696 * * [simplify]: Extracting #5: cost 0 inf + 654 1552120383.696 * [simplify]: Simplified to (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) 1552120383.696 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (pow (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) 1)) (cbrt (+ x 1))) x)) 1552120383.696 * * * * [progress]: [ 47 / 91 ] simplifiying candidate # 1552120383.697 * * * * [progress]: [ 48 / 91 ] simplifiying candidate # 1552120383.697 * [simplify]: Simplifying (cbrt (+ x 1)) 1552120383.697 * * [simplify]: iters left: 3 (4 enodes) 1552120383.698 * * [simplify]: iters left: 2 (15 enodes) 1552120383.701 * * [simplify]: iters left: 1 (17 enodes) 1552120383.703 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.704 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.704 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120383.704 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120383.704 * * [simplify]: Extracting #4: cost 1 inf + 208 1552120383.704 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120383.704 * [simplify]: Simplified to (cbrt (+ 1 x)) 1552120383.704 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (pow (cbrt (+ 1 x)) (+ 1 1))) (cbrt (+ x 1))) x)) 1552120383.704 * * * * [progress]: [ 49 / 91 ] simplifiying candidate # 1552120383.704 * * * * [progress]: [ 50 / 91 ] simplifiying candidate # 1552120383.704 * [simplify]: Simplifying (+ (log (cbrt (+ x 1))) (log (cbrt (+ x 1)))) 1552120383.704 * * [simplify]: iters left: 6 (6 enodes) 1552120383.706 * * [simplify]: iters left: 5 (21 enodes) 1552120383.710 * * [simplify]: iters left: 4 (23 enodes) 1552120383.713 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.713 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.713 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.713 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120383.713 * * [simplify]: Extracting #4: cost 10 inf + 0 1552120383.713 * * [simplify]: Extracting #5: cost 8 inf + 2 1552120383.714 * * [simplify]: Extracting #6: cost 0 inf + 1178 1552120383.714 * [simplify]: Simplified to (+ (log (cbrt (+ 1 x))) (log (cbrt (+ 1 x)))) 1552120383.714 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (exp (+ (log (cbrt (+ 1 x))) (log (cbrt (+ 1 x)))))) (cbrt (+ x 1))) x)) 1552120383.714 * * * * [progress]: [ 51 / 91 ] simplifiying candidate # 1552120383.714 * * * * [progress]: [ 52 / 91 ] simplifiying candidate # 1552120383.714 * * * * [progress]: [ 53 / 91 ] simplifiying candidate # 1552120383.714 * [simplify]: Simplifying (* (+ x 1) (+ x 1)) 1552120383.714 * * [simplify]: iters left: 4 (4 enodes) 1552120383.716 * * [simplify]: iters left: 3 (21 enodes) 1552120383.723 * * [simplify]: iters left: 2 (41 enodes) 1552120383.735 * * [simplify]: iters left: 1 (55 enodes) 1552120383.752 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.752 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120383.752 * * [simplify]: Extracting #2: cost 23 inf + 2 1552120383.753 * * [simplify]: Extracting #3: cost 3 inf + 1717 1552120383.754 * * [simplify]: Extracting #4: cost 0 inf + 2081 1552120383.755 * [simplify]: Simplified to (* (+ 1 x) (+ 1 x)) 1552120383.755 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (cbrt (* (+ 1 x) (+ 1 x)))) (cbrt (+ x 1))) x)) 1552120383.755 * * * * [progress]: [ 54 / 91 ] simplifiying candidate # 1552120383.755 * * * * [progress]: [ 55 / 91 ] simplifiying candidate # 1552120383.755 * * * * [progress]: [ 56 / 91 ] simplifiying candidate # 1552120383.755 * * * * [progress]: [ 57 / 91 ] simplifiying candidate # 1552120383.756 * [simplify]: Simplifying (* (cbrt (+ (pow x 3) (pow 1 3))) (cbrt (+ (pow x 3) (pow 1 3)))) 1552120383.756 * * [simplify]: iters left: 6 (8 enodes) 1552120383.761 * * [simplify]: iters left: 5 (30 enodes) 1552120383.771 * * [simplify]: iters left: 4 (34 enodes) 1552120383.781 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.781 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.781 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.781 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120383.781 * * [simplify]: Extracting #4: cost 11 inf + 1 1552120383.781 * * [simplify]: Extracting #5: cost 10 inf + 3 1552120383.781 * * [simplify]: Extracting #6: cost 6 inf + 550 1552120383.782 * * [simplify]: Extracting #7: cost 1 inf + 1792 1552120383.782 * * [simplify]: Extracting #8: cost 0 inf + 1510 1552120383.783 * * [simplify]: Extracting #9: cost 0 inf + 1379 1552120383.783 * [simplify]: Simplified to (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))) 1552120383.783 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))) (* (cbrt (+ (* x x) (- (* 1 1) (* x 1)))) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))))) (cbrt (+ x 1))) x)) 1552120383.784 * [simplify]: Simplifying (* (cbrt (+ (* x x) (- (* 1 1) (* x 1)))) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))) 1552120383.784 * * [simplify]: iters left: 6 (9 enodes) 1552120383.789 * * [simplify]: iters left: 5 (30 enodes) 1552120383.798 * * [simplify]: iters left: 4 (47 enodes) 1552120383.815 * * [simplify]: iters left: 3 (65 enodes) 1552120383.830 * * [simplify]: iters left: 2 (79 enodes) 1552120383.841 * * [simplify]: iters left: 1 (97 enodes) 1552120383.855 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.855 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120383.855 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120383.855 * * [simplify]: Extracting #3: cost 18 inf + 0 1552120383.855 * * [simplify]: Extracting #4: cost 28 inf + 2 1552120383.855 * * [simplify]: Extracting #5: cost 14 inf + 781 1552120383.856 * * [simplify]: Extracting #6: cost 1 inf + 2242 1552120383.856 * * [simplify]: Extracting #7: cost 0 inf + 2444 1552120383.857 * [simplify]: Simplified to (* (cbrt (+ (- 1 x) (* x x))) (cbrt (+ (- 1 x) (* x x)))) 1552120383.857 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))) (* (cbrt (+ (- 1 x) (* x x))) (cbrt (+ (- 1 x) (* x x)))))) (cbrt (+ x 1))) x)) 1552120383.857 * * * * [progress]: [ 58 / 91 ] simplifiying candidate # 1552120383.858 * [simplify]: Simplifying (* (cbrt (+ (pow x 3) (pow 1 3))) (cbrt (- (* x x) (* 1 1)))) 1552120383.858 * * [simplify]: iters left: 6 (12 enodes) 1552120383.865 * * [simplify]: iters left: 5 (42 enodes) 1552120383.873 * * [simplify]: iters left: 4 (49 enodes) 1552120383.880 * * [simplify]: iters left: 3 (56 enodes) 1552120383.888 * * [simplify]: iters left: 2 (72 enodes) 1552120383.905 * * [simplify]: iters left: 1 (109 enodes) 1552120383.927 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120383.927 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120383.927 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120383.927 * * [simplify]: Extracting #3: cost 32 inf + 0 1552120383.928 * * [simplify]: Extracting #4: cost 34 inf + 210 1552120383.928 * * [simplify]: Extracting #5: cost 13 inf + 1929 1552120383.929 * * [simplify]: Extracting #6: cost 5 inf + 2861 1552120383.930 * * [simplify]: Extracting #7: cost 0 inf + 4111 1552120383.930 * [simplify]: Simplified to (* (cbrt (- (* x x) 1)) (cbrt (+ 1 (* (* x x) x)))) 1552120383.930 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (- (* x x) 1)) (cbrt (+ 1 (* (* x x) x)))) (* (cbrt (+ (* x x) (- (* 1 1) (* x 1)))) (cbrt (- x 1))))) (cbrt (+ x 1))) x)) 1552120383.931 * [simplify]: Simplifying (* (cbrt (+ (* x x) (- (* 1 1) (* x 1)))) (cbrt (- x 1))) 1552120383.931 * * [simplify]: iters left: 6 (11 enodes) 1552120383.934 * * [simplify]: iters left: 5 (40 enodes) 1552120383.940 * * [simplify]: iters left: 4 (59 enodes) 1552120383.955 * * [simplify]: iters left: 3 (76 enodes) 1552120383.975 * * [simplify]: iters left: 2 (89 enodes) 1552120383.988 * * [simplify]: iters left: 1 (106 enodes) 1552120384.007 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.007 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120384.008 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120384.008 * * [simplify]: Extracting #3: cost 22 inf + 0 1552120384.008 * * [simplify]: Extracting #4: cost 29 inf + 3 1552120384.008 * * [simplify]: Extracting #5: cost 20 inf + 497 1552120384.009 * * [simplify]: Extracting #6: cost 3 inf + 2002 1552120384.011 * * [simplify]: Extracting #7: cost 0 inf + 2928 1552120384.012 * [simplify]: Simplified to (* (cbrt (- x 1)) (cbrt (- (+ (* x x) 1) x))) 1552120384.012 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (- (* x x) 1)) (cbrt (+ 1 (* (* x x) x)))) (* (cbrt (- x 1)) (cbrt (- (+ (* x x) 1) x))))) (cbrt (+ x 1))) x)) 1552120384.012 * * * * [progress]: [ 59 / 91 ] simplifiying candidate # 1552120384.013 * [simplify]: Simplifying (* (cbrt (- (* x x) (* 1 1))) (cbrt (+ (pow x 3) (pow 1 3)))) 1552120384.013 * * [simplify]: iters left: 6 (12 enodes) 1552120384.020 * * [simplify]: iters left: 5 (42 enodes) 1552120384.031 * * [simplify]: iters left: 4 (49 enodes) 1552120384.041 * * [simplify]: iters left: 3 (56 enodes) 1552120384.048 * * [simplify]: iters left: 2 (72 enodes) 1552120384.060 * * [simplify]: iters left: 1 (109 enodes) 1552120384.084 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.085 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120384.085 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120384.085 * * [simplify]: Extracting #3: cost 32 inf + 0 1552120384.085 * * [simplify]: Extracting #4: cost 33 inf + 292 1552120384.086 * * [simplify]: Extracting #5: cost 10 inf + 2372 1552120384.088 * * [simplify]: Extracting #6: cost 0 inf + 4112 1552120384.089 * [simplify]: Simplified to (* (cbrt (- (* x x) 1)) (cbrt (+ (* x (* x x)) 1))) 1552120384.089 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (- (* x x) 1)) (cbrt (+ (* x (* x x)) 1))) (* (cbrt (- x 1)) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))))) (cbrt (+ x 1))) x)) 1552120384.090 * [simplify]: Simplifying (* (cbrt (- x 1)) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))) 1552120384.090 * * [simplify]: iters left: 6 (11 enodes) 1552120384.096 * * [simplify]: iters left: 5 (40 enodes) 1552120384.106 * * [simplify]: iters left: 4 (60 enodes) 1552120384.125 * * [simplify]: iters left: 3 (81 enodes) 1552120384.146 * * [simplify]: iters left: 2 (94 enodes) 1552120384.159 * * [simplify]: iters left: 1 (112 enodes) 1552120384.184 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.184 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120384.184 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120384.184 * * [simplify]: Extracting #3: cost 22 inf + 0 1552120384.185 * * [simplify]: Extracting #4: cost 29 inf + 3 1552120384.185 * * [simplify]: Extracting #5: cost 12 inf + 1313 1552120384.186 * * [simplify]: Extracting #6: cost 1 inf + 2767 1552120384.188 * * [simplify]: Extracting #7: cost 0 inf + 2848 1552120384.189 * [simplify]: Simplified to (* (cbrt (- x 1)) (cbrt (- (* x x) (- x 1)))) 1552120384.189 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (- (* x x) 1)) (cbrt (+ (* x (* x x)) 1))) (* (cbrt (- x 1)) (cbrt (- (* x x) (- x 1)))))) (cbrt (+ x 1))) x)) 1552120384.189 * * * * [progress]: [ 60 / 91 ] simplifiying candidate # 1552120384.189 * [simplify]: Simplifying (* (cbrt (- (* x x) (* 1 1))) (cbrt (- (* x x) (* 1 1)))) 1552120384.189 * * [simplify]: iters left: 6 (7 enodes) 1552120384.192 * * [simplify]: iters left: 5 (24 enodes) 1552120384.196 * * [simplify]: iters left: 4 (31 enodes) 1552120384.200 * * [simplify]: iters left: 3 (38 enodes) 1552120384.206 * * [simplify]: iters left: 2 (54 enodes) 1552120384.216 * * [simplify]: iters left: 1 (91 enodes) 1552120384.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.242 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.242 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.242 * * [simplify]: Extracting #3: cost 27 inf + 0 1552120384.242 * * [simplify]: Extracting #4: cost 24 inf + 455 1552120384.243 * * [simplify]: Extracting #5: cost 5 inf + 2252 1552120384.245 * * [simplify]: Extracting #6: cost 1 inf + 2779 1552120384.246 * * [simplify]: Extracting #7: cost 0 inf + 2981 1552120384.247 * [simplify]: Simplified to (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))) 1552120384.247 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))) (* (cbrt (- x 1)) (cbrt (- x 1))))) (cbrt (+ x 1))) x)) 1552120384.248 * [simplify]: Simplifying (* (cbrt (- x 1)) (cbrt (- x 1))) 1552120384.248 * * [simplify]: iters left: 5 (5 enodes) 1552120384.251 * * [simplify]: iters left: 4 (20 enodes) 1552120384.257 * * [simplify]: iters left: 3 (24 enodes) 1552120384.265 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.265 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.265 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.265 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120384.265 * * [simplify]: Extracting #4: cost 6 inf + 3 1552120384.265 * * [simplify]: Extracting #5: cost 0 inf + 655 1552120384.265 * [simplify]: Simplified to (* (cbrt (+ x -1)) (cbrt (+ x -1))) 1552120384.265 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))) (* (cbrt (+ x -1)) (cbrt (+ x -1))))) (cbrt (+ x 1))) x)) 1552120384.265 * * * * [progress]: [ 61 / 91 ] simplifiying candidate # 1552120384.266 * * * * [progress]: [ 62 / 91 ] simplifiying candidate # 1552120384.266 * [simplify]: Simplifying (cbrt (cbrt (+ x 1))) 1552120384.266 * * [simplify]: iters left: 4 (5 enodes) 1552120384.268 * * [simplify]: iters left: 3 (18 enodes) 1552120384.273 * * [simplify]: iters left: 2 (20 enodes) 1552120384.279 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.279 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.279 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.279 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120384.279 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120384.279 * * [simplify]: Extracting #5: cost 0 inf + 734 1552120384.280 * [simplify]: Simplified to (cbrt (cbrt (+ 1 x))) 1552120384.280 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (+ x 1)) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (cbrt (+ 1 x))))) (cbrt (+ x 1))) x)) 1552120384.280 * * * * [progress]: [ 63 / 91 ] simplifiying candidate # 1552120384.280 * [simplify]: Simplifying (cbrt (sqrt (+ x 1))) 1552120384.280 * * [simplify]: iters left: 4 (5 enodes) 1552120384.283 * * [simplify]: iters left: 3 (18 enodes) 1552120384.288 * * [simplify]: iters left: 2 (20 enodes) 1552120384.294 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.294 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.294 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.294 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120384.294 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120384.294 * * [simplify]: Extracting #5: cost 0 inf + 574 1552120384.294 * [simplify]: Simplified to (cbrt (sqrt (+ 1 x))) 1552120384.294 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (+ x 1)) (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ 1 x))))) (cbrt (+ x 1))) x)) 1552120384.294 * * * * [progress]: [ 64 / 91 ] simplifiying candidate # 1552120384.295 * [simplify]: Simplifying (cbrt (+ x 1)) 1552120384.295 * * [simplify]: iters left: 3 (4 enodes) 1552120384.297 * * [simplify]: iters left: 2 (15 enodes) 1552120384.301 * * [simplify]: iters left: 1 (17 enodes) 1552120384.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.306 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.306 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120384.306 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120384.307 * * [simplify]: Extracting #4: cost 1 inf + 208 1552120384.307 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120384.307 * [simplify]: Simplified to (cbrt (+ 1 x)) 1552120384.307 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (+ x 1)) (cbrt 1)) (cbrt (+ 1 x)))) (cbrt (+ x 1))) x)) 1552120384.307 * * * * [progress]: [ 65 / 91 ] simplifiying candidate # 1552120384.307 * [simplify]: Simplifying (cbrt (cbrt (+ x 1))) 1552120384.308 * * [simplify]: iters left: 4 (5 enodes) 1552120384.310 * * [simplify]: iters left: 3 (18 enodes) 1552120384.316 * * [simplify]: iters left: 2 (20 enodes) 1552120384.321 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.321 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.321 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.322 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120384.322 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120384.322 * * [simplify]: Extracting #5: cost 0 inf + 734 1552120384.322 * [simplify]: Simplified to (cbrt (cbrt (+ 1 x))) 1552120384.322 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (+ x 1)) (* (cbrt (cbrt (+ x 1))) (cbrt (cbrt (+ x 1))))) (cbrt (cbrt (+ 1 x))))) (cbrt (+ x 1))) x)) 1552120384.322 * * * * [progress]: [ 66 / 91 ] simplifiying candidate # 1552120384.323 * [simplify]: Simplifying (sqrt (cbrt (+ x 1))) 1552120384.323 * * [simplify]: iters left: 4 (5 enodes) 1552120384.325 * * [simplify]: iters left: 3 (18 enodes) 1552120384.331 * * [simplify]: iters left: 2 (20 enodes) 1552120384.335 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.335 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.335 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.335 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120384.336 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120384.336 * * [simplify]: Extracting #5: cost 0 inf + 654 1552120384.336 * [simplify]: Simplified to (sqrt (cbrt (+ 1 x))) 1552120384.336 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (+ x 1)) (sqrt (cbrt (+ x 1)))) (sqrt (cbrt (+ 1 x))))) (cbrt (+ x 1))) x)) 1552120384.336 * * * * [progress]: [ 67 / 91 ] simplifiying candidate # 1552120384.336 * [simplify]: Simplifying (cbrt (+ x 1)) 1552120384.336 * * [simplify]: iters left: 3 (4 enodes) 1552120384.337 * * [simplify]: iters left: 2 (15 enodes) 1552120384.340 * * [simplify]: iters left: 1 (17 enodes) 1552120384.343 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.343 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.343 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120384.343 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120384.343 * * [simplify]: Extracting #4: cost 1 inf + 208 1552120384.343 * * [simplify]: Extracting #5: cost 0 inf + 330 1552120384.343 * [simplify]: Simplified to (cbrt (+ 1 x)) 1552120384.343 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (+ x 1)) 1) (cbrt (+ 1 x)))) (cbrt (+ x 1))) x)) 1552120384.343 * * * * [progress]: [ 68 / 91 ] simplifiying candidate # 1552120384.343 * [simplify]: Simplifying (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1552120384.343 * * [simplify]: iters left: 6 (6 enodes) 1552120384.345 * * [simplify]: iters left: 5 (21 enodes) 1552120384.348 * * [simplify]: iters left: 4 (23 enodes) 1552120384.352 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.352 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.352 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.352 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120384.352 * * [simplify]: Extracting #4: cost 10 inf + 0 1552120384.352 * * [simplify]: Extracting #5: cost 8 inf + 2 1552120384.352 * * [simplify]: Extracting #6: cost 0 inf + 1138 1552120384.352 * [simplify]: Simplified to (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1552120384.352 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (* (cbrt (cbrt (+ x 1))) (cbrt (+ x 1))))) (cbrt (+ x 1))) x)) 1552120384.352 * * * * [progress]: [ 69 / 91 ] simplifiying candidate # 1552120384.353 * [simplify]: Simplifying (cbrt (sqrt (+ x 1))) 1552120384.353 * * [simplify]: iters left: 4 (5 enodes) 1552120384.354 * * [simplify]: iters left: 3 (18 enodes) 1552120384.359 * * [simplify]: iters left: 2 (20 enodes) 1552120384.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.363 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.363 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.363 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120384.363 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120384.363 * * [simplify]: Extracting #5: cost 0 inf + 574 1552120384.363 * [simplify]: Simplified to (cbrt (sqrt (+ 1 x))) 1552120384.363 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (cbrt (sqrt (+ 1 x))) (* (cbrt (sqrt (+ x 1))) (cbrt (+ x 1))))) (cbrt (+ x 1))) x)) 1552120384.364 * * * * [progress]: [ 70 / 91 ] simplifiying candidate # 1552120384.364 * [simplify]: Simplifying (cbrt 1) 1552120384.364 * * [simplify]: iters left: 1 (2 enodes) 1552120384.367 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.367 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120384.367 * [simplify]: Simplified to 1 1552120384.367 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* 1 (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (+ x 1))) x)) 1552120384.367 * * * * [progress]: [ 71 / 91 ] simplifiying candidate # 1552120384.368 * [simplify]: Simplifying (* (cbrt (cbrt (+ x 1))) (cbrt (cbrt (+ x 1)))) 1552120384.368 * * [simplify]: iters left: 6 (6 enodes) 1552120384.370 * * [simplify]: iters left: 5 (21 enodes) 1552120384.373 * * [simplify]: iters left: 4 (23 enodes) 1552120384.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.377 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.377 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.377 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120384.377 * * [simplify]: Extracting #4: cost 10 inf + 0 1552120384.377 * * [simplify]: Extracting #5: cost 8 inf + 2 1552120384.377 * * [simplify]: Extracting #6: cost 0 inf + 1218 1552120384.377 * [simplify]: Simplified to (* (cbrt (cbrt (+ 1 x))) (cbrt (cbrt (+ 1 x)))) 1552120384.377 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (* (cbrt (cbrt (+ 1 x))) (cbrt (cbrt (+ 1 x)))) (* (cbrt (cbrt (+ x 1))) (cbrt (+ x 1))))) (cbrt (+ x 1))) x)) 1552120384.377 * * * * [progress]: [ 72 / 91 ] simplifiying candidate # 1552120384.378 * [simplify]: Simplifying (sqrt (cbrt (+ x 1))) 1552120384.378 * * [simplify]: iters left: 4 (5 enodes) 1552120384.379 * * [simplify]: iters left: 3 (18 enodes) 1552120384.382 * * [simplify]: iters left: 2 (20 enodes) 1552120384.388 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.388 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.389 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120384.389 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120384.389 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120384.389 * * [simplify]: Extracting #5: cost 0 inf + 654 1552120384.389 * [simplify]: Simplified to (sqrt (cbrt (+ 1 x))) 1552120384.389 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (sqrt (cbrt (+ 1 x))) (* (sqrt (cbrt (+ x 1))) (cbrt (+ x 1))))) (cbrt (+ x 1))) x)) 1552120384.389 * * * * [progress]: [ 73 / 91 ] simplifiying candidate # 1552120384.389 * * * * [progress]: [ 74 / 91 ] simplifiying candidate # 1552120384.390 * [simplify]: Simplifying (cbrt (+ (* x x) (- (* 1 1) (* x 1)))) 1552120384.390 * * [simplify]: iters left: 6 (8 enodes) 1552120384.394 * * [simplify]: iters left: 5 (27 enodes) 1552120384.402 * * [simplify]: iters left: 4 (44 enodes) 1552120384.415 * * [simplify]: iters left: 3 (62 enodes) 1552120384.426 * * [simplify]: iters left: 2 (76 enodes) 1552120384.436 * * [simplify]: iters left: 1 (94 enodes) 1552120384.449 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.449 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.449 * * [simplify]: Extracting #2: cost 16 inf + 0 1552120384.449 * * [simplify]: Extracting #3: cost 19 inf + 372 1552120384.449 * * [simplify]: Extracting #4: cost 2 inf + 1677 1552120384.450 * * [simplify]: Extracting #5: cost 0 inf + 1960 1552120384.450 * [simplify]: Simplified to (cbrt (- (* x x) (- x 1))) 1552120384.450 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (+ x 1)) (cbrt (+ (pow x 3) (pow 1 3)))) (cbrt (- (* x x) (- x 1))))) (cbrt (+ x 1))) x)) 1552120384.451 * * * * [progress]: [ 75 / 91 ] simplifiying candidate # 1552120384.451 * [simplify]: Simplifying (cbrt (- x 1)) 1552120384.451 * * [simplify]: iters left: 3 (4 enodes) 1552120384.452 * * [simplify]: iters left: 2 (17 enodes) 1552120384.456 * * [simplify]: iters left: 1 (21 enodes) 1552120384.465 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.465 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120384.465 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120384.465 * * [simplify]: Extracting #3: cost 4 inf + 3 1552120384.465 * * [simplify]: Extracting #4: cost 0 inf + 331 1552120384.465 * [simplify]: Simplified to (cbrt (+ x -1)) 1552120384.465 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (+ x 1)) (cbrt (- (* x x) (* 1 1)))) (cbrt (+ x -1)))) (cbrt (+ x 1))) x)) 1552120384.466 * * * * [progress]: [ 76 / 91 ] simplifiying candidate # 1552120384.466 * [simplify]: Simplifying (* (cbrt (+ (pow x 3) (pow 1 3))) (cbrt (+ x 1))) 1552120384.466 * * [simplify]: iters left: 6 (10 enodes) 1552120384.472 * * [simplify]: iters left: 5 (38 enodes) 1552120384.482 * * [simplify]: iters left: 4 (42 enodes) 1552120384.493 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.493 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120384.493 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120384.493 * * [simplify]: Extracting #3: cost 13 inf + 0 1552120384.493 * * [simplify]: Extracting #4: cost 14 inf + 2 1552120384.493 * * [simplify]: Extracting #5: cost 12 inf + 86 1552120384.493 * * [simplify]: Extracting #6: cost 5 inf + 697 1552120384.493 * * [simplify]: Extracting #7: cost 1 inf + 1585 1552120384.494 * * [simplify]: Extracting #8: cost 0 inf + 1947 1552120384.494 * [simplify]: Simplified to (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 x))) 1552120384.494 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 x))) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))) (cbrt (+ x 1))) x)) 1552120384.494 * * * * [progress]: [ 77 / 91 ] simplifiying candidate # 1552120384.494 * [simplify]: Simplifying (* (cbrt (- (* x x) (* 1 1))) (cbrt (+ x 1))) 1552120384.494 * * [simplify]: iters left: 6 (9 enodes) 1552120384.497 * * [simplify]: iters left: 5 (32 enodes) 1552120384.502 * * [simplify]: iters left: 4 (38 enodes) 1552120384.507 * * [simplify]: iters left: 3 (42 enodes) 1552120384.513 * * [simplify]: iters left: 2 (58 enodes) 1552120384.530 * * [simplify]: iters left: 1 (95 enodes) 1552120384.554 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.554 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120384.554 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120384.554 * * [simplify]: Extracting #3: cost 30 inf + 0 1552120384.554 * * [simplify]: Extracting #4: cost 31 inf + 86 1552120384.555 * * [simplify]: Extracting #5: cost 7 inf + 2332 1552120384.557 * * [simplify]: Extracting #6: cost 0 inf + 3465 1552120384.558 * [simplify]: Simplified to (* (cbrt (+ x 1)) (cbrt (- (* x x) 1))) 1552120384.558 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (/ (* (cbrt (+ x 1)) (cbrt (- (* x x) 1))) (cbrt (- x 1)))) (cbrt (+ x 1))) x)) 1552120384.558 * * * * [progress]: [ 78 / 91 ] simplifiying candidate #real (real->posit16 (* (cbrt (+ x 1)) (cbrt (+ x 1)))))) (cbrt (+ x 1))) x))> 1552120384.558 * * * * [progress]: [ 79 / 91 ] simplifiying candidate # 1552120384.558 * * * * [progress]: [ 80 / 91 ] simplifiying candidate # 1552120384.558 * [simplify]: Simplifying (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) 1552120384.559 * * [simplify]: iters left: 6 (10 enodes) 1552120384.564 * * [simplify]: iters left: 5 (40 enodes) 1552120384.578 * * [simplify]: iters left: 4 (65 enodes) 1552120384.602 * * [simplify]: iters left: 3 (96 enodes) 1552120384.626 * * [simplify]: iters left: 2 (119 enodes) 1552120384.651 * * [simplify]: iters left: 1 (141 enodes) 1552120384.671 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.671 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120384.672 * * [simplify]: Extracting #2: cost 37 inf + 1 1552120384.672 * * [simplify]: Extracting #3: cost 38 inf + 90 1552120384.672 * * [simplify]: Extracting #4: cost 11 inf + 2149 1552120384.673 * * [simplify]: Extracting #5: cost 0 inf + 3259 1552120384.674 * [simplify]: Simplified to (+ 1 (* (- 1/3 (* 1/9 x)) x)) 1552120384.674 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (+ 1 (* (- 1/3 (* 1/9 x)) x))) x)) 1552120384.674 * * * * [progress]: [ 81 / 91 ] simplifiying candidate # 1552120384.674 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3))) 1552120384.675 * * [simplify]: iters left: 6 (19 enodes) 1552120384.680 * * [simplify]: iters left: 5 (69 enodes) 1552120384.700 * * [simplify]: iters left: 4 (91 enodes) 1552120384.726 * * [simplify]: iters left: 3 (104 enodes) 1552120384.743 * * [simplify]: iters left: 2 (108 enodes) 1552120384.761 * * [simplify]: iters left: 1 (118 enodes) 1552120384.783 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.783 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120384.783 * * [simplify]: Extracting #2: cost 34 inf + 0 1552120384.783 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120384.783 * * [simplify]: Extracting #4: cost 41 inf + 6 1552120384.783 * * [simplify]: Extracting #5: cost 36 inf + 1226 1552120384.784 * * [simplify]: Extracting #6: cost 18 inf + 5491 1552120384.785 * * [simplify]: Extracting #7: cost 7 inf + 10747 1552120384.786 * * [simplify]: Extracting #8: cost 3 inf + 13306 1552120384.788 * * [simplify]: Extracting #9: cost 0 inf + 15481 1552120384.790 * [simplify]: Simplified to (- (+ (* -1/9 (cbrt (/ 1 (pow x 5)))) (pow (/ 1 x) -1/3)) (* -1/3 (cbrt (/ 1 (* x x))))) 1552120384.790 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (- (+ (* -1/9 (cbrt (/ 1 (pow x 5)))) (pow (/ 1 x) -1/3)) (* -1/3 (cbrt (/ 1 (* x x)))))) x)) 1552120384.790 * * * * [progress]: [ 82 / 91 ] simplifiying candidate # 1552120384.790 * [simplify]: Simplifying (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 1552120384.790 * * [simplify]: iters left: 6 (18 enodes) 1552120384.798 * * [simplify]: iters left: 5 (73 enodes) 1552120384.811 * * [simplify]: iters left: 4 (130 enodes) 1552120384.835 * * [simplify]: iters left: 3 (230 enodes) 1552120384.894 * * [simplify]: iters left: 2 (401 enodes) 1552120384.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120384.998 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120384.998 * * [simplify]: Extracting #2: cost 122 inf + 0 1552120384.999 * * [simplify]: Extracting #3: cost 223 inf + 504 1552120385.001 * * [simplify]: Extracting #4: cost 151 inf + 16331 1552120385.007 * * [simplify]: Extracting #5: cost 16 inf + 39278 1552120385.014 * * [simplify]: Extracting #6: cost 0 inf + 40125 1552120385.027 * [simplify]: Simplified to (+ (cbrt x) (/ (* (cbrt x) (- 1/3 (/ 1/9 x))) x)) 1552120385.027 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (+ (cbrt x) (/ (* (cbrt x) (- 1/3 (/ 1/9 x))) x))) x)) 1552120385.027 * * * * [progress]: [ 83 / 91 ] simplifiying candidate # 1552120385.028 * [simplify]: Simplifying (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) 1552120385.028 * * [simplify]: iters left: 6 (10 enodes) 1552120385.034 * * [simplify]: iters left: 5 (40 enodes) 1552120385.048 * * [simplify]: iters left: 4 (65 enodes) 1552120385.071 * * [simplify]: iters left: 3 (96 enodes) 1552120385.087 * * [simplify]: iters left: 2 (119 enodes) 1552120385.114 * * [simplify]: iters left: 1 (141 enodes) 1552120385.152 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120385.153 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120385.153 * * [simplify]: Extracting #2: cost 37 inf + 1 1552120385.153 * * [simplify]: Extracting #3: cost 38 inf + 90 1552120385.154 * * [simplify]: Extracting #4: cost 11 inf + 2149 1552120385.156 * * [simplify]: Extracting #5: cost 0 inf + 3259 1552120385.158 * [simplify]: Simplified to (+ 1 (* (- 1/3 (* 1/9 x)) x)) 1552120385.158 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (+ 1 (* (- 1/3 (* 1/9 x)) x)))) (cbrt (+ x 1))) x)) 1552120385.158 * * * * [progress]: [ 84 / 91 ] simplifiying candidate # 1552120385.159 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3))) 1552120385.159 * * [simplify]: iters left: 6 (19 enodes) 1552120385.169 * * [simplify]: iters left: 5 (69 enodes) 1552120385.190 * * [simplify]: iters left: 4 (91 enodes) 1552120385.206 * * [simplify]: iters left: 3 (104 enodes) 1552120385.223 * * [simplify]: iters left: 2 (108 enodes) 1552120385.247 * * [simplify]: iters left: 1 (118 enodes) 1552120385.263 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120385.263 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120385.263 * * [simplify]: Extracting #2: cost 34 inf + 0 1552120385.263 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120385.264 * * [simplify]: Extracting #4: cost 41 inf + 6 1552120385.264 * * [simplify]: Extracting #5: cost 36 inf + 1226 1552120385.264 * * [simplify]: Extracting #6: cost 18 inf + 5491 1552120385.265 * * [simplify]: Extracting #7: cost 7 inf + 10747 1552120385.267 * * [simplify]: Extracting #8: cost 3 inf + 13306 1552120385.269 * * [simplify]: Extracting #9: cost 0 inf + 15481 1552120385.272 * [simplify]: Simplified to (- (+ (* -1/9 (cbrt (/ 1 (pow x 5)))) (pow (/ 1 x) -1/3)) (* -1/3 (cbrt (/ 1 (* x x))))) 1552120385.272 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (- (+ (* -1/9 (cbrt (/ 1 (pow x 5)))) (pow (/ 1 x) -1/3)) (* -1/3 (cbrt (/ 1 (* x x))))))) (cbrt (+ x 1))) x)) 1552120385.272 * * * * [progress]: [ 85 / 91 ] simplifiying candidate # 1552120385.272 * [simplify]: Simplifying (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 1552120385.273 * * [simplify]: iters left: 6 (18 enodes) 1552120385.282 * * [simplify]: iters left: 5 (73 enodes) 1552120385.310 * * [simplify]: iters left: 4 (130 enodes) 1552120385.334 * * [simplify]: iters left: 3 (230 enodes) 1552120385.395 * * [simplify]: iters left: 2 (401 enodes) 1552120385.520 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120385.520 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120385.520 * * [simplify]: Extracting #2: cost 122 inf + 0 1552120385.521 * * [simplify]: Extracting #3: cost 223 inf + 504 1552120385.523 * * [simplify]: Extracting #4: cost 151 inf + 16331 1552120385.529 * * [simplify]: Extracting #5: cost 16 inf + 39278 1552120385.537 * * [simplify]: Extracting #6: cost 0 inf + 40125 1552120385.544 * [simplify]: Simplified to (+ (cbrt x) (/ (* (cbrt x) (- 1/3 (/ 1/9 x))) x)) 1552120385.544 * [simplify]: Simplified (2 1 1 2 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (+ (cbrt x) (/ (* (cbrt x) (- 1/3 (/ 1/9 x))) x)))) (cbrt (+ x 1))) x)) 1552120385.545 * * * * [progress]: [ 86 / 91 ] simplifiying candidate # 1552120385.545 * [simplify]: Simplifying (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) 1552120385.545 * * [simplify]: iters left: 6 (10 enodes) 1552120385.548 * * [simplify]: iters left: 5 (40 enodes) 1552120385.556 * * [simplify]: iters left: 4 (65 enodes) 1552120385.573 * * [simplify]: iters left: 3 (96 enodes) 1552120385.606 * * [simplify]: iters left: 2 (119 enodes) 1552120385.639 * * [simplify]: iters left: 1 (141 enodes) 1552120385.675 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120385.675 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120385.675 * * [simplify]: Extracting #2: cost 37 inf + 1 1552120385.676 * * [simplify]: Extracting #3: cost 38 inf + 90 1552120385.677 * * [simplify]: Extracting #4: cost 11 inf + 2149 1552120385.679 * * [simplify]: Extracting #5: cost 0 inf + 3259 1552120385.680 * [simplify]: Simplified to (+ 1 (* (- 1/3 (* 1/9 x)) x)) 1552120385.681 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (+ 1 (* (- 1/3 (* 1/9 x)) x)) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120385.681 * * * * [progress]: [ 87 / 91 ] simplifiying candidate # 1552120385.681 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3))) 1552120385.681 * * [simplify]: iters left: 6 (19 enodes) 1552120385.692 * * [simplify]: iters left: 5 (69 enodes) 1552120385.712 * * [simplify]: iters left: 4 (91 enodes) 1552120385.729 * * [simplify]: iters left: 3 (104 enodes) 1552120385.748 * * [simplify]: iters left: 2 (108 enodes) 1552120385.776 * * [simplify]: iters left: 1 (118 enodes) 1552120385.799 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120385.799 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120385.799 * * [simplify]: Extracting #2: cost 34 inf + 0 1552120385.799 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120385.799 * * [simplify]: Extracting #4: cost 41 inf + 6 1552120385.800 * * [simplify]: Extracting #5: cost 36 inf + 1226 1552120385.800 * * [simplify]: Extracting #6: cost 18 inf + 5491 1552120385.801 * * [simplify]: Extracting #7: cost 7 inf + 10747 1552120385.803 * * [simplify]: Extracting #8: cost 3 inf + 13306 1552120385.804 * * [simplify]: Extracting #9: cost 0 inf + 15481 1552120385.806 * [simplify]: Simplified to (- (+ (* -1/9 (cbrt (/ 1 (pow x 5)))) (pow (/ 1 x) -1/3)) (* -1/3 (cbrt (/ 1 (* x x))))) 1552120385.806 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (- (+ (* -1/9 (cbrt (/ 1 (pow x 5)))) (pow (/ 1 x) -1/3)) (* -1/3 (cbrt (/ 1 (* x x))))) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120385.806 * * * * [progress]: [ 88 / 91 ] simplifiying candidate # 1552120385.807 * [simplify]: Simplifying (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 1552120385.807 * * [simplify]: iters left: 6 (18 enodes) 1552120385.814 * * [simplify]: iters left: 5 (73 enodes) 1552120385.828 * * [simplify]: iters left: 4 (130 enodes) 1552120385.852 * * [simplify]: iters left: 3 (230 enodes) 1552120385.921 * * [simplify]: iters left: 2 (401 enodes) 1552120386.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120386.047 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120386.047 * * [simplify]: Extracting #2: cost 122 inf + 0 1552120386.048 * * [simplify]: Extracting #3: cost 223 inf + 504 1552120386.051 * * [simplify]: Extracting #4: cost 151 inf + 16331 1552120386.057 * * [simplify]: Extracting #5: cost 16 inf + 39278 1552120386.065 * * [simplify]: Extracting #6: cost 0 inf + 40125 1552120386.073 * [simplify]: Simplified to (+ (cbrt x) (/ (* (cbrt x) (- 1/3 (/ 1/9 x))) x)) 1552120386.073 * [simplify]: Simplified (2 1 1 2 1) to (λ (x) (/ (/ (/ -1 (* (+ (cbrt x) (/ (* (cbrt x) (- 1/3 (/ 1/9 x))) x)) (cbrt (+ x 1)))) (cbrt (+ x 1))) x)) 1552120386.073 * * * * [progress]: [ 89 / 91 ] simplifiying candidate # 1552120386.073 * [simplify]: Simplifying (- (+ (* 2/3 x) 1) (* 1/9 (pow x 2))) 1552120386.074 * * [simplify]: iters left: 6 (10 enodes) 1552120386.078 * * [simplify]: iters left: 5 (40 enodes) 1552120386.089 * * [simplify]: iters left: 4 (65 enodes) 1552120386.110 * * [simplify]: iters left: 3 (96 enodes) 1552120386.129 * * [simplify]: iters left: 2 (119 enodes) 1552120386.146 * * [simplify]: iters left: 1 (141 enodes) 1552120386.166 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120386.166 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120386.166 * * [simplify]: Extracting #2: cost 37 inf + 1 1552120386.166 * * [simplify]: Extracting #3: cost 38 inf + 90 1552120386.167 * * [simplify]: Extracting #4: cost 11 inf + 2149 1552120386.168 * * [simplify]: Extracting #5: cost 0 inf + 3259 1552120386.169 * [simplify]: Simplified to (+ 1 (* (- 2/3 (* 1/9 x)) x)) 1552120386.169 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (/ (/ -1 (+ 1 (* (- 2/3 (* 1/9 x)) x))) (cbrt (+ x 1))) x)) 1552120386.169 * * * * [progress]: [ 90 / 91 ] simplifiying candidate # 1552120386.169 * [simplify]: Simplifying (- (+ (* 2/3 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 1/9 (pow (/ 1 (pow x 4)) 1/3))) 1552120386.169 * * [simplify]: iters left: 6 (17 enodes) 1552120386.179 * * [simplify]: iters left: 5 (62 enodes) 1552120386.198 * * [simplify]: iters left: 4 (83 enodes) 1552120386.211 * * [simplify]: iters left: 3 (96 enodes) 1552120386.230 * * [simplify]: iters left: 2 (100 enodes) 1552120386.257 * * [simplify]: iters left: 1 (110 enodes) 1552120386.287 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120386.287 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120386.287 * * [simplify]: Extracting #2: cost 34 inf + 0 1552120386.288 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120386.288 * * [simplify]: Extracting #4: cost 38 inf + 7 1552120386.288 * * [simplify]: Extracting #5: cost 35 inf + 719 1552120386.289 * * [simplify]: Extracting #6: cost 20 inf + 5205 1552120386.291 * * [simplify]: Extracting #7: cost 2 inf + 13287 1552120386.294 * * [simplify]: Extracting #8: cost 0 inf + 14235 1552120386.297 * [simplify]: Simplified to (+ (pow (/ 1 x) -2/3) (- (* -1/9 (cbrt (/ 1 (pow x 4)))) (* -2/3 (cbrt (/ 1 x))))) 1552120386.297 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (/ (/ -1 (+ (pow (/ 1 x) -2/3) (- (* -1/9 (cbrt (/ 1 (pow x 4)))) (* -2/3 (cbrt (/ 1 x)))))) (cbrt (+ x 1))) x)) 1552120386.298 * * * * [progress]: [ 91 / 91 ] simplifiying candidate # 1552120386.298 * [simplify]: Simplifying (- (+ (* 2/3 (pow (/ 1 x) 1/3)) (pow (/ -1 x) -2/3)) (* 1/9 (pow (/ 1 (pow x 4)) 1/3))) 1552120386.298 * * [simplify]: iters left: 6 (19 enodes) 1552120386.309 * * [simplify]: iters left: 5 (68 enodes) 1552120386.331 * * [simplify]: iters left: 4 (89 enodes) 1552120386.352 * * [simplify]: iters left: 3 (102 enodes) 1552120386.368 * * [simplify]: iters left: 2 (106 enodes) 1552120386.389 * * [simplify]: iters left: 1 (116 enodes) 1552120386.405 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120386.405 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120386.405 * * [simplify]: Extracting #2: cost 34 inf + 0 1552120386.406 * * [simplify]: Extracting #3: cost 40 inf + 4 1552120386.406 * * [simplify]: Extracting #4: cost 39 inf + 91 1552120386.406 * * [simplify]: Extracting #5: cost 38 inf + 598 1552120386.406 * * [simplify]: Extracting #6: cost 27 inf + 2796 1552120386.407 * * [simplify]: Extracting #7: cost 14 inf + 6106 1552120386.408 * * [simplify]: Extracting #8: cost 0 inf + 14528 1552120386.410 * [simplify]: Simplified to (+ (* (cbrt (/ 1 (pow x 4))) -1/9) (- (pow (/ -1 x) -2/3) (* -2/3 (cbrt (/ 1 x))))) 1552120386.410 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (/ (/ -1 (+ (* (cbrt (/ 1 (pow x 4))) -1/9) (- (pow (/ -1 x) -2/3) (* -2/3 (cbrt (/ 1 x)))))) (cbrt (+ x 1))) x)) 1552120386.410 * * * [progress]: adding candidates to table 1552120387.570 * [progress]: [Phase 3 of 3] Extracting. 1552120387.570 * * [regime]: Finding splitpoints for: (# # # #) 1552120387.570 * * * [regime-changes]: Trying 1 branch expressions: (x) 1552120387.570 * * * * [regimes]: Trying to branch on x from (# # # #) 1552120387.606 * * * [regime]: Found split indices: #