0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.043 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.043 * [simplify]: Simplifying (exp (- (- 1 (* x x)))) 0.043 * * [simplify]: iters left: 6 (6 enodes) 0.045 * * [simplify]: iters left: 5 (24 enodes) 0.049 * * [simplify]: iters left: 4 (43 enodes) 0.057 * * [simplify]: iters left: 3 (71 enodes) 0.089 * * [simplify]: iters left: 2 (113 enodes) 0.126 * * [simplify]: iters left: 1 (214 enodes) 0.188 * * [simplify]: Extracting #0: cost 1 inf + 0 0.188 * * [simplify]: Extracting #1: cost 53 inf + 0 0.189 * * [simplify]: Extracting #2: cost 142 inf + 2 0.190 * * [simplify]: Extracting #3: cost 154 inf + 831 0.195 * * [simplify]: Extracting #4: cost 113 inf + 7069 0.201 * * [simplify]: Extracting #5: cost 47 inf + 29920 0.212 * * [simplify]: Extracting #6: cost 6 inf + 49296 0.223 * * [simplify]: Extracting #7: cost 0 inf + 51677 0.234 * [simplify]: Simplified to (/ (exp (* x x)) E) 0.234 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 0.243 * * [progress]: iteration 1 / 4 0.243 * * * [progress]: picking best candidate 0.246 * * * * [pick]: Picked # 0.246 * * * [progress]: localizing error 0.268 * * * [progress]: generating rewritten candidates 0.268 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.301 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.311 * * * [progress]: generating series expansions 0.311 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.311 * [backup-simplify]: Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1)) 0.311 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0 0.311 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 0.312 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.312 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [backup-simplify]: Simplify 0 into 0 0.312 * [backup-simplify]: Simplify 1 into 1 0.312 * [taylor]: Taking taylor expansion of 1 in x 0.312 * [backup-simplify]: Simplify 1 into 1 0.313 * [backup-simplify]: Simplify (- 1) into -1 0.313 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.314 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.314 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 0.314 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.314 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [taylor]: Taking taylor expansion of 1 in x 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [backup-simplify]: Simplify (- 1) into -1 0.315 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.315 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.316 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.316 * [backup-simplify]: Simplify (- 0) into 0 0.317 * [backup-simplify]: Simplify (+ 0 0) into 0 0.318 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 0.318 * [backup-simplify]: Simplify 0 into 0 0.319 * [backup-simplify]: Simplify (* 1 1) into 1 0.319 * [backup-simplify]: Simplify (- 0) into 0 0.319 * [backup-simplify]: Simplify (+ 1 0) into 1 0.323 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 0.323 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.324 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.324 * [backup-simplify]: Simplify (- 0) into 0 0.324 * [backup-simplify]: Simplify (+ 0 0) into 0 0.327 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.327 * [backup-simplify]: Simplify 0 into 0 0.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.332 * [backup-simplify]: Simplify (- 0) into 0 0.333 * [backup-simplify]: Simplify (+ 0 0) into 0 0.341 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 0.343 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 0.345 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 0.345 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1)) 0.345 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.345 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.345 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.345 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.345 * [taylor]: Taking taylor expansion of x in x 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify 1 into 1 0.346 * [backup-simplify]: Simplify (* 1 1) into 1 0.346 * [backup-simplify]: Simplify (/ 1 1) into 1 0.346 * [taylor]: Taking taylor expansion of 1 in x 0.346 * [backup-simplify]: Simplify 1 into 1 0.347 * [backup-simplify]: Simplify (+ 1 0) into 1 0.347 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.347 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.347 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.347 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.347 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.347 * [taylor]: Taking taylor expansion of x in x 0.347 * [backup-simplify]: Simplify 0 into 0 0.347 * [backup-simplify]: Simplify 1 into 1 0.347 * [backup-simplify]: Simplify (* 1 1) into 1 0.348 * [backup-simplify]: Simplify (/ 1 1) into 1 0.348 * [taylor]: Taking taylor expansion of 1 in x 0.348 * [backup-simplify]: Simplify 1 into 1 0.348 * [backup-simplify]: Simplify (+ 1 0) into 1 0.348 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.349 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1)) 0.349 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1)) 0.349 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.349 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.349 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.349 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.349 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.349 * [taylor]: Taking taylor expansion of x in x 0.349 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [backup-simplify]: Simplify (* 1 1) into 1 0.350 * [backup-simplify]: Simplify (/ 1 1) into 1 0.350 * [taylor]: Taking taylor expansion of 1 in x 0.350 * [backup-simplify]: Simplify 1 into 1 0.351 * [backup-simplify]: Simplify (+ 1 0) into 1 0.351 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.351 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.351 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.351 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify 1 into 1 0.351 * [backup-simplify]: Simplify (* 1 1) into 1 0.352 * [backup-simplify]: Simplify (/ 1 1) into 1 0.352 * [taylor]: Taking taylor expansion of 1 in x 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [backup-simplify]: Simplify (+ 1 0) into 1 0.352 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.353 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1)) 0.353 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.353 * [backup-simplify]: Simplify (- 1 (* x x)) into (- 1 (pow x 2)) 0.353 * [approximate]: Taking taylor expansion of (- 1 (pow x 2)) in (x) around 0 0.353 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.353 * [taylor]: Taking taylor expansion of 1 in x 0.353 * [backup-simplify]: Simplify 1 into 1 0.353 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify 1 into 1 0.354 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.354 * [taylor]: Taking taylor expansion of 1 in x 0.354 * [backup-simplify]: Simplify 1 into 1 0.354 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify 1 into 1 0.354 * [backup-simplify]: Simplify (+ 1 0) into 1 0.354 * [backup-simplify]: Simplify 1 into 1 0.355 * [backup-simplify]: Simplify (+ 0 0) into 0 0.355 * [backup-simplify]: Simplify 0 into 0 0.355 * [backup-simplify]: Simplify (* 1 1) into 1 0.355 * [backup-simplify]: Simplify (- 1) into -1 0.356 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.356 * [backup-simplify]: Simplify -1 into -1 0.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.357 * [backup-simplify]: Simplify (- 0) into 0 0.357 * [backup-simplify]: Simplify (+ 0 0) into 0 0.357 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.359 * [backup-simplify]: Simplify (- 0) into 0 0.359 * [backup-simplify]: Simplify (+ 0 0) into 0 0.359 * [backup-simplify]: Simplify 0 into 0 0.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.360 * [backup-simplify]: Simplify (- 0) into 0 0.361 * [backup-simplify]: Simplify (+ 0 0) into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.362 * [backup-simplify]: Simplify (- 0) into 0 0.363 * [backup-simplify]: Simplify (+ 0 0) into 0 0.363 * [backup-simplify]: Simplify 0 into 0 0.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.364 * [backup-simplify]: Simplify (- 0) into 0 0.365 * [backup-simplify]: Simplify (+ 0 0) into 0 0.365 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.367 * [backup-simplify]: Simplify (- 0) into 0 0.367 * [backup-simplify]: Simplify (+ 0 0) into 0 0.367 * [backup-simplify]: Simplify 0 into 0 0.367 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) 1) into (- 1 (pow x 2)) 0.368 * [backup-simplify]: Simplify (- 1 (* (/ 1 x) (/ 1 x))) into (- 1 (/ 1 (pow x 2))) 0.368 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 0.368 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.368 * [taylor]: Taking taylor expansion of 1 in x 0.368 * [backup-simplify]: Simplify 1 into 1 0.368 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.368 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify 1 into 1 0.368 * [backup-simplify]: Simplify (* 1 1) into 1 0.369 * [backup-simplify]: Simplify (/ 1 1) into 1 0.369 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.369 * [taylor]: Taking taylor expansion of 1 in x 0.369 * [backup-simplify]: Simplify 1 into 1 0.369 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.369 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [backup-simplify]: Simplify 0 into 0 0.369 * [backup-simplify]: Simplify 1 into 1 0.369 * [backup-simplify]: Simplify (* 1 1) into 1 0.369 * [backup-simplify]: Simplify (/ 1 1) into 1 0.370 * [backup-simplify]: Simplify (- 1) into -1 0.370 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.370 * [backup-simplify]: Simplify -1 into -1 0.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.372 * [backup-simplify]: Simplify (- 0) into 0 0.372 * [backup-simplify]: Simplify (+ 0 0) into 0 0.373 * [backup-simplify]: Simplify 0 into 0 0.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.375 * [backup-simplify]: Simplify (- 0) into 0 0.375 * [backup-simplify]: Simplify (+ 1 0) into 1 0.375 * [backup-simplify]: Simplify 1 into 1 0.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.377 * [backup-simplify]: Simplify (- 0) into 0 0.378 * [backup-simplify]: Simplify (+ 0 0) into 0 0.378 * [backup-simplify]: Simplify 0 into 0 0.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.380 * [backup-simplify]: Simplify (- 0) into 0 0.381 * [backup-simplify]: Simplify (+ 0 0) into 0 0.381 * [backup-simplify]: Simplify 0 into 0 0.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.384 * [backup-simplify]: Simplify (- 0) into 0 0.384 * [backup-simplify]: Simplify (+ 0 0) into 0 0.384 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.387 * [backup-simplify]: Simplify (- 0) into 0 0.387 * [backup-simplify]: Simplify (+ 0 0) into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.390 * [backup-simplify]: Simplify (- 0) into 0 0.391 * [backup-simplify]: Simplify (+ 0 0) into 0 0.391 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.394 * [backup-simplify]: Simplify (- 0) into 0 0.394 * [backup-simplify]: Simplify (+ 0 0) into 0 0.394 * [backup-simplify]: Simplify 0 into 0 0.394 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1 (pow x 2)) 0.395 * [backup-simplify]: Simplify (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1 (/ 1 (pow x 2))) 0.395 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 0.395 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.395 * [taylor]: Taking taylor expansion of 1 in x 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.395 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [backup-simplify]: Simplify (* 1 1) into 1 0.396 * [backup-simplify]: Simplify (/ 1 1) into 1 0.396 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.396 * [taylor]: Taking taylor expansion of 1 in x 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.396 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [backup-simplify]: Simplify (* 1 1) into 1 0.397 * [backup-simplify]: Simplify (/ 1 1) into 1 0.397 * [backup-simplify]: Simplify (- 1) into -1 0.397 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.397 * [backup-simplify]: Simplify -1 into -1 0.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.399 * [backup-simplify]: Simplify (- 0) into 0 0.400 * [backup-simplify]: Simplify (+ 0 0) into 0 0.400 * [backup-simplify]: Simplify 0 into 0 0.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.401 * [backup-simplify]: Simplify (- 0) into 0 0.401 * [backup-simplify]: Simplify (+ 1 0) into 1 0.401 * [backup-simplify]: Simplify 1 into 1 0.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.403 * [backup-simplify]: Simplify (- 0) into 0 0.403 * [backup-simplify]: Simplify (+ 0 0) into 0 0.403 * [backup-simplify]: Simplify 0 into 0 0.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.404 * [backup-simplify]: Simplify (- 0) into 0 0.405 * [backup-simplify]: Simplify (+ 0 0) into 0 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.406 * [backup-simplify]: Simplify (- 0) into 0 0.406 * [backup-simplify]: Simplify (+ 0 0) into 0 0.406 * [backup-simplify]: Simplify 0 into 0 0.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.408 * [backup-simplify]: Simplify (- 0) into 0 0.408 * [backup-simplify]: Simplify (+ 0 0) into 0 0.408 * [backup-simplify]: Simplify 0 into 0 0.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.410 * [backup-simplify]: Simplify (- 0) into 0 0.411 * [backup-simplify]: Simplify (+ 0 0) into 0 0.411 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.412 * [backup-simplify]: Simplify (- 0) into 0 0.413 * [backup-simplify]: Simplify (+ 0 0) into 0 0.413 * [backup-simplify]: Simplify 0 into 0 0.413 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1 (pow x 2)) 0.413 * * * [progress]: simplifying candidates 0.413 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 0.413 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 0.413 * [simplify]: Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) 0.413 * * [simplify]: iters left: 6 (8 enodes) 0.416 * * [simplify]: iters left: 5 (30 enodes) 0.421 * * [simplify]: iters left: 4 (48 enodes) 0.430 * * [simplify]: iters left: 3 (68 enodes) 0.451 * * [simplify]: iters left: 2 (93 enodes) 0.484 * * [simplify]: iters left: 1 (151 enodes) 0.529 * * [simplify]: Extracting #0: cost 1 inf + 0 0.529 * * [simplify]: Extracting #1: cost 14 inf + 0 0.529 * * [simplify]: Extracting #2: cost 54 inf + 1 0.529 * * [simplify]: Extracting #3: cost 78 inf + 4 0.530 * * [simplify]: Extracting #4: cost 87 inf + 6 0.530 * * [simplify]: Extracting #5: cost 73 inf + 2045 0.532 * * [simplify]: Extracting #6: cost 31 inf + 14764 0.536 * * [simplify]: Extracting #7: cost 1 inf + 32745 0.540 * * [simplify]: Extracting #8: cost 0 inf + 32373 0.544 * [simplify]: Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) 0.545 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x)))))) 0.545 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 0.545 * [simplify]: Simplifying (exp (sqrt (- (- 1 (* x x))))) 0.545 * * [simplify]: iters left: 6 (7 enodes) 0.547 * * [simplify]: iters left: 5 (25 enodes) 0.552 * * [simplify]: iters left: 4 (37 enodes) 0.558 * * [simplify]: iters left: 3 (46 enodes) 0.565 * * [simplify]: iters left: 2 (47 enodes) 0.571 * * [simplify]: iters left: 1 (53 enodes) 0.581 * * [simplify]: Extracting #0: cost 1 inf + 0 0.581 * * [simplify]: Extracting #1: cost 3 inf + 0 0.581 * * [simplify]: Extracting #2: cost 5 inf + 0 0.581 * * [simplify]: Extracting #3: cost 14 inf + 0 0.581 * * [simplify]: Extracting #4: cost 23 inf + 1 0.581 * * [simplify]: Extracting #5: cost 21 inf + 45 0.581 * * [simplify]: Extracting #6: cost 9 inf + 825 0.582 * * [simplify]: Extracting #7: cost 1 inf + 1699 0.582 * * [simplify]: Extracting #8: cost 0 inf + 1781 0.583 * [simplify]: Simplified to (exp (sqrt (+ (* x x) -1))) 0.583 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (+ (* x x) -1))) (sqrt (- (- 1 (* x x)))))) 0.583 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 0.583 * [simplify]: Simplifying (exp 1) 0.583 * * [simplify]: iters left: 1 (2 enodes) 0.584 * * [simplify]: Extracting #0: cost 1 inf + 0 0.584 * * [simplify]: Extracting #1: cost 0 inf + 1 0.584 * [simplify]: Simplified to E 0.584 * [simplify]: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 0.584 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 0.584 * [simplify]: Simplifying (exp -1) 0.584 * * [simplify]: iters left: 1 (2 enodes) 0.586 * * [simplify]: Extracting #0: cost 1 inf + 0 0.586 * * [simplify]: Extracting #1: cost 3 inf + 0 0.586 * * [simplify]: Extracting #2: cost 2 inf + 1 0.586 * * [simplify]: Extracting #3: cost 0 inf + 143 0.586 * [simplify]: Simplified to (exp -1) 0.586 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp -1) (- 1 (* x x)))) 0.586 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 0.586 * [simplify]: Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 0.587 * * [simplify]: iters left: 6 (8 enodes) 0.591 * * [simplify]: iters left: 5 (33 enodes) 0.602 * * [simplify]: iters left: 4 (50 enodes) 0.616 * * [simplify]: iters left: 3 (66 enodes) 0.626 * * [simplify]: iters left: 2 (94 enodes) 0.641 * * [simplify]: iters left: 1 (157 enodes) 0.672 * * [simplify]: Extracting #0: cost 1 inf + 0 0.672 * * [simplify]: Extracting #1: cost 29 inf + 0 0.673 * * [simplify]: Extracting #2: cost 89 inf + 1 0.673 * * [simplify]: Extracting #3: cost 110 inf + 4 0.673 * * [simplify]: Extracting #4: cost 112 inf + 6 0.674 * * [simplify]: Extracting #5: cost 90 inf + 4161 0.676 * * [simplify]: Extracting #6: cost 49 inf + 16594 0.680 * * [simplify]: Extracting #7: cost 7 inf + 41629 0.689 * * [simplify]: Extracting #8: cost 0 inf + 47128 0.700 * [simplify]: Simplified to (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 0.700 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x))))) 0.700 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 0.701 * [simplify]: Simplifying (exp (- (sqrt (- 1 (* x x))))) 0.701 * * [simplify]: iters left: 6 (7 enodes) 0.705 * * [simplify]: iters left: 5 (27 enodes) 0.712 * * [simplify]: iters left: 4 (37 enodes) 0.718 * * [simplify]: iters left: 3 (39 enodes) 0.724 * * [simplify]: Extracting #0: cost 1 inf + 0 0.724 * * [simplify]: Extracting #1: cost 5 inf + 0 0.724 * * [simplify]: Extracting #2: cost 7 inf + 1 0.724 * * [simplify]: Extracting #3: cost 9 inf + 1 0.724 * * [simplify]: Extracting #4: cost 12 inf + 1 0.724 * * [simplify]: Extracting #5: cost 16 inf + 1 0.724 * * [simplify]: Extracting #6: cost 16 inf + 2 0.725 * * [simplify]: Extracting #7: cost 10 inf + 329 0.725 * * [simplify]: Extracting #8: cost 4 inf + 1160 0.725 * * [simplify]: Extracting #9: cost 0 inf + 1908 0.725 * [simplify]: Simplified to (exp (- (sqrt (- 1 (* x x))))) 0.725 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) 0.725 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 0.726 * [simplify]: Simplifying (exp (- 1)) 0.726 * * [simplify]: iters left: 3 (3 enodes) 0.727 * * [simplify]: iters left: 2 (14 enodes) 0.730 * * [simplify]: iters left: 1 (17 enodes) 0.733 * * [simplify]: Extracting #0: cost 1 inf + 0 0.733 * * [simplify]: Extracting #1: cost 5 inf + 0 0.733 * * [simplify]: Extracting #2: cost 2 inf + 3 0.733 * * [simplify]: Extracting #3: cost 1 inf + 45 0.733 * * [simplify]: Extracting #4: cost 0 inf + 87 0.733 * [simplify]: Simplified to (/ 1 E) 0.733 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ 1 E) (- 1 (* x x)))) 0.733 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 0.734 * [simplify]: Simplifying (exp (- (+ (sqrt 1) x))) 0.734 * * [simplify]: iters left: 6 (6 enodes) 0.736 * * [simplify]: iters left: 5 (26 enodes) 0.744 * * [simplify]: iters left: 4 (51 enodes) 0.753 * * [simplify]: iters left: 3 (70 enodes) 0.763 * * [simplify]: iters left: 2 (87 enodes) 0.780 * * [simplify]: iters left: 1 (95 enodes) 0.802 * * [simplify]: Extracting #0: cost 1 inf + 0 0.802 * * [simplify]: Extracting #1: cost 14 inf + 0 0.802 * * [simplify]: Extracting #2: cost 25 inf + 2 0.803 * * [simplify]: Extracting #3: cost 18 inf + 535 0.803 * * [simplify]: Extracting #4: cost 4 inf + 1708 0.804 * * [simplify]: Extracting #5: cost 0 inf + 2004 0.804 * [simplify]: Simplified to (exp (- -1 x)) 0.804 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- -1 x)) (- (sqrt 1) x))) 0.804 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 0.804 * [simplify]: Simplifying (exp (- (+ 1 x))) 0.804 * * [simplify]: iters left: 5 (5 enodes) 0.806 * * [simplify]: iters left: 4 (24 enodes) 0.811 * * [simplify]: iters left: 3 (40 enodes) 0.818 * * [simplify]: iters left: 2 (53 enodes) 0.825 * * [simplify]: iters left: 1 (62 enodes) 0.840 * * [simplify]: Extracting #0: cost 1 inf + 0 0.840 * * [simplify]: Extracting #1: cost 12 inf + 0 0.841 * * [simplify]: Extracting #2: cost 20 inf + 2 0.841 * * [simplify]: Extracting #3: cost 16 inf + 201 0.841 * * [simplify]: Extracting #4: cost 3 inf + 1251 0.842 * * [simplify]: Extracting #5: cost 0 inf + 1586 0.842 * [simplify]: Simplified to (exp (- -1 x)) 0.842 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- -1 x)) (- 1 x))) 0.843 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 0.843 * [simplify]: Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.843 * * [simplify]: iters left: 6 (7 enodes) 0.847 * * [simplify]: iters left: 5 (27 enodes) 0.855 * * [simplify]: iters left: 4 (41 enodes) 0.868 * * [simplify]: iters left: 3 (54 enodes) 0.884 * * [simplify]: iters left: 2 (78 enodes) 0.904 * * [simplify]: iters left: 1 (133 enodes) 0.941 * * [simplify]: Extracting #0: cost 1 inf + 0 0.941 * * [simplify]: Extracting #1: cost 14 inf + 0 0.942 * * [simplify]: Extracting #2: cost 53 inf + 1 0.942 * * [simplify]: Extracting #3: cost 68 inf + 4 0.942 * * [simplify]: Extracting #4: cost 73 inf + 5 0.943 * * [simplify]: Extracting #5: cost 73 inf + 6 0.944 * * [simplify]: Extracting #6: cost 48 inf + 4866 0.948 * * [simplify]: Extracting #7: cost 14 inf + 19912 0.952 * * [simplify]: Extracting #8: cost 0 inf + 30307 0.956 * [simplify]: Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.956 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) 0.956 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 0.957 * [simplify]: Simplifying (exp (sqrt (- 1 (* x x)))) 0.957 * * [simplify]: iters left: 6 (6 enodes) 0.958 * * [simplify]: iters left: 5 (22 enodes) 0.962 * * [simplify]: iters left: 4 (30 enodes) 0.967 * * [simplify]: iters left: 3 (32 enodes) 0.971 * * [simplify]: Extracting #0: cost 1 inf + 0 0.972 * * [simplify]: Extracting #1: cost 3 inf + 0 0.972 * * [simplify]: Extracting #2: cost 5 inf + 0 0.972 * * [simplify]: Extracting #3: cost 9 inf + 0 0.972 * * [simplify]: Extracting #4: cost 12 inf + 1 0.972 * * [simplify]: Extracting #5: cost 11 inf + 43 0.972 * * [simplify]: Extracting #6: cost 5 inf + 410 0.972 * * [simplify]: Extracting #7: cost 1 inf + 928 0.972 * * [simplify]: Extracting #8: cost 0 inf + 1120 0.973 * [simplify]: Simplified to (exp (sqrt (- 1 (* x x)))) 0.973 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) 0.973 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 0.973 * [simplify]: Simplifying (exp 1) 0.973 * * [simplify]: iters left: 1 (2 enodes) 0.974 * * [simplify]: Extracting #0: cost 1 inf + 0 0.974 * * [simplify]: Extracting #1: cost 0 inf + 1 0.974 * [simplify]: Simplified to E 0.974 * [simplify]: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 0.974 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 0.974 * [simplify]: Simplifying (exp (+ (sqrt 1) x)) 0.974 * * [simplify]: iters left: 4 (5 enodes) 0.976 * * [simplify]: iters left: 3 (21 enodes) 0.983 * * [simplify]: iters left: 2 (32 enodes) 0.992 * * [simplify]: iters left: 1 (36 enodes) 1.000 * * [simplify]: Extracting #0: cost 1 inf + 0 1.000 * * [simplify]: Extracting #1: cost 5 inf + 0 1.000 * * [simplify]: Extracting #2: cost 8 inf + 1 1.000 * * [simplify]: Extracting #3: cost 4 inf + 145 1.001 * * [simplify]: Extracting #4: cost 1 inf + 341 1.001 * * [simplify]: Extracting #5: cost 0 inf + 453 1.001 * [simplify]: Simplified to (* E (exp x)) 1.001 * [simplify]: Simplified (2 1) to (λ (x) (pow (* E (exp x)) (- (- (sqrt 1) x)))) 1.001 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 1.001 * [simplify]: Simplifying (exp (+ 1 x)) 1.002 * * [simplify]: iters left: 3 (4 enodes) 1.004 * * [simplify]: iters left: 2 (18 enodes) 1.010 * * [simplify]: iters left: 1 (24 enodes) 1.019 * * [simplify]: Extracting #0: cost 1 inf + 0 1.019 * * [simplify]: Extracting #1: cost 5 inf + 0 1.019 * * [simplify]: Extracting #2: cost 8 inf + 1 1.019 * * [simplify]: Extracting #3: cost 5 inf + 74 1.020 * * [simplify]: Extracting #4: cost 0 inf + 453 1.020 * [simplify]: Simplified to (* (exp x) E) 1.020 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (exp x) E) (- (- 1 x)))) 1.020 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 1.020 * [simplify]: Simplifying (exp (- 1)) 1.020 * * [simplify]: iters left: 3 (3 enodes) 1.024 * * [simplify]: iters left: 2 (14 enodes) 1.029 * * [simplify]: iters left: 1 (17 enodes) 1.034 * * [simplify]: Extracting #0: cost 1 inf + 0 1.034 * * [simplify]: Extracting #1: cost 5 inf + 0 1.034 * * [simplify]: Extracting #2: cost 2 inf + 3 1.034 * * [simplify]: Extracting #3: cost 1 inf + 45 1.034 * * [simplify]: Extracting #4: cost 0 inf + 87 1.035 * [simplify]: Simplified to (/ 1 E) 1.035 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 1.035 * [simplify]: Simplifying (exp (- (- (* x x)))) 1.035 * * [simplify]: iters left: 6 (5 enodes) 1.037 * * [simplify]: iters left: 5 (19 enodes) 1.043 * * [simplify]: iters left: 4 (38 enodes) 1.056 * * [simplify]: iters left: 3 (58 enodes) 1.070 * * [simplify]: iters left: 2 (95 enodes) 1.085 * * [simplify]: iters left: 1 (177 enodes) 1.143 * * [simplify]: Extracting #0: cost 1 inf + 0 1.144 * * [simplify]: Extracting #1: cost 45 inf + 0 1.144 * * [simplify]: Extracting #2: cost 136 inf + 43 1.144 * * [simplify]: Extracting #3: cost 150 inf + 765 1.146 * * [simplify]: Extracting #4: cost 91 inf + 13439 1.150 * * [simplify]: Extracting #5: cost 23 inf + 44289 1.155 * * [simplify]: Extracting #6: cost 1 inf + 57743 1.160 * * [simplify]: Extracting #7: cost 0 inf + 58407 1.165 * [simplify]: Simplified to (exp (* x x)) 1.165 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 E) (exp (* x x)))) 1.165 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 1.166 * [simplify]: Simplifying (exp (- 1)) 1.166 * * [simplify]: iters left: 3 (3 enodes) 1.168 * * [simplify]: iters left: 2 (14 enodes) 1.170 * * [simplify]: iters left: 1 (17 enodes) 1.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1.175 * * [simplify]: Extracting #1: cost 5 inf + 0 1.175 * * [simplify]: Extracting #2: cost 2 inf + 3 1.175 * * [simplify]: Extracting #3: cost 1 inf + 45 1.175 * * [simplify]: Extracting #4: cost 0 inf + 87 1.175 * [simplify]: Simplified to (/ 1 E) 1.175 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 1.175 * [simplify]: Simplifying (exp (- (- (* x x)))) 1.175 * * [simplify]: iters left: 6 (5 enodes) 1.178 * * [simplify]: iters left: 5 (19 enodes) 1.184 * * [simplify]: iters left: 4 (38 enodes) 1.196 * * [simplify]: iters left: 3 (58 enodes) 1.206 * * [simplify]: iters left: 2 (95 enodes) 1.222 * * [simplify]: iters left: 1 (177 enodes) 1.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1.275 * * [simplify]: Extracting #1: cost 45 inf + 0 1.275 * * [simplify]: Extracting #2: cost 136 inf + 43 1.276 * * [simplify]: Extracting #3: cost 150 inf + 765 1.280 * * [simplify]: Extracting #4: cost 91 inf + 13439 1.287 * * [simplify]: Extracting #5: cost 23 inf + 44289 1.298 * * [simplify]: Extracting #6: cost 1 inf + 57743 1.308 * * [simplify]: Extracting #7: cost 0 inf + 58407 1.319 * [simplify]: Simplified to (exp (* x x)) 1.319 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 E) (exp (* x x)))) 1.319 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 1.320 * [simplify]: Simplifying (exp (- 1 (* x x))) 1.320 * * [simplify]: iters left: 5 (5 enodes) 1.323 * * [simplify]: iters left: 4 (22 enodes) 1.331 * * [simplify]: iters left: 3 (37 enodes) 1.341 * * [simplify]: iters left: 2 (54 enodes) 1.361 * * [simplify]: iters left: 1 (81 enodes) 1.387 * * [simplify]: Extracting #0: cost 1 inf + 0 1.387 * * [simplify]: Extracting #1: cost 17 inf + 0 1.387 * * [simplify]: Extracting #2: cost 44 inf + 1 1.387 * * [simplify]: Extracting #3: cost 57 inf + 3 1.388 * * [simplify]: Extracting #4: cost 39 inf + 1842 1.390 * * [simplify]: Extracting #5: cost 10 inf + 9085 1.392 * * [simplify]: Extracting #6: cost 0 inf + 12923 1.395 * * [simplify]: Extracting #7: cost 0 inf + 12844 1.397 * [simplify]: Simplified to (exp (- 1 (* x x))) 1.398 * [simplify]: Simplified (2 2) to (λ (x) (/ 1 (exp (- 1 (* x x))))) 1.398 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 1.398 * [simplify]: Simplifying (exp 0) 1.398 * * [simplify]: iters left: 1 (2 enodes) 1.399 * * [simplify]: Extracting #0: cost 1 inf + 0 1.400 * * [simplify]: Extracting #1: cost 0 inf + 1 1.400 * [simplify]: Simplified to 1 1.400 * [simplify]: Simplified (2 1) to (λ (x) (/ 1 (exp (- 1 (* x x))))) 1.400 * [simplify]: Simplifying (exp (- 1 (* x x))) 1.400 * * [simplify]: iters left: 5 (5 enodes) 1.403 * * [simplify]: iters left: 4 (22 enodes) 1.411 * * [simplify]: iters left: 3 (37 enodes) 1.421 * * [simplify]: iters left: 2 (54 enodes) 1.437 * * [simplify]: iters left: 1 (81 enodes) 1.458 * * [simplify]: Extracting #0: cost 1 inf + 0 1.458 * * [simplify]: Extracting #1: cost 17 inf + 0 1.459 * * [simplify]: Extracting #2: cost 44 inf + 1 1.460 * * [simplify]: Extracting #3: cost 57 inf + 3 1.460 * * [simplify]: Extracting #4: cost 39 inf + 1842 1.461 * * [simplify]: Extracting #5: cost 10 inf + 9085 1.462 * * [simplify]: Extracting #6: cost 0 inf + 12923 1.463 * * [simplify]: Extracting #7: cost 0 inf + 12844 1.465 * [simplify]: Simplified to (exp (- 1 (* x x))) 1.465 * [simplify]: Simplified (2 2) to (λ (x) (/ 1 (exp (- 1 (* x x))))) 1.465 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 1.465 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 1.465 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 1.465 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 1.465 * [simplify]: Simplifying (log (exp (- (- 1 (* x x))))) 1.465 * * [simplify]: iters left: 6 (7 enodes) 1.467 * * [simplify]: iters left: 5 (25 enodes) 1.472 * * [simplify]: iters left: 4 (48 enodes) 1.480 * * [simplify]: iters left: 3 (77 enodes) 1.493 * * [simplify]: iters left: 2 (125 enodes) 1.516 * * [simplify]: iters left: 1 (246 enodes) 1.619 * * [simplify]: Extracting #0: cost 1 inf + 0 1.619 * * [simplify]: Extracting #1: cost 24 inf + 0 1.620 * * [simplify]: Extracting #2: cost 105 inf + 3 1.621 * * [simplify]: Extracting #3: cost 174 inf + 722 1.624 * * [simplify]: Extracting #4: cost 151 inf + 4672 1.630 * * [simplify]: Extracting #5: cost 74 inf + 26113 1.641 * * [simplify]: Extracting #6: cost 3 inf + 59518 1.655 * * [simplify]: Extracting #7: cost 0 inf + 60512 1.668 * [simplify]: Simplified to (+ (* x x) -1) 1.668 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (* x x) -1))) 1.668 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 1.668 * [simplify]: Simplifying (exp (exp (- (- 1 (* x x))))) 1.668 * * [simplify]: iters left: 6 (7 enodes) 1.672 * * [simplify]: iters left: 5 (27 enodes) 1.681 * * [simplify]: iters left: 4 (46 enodes) 1.696 * * [simplify]: iters left: 3 (74 enodes) 1.722 * * [simplify]: iters left: 2 (118 enodes) 1.760 * * [simplify]: iters left: 1 (228 enodes) 1.826 * * [simplify]: Extracting #0: cost 1 inf + 0 1.827 * * [simplify]: Extracting #1: cost 16 inf + 0 1.827 * * [simplify]: Extracting #2: cost 97 inf + 0 1.828 * * [simplify]: Extracting #3: cost 163 inf + 1018 1.831 * * [simplify]: Extracting #4: cost 129 inf + 8544 1.838 * * [simplify]: Extracting #5: cost 40 inf + 41274 1.851 * * [simplify]: Extracting #6: cost 0 inf + 59996 1.863 * * [simplify]: Extracting #7: cost 0 inf + 59718 1.875 * [simplify]: Simplified to (exp (exp (+ -1 (* x x)))) 1.875 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (exp (+ -1 (* x x)))))) 1.876 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 1.876 * [simplify]: Simplifying (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) 1.876 * * [simplify]: iters left: 6 (8 enodes) 1.880 * * [simplify]: iters left: 5 (30 enodes) 1.891 * * [simplify]: iters left: 4 (49 enodes) 1.907 * * [simplify]: iters left: 3 (77 enodes) 1.929 * * [simplify]: iters left: 2 (119 enodes) 1.961 * * [simplify]: iters left: 1 (220 enodes) 2.036 * * [simplify]: Extracting #0: cost 1 inf + 0 2.036 * * [simplify]: Extracting #1: cost 3 inf + 0 2.036 * * [simplify]: Extracting #2: cost 5 inf + 0 2.036 * * [simplify]: Extracting #3: cost 57 inf + 0 2.037 * * [simplify]: Extracting #4: cost 146 inf + 2 2.038 * * [simplify]: Extracting #5: cost 151 inf + 1852 2.041 * * [simplify]: Extracting #6: cost 121 inf + 4588 2.045 * * [simplify]: Extracting #7: cost 88 inf + 13666 2.054 * * [simplify]: Extracting #8: cost 18 inf + 44578 2.065 * * [simplify]: Extracting #9: cost 0 inf + 53489 2.070 * [simplify]: Simplified to (* (cbrt (/ (exp (* x x)) E)) (cbrt (/ (exp (* x x)) E))) 2.070 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (/ (exp (* x x)) E)) (cbrt (/ (exp (* x x)) E))) (cbrt (exp (- (- 1 (* x x))))))) 2.071 * [simplify]: Simplifying (cbrt (exp (- (- 1 (* x x))))) 2.071 * * [simplify]: iters left: 6 (7 enodes) 2.073 * * [simplify]: iters left: 5 (27 enodes) 2.078 * * [simplify]: iters left: 4 (46 enodes) 2.086 * * [simplify]: iters left: 3 (74 enodes) 2.107 * * [simplify]: iters left: 2 (116 enodes) 2.131 * * [simplify]: iters left: 1 (217 enodes) 2.184 * * [simplify]: Extracting #0: cost 1 inf + 0 2.184 * * [simplify]: Extracting #1: cost 3 inf + 0 2.184 * * [simplify]: Extracting #2: cost 55 inf + 0 2.185 * * [simplify]: Extracting #3: cost 144 inf + 2 2.185 * * [simplify]: Extracting #4: cost 151 inf + 1259 2.186 * * [simplify]: Extracting #5: cost 119 inf + 4308 2.190 * * [simplify]: Extracting #6: cost 47 inf + 31182 2.195 * * [simplify]: Extracting #7: cost 1 inf + 53175 2.200 * * [simplify]: Extracting #8: cost 0 inf + 53578 2.211 * [simplify]: Simplified to (cbrt (exp (+ -1 (* x x)))) 2.211 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) (cbrt (exp (+ -1 (* x x)))))) 2.212 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 2.212 * [simplify]: Simplifying (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x))))) 2.212 * * [simplify]: iters left: 6 (8 enodes) 2.217 * * [simplify]: iters left: 5 (33 enodes) 2.229 * * [simplify]: iters left: 4 (71 enodes) 2.261 * * [simplify]: iters left: 3 (170 enodes) 2.344 * * [simplify]: Extracting #0: cost 1 inf + 0 2.344 * * [simplify]: Extracting #1: cost 42 inf + 0 2.345 * * [simplify]: Extracting #2: cost 139 inf + 45 2.345 * * [simplify]: Extracting #3: cost 144 inf + 3662 2.349 * * [simplify]: Extracting #4: cost 36 inf + 23061 2.359 * * [simplify]: Extracting #5: cost 1 inf + 30447 2.373 * * [simplify]: Extracting #6: cost 0 inf + 30578 2.379 * [simplify]: Simplified to (* (exp (+ -1 (* x x))) (* (exp (+ -1 (* x x))) (exp (+ -1 (* x x))))) 2.379 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (exp (+ -1 (* x x))) (* (exp (+ -1 (* x x))) (exp (+ -1 (* x x))))))) 2.380 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 2.380 * [simplify]: Simplifying (sqrt (exp (- (- 1 (* x x))))) 2.380 * * [simplify]: iters left: 6 (7 enodes) 2.382 * * [simplify]: iters left: 5 (27 enodes) 2.387 * * [simplify]: iters left: 4 (46 enodes) 2.395 * * [simplify]: iters left: 3 (74 enodes) 2.412 * * [simplify]: iters left: 2 (116 enodes) 2.444 * * [simplify]: iters left: 1 (217 enodes) 2.515 * * [simplify]: Extracting #0: cost 1 inf + 0 2.516 * * [simplify]: Extracting #1: cost 3 inf + 0 2.516 * * [simplify]: Extracting #2: cost 55 inf + 0 2.517 * * [simplify]: Extracting #3: cost 144 inf + 2 2.518 * * [simplify]: Extracting #4: cost 151 inf + 1219 2.520 * * [simplify]: Extracting #5: cost 119 inf + 4228 2.525 * * [simplify]: Extracting #6: cost 47 inf + 31102 2.531 * * [simplify]: Extracting #7: cost 1 inf + 53095 2.536 * * [simplify]: Extracting #8: cost 0 inf + 53498 2.541 * [simplify]: Simplified to (sqrt (exp (+ -1 (* x x)))) 2.541 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (exp (+ -1 (* x x)))) (sqrt (exp (- (- 1 (* x x))))))) 2.542 * [simplify]: Simplifying (sqrt (exp (- (- 1 (* x x))))) 2.542 * * [simplify]: iters left: 6 (7 enodes) 2.544 * * [simplify]: iters left: 5 (27 enodes) 2.549 * * [simplify]: iters left: 4 (46 enodes) 2.561 * * [simplify]: iters left: 3 (74 enodes) 2.587 * * [simplify]: iters left: 2 (116 enodes) 2.617 * * [simplify]: iters left: 1 (217 enodes) 2.684 * * [simplify]: Extracting #0: cost 1 inf + 0 2.684 * * [simplify]: Extracting #1: cost 3 inf + 0 2.684 * * [simplify]: Extracting #2: cost 55 inf + 0 2.685 * * [simplify]: Extracting #3: cost 144 inf + 2 2.686 * * [simplify]: Extracting #4: cost 151 inf + 1219 2.688 * * [simplify]: Extracting #5: cost 119 inf + 4228 2.694 * * [simplify]: Extracting #6: cost 47 inf + 31102 2.705 * * [simplify]: Extracting #7: cost 1 inf + 53095 2.716 * * [simplify]: Extracting #8: cost 0 inf + 53498 2.726 * [simplify]: Simplified to (sqrt (exp (+ -1 (* x x)))) 2.726 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (+ -1 (* x x)))))) 2.726 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 2.726 * * * * [progress]: [ 29 / 50 ] simplifiying candidate #real (real->posit16 (exp (- (- 1 (* x x)))))))> 2.727 * [simplify]: Simplifying (real->posit16 (exp (- (- 1 (* x x))))) 2.727 * * [simplify]: iters left: 6 (7 enodes) 2.730 * * [simplify]: iters left: 5 (24 enodes) 2.738 * * [simplify]: iters left: 4 (43 enodes) 2.745 * * [simplify]: iters left: 3 (71 enodes) 2.756 * * [simplify]: iters left: 2 (113 enodes) 2.786 * * [simplify]: iters left: 1 (214 enodes) 2.858 * * [simplify]: Extracting #0: cost 1 inf + 0 2.858 * * [simplify]: Extracting #1: cost 2 inf + 0 2.858 * * [simplify]: Extracting #2: cost 53 inf + 0 2.859 * * [simplify]: Extracting #3: cost 141 inf + 44 2.860 * * [simplify]: Extracting #4: cost 152 inf + 1065 2.862 * * [simplify]: Extracting #5: cost 117 inf + 4692 2.868 * * [simplify]: Extracting #6: cost 53 inf + 26919 2.878 * * [simplify]: Extracting #7: cost 5 inf + 49950 2.889 * * [simplify]: Extracting #8: cost 0 inf + 51677 2.900 * [simplify]: Simplified to (real->posit16 (/ (exp (* x x)) E)) 2.900 * [simplify]: Simplified (2 1) to (λ (x) (posit16->real (real->posit16 (/ (exp (* x x)) E)))) 2.900 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 2.901 * [simplify]: Simplifying (/ (exp 1) (exp (* x x))) 2.901 * * [simplify]: iters left: 5 (6 enodes) 2.904 * * [simplify]: iters left: 4 (23 enodes) 2.915 * * [simplify]: iters left: 3 (37 enodes) 2.921 * * [simplify]: iters left: 2 (58 enodes) 2.931 * * [simplify]: iters left: 1 (95 enodes) 2.947 * * [simplify]: Extracting #0: cost 1 inf + 0 2.948 * * [simplify]: Extracting #1: cost 14 inf + 0 2.948 * * [simplify]: Extracting #2: cost 48 inf + 1 2.948 * * [simplify]: Extracting #3: cost 56 inf + 685 2.948 * * [simplify]: Extracting #4: cost 39 inf + 2400 2.949 * * [simplify]: Extracting #5: cost 17 inf + 6981 2.950 * * [simplify]: Extracting #6: cost 4 inf + 12418 2.952 * * [simplify]: Extracting #7: cost 0 inf + 14791 2.954 * * [simplify]: Extracting #8: cost 0 inf + 14670 2.955 * [simplify]: Simplified to (/ E (exp (* x x))) 2.955 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (log (/ E (exp (* x x))))))) 2.955 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 2.955 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 2.956 * [simplify]: Simplifying (log (- 1 (* x x))) 2.956 * * [simplify]: iters left: 5 (5 enodes) 2.957 * * [simplify]: iters left: 4 (19 enodes) 2.961 * * [simplify]: iters left: 3 (27 enodes) 2.965 * * [simplify]: iters left: 2 (29 enodes) 2.970 * * [simplify]: Extracting #0: cost 1 inf + 0 2.970 * * [simplify]: Extracting #1: cost 3 inf + 0 2.970 * * [simplify]: Extracting #2: cost 7 inf + 0 2.970 * * [simplify]: Extracting #3: cost 10 inf + 1 2.970 * * [simplify]: Extracting #4: cost 1 inf + 755 2.971 * * [simplify]: Extracting #5: cost 0 inf + 796 2.971 * [simplify]: Simplified to (log (- 1 (* x x))) 2.971 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (exp (log (- 1 (* x x))))))) 2.971 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 2.971 * [simplify]: Simplifying (exp (- 1 (* x x))) 2.972 * * [simplify]: iters left: 5 (5 enodes) 2.975 * * [simplify]: iters left: 4 (22 enodes) 2.979 * * [simplify]: iters left: 3 (37 enodes) 2.985 * * [simplify]: iters left: 2 (54 enodes) 2.994 * * [simplify]: iters left: 1 (81 enodes) 3.013 * * [simplify]: Extracting #0: cost 1 inf + 0 3.013 * * [simplify]: Extracting #1: cost 17 inf + 0 3.013 * * [simplify]: Extracting #2: cost 44 inf + 1 3.013 * * [simplify]: Extracting #3: cost 57 inf + 3 3.014 * * [simplify]: Extracting #4: cost 39 inf + 1842 3.016 * * [simplify]: Extracting #5: cost 10 inf + 9085 3.018 * * [simplify]: Extracting #6: cost 0 inf + 12923 3.021 * * [simplify]: Extracting #7: cost 0 inf + 12844 3.023 * [simplify]: Simplified to (exp (- 1 (* x x))) 3.024 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (log (exp (- 1 (* x x))))))) 3.024 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 3.024 * [simplify]: Simplifying (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) 3.024 * * [simplify]: iters left: 6 (6 enodes) 3.027 * * [simplify]: iters left: 5 (22 enodes) 3.035 * * [simplify]: iters left: 4 (30 enodes) 3.044 * * [simplify]: iters left: 3 (32 enodes) 3.049 * * [simplify]: Extracting #0: cost 1 inf + 0 3.049 * * [simplify]: Extracting #1: cost 3 inf + 0 3.049 * * [simplify]: Extracting #2: cost 5 inf + 0 3.049 * * [simplify]: Extracting #3: cost 9 inf + 0 3.049 * * [simplify]: Extracting #4: cost 12 inf + 1 3.049 * * [simplify]: Extracting #5: cost 11 inf + 43 3.049 * * [simplify]: Extracting #6: cost 5 inf + 410 3.049 * * [simplify]: Extracting #7: cost 1 inf + 1018 3.049 * * [simplify]: Extracting #8: cost 0 inf + 1220 3.050 * [simplify]: Simplified to (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) 3.050 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (* (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) (cbrt (- 1 (* x x))))))) 3.050 * [simplify]: Simplifying (cbrt (- 1 (* x x))) 3.050 * * [simplify]: iters left: 5 (5 enodes) 3.051 * * [simplify]: iters left: 4 (19 enodes) 3.055 * * [simplify]: iters left: 3 (27 enodes) 3.059 * * [simplify]: iters left: 2 (29 enodes) 3.063 * * [simplify]: Extracting #0: cost 1 inf + 0 3.063 * * [simplify]: Extracting #1: cost 3 inf + 0 3.063 * * [simplify]: Extracting #2: cost 7 inf + 0 3.063 * * [simplify]: Extracting #3: cost 10 inf + 1 3.063 * * [simplify]: Extracting #4: cost 1 inf + 775 3.063 * * [simplify]: Extracting #5: cost 0 inf + 816 3.064 * [simplify]: Simplified to (cbrt (- 1 (* x x))) 3.064 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (* (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) (cbrt (- 1 (* x x))))))) 3.064 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 3.064 * [simplify]: Simplifying (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))) 3.064 * * [simplify]: iters left: 6 (6 enodes) 3.066 * * [simplify]: iters left: 5 (23 enodes) 3.070 * * [simplify]: iters left: 4 (45 enodes) 3.084 * * [simplify]: iters left: 3 (109 enodes) 3.153 * * [simplify]: iters left: 2 (316 enodes) 3.323 * * [simplify]: Extracting #0: cost 1 inf + 0 3.323 * * [simplify]: Extracting #1: cost 52 inf + 0 3.324 * * [simplify]: Extracting #2: cost 141 inf + 2 3.324 * * [simplify]: Extracting #3: cost 155 inf + 1833 3.330 * * [simplify]: Extracting #4: cost 45 inf + 23179 3.338 * * [simplify]: Extracting #5: cost 1 inf + 33081 3.347 * * [simplify]: Extracting #6: cost 0 inf + 33264 3.366 * * [simplify]: Extracting #7: cost 0 inf + 33263 3.384 * [simplify]: Simplified to (* (- 1 (* x x)) (* (- 1 (* x x)) (- 1 (* x x)))) 3.384 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (cbrt (* (- 1 (* x x)) (* (- 1 (* x x)) (- 1 (* x x)))))))) 3.385 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 3.385 * [simplify]: Simplifying (sqrt (- 1 (* x x))) 3.385 * * [simplify]: iters left: 5 (5 enodes) 3.388 * * [simplify]: iters left: 4 (19 enodes) 3.394 * * [simplify]: iters left: 3 (27 enodes) 3.401 * * [simplify]: iters left: 2 (29 enodes) 3.405 * * [simplify]: Extracting #0: cost 1 inf + 0 3.405 * * [simplify]: Extracting #1: cost 3 inf + 0 3.405 * * [simplify]: Extracting #2: cost 7 inf + 0 3.406 * * [simplify]: Extracting #3: cost 10 inf + 1 3.406 * * [simplify]: Extracting #4: cost 1 inf + 695 3.406 * * [simplify]: Extracting #5: cost 0 inf + 736 3.406 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 3.406 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))))) 3.406 * [simplify]: Simplifying (sqrt (- 1 (* x x))) 3.406 * * [simplify]: iters left: 5 (5 enodes) 3.408 * * [simplify]: iters left: 4 (19 enodes) 3.411 * * [simplify]: iters left: 3 (27 enodes) 3.415 * * [simplify]: iters left: 2 (29 enodes) 3.419 * * [simplify]: Extracting #0: cost 1 inf + 0 3.419 * * [simplify]: Extracting #1: cost 3 inf + 0 3.419 * * [simplify]: Extracting #2: cost 7 inf + 0 3.419 * * [simplify]: Extracting #3: cost 10 inf + 1 3.420 * * [simplify]: Extracting #4: cost 1 inf + 695 3.420 * * [simplify]: Extracting #5: cost 0 inf + 736 3.420 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 3.420 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))))) 3.420 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 3.420 * [simplify]: Simplifying (- (pow 1 3) (pow (* x x) 3)) 3.420 * * [simplify]: iters left: 5 (7 enodes) 3.423 * * [simplify]: iters left: 4 (35 enodes) 3.437 * * [simplify]: iters left: 3 (84 enodes) 3.474 * * [simplify]: iters left: 2 (191 enodes) 3.562 * * [simplify]: iters left: 1 (378 enodes) 3.712 * * [simplify]: Extracting #0: cost 1 inf + 0 3.712 * * [simplify]: Extracting #1: cost 5 inf + 0 3.712 * * [simplify]: Extracting #2: cost 66 inf + 1 3.714 * * [simplify]: Extracting #3: cost 182 inf + 329 3.717 * * [simplify]: Extracting #4: cost 139 inf + 10782 3.732 * * [simplify]: Extracting #5: cost 29 inf + 55460 3.747 * * [simplify]: Extracting #6: cost 0 inf + 68377 3.762 * * [simplify]: Extracting #7: cost 0 inf + 68297 3.776 * [simplify]: Simplified to (- 1 (* (* x (* x x)) (* x (* x x)))) 3.776 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (/ (- 1 (* (* x (* x x)) (* x (* x x)))) (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))))) 3.777 * [simplify]: Simplifying (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))) 3.777 * * [simplify]: iters left: 6 (8 enodes) 3.782 * * [simplify]: iters left: 5 (28 enodes) 3.788 * * [simplify]: iters left: 4 (51 enodes) 3.799 * * [simplify]: iters left: 3 (89 enodes) 3.816 * * [simplify]: iters left: 2 (114 enodes) 3.844 * * [simplify]: iters left: 1 (148 enodes) 3.880 * * [simplify]: Extracting #0: cost 1 inf + 0 3.881 * * [simplify]: Extracting #1: cost 8 inf + 0 3.881 * * [simplify]: Extracting #2: cost 22 inf + 1 3.881 * * [simplify]: Extracting #3: cost 34 inf + 125 3.881 * * [simplify]: Extracting #4: cost 18 inf + 1790 3.882 * * [simplify]: Extracting #5: cost 3 inf + 4889 3.882 * * [simplify]: Extracting #6: cost 0 inf + 5516 3.883 * [simplify]: Simplified to (+ 1 (+ (* x x) (* (* x x) (* x x)))) 3.883 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (/ (- 1 (* (* x (* x x)) (* x (* x x)))) (+ 1 (+ (* x x) (* (* x x) (* x x)))))))) 3.883 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 3.884 * [simplify]: Simplifying (- (* x x)) 3.884 * * [simplify]: iters left: 4 (3 enodes) 3.884 * * [simplify]: iters left: 3 (12 enodes) 3.886 * * [simplify]: iters left: 2 (14 enodes) 3.888 * * [simplify]: Extracting #0: cost 1 inf + 0 3.888 * * [simplify]: Extracting #1: cost 5 inf + 0 3.888 * * [simplify]: Extracting #2: cost 6 inf + 1 3.888 * * [simplify]: Extracting #3: cost 0 inf + 327 3.888 * [simplify]: Simplified to (- (* x x)) 3.888 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (+ 1 (- (* x x)))))) 3.888 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 3.888 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 3.888 * [simplify]: Simplifying (- (* 1 1) (* (* x x) (* x x))) 3.888 * * [simplify]: iters left: 6 (6 enodes) 3.890 * * [simplify]: iters left: 5 (24 enodes) 3.895 * * [simplify]: iters left: 4 (44 enodes) 3.903 * * [simplify]: iters left: 3 (70 enodes) 3.927 * * [simplify]: iters left: 2 (93 enodes) 3.961 * * [simplify]: iters left: 1 (144 enodes) 3.994 * * [simplify]: Extracting #0: cost 1 inf + 0 3.994 * * [simplify]: Extracting #1: cost 5 inf + 0 3.994 * * [simplify]: Extracting #2: cost 20 inf + 1 3.994 * * [simplify]: Extracting #3: cost 46 inf + 166 3.995 * * [simplify]: Extracting #4: cost 36 inf + 1366 3.995 * * [simplify]: Extracting #5: cost 22 inf + 5400 3.997 * * [simplify]: Extracting #6: cost 4 inf + 11253 3.999 * * [simplify]: Extracting #7: cost 0 inf + 13105 4.001 * [simplify]: Simplified to (- 1 (* (* x x) (* x x))) 4.001 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (/ (- 1 (* (* x x) (* x x))) (+ 1 (* x x)))))) 4.001 * [simplify]: Simplifying (+ 1 (* x x)) 4.002 * * [simplify]: iters left: 4 (4 enodes) 4.004 * * [simplify]: iters left: 3 (15 enodes) 4.009 * * [simplify]: iters left: 2 (17 enodes) 4.014 * * [simplify]: Extracting #0: cost 1 inf + 0 4.015 * * [simplify]: Extracting #1: cost 4 inf + 0 4.015 * * [simplify]: Extracting #2: cost 5 inf + 1 4.015 * * [simplify]: Extracting #3: cost 4 inf + 2 4.015 * * [simplify]: Extracting #4: cost 1 inf + 207 4.015 * * [simplify]: Extracting #5: cost 0 inf + 248 4.015 * [simplify]: Simplified to (+ 1 (* x x)) 4.015 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (/ (- 1 (* (* x x) (* x x))) (+ 1 (* x x)))))) 4.015 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 4.016 * [simplify]: Simplifying (+ (sqrt 1) x) 4.016 * * [simplify]: iters left: 3 (4 enodes) 4.018 * * [simplify]: iters left: 2 (15 enodes) 4.021 * * [simplify]: iters left: 1 (17 enodes) 4.024 * * [simplify]: Extracting #0: cost 1 inf + 0 4.024 * * [simplify]: Extracting #1: cost 4 inf + 0 4.024 * * [simplify]: Extracting #2: cost 2 inf + 2 4.024 * * [simplify]: Extracting #3: cost 0 inf + 86 4.024 * [simplify]: Simplified to (+ 1 x) 4.024 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (* (+ 1 x) (- (sqrt 1) x))))) 4.024 * [simplify]: Simplifying (- (sqrt 1) x) 4.024 * * [simplify]: iters left: 3 (4 enodes) 4.026 * * [simplify]: iters left: 2 (16 enodes) 4.028 * * [simplify]: iters left: 1 (22 enodes) 4.031 * * [simplify]: Extracting #0: cost 1 inf + 0 4.031 * * [simplify]: Extracting #1: cost 5 inf + 0 4.031 * * [simplify]: Extracting #2: cost 3 inf + 43 4.031 * * [simplify]: Extracting #3: cost 0 inf + 168 4.031 * [simplify]: Simplified to (- 1 x) 4.031 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (* (+ (sqrt 1) x) (- 1 x))))) 4.031 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 4.032 * [simplify]: Simplifying (+ 1 x) 4.032 * * [simplify]: iters left: 2 (3 enodes) 4.033 * * [simplify]: iters left: 1 (12 enodes) 4.035 * * [simplify]: Extracting #0: cost 1 inf + 0 4.035 * * [simplify]: Extracting #1: cost 4 inf + 0 4.035 * * [simplify]: Extracting #2: cost 2 inf + 2 4.035 * * [simplify]: Extracting #3: cost 0 inf + 86 4.035 * [simplify]: Simplified to (+ x 1) 4.035 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (* (+ x 1) (- 1 x))))) 4.035 * [simplify]: Simplifying (- 1 x) 4.035 * * [simplify]: iters left: 2 (3 enodes) 4.036 * * [simplify]: iters left: 1 (13 enodes) 4.038 * * [simplify]: Extracting #0: cost 1 inf + 0 4.038 * * [simplify]: Extracting #1: cost 5 inf + 0 4.038 * * [simplify]: Extracting #2: cost 3 inf + 43 4.038 * * [simplify]: Extracting #3: cost 0 inf + 168 4.038 * [simplify]: Simplified to (- 1 x) 4.039 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (* (+ 1 x) (- 1 x))))) 4.039 * * * * [progress]: [ 43 / 50 ] simplifiying candidate # 4.039 * [simplify]: Simplifying (- (* x x)) 4.039 * * [simplify]: iters left: 4 (3 enodes) 4.040 * * [simplify]: iters left: 3 (12 enodes) 4.043 * * [simplify]: iters left: 2 (14 enodes) 4.046 * * [simplify]: Extracting #0: cost 1 inf + 0 4.046 * * [simplify]: Extracting #1: cost 5 inf + 0 4.046 * * [simplify]: Extracting #2: cost 6 inf + 1 4.046 * * [simplify]: Extracting #3: cost 0 inf + 327 4.047 * [simplify]: Simplified to (- (* x x)) 4.047 * [simplify]: Simplified (2 1 1 2) to (λ (x) (exp (- (+ 1 (- (* x x)))))) 4.047 * * * * [progress]: [ 44 / 50 ] simplifiying candidate #real (real->posit16 (- 1 (* x x)))))))> 4.047 * [simplify]: Simplifying (real->posit16 (- 1 (* x x))) 4.047 * * [simplify]: iters left: 5 (5 enodes) 4.050 * * [simplify]: iters left: 4 (16 enodes) 4.058 * * [simplify]: iters left: 3 (24 enodes) 4.066 * * [simplify]: iters left: 2 (26 enodes) 4.073 * * [simplify]: Extracting #0: cost 1 inf + 0 4.073 * * [simplify]: Extracting #1: cost 2 inf + 0 4.073 * * [simplify]: Extracting #2: cost 5 inf + 0 4.073 * * [simplify]: Extracting #3: cost 8 inf + 1 4.074 * * [simplify]: Extracting #4: cost 1 inf + 451 4.074 * * [simplify]: Extracting #5: cost 0 inf + 492 4.074 * [simplify]: Simplified to (real->posit16 (- 1 (* x x))) 4.074 * [simplify]: Simplified (2 1 1 1) to (λ (x) (exp (- (posit16->real (real->posit16 (- 1 (* x x))))))) 4.074 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 4.075 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 4.075 * * [simplify]: iters left: 6 (13 enodes) 4.084 * * [simplify]: iters left: 5 (56 enodes) 4.103 * * [simplify]: iters left: 4 (88 enodes) 4.133 * * [simplify]: iters left: 3 (135 enodes) 4.167 * * [simplify]: iters left: 2 (210 enodes) 4.225 * * [simplify]: iters left: 1 (337 enodes) 4.357 * * [simplify]: Extracting #0: cost 1 inf + 0 4.357 * * [simplify]: Extracting #1: cost 12 inf + 0 4.357 * * [simplify]: Extracting #2: cost 55 inf + 1 4.358 * * [simplify]: Extracting #3: cost 84 inf + 716 4.360 * * [simplify]: Extracting #4: cost 31 inf + 7980 4.363 * * [simplify]: Extracting #5: cost 1 inf + 14128 4.369 * * [simplify]: Extracting #6: cost 0 inf + 14339 4.373 * [simplify]: Simplified to (+ (* (exp -1) (+ (* x x) (* 1/2 (* (* x x) (* x x))))) (exp -1)) 4.373 * [simplify]: Simplified (2) to (λ (x) (+ (* (exp -1) (+ (* x x) (* 1/2 (* (* x x) (* x x))))) (exp -1))) 4.374 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 4.374 * [simplify]: Simplifying (exp (- (pow x 2) 1)) 4.374 * * [simplify]: iters left: 4 (6 enodes) 4.377 * * [simplify]: iters left: 3 (30 enodes) 4.383 * * [simplify]: iters left: 2 (44 enodes) 4.395 * * [simplify]: iters left: 1 (64 enodes) 4.413 * * [simplify]: Extracting #0: cost 1 inf + 0 4.413 * * [simplify]: Extracting #1: cost 15 inf + 0 4.413 * * [simplify]: Extracting #2: cost 38 inf + 1 4.413 * * [simplify]: Extracting #3: cost 38 inf + 117 4.413 * * [simplify]: Extracting #4: cost 18 inf + 1684 4.414 * * [simplify]: Extracting #5: cost 6 inf + 3520 4.415 * * [simplify]: Extracting #6: cost 0 inf + 5195 4.415 * [simplify]: Simplified to (/ (exp (* x x)) E) 4.415 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 4.415 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 4.416 * [simplify]: Simplifying (exp (- (pow x 2) 1)) 4.416 * * [simplify]: iters left: 4 (6 enodes) 4.418 * * [simplify]: iters left: 3 (30 enodes) 4.423 * * [simplify]: iters left: 2 (44 enodes) 4.430 * * [simplify]: iters left: 1 (64 enodes) 4.441 * * [simplify]: Extracting #0: cost 1 inf + 0 4.441 * * [simplify]: Extracting #1: cost 15 inf + 0 4.441 * * [simplify]: Extracting #2: cost 38 inf + 1 4.441 * * [simplify]: Extracting #3: cost 38 inf + 117 4.442 * * [simplify]: Extracting #4: cost 18 inf + 1684 4.443 * * [simplify]: Extracting #5: cost 6 inf + 3520 4.444 * * [simplify]: Extracting #6: cost 0 inf + 5195 4.445 * [simplify]: Simplified to (/ (exp (* x x)) E) 4.446 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 4.446 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 4.446 * [simplify]: Simplifying (- 1 (pow x 2)) 4.446 * * [simplify]: iters left: 3 (5 enodes) 4.450 * * [simplify]: iters left: 2 (23 enodes) 4.457 * * [simplify]: iters left: 1 (31 enodes) 4.465 * * [simplify]: Extracting #0: cost 1 inf + 0 4.465 * * [simplify]: Extracting #1: cost 5 inf + 0 4.465 * * [simplify]: Extracting #2: cost 9 inf + 1 4.466 * * [simplify]: Extracting #3: cost 2 inf + 411 4.466 * * [simplify]: Extracting #4: cost 0 inf + 493 4.466 * [simplify]: Simplified to (- 1 (* x x)) 4.466 * [simplify]: Simplified (2 1 1) to (λ (x) (exp (- (- 1 (* x x))))) 4.466 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 4.466 * [simplify]: Simplifying (- 1 (pow x 2)) 4.467 * * [simplify]: iters left: 3 (5 enodes) 4.470 * * [simplify]: iters left: 2 (23 enodes) 4.477 * * [simplify]: iters left: 1 (31 enodes) 4.486 * * [simplify]: Extracting #0: cost 1 inf + 0 4.486 * * [simplify]: Extracting #1: cost 5 inf + 0 4.486 * * [simplify]: Extracting #2: cost 9 inf + 1 4.486 * * [simplify]: Extracting #3: cost 2 inf + 411 4.486 * * [simplify]: Extracting #4: cost 0 inf + 493 4.487 * [simplify]: Simplified to (- 1 (* x x)) 4.487 * [simplify]: Simplified (2 1 1) to (λ (x) (exp (- (- 1 (* x x))))) 4.487 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 4.487 * [simplify]: Simplifying (- 1 (pow x 2)) 4.487 * * [simplify]: iters left: 3 (5 enodes) 4.489 * * [simplify]: iters left: 2 (23 enodes) 4.492 * * [simplify]: iters left: 1 (31 enodes) 4.497 * * [simplify]: Extracting #0: cost 1 inf + 0 4.497 * * [simplify]: Extracting #1: cost 5 inf + 0 4.497 * * [simplify]: Extracting #2: cost 9 inf + 1 4.497 * * [simplify]: Extracting #3: cost 2 inf + 411 4.497 * * [simplify]: Extracting #4: cost 0 inf + 493 4.497 * [simplify]: Simplified to (- 1 (* x x)) 4.497 * [simplify]: Simplified (2 1 1) to (λ (x) (exp (- (- 1 (* x x))))) 4.497 * * * [progress]: adding candidates to table 4.860 * * [progress]: iteration 2 / 4 4.860 * * * [progress]: picking best candidate 4.862 * * * * [pick]: Picked # 4.862 * * * [progress]: localizing error 4.879 * * * [progress]: generating rewritten candidates 4.879 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.903 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 4.924 * * * [progress]: generating series expansions 4.924 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.924 * [backup-simplify]: Simplify (pow (exp (+ 1 x)) (- (- 1 x))) into (pow (exp (+ x 1)) (- x 1)) 4.924 * [approximate]: Taking taylor expansion of (pow (exp (+ x 1)) (- x 1)) in (x) around 0 4.924 * [taylor]: Taking taylor expansion of (pow (exp (+ x 1)) (- x 1)) in x 4.924 * [taylor]: Taking taylor expansion of (exp (* (- x 1) (log (exp (+ x 1))))) in x 4.924 * [taylor]: Taking taylor expansion of (* (- x 1) (log (exp (+ x 1)))) in x 4.924 * [taylor]: Taking taylor expansion of (- x 1) in x 4.924 * [taylor]: Taking taylor expansion of x in x 4.924 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify 1 into 1 4.924 * [taylor]: Taking taylor expansion of 1 in x 4.924 * [backup-simplify]: Simplify 1 into 1 4.924 * [taylor]: Taking taylor expansion of (log (exp (+ x 1))) in x 4.924 * [taylor]: Taking taylor expansion of (exp (+ x 1)) in x 4.924 * [taylor]: Taking taylor expansion of (+ x 1) in x 4.924 * [taylor]: Taking taylor expansion of x in x 4.924 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify 1 into 1 4.925 * [taylor]: Taking taylor expansion of 1 in x 4.925 * [backup-simplify]: Simplify 1 into 1 4.926 * [backup-simplify]: Simplify (+ 0 1) into 1 4.926 * [backup-simplify]: Simplify (exp 1) into E 4.926 * [backup-simplify]: Simplify (log E) into 1 4.926 * [backup-simplify]: Simplify (- 1) into -1 4.927 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.927 * [backup-simplify]: Simplify (* -1 1) into -1 4.927 * [backup-simplify]: Simplify (exp -1) into (exp -1) 4.927 * [taylor]: Taking taylor expansion of (pow (exp (+ x 1)) (- x 1)) in x 4.927 * [taylor]: Taking taylor expansion of (exp (* (- x 1) (log (exp (+ x 1))))) in x 4.927 * [taylor]: Taking taylor expansion of (* (- x 1) (log (exp (+ x 1)))) in x 4.927 * [taylor]: Taking taylor expansion of (- x 1) in x 4.928 * [taylor]: Taking taylor expansion of x in x 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [taylor]: Taking taylor expansion of 1 in x 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [taylor]: Taking taylor expansion of (log (exp (+ x 1))) in x 4.928 * [taylor]: Taking taylor expansion of (exp (+ x 1)) in x 4.928 * [taylor]: Taking taylor expansion of (+ x 1) in x 4.928 * [taylor]: Taking taylor expansion of x in x 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [taylor]: Taking taylor expansion of 1 in x 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [backup-simplify]: Simplify (+ 0 1) into 1 4.928 * [backup-simplify]: Simplify (exp 1) into E 4.928 * [backup-simplify]: Simplify (log E) into 1 4.929 * [backup-simplify]: Simplify (- 1) into -1 4.929 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.930 * [backup-simplify]: Simplify (* -1 1) into -1 4.930 * [backup-simplify]: Simplify (exp -1) into (exp -1) 4.930 * [backup-simplify]: Simplify (exp -1) into (exp -1) 4.931 * [backup-simplify]: Simplify (+ 1 0) into 1 4.933 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 1) 1)))) into E 4.939 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 E) 1)) (pow E 1)))) 1) into 1 4.940 * [backup-simplify]: Simplify (- 0) into 0 4.940 * [backup-simplify]: Simplify (+ 1 0) into 1 4.940 * [backup-simplify]: Simplify (+ (* -1 1) (* 1 1)) into 0 4.941 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 4.941 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify (+ 0 0) into 0 4.943 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 E) 4.952 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 E) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 E)) 1)) (pow E 1)))) 2) into 0 4.952 * [backup-simplify]: Simplify (- 0) into 0 4.952 * [backup-simplify]: Simplify (+ 0 0) into 0 4.953 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1 1) (* 0 1))) into 1 4.955 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 4.955 * [backup-simplify]: Simplify (exp -1) into (exp -1) 4.955 * [backup-simplify]: Simplify (+ 0 0) into 0 4.958 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 E) 4.979 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 E) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 E) 1) (pow (* 2 (* 1/2 E)) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 (* 1/6 E)) 1)) (pow E 1)))) 6) into 0 4.980 * [backup-simplify]: Simplify (- 0) into 0 4.980 * [backup-simplify]: Simplify (+ 0 0) into 0 4.981 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 4.984 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.984 * [backup-simplify]: Simplify 0 into 0 4.984 * [backup-simplify]: Simplify (+ 0 0) into 0 4.992 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 E) 5.042 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 E) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 E) 2) (pow (* 2 (* 1/2 E)) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 (* 1/2 E)) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 E) 1) 1 (pow (* 6 (* 1/6 E)) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/24 E)) 1)) (pow E 1)))) 24) into 0 5.042 * [backup-simplify]: Simplify (- 0) into 0 5.042 * [backup-simplify]: Simplify (+ 0 0) into 0 5.043 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 5.048 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 5.048 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 5.050 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 5.050 * [backup-simplify]: Simplify (pow (exp (+ 1 (/ 1 x))) (- (- 1 (/ 1 x)))) into (pow (exp (+ (/ 1 x) 1)) (- (/ 1 x) 1)) 5.050 * [approximate]: Taking taylor expansion of (pow (exp (+ (/ 1 x) 1)) (- (/ 1 x) 1)) in (x) around 0 5.050 * [taylor]: Taking taylor expansion of (pow (exp (+ (/ 1 x) 1)) (- (/ 1 x) 1)) in x 5.050 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) 1) (log (exp (+ (/ 1 x) 1))))) in x 5.050 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1) (log (exp (+ (/ 1 x) 1)))) in x 5.050 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 5.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.050 * [taylor]: Taking taylor expansion of x in x 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [backup-simplify]: Simplify 1 into 1 5.050 * [backup-simplify]: Simplify (/ 1 1) into 1 5.050 * [taylor]: Taking taylor expansion of 1 in x 5.050 * [backup-simplify]: Simplify 1 into 1 5.050 * [taylor]: Taking taylor expansion of (log (exp (+ (/ 1 x) 1))) in x 5.050 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 x) 1)) in x 5.050 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 5.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.051 * [taylor]: Taking taylor expansion of x in x 5.051 * [backup-simplify]: Simplify 0 into 0 5.051 * [backup-simplify]: Simplify 1 into 1 5.051 * [backup-simplify]: Simplify (/ 1 1) into 1 5.051 * [taylor]: Taking taylor expansion of 1 in x 5.051 * [backup-simplify]: Simplify 1 into 1 5.051 * [backup-simplify]: Simplify (+ 1 0) into 1 5.051 * [backup-simplify]: Simplify (exp (+ (/ 1 x) 1)) into (exp (+ (/ 1 x) 1)) 5.051 * [backup-simplify]: Simplify (log (exp (+ (/ 1 x) 1))) into (+ (/ 1 x) 1) 5.052 * [backup-simplify]: Simplify (+ 1 0) into 1 5.052 * [backup-simplify]: Simplify (* 1 (+ (/ 1 x) 1)) into (+ (/ 1 x) 1) 5.052 * [backup-simplify]: Simplify (exp (* (- (/ 1 x) 1) (log (exp (+ (/ 1 x) 1))))) into (exp (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) 5.052 * [taylor]: Taking taylor expansion of (pow (exp (+ (/ 1 x) 1)) (- (/ 1 x) 1)) in x 5.052 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) 1) (log (exp (+ (/ 1 x) 1))))) in x 5.052 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1) (log (exp (+ (/ 1 x) 1)))) in x 5.052 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 5.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.052 * [taylor]: Taking taylor expansion of x in x 5.052 * [backup-simplify]: Simplify 0 into 0 5.052 * [backup-simplify]: Simplify 1 into 1 5.052 * [backup-simplify]: Simplify (/ 1 1) into 1 5.052 * [taylor]: Taking taylor expansion of 1 in x 5.052 * [backup-simplify]: Simplify 1 into 1 5.053 * [taylor]: Taking taylor expansion of (log (exp (+ (/ 1 x) 1))) in x 5.053 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 x) 1)) in x 5.053 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 5.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.053 * [taylor]: Taking taylor expansion of x in x 5.053 * [backup-simplify]: Simplify 0 into 0 5.053 * [backup-simplify]: Simplify 1 into 1 5.053 * [backup-simplify]: Simplify (/ 1 1) into 1 5.053 * [taylor]: Taking taylor expansion of 1 in x 5.053 * [backup-simplify]: Simplify 1 into 1 5.053 * [backup-simplify]: Simplify (+ 1 0) into 1 5.054 * [backup-simplify]: Simplify (exp (+ (/ 1 x) 1)) into (exp (+ (/ 1 x) 1)) 5.054 * [backup-simplify]: Simplify (log (exp (+ (/ 1 x) 1))) into (+ (/ 1 x) 1) 5.054 * [backup-simplify]: Simplify (+ 1 0) into 1 5.054 * [backup-simplify]: Simplify (* 1 (+ (/ 1 x) 1)) into (+ (/ 1 x) 1) 5.054 * [backup-simplify]: Simplify (exp (* (- (/ 1 x) 1) (log (exp (+ (/ 1 x) 1))))) into (exp (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) 5.054 * [backup-simplify]: Simplify (exp (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) into (exp (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify (exp (* (+ (/ 1 (/ 1 x)) 1) (- (/ 1 (/ 1 x)) 1))) into (exp (* (+ x 1) (- x 1))) 5.055 * [backup-simplify]: Simplify (pow (exp (+ 1 (/ 1 (- x)))) (- (- 1 (/ 1 (- x))))) into (pow (exp (- 1 (/ 1 x))) (- (+ (/ 1 x) 1))) 5.055 * [approximate]: Taking taylor expansion of (pow (exp (- 1 (/ 1 x))) (- (+ (/ 1 x) 1))) in (x) around 0 5.055 * [taylor]: Taking taylor expansion of (pow (exp (- 1 (/ 1 x))) (- (+ (/ 1 x) 1))) in x 5.055 * [taylor]: Taking taylor expansion of (exp (* (- (+ (/ 1 x) 1)) (log (exp (- 1 (/ 1 x)))))) in x 5.055 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x) 1)) (log (exp (- 1 (/ 1 x))))) in x 5.055 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 5.055 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 5.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.055 * [taylor]: Taking taylor expansion of x in x 5.055 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify 1 into 1 5.055 * [backup-simplify]: Simplify (/ 1 1) into 1 5.055 * [taylor]: Taking taylor expansion of 1 in x 5.055 * [backup-simplify]: Simplify 1 into 1 5.055 * [taylor]: Taking taylor expansion of (log (exp (- 1 (/ 1 x)))) in x 5.055 * [taylor]: Taking taylor expansion of (exp (- 1 (/ 1 x))) in x 5.055 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 5.055 * [taylor]: Taking taylor expansion of 1 in x 5.055 * [backup-simplify]: Simplify 1 into 1 5.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.055 * [taylor]: Taking taylor expansion of x in x 5.055 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify 1 into 1 5.055 * [backup-simplify]: Simplify (/ 1 1) into 1 5.056 * [backup-simplify]: Simplify (- 1) into -1 5.056 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.056 * [backup-simplify]: Simplify (exp (- 1 (/ 1 x))) into (exp (- 1 (/ 1 x))) 5.056 * [backup-simplify]: Simplify (log (exp (- 1 (/ 1 x)))) into (- 1 (/ 1 x)) 5.057 * [backup-simplify]: Simplify (+ 1 0) into 1 5.057 * [backup-simplify]: Simplify (- 1) into -1 5.057 * [backup-simplify]: Simplify (* -1 (- 1 (/ 1 x))) into (* -1 (- 1 (/ 1 x))) 5.057 * [backup-simplify]: Simplify (exp (* (- (+ (/ 1 x) 1)) (log (exp (- 1 (/ 1 x)))))) into (exp (* -1 (* (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 5.057 * [taylor]: Taking taylor expansion of (pow (exp (- 1 (/ 1 x))) (- (+ (/ 1 x) 1))) in x 5.057 * [taylor]: Taking taylor expansion of (exp (* (- (+ (/ 1 x) 1)) (log (exp (- 1 (/ 1 x)))))) in x 5.057 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x) 1)) (log (exp (- 1 (/ 1 x))))) in x 5.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 5.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 5.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.058 * [taylor]: Taking taylor expansion of x in x 5.058 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify 1 into 1 5.058 * [backup-simplify]: Simplify (/ 1 1) into 1 5.058 * [taylor]: Taking taylor expansion of 1 in x 5.058 * [backup-simplify]: Simplify 1 into 1 5.058 * [taylor]: Taking taylor expansion of (log (exp (- 1 (/ 1 x)))) in x 5.058 * [taylor]: Taking taylor expansion of (exp (- 1 (/ 1 x))) in x 5.058 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 5.058 * [taylor]: Taking taylor expansion of 1 in x 5.058 * [backup-simplify]: Simplify 1 into 1 5.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.058 * [taylor]: Taking taylor expansion of x in x 5.058 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify 1 into 1 5.059 * [backup-simplify]: Simplify (/ 1 1) into 1 5.059 * [backup-simplify]: Simplify (- 1) into -1 5.060 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.060 * [backup-simplify]: Simplify (exp (- 1 (/ 1 x))) into (exp (- 1 (/ 1 x))) 5.060 * [backup-simplify]: Simplify (log (exp (- 1 (/ 1 x)))) into (- 1 (/ 1 x)) 5.060 * [backup-simplify]: Simplify (+ 1 0) into 1 5.061 * [backup-simplify]: Simplify (- 1) into -1 5.061 * [backup-simplify]: Simplify (* -1 (- 1 (/ 1 x))) into (* -1 (- 1 (/ 1 x))) 5.061 * [backup-simplify]: Simplify (exp (* (- (+ (/ 1 x) 1)) (log (exp (- 1 (/ 1 x)))))) into (exp (* -1 (* (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 5.061 * [backup-simplify]: Simplify (exp (* -1 (* (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (exp (* -1 (* (+ (/ 1 x) 1) (- 1 (/ 1 x))))) 5.061 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify (exp (* -1 (* (+ (/ 1 (/ 1 (- x))) 1) (- 1 (/ 1 (/ 1 (- x))))))) into (exp (* -1 (* (- 1 x) (+ x 1)))) 5.062 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.062 * [backup-simplify]: Simplify (exp (+ 1 x)) into (exp (+ x 1)) 5.062 * [approximate]: Taking taylor expansion of (exp (+ x 1)) in (x) around 0 5.062 * [taylor]: Taking taylor expansion of (exp (+ x 1)) in x 5.062 * [taylor]: Taking taylor expansion of (+ x 1) in x 5.062 * [taylor]: Taking taylor expansion of x in x 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 1 into 1 5.062 * [taylor]: Taking taylor expansion of 1 in x 5.062 * [backup-simplify]: Simplify 1 into 1 5.063 * [backup-simplify]: Simplify (+ 0 1) into 1 5.063 * [backup-simplify]: Simplify (exp 1) into E 5.063 * [taylor]: Taking taylor expansion of (exp (+ x 1)) in x 5.063 * [taylor]: Taking taylor expansion of (+ x 1) in x 5.063 * [taylor]: Taking taylor expansion of x in x 5.063 * [backup-simplify]: Simplify 0 into 0 5.063 * [backup-simplify]: Simplify 1 into 1 5.063 * [taylor]: Taking taylor expansion of 1 in x 5.063 * [backup-simplify]: Simplify 1 into 1 5.063 * [backup-simplify]: Simplify (+ 0 1) into 1 5.063 * [backup-simplify]: Simplify (exp 1) into E 5.064 * [backup-simplify]: Simplify E into E 5.064 * [backup-simplify]: Simplify (+ 1 0) into 1 5.065 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 1) 1)))) into E 5.065 * [backup-simplify]: Simplify E into E 5.066 * [backup-simplify]: Simplify (+ 0 0) into 0 5.069 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 E) 5.069 * [backup-simplify]: Simplify (* 1/2 E) into (* 1/2 E) 5.070 * [backup-simplify]: Simplify (+ (* (* 1/2 E) (pow x 2)) (+ (* E x) E)) into (+ (* 1/2 (* (pow x 2) E)) (+ E (* x E))) 5.070 * [backup-simplify]: Simplify (exp (+ 1 (/ 1 x))) into (exp (+ (/ 1 x) 1)) 5.070 * [approximate]: Taking taylor expansion of (exp (+ (/ 1 x) 1)) in (x) around 0 5.070 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 x) 1)) in x 5.070 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 5.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.070 * [taylor]: Taking taylor expansion of x in x 5.070 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify 1 into 1 5.071 * [backup-simplify]: Simplify (/ 1 1) into 1 5.071 * [taylor]: Taking taylor expansion of 1 in x 5.071 * [backup-simplify]: Simplify 1 into 1 5.071 * [backup-simplify]: Simplify (+ 1 0) into 1 5.071 * [backup-simplify]: Simplify (exp (+ (/ 1 x) 1)) into (exp (+ (/ 1 x) 1)) 5.071 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 x) 1)) in x 5.072 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 5.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.072 * [taylor]: Taking taylor expansion of x in x 5.072 * [backup-simplify]: Simplify 0 into 0 5.072 * [backup-simplify]: Simplify 1 into 1 5.072 * [backup-simplify]: Simplify (/ 1 1) into 1 5.072 * [taylor]: Taking taylor expansion of 1 in x 5.072 * [backup-simplify]: Simplify 1 into 1 5.072 * [backup-simplify]: Simplify (+ 1 0) into 1 5.073 * [backup-simplify]: Simplify (exp (+ (/ 1 x) 1)) into (exp (+ (/ 1 x) 1)) 5.073 * [backup-simplify]: Simplify (exp (+ (/ 1 x) 1)) into (exp (+ (/ 1 x) 1)) 5.073 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify (exp (+ (/ 1 (/ 1 x)) 1)) into (exp (+ x 1)) 5.073 * [backup-simplify]: Simplify (exp (+ 1 (/ 1 (- x)))) into (exp (- 1 (/ 1 x))) 5.073 * [approximate]: Taking taylor expansion of (exp (- 1 (/ 1 x))) in (x) around 0 5.073 * [taylor]: Taking taylor expansion of (exp (- 1 (/ 1 x))) in x 5.073 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 5.073 * [taylor]: Taking taylor expansion of 1 in x 5.073 * [backup-simplify]: Simplify 1 into 1 5.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.073 * [taylor]: Taking taylor expansion of x in x 5.073 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify 1 into 1 5.074 * [backup-simplify]: Simplify (/ 1 1) into 1 5.074 * [backup-simplify]: Simplify (- 1) into -1 5.075 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.075 * [backup-simplify]: Simplify (exp (- 1 (/ 1 x))) into (exp (- 1 (/ 1 x))) 5.075 * [taylor]: Taking taylor expansion of (exp (- 1 (/ 1 x))) in x 5.075 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 5.075 * [taylor]: Taking taylor expansion of 1 in x 5.075 * [backup-simplify]: Simplify 1 into 1 5.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.075 * [taylor]: Taking taylor expansion of x in x 5.075 * [backup-simplify]: Simplify 0 into 0 5.075 * [backup-simplify]: Simplify 1 into 1 5.075 * [backup-simplify]: Simplify (/ 1 1) into 1 5.076 * [backup-simplify]: Simplify (- 1) into -1 5.076 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.076 * [backup-simplify]: Simplify (exp (- 1 (/ 1 x))) into (exp (- 1 (/ 1 x))) 5.076 * [backup-simplify]: Simplify (exp (- 1 (/ 1 x))) into (exp (- 1 (/ 1 x))) 5.076 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify (exp (- 1 (/ 1 (/ 1 (- x))))) into (exp (+ x 1)) 5.077 * * * [progress]: simplifying candidates 5.077 * * * * [progress]: [ 1 / 61 ] simplifiying candidate # 5.077 * [simplify]: Simplifying (* (+ 1 x) (- (- 1 x))) 5.077 * * [simplify]: iters left: 6 (6 enodes) 5.081 * * [simplify]: iters left: 5 (26 enodes) 5.090 * * [simplify]: iters left: 4 (55 enodes) 5.107 * * [simplify]: iters left: 3 (128 enodes) 5.144 * * [simplify]: iters left: 2 (198 enodes) 5.225 * * [simplify]: iters left: 1 (393 enodes) 5.467 * * [simplify]: Extracting #0: cost 1 inf + 0 5.468 * * [simplify]: Extracting #1: cost 38 inf + 0 5.468 * * [simplify]: Extracting #2: cost 76 inf + 44 5.470 * * [simplify]: Extracting #3: cost 29 inf + 4341 5.473 * * [simplify]: Extracting #4: cost 0 inf + 7355 5.478 * [simplify]: Simplified to (+ -1 (* x x)) 5.478 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ -1 (* x x)))) 5.478 * * * * [progress]: [ 2 / 61 ] simplifiying candidate # 5.479 * [simplify]: Simplifying (* (log (exp (+ 1 x))) (- (- 1 x))) 5.479 * * [simplify]: iters left: 6 (8 enodes) 5.482 * * [simplify]: iters left: 5 (33 enodes) 5.494 * * [simplify]: iters left: 4 (69 enodes) 5.520 * * [simplify]: iters left: 3 (144 enodes) 5.575 * * [simplify]: iters left: 2 (217 enodes) 5.672 * * [simplify]: iters left: 1 (438 enodes) 6.013 * * [simplify]: Extracting #0: cost 1 inf + 0 6.013 * * [simplify]: Extracting #1: cost 36 inf + 0 6.013 * * [simplify]: Extracting #2: cost 74 inf + 87 6.014 * * [simplify]: Extracting #3: cost 48 inf + 3203 6.017 * * [simplify]: Extracting #4: cost 13 inf + 7284 6.020 * * [simplify]: Extracting #5: cost 9 inf + 7866 6.024 * * [simplify]: Extracting #6: cost 1 inf + 9230 6.027 * * [simplify]: Extracting #7: cost 0 inf + 9524 6.030 * [simplify]: Simplified to (+ (* x x) -1) 6.030 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (* x x) -1))) 6.031 * * * * [progress]: [ 3 / 61 ] simplifiying candidate # 6.033 * [simplify]: Simplifying (* 1 (- (- 1 x))) 6.033 * * [simplify]: iters left: 6 (5 enodes) 6.035 * * [simplify]: iters left: 5 (20 enodes) 6.042 * * [simplify]: iters left: 4 (38 enodes) 6.054 * * [simplify]: iters left: 3 (46 enodes) 6.067 * * [simplify]: iters left: 2 (62 enodes) 6.075 * * [simplify]: iters left: 1 (72 enodes) 6.081 * * [simplify]: Extracting #0: cost 1 inf + 0 6.081 * * [simplify]: Extracting #1: cost 6 inf + 0 6.081 * * [simplify]: Extracting #2: cost 5 inf + 3 6.082 * * [simplify]: Extracting #3: cost 1 inf + 212 6.082 * * [simplify]: Extracting #4: cost 0 inf + 253 6.082 * [simplify]: Simplified to (+ -1 x) 6.082 * [simplify]: Simplified (2 2) to (λ (x) (pow (exp (+ 1 x)) (+ -1 x))) 6.082 * * * * [progress]: [ 4 / 61 ] simplifiying candidate # 6.082 * [simplify]: Simplifying (* (cbrt (+ 1 x)) (- (- 1 x))) 6.082 * * [simplify]: iters left: 6 (7 enodes) 6.084 * * [simplify]: iters left: 5 (29 enodes) 6.089 * * [simplify]: iters left: 4 (50 enodes) 6.098 * * [simplify]: iters left: 3 (85 enodes) 6.130 * * [simplify]: iters left: 2 (123 enodes) 6.165 * * [simplify]: iters left: 1 (145 enodes) 6.212 * * [simplify]: Extracting #0: cost 1 inf + 0 6.212 * * [simplify]: Extracting #1: cost 14 inf + 0 6.213 * * [simplify]: Extracting #2: cost 28 inf + 2 6.213 * * [simplify]: Extracting #3: cost 28 inf + 87 6.214 * * [simplify]: Extracting #4: cost 7 inf + 1931 6.216 * * [simplify]: Extracting #5: cost 0 inf + 3145 6.218 * [simplify]: Simplified to (* (cbrt (+ x 1)) (- x 1)) 6.218 * [simplify]: Simplified (2 2) to (λ (x) (pow (exp (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (* (cbrt (+ x 1)) (- x 1)))) 6.218 * * * * [progress]: [ 5 / 61 ] simplifiying candidate # 6.218 * [simplify]: Simplifying (* (sqrt (+ 1 x)) (- (- 1 x))) 6.218 * * [simplify]: iters left: 6 (7 enodes) 6.222 * * [simplify]: iters left: 5 (29 enodes) 6.229 * * [simplify]: iters left: 4 (50 enodes) 6.238 * * [simplify]: iters left: 3 (85 enodes) 6.256 * * [simplify]: iters left: 2 (123 enodes) 6.301 * * [simplify]: iters left: 1 (145 enodes) 6.380 * * [simplify]: Extracting #0: cost 1 inf + 0 6.380 * * [simplify]: Extracting #1: cost 14 inf + 0 6.380 * * [simplify]: Extracting #2: cost 28 inf + 2 6.380 * * [simplify]: Extracting #3: cost 28 inf + 87 6.381 * * [simplify]: Extracting #4: cost 7 inf + 1691 6.383 * * [simplify]: Extracting #5: cost 0 inf + 2665 6.385 * [simplify]: Simplified to (* (sqrt (+ x 1)) (- x 1)) 6.385 * [simplify]: Simplified (2 2) to (λ (x) (pow (exp (sqrt (+ 1 x))) (* (sqrt (+ x 1)) (- x 1)))) 6.385 * * * * [progress]: [ 6 / 61 ] simplifiying candidate # 6.385 * [simplify]: Simplifying (* (+ 1 x) (- (- 1 x))) 6.386 * * [simplify]: iters left: 6 (6 enodes) 6.389 * * [simplify]: iters left: 5 (26 enodes) 6.397 * * [simplify]: iters left: 4 (55 enodes) 6.409 * * [simplify]: iters left: 3 (128 enodes) 6.440 * * [simplify]: iters left: 2 (198 enodes) 6.518 * * [simplify]: iters left: 1 (393 enodes) 6.805 * * [simplify]: Extracting #0: cost 1 inf + 0 6.806 * * [simplify]: Extracting #1: cost 38 inf + 0 6.807 * * [simplify]: Extracting #2: cost 76 inf + 44 6.810 * * [simplify]: Extracting #3: cost 29 inf + 4341 6.816 * * [simplify]: Extracting #4: cost 0 inf + 7355 6.822 * [simplify]: Simplified to (+ -1 (* x x)) 6.822 * [simplify]: Simplified (2 2) to (λ (x) (pow (exp 1) (+ -1 (* x x)))) 6.822 * * * * [progress]: [ 7 / 61 ] simplifiying candidate # 6.822 * [simplify]: Simplifying (* (+ 1 x) (- (- 1 x))) 6.822 * * [simplify]: iters left: 6 (6 enodes) 6.826 * * [simplify]: iters left: 5 (26 enodes) 6.835 * * [simplify]: iters left: 4 (55 enodes) 6.858 * * [simplify]: iters left: 3 (128 enodes) 6.911 * * [simplify]: iters left: 2 (198 enodes) 6.974 * * [simplify]: iters left: 1 (393 enodes) 7.251 * * [simplify]: Extracting #0: cost 1 inf + 0 7.251 * * [simplify]: Extracting #1: cost 38 inf + 0 7.252 * * [simplify]: Extracting #2: cost 76 inf + 44 7.255 * * [simplify]: Extracting #3: cost 29 inf + 4341 7.261 * * [simplify]: Extracting #4: cost 0 inf + 7355 7.267 * [simplify]: Simplified to (+ -1 (* x x)) 7.267 * [simplify]: Simplified (2 2) to (λ (x) (pow (exp 1) (+ -1 (* x x)))) 7.267 * * * * [progress]: [ 8 / 61 ] simplifiying candidate # 7.267 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- 1 x)) 7.268 * * [simplify]: iters left: 4 (6 enodes) 7.271 * * [simplify]: iters left: 3 (30 enodes) 7.277 * * [simplify]: iters left: 2 (54 enodes) 7.289 * * [simplify]: iters left: 1 (84 enodes) 7.316 * * [simplify]: Extracting #0: cost 1 inf + 0 7.316 * * [simplify]: Extracting #1: cost 11 inf + 0 7.316 * * [simplify]: Extracting #2: cost 39 inf + 0 7.317 * * [simplify]: Extracting #3: cost 55 inf + 5 7.318 * * [simplify]: Extracting #4: cost 25 inf + 3686 7.319 * * [simplify]: Extracting #5: cost 8 inf + 7463 7.322 * * [simplify]: Extracting #6: cost 0 inf + 11993 7.325 * [simplify]: Simplified to (pow (exp (+ x 1)) (- 1 x)) 7.325 * [simplify]: Simplified (2 2) to (λ (x) (/ 1 (pow (exp (+ x 1)) (- 1 x)))) 7.325 * * * * [progress]: [ 9 / 61 ] simplifiying candidate # 7.326 * [simplify]: Simplifying (pow (exp (+ 1 x)) 0) 7.326 * * [simplify]: iters left: 4 (6 enodes) 7.330 * * [simplify]: iters left: 3 (21 enodes) 7.336 * * [simplify]: iters left: 2 (25 enodes) 7.343 * * [simplify]: iters left: 1 (27 enodes) 7.350 * * [simplify]: Extracting #0: cost 1 inf + 0 7.350 * * [simplify]: Extracting #1: cost 0 inf + 1 7.350 * [simplify]: Simplified to 1 7.350 * [simplify]: Simplified (2 1) to (λ (x) (/ 1 (pow (exp (+ 1 x)) (- 1 x)))) 7.351 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- 1 x)) 7.351 * * [simplify]: iters left: 4 (6 enodes) 7.354 * * [simplify]: iters left: 3 (30 enodes) 7.365 * * [simplify]: iters left: 2 (54 enodes) 7.382 * * [simplify]: iters left: 1 (84 enodes) 7.413 * * [simplify]: Extracting #0: cost 1 inf + 0 7.414 * * [simplify]: Extracting #1: cost 11 inf + 0 7.414 * * [simplify]: Extracting #2: cost 39 inf + 0 7.414 * * [simplify]: Extracting #3: cost 55 inf + 5 7.415 * * [simplify]: Extracting #4: cost 25 inf + 3686 7.417 * * [simplify]: Extracting #5: cost 8 inf + 7463 7.419 * * [simplify]: Extracting #6: cost 0 inf + 11993 7.425 * [simplify]: Simplified to (pow (exp (+ x 1)) (- 1 x)) 7.425 * [simplify]: Simplified (2 2) to (λ (x) (/ 1 (pow (exp (+ x 1)) (- 1 x)))) 7.425 * * * * [progress]: [ 10 / 61 ] simplifiying candidate # 7.426 * [simplify]: Simplifying (pow (exp (+ 1 x)) (* (cbrt (- (- 1 x))) (cbrt (- (- 1 x))))) 7.426 * * [simplify]: iters left: 6 (9 enodes) 7.431 * * [simplify]: iters left: 5 (39 enodes) 7.445 * * [simplify]: iters left: 4 (65 enodes) 7.455 * * [simplify]: iters left: 3 (101 enodes) 7.474 * * [simplify]: iters left: 2 (179 enodes) 7.543 * * [simplify]: iters left: 1 (335 enodes) 7.721 * * [simplify]: Extracting #0: cost 1 inf + 0 7.721 * * [simplify]: Extracting #1: cost 27 inf + 0 7.722 * * [simplify]: Extracting #2: cost 112 inf + 1 7.723 * * [simplify]: Extracting #3: cost 200 inf + 6 7.723 * * [simplify]: Extracting #4: cost 209 inf + 461 7.724 * * [simplify]: Extracting #5: cost 207 inf + 588 7.727 * * [simplify]: Extracting #6: cost 139 inf + 13888 7.733 * * [simplify]: Extracting #7: cost 53 inf + 42984 7.751 * * [simplify]: Extracting #8: cost 5 inf + 86027 7.772 * * [simplify]: Extracting #9: cost 0 inf + 91323 7.787 * * [simplify]: Extracting #10: cost 0 inf + 91153 7.811 * [simplify]: Simplified to (pow (exp (+ x 1)) (* (cbrt (+ x -1)) (cbrt (+ x -1)))) 7.811 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (* (cbrt (+ x -1)) (cbrt (+ x -1)))) (cbrt (- (- 1 x))))) 7.811 * * * * [progress]: [ 11 / 61 ] simplifiying candidate # 7.812 * [simplify]: Simplifying (pow (exp (+ 1 x)) (sqrt (- (- 1 x)))) 7.812 * * [simplify]: iters left: 6 (8 enodes) 7.817 * * [simplify]: iters left: 5 (36 enodes) 7.825 * * [simplify]: iters left: 4 (60 enodes) 7.835 * * [simplify]: iters left: 3 (88 enodes) 7.851 * * [simplify]: iters left: 2 (141 enodes) 7.885 * * [simplify]: iters left: 1 (263 enodes) 8.004 * * [simplify]: Extracting #0: cost 1 inf + 0 8.004 * * [simplify]: Extracting #1: cost 26 inf + 0 8.005 * * [simplify]: Extracting #2: cost 92 inf + 1 8.006 * * [simplify]: Extracting #3: cost 125 inf + 6 8.007 * * [simplify]: Extracting #4: cost 116 inf + 516 8.008 * * [simplify]: Extracting #5: cost 101 inf + 2906 8.014 * * [simplify]: Extracting #6: cost 53 inf + 19554 8.029 * * [simplify]: Extracting #7: cost 11 inf + 56966 8.051 * * [simplify]: Extracting #8: cost 0 inf + 63513 8.068 * * [simplify]: Extracting #9: cost 0 inf + 62231 8.085 * [simplify]: Simplified to (pow (exp (+ x 1)) (sqrt (+ -1 x))) 8.086 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (sqrt (+ -1 x))) (sqrt (- (- 1 x))))) 8.086 * * * * [progress]: [ 12 / 61 ] simplifiying candidate # 8.086 * [simplify]: Simplifying (pow (exp (+ 1 x)) 1) 8.086 * * [simplify]: iters left: 4 (5 enodes) 8.090 * * [simplify]: iters left: 3 (25 enodes) 8.101 * * [simplify]: iters left: 2 (51 enodes) 8.121 * * [simplify]: iters left: 1 (91 enodes) 8.154 * * [simplify]: Extracting #0: cost 1 inf + 0 8.154 * * [simplify]: Extracting #1: cost 11 inf + 0 8.154 * * [simplify]: Extracting #2: cost 25 inf + 2 8.154 * * [simplify]: Extracting #3: cost 21 inf + 7 8.155 * * [simplify]: Extracting #4: cost 11 inf + 1547 8.156 * * [simplify]: Extracting #5: cost 1 inf + 5217 8.157 * * [simplify]: Extracting #6: cost 0 inf + 5791 8.159 * [simplify]: Simplified to (* E (exp x)) 8.159 * [simplify]: Simplified (2 1) to (λ (x) (pow (* E (exp x)) (- (- 1 x)))) 8.159 * * * * [progress]: [ 13 / 61 ] simplifiying candidate # 8.159 * [simplify]: Simplifying (pow (exp (+ 1 x)) -1) 8.159 * * [simplify]: iters left: 4 (6 enodes) 8.164 * * [simplify]: iters left: 3 (30 enodes) 8.172 * * [simplify]: iters left: 2 (54 enodes) 8.185 * * [simplify]: iters left: 1 (96 enodes) 8.203 * * [simplify]: Extracting #0: cost 1 inf + 0 8.203 * * [simplify]: Extracting #1: cost 18 inf + 0 8.203 * * [simplify]: Extracting #2: cost 33 inf + 145 8.203 * * [simplify]: Extracting #3: cost 28 inf + 275 8.203 * * [simplify]: Extracting #4: cost 15 inf + 1587 8.204 * * [simplify]: Extracting #5: cost 1 inf + 7294 8.205 * * [simplify]: Extracting #6: cost 0 inf + 7868 8.205 * [simplify]: Simplified to (/ 1 (exp (+ x 1))) 8.205 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ 1 (exp (+ x 1))) (- 1 x))) 8.205 * * * * [progress]: [ 14 / 61 ] simplifiying candidate # 8.206 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (* (cbrt (- 1 x)) (cbrt (- 1 x))))) 8.206 * * [simplify]: iters left: 6 (9 enodes) 8.208 * * [simplify]: iters left: 5 (42 enodes) 8.216 * * [simplify]: iters left: 4 (70 enodes) 8.227 * * [simplify]: iters left: 3 (120 enodes) 8.249 * * [simplify]: iters left: 2 (245 enodes) 8.324 * * [simplify]: Extracting #0: cost 1 inf + 0 8.324 * * [simplify]: Extracting #1: cost 13 inf + 0 8.324 * * [simplify]: Extracting #2: cost 72 inf + 1 8.325 * * [simplify]: Extracting #3: cost 125 inf + 6 8.326 * * [simplify]: Extracting #4: cost 123 inf + 2391 8.332 * * [simplify]: Extracting #5: cost 53 inf + 18445 8.338 * * [simplify]: Extracting #6: cost 7 inf + 42530 8.346 * * [simplify]: Extracting #7: cost 0 inf + 47307 8.356 * [simplify]: Simplified to (pow (exp (+ x 1)) (- (* (cbrt (- 1 x)) (cbrt (- 1 x))))) 8.356 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (- (* (cbrt (- 1 x)) (cbrt (- 1 x))))) (cbrt (- 1 x)))) 8.356 * * * * [progress]: [ 15 / 61 ] simplifiying candidate # 8.356 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (sqrt (- 1 x)))) 8.356 * * [simplify]: iters left: 6 (8 enodes) 8.359 * * [simplify]: iters left: 5 (36 enodes) 8.366 * * [simplify]: iters left: 4 (58 enodes) 8.384 * * [simplify]: iters left: 3 (90 enodes) 8.414 * * [simplify]: iters left: 2 (162 enodes) 8.467 * * [simplify]: iters left: 1 (310 enodes) 8.633 * * [simplify]: Extracting #0: cost 1 inf + 0 8.633 * * [simplify]: Extracting #1: cost 28 inf + 0 8.633 * * [simplify]: Extracting #2: cost 100 inf + 1 8.634 * * [simplify]: Extracting #3: cost 149 inf + 7 8.635 * * [simplify]: Extracting #4: cost 145 inf + 995 8.637 * * [simplify]: Extracting #5: cost 94 inf + 10522 8.642 * * [simplify]: Extracting #6: cost 38 inf + 37340 8.658 * * [simplify]: Extracting #7: cost 3 inf + 73334 8.671 * * [simplify]: Extracting #8: cost 0 inf + 75800 8.688 * * [simplify]: Extracting #9: cost 0 inf + 75508 8.708 * [simplify]: Simplified to (pow (exp (+ x 1)) (- (sqrt (- 1 x)))) 8.708 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (- (sqrt (- 1 x)))) (sqrt (- 1 x)))) 8.708 * * * * [progress]: [ 16 / 61 ] simplifiying candidate # 8.708 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- 1)) 8.708 * * [simplify]: iters left: 4 (6 enodes) 8.711 * * [simplify]: iters left: 3 (30 enodes) 8.718 * * [simplify]: iters left: 2 (56 enodes) 8.729 * * [simplify]: iters left: 1 (104 enodes) 8.753 * * [simplify]: Extracting #0: cost 1 inf + 0 8.753 * * [simplify]: Extracting #1: cost 16 inf + 0 8.753 * * [simplify]: Extracting #2: cost 34 inf + 3 8.753 * * [simplify]: Extracting #3: cost 30 inf + 50 8.754 * * [simplify]: Extracting #4: cost 14 inf + 2685 8.755 * * [simplify]: Extracting #5: cost 0 inf + 8470 8.757 * * [simplify]: Extracting #6: cost 0 inf + 8469 8.758 * [simplify]: Simplified to (/ 1 (exp (+ x 1))) 8.758 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ 1 (exp (+ x 1))) (- 1 x))) 8.758 * * * * [progress]: [ 17 / 61 ] simplifiying candidate # 8.759 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (+ (sqrt 1) (sqrt x)))) 8.759 * * [simplify]: iters left: 6 (9 enodes) 8.765 * * [simplify]: iters left: 5 (41 enodes) 8.780 * * [simplify]: iters left: 4 (73 enodes) 8.804 * * [simplify]: iters left: 3 (113 enodes) 8.828 * * [simplify]: iters left: 2 (203 enodes) 8.889 * * [simplify]: iters left: 1 (390 enodes) 9.089 * * [simplify]: Extracting #0: cost 1 inf + 0 9.089 * * [simplify]: Extracting #1: cost 26 inf + 0 9.089 * * [simplify]: Extracting #2: cost 107 inf + 1 9.090 * * [simplify]: Extracting #3: cost 169 inf + 8 9.092 * * [simplify]: Extracting #4: cost 166 inf + 940 9.098 * * [simplify]: Extracting #5: cost 94 inf + 15940 9.113 * * [simplify]: Extracting #6: cost 21 inf + 59545 9.125 * * [simplify]: Extracting #7: cost 0 inf + 72037 9.141 * * [simplify]: Extracting #8: cost 0 inf + 71293 9.164 * [simplify]: Simplified to (pow (exp (+ x 1)) (- -1 (sqrt x))) 9.164 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (- -1 (sqrt x))) (- (sqrt 1) (sqrt x)))) 9.164 * * * * [progress]: [ 18 / 61 ] simplifiying candidate # 9.164 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (+ 1 (sqrt x)))) 9.164 * * [simplify]: iters left: 6 (8 enodes) 9.169 * * [simplify]: iters left: 5 (39 enodes) 9.182 * * [simplify]: iters left: 4 (63 enodes) 9.201 * * [simplify]: iters left: 3 (96 enodes) 9.235 * * [simplify]: iters left: 2 (184 enodes) 9.308 * * [simplify]: iters left: 1 (361 enodes) 9.492 * * [simplify]: Extracting #0: cost 1 inf + 0 9.493 * * [simplify]: Extracting #1: cost 27 inf + 0 9.493 * * [simplify]: Extracting #2: cost 102 inf + 1 9.494 * * [simplify]: Extracting #3: cost 165 inf + 8 9.496 * * [simplify]: Extracting #4: cost 157 inf + 1339 9.500 * * [simplify]: Extracting #5: cost 92 inf + 13149 9.507 * * [simplify]: Extracting #6: cost 31 inf + 44840 9.518 * * [simplify]: Extracting #7: cost 0 inf + 71717 9.529 * * [simplify]: Extracting #8: cost 0 inf + 70256 9.544 * [simplify]: Simplified to (pow (exp (+ x 1)) (- -1 (sqrt x))) 9.544 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (- -1 (sqrt x))) (- 1 (sqrt x)))) 9.544 * * * * [progress]: [ 19 / 61 ] simplifiying candidate # 9.544 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- 1)) 9.544 * * [simplify]: iters left: 4 (6 enodes) 9.549 * * [simplify]: iters left: 3 (30 enodes) 9.561 * * [simplify]: iters left: 2 (56 enodes) 9.972 * * [simplify]: iters left: 1 (104 enodes) 10.003 * * [simplify]: Extracting #0: cost 1 inf + 0 10.003 * * [simplify]: Extracting #1: cost 16 inf + 0 10.003 * * [simplify]: Extracting #2: cost 34 inf + 3 10.004 * * [simplify]: Extracting #3: cost 30 inf + 50 10.004 * * [simplify]: Extracting #4: cost 14 inf + 2685 10.006 * * [simplify]: Extracting #5: cost 0 inf + 8470 10.007 * * [simplify]: Extracting #6: cost 0 inf + 8469 10.009 * [simplify]: Simplified to (/ 1 (exp (+ x 1))) 10.009 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ 1 (exp (+ x 1))) (- 1 x))) 10.009 * * * * [progress]: [ 20 / 61 ] simplifiying candidate # 10.009 * [simplify]: Simplifying (pow (exp (+ 1 x)) (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 10.009 * * [simplify]: iters left: 6 (8 enodes) 10.014 * * [simplify]: iters left: 5 (36 enodes) 10.027 * * [simplify]: iters left: 4 (58 enodes) 10.045 * * [simplify]: iters left: 3 (92 enodes) 10.071 * * [simplify]: iters left: 2 (169 enodes) 10.118 * * [simplify]: iters left: 1 (320 enodes) 10.244 * * [simplify]: Extracting #0: cost 1 inf + 0 10.244 * * [simplify]: Extracting #1: cost 27 inf + 0 10.247 * * [simplify]: Extracting #2: cost 117 inf + 1 10.248 * * [simplify]: Extracting #3: cost 200 inf + 6 10.249 * * [simplify]: Extracting #4: cost 205 inf + 788 10.252 * * [simplify]: Extracting #5: cost 103 inf + 24760 10.262 * * [simplify]: Extracting #6: cost 25 inf + 69075 10.277 * * [simplify]: Extracting #7: cost 5 inf + 87366 10.297 * * [simplify]: Extracting #8: cost 0 inf + 93206 10.322 * * [simplify]: Extracting #9: cost 0 inf + 92526 10.337 * [simplify]: Simplified to (pow (exp (+ x 1)) (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 10.337 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (- (cbrt (- 1 x))))) 10.337 * * * * [progress]: [ 21 / 61 ] simplifiying candidate # 10.337 * [simplify]: Simplifying (pow (exp (+ 1 x)) (sqrt (- 1 x))) 10.338 * * [simplify]: iters left: 4 (7 enodes) 10.340 * * [simplify]: iters left: 3 (33 enodes) 10.346 * * [simplify]: iters left: 2 (53 enodes) 10.362 * * [simplify]: iters left: 1 (79 enodes) 10.387 * * [simplify]: Extracting #0: cost 1 inf + 0 10.387 * * [simplify]: Extracting #1: cost 11 inf + 0 10.387 * * [simplify]: Extracting #2: cost 37 inf + 0 10.387 * * [simplify]: Extracting #3: cost 50 inf + 3 10.388 * * [simplify]: Extracting #4: cost 47 inf + 7 10.388 * * [simplify]: Extracting #5: cost 27 inf + 2985 10.389 * * [simplify]: Extracting #6: cost 7 inf + 8773 10.390 * * [simplify]: Extracting #7: cost 1 inf + 12156 10.392 * * [simplify]: Extracting #8: cost 0 inf + 13101 10.393 * [simplify]: Simplified to (pow (exp (+ x 1)) (sqrt (- 1 x))) 10.394 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (sqrt (- 1 x))) (- (sqrt (- 1 x))))) 10.394 * * * * [progress]: [ 22 / 61 ] simplifiying candidate # 10.394 * [simplify]: Simplifying (pow (exp (+ 1 x)) 1) 10.394 * * [simplify]: iters left: 4 (5 enodes) 10.396 * * [simplify]: iters left: 3 (25 enodes) 10.402 * * [simplify]: iters left: 2 (51 enodes) 10.413 * * [simplify]: iters left: 1 (91 enodes) 10.446 * * [simplify]: Extracting #0: cost 1 inf + 0 10.446 * * [simplify]: Extracting #1: cost 11 inf + 0 10.446 * * [simplify]: Extracting #2: cost 25 inf + 2 10.446 * * [simplify]: Extracting #3: cost 21 inf + 7 10.447 * * [simplify]: Extracting #4: cost 11 inf + 1547 10.448 * * [simplify]: Extracting #5: cost 1 inf + 5217 10.449 * * [simplify]: Extracting #6: cost 0 inf + 5791 10.451 * [simplify]: Simplified to (* E (exp x)) 10.451 * [simplify]: Simplified (2 1) to (λ (x) (pow (* E (exp x)) (- (- 1 x)))) 10.451 * * * * [progress]: [ 23 / 61 ] simplifiying candidate # 10.451 * [simplify]: Simplifying (pow (exp (+ 1 x)) (+ (sqrt 1) (sqrt x))) 10.451 * * [simplify]: iters left: 4 (8 enodes) 10.454 * * [simplify]: iters left: 3 (35 enodes) 10.460 * * [simplify]: iters left: 2 (52 enodes) 10.471 * * [simplify]: iters left: 1 (78 enodes) 10.485 * * [simplify]: Extracting #0: cost 1 inf + 0 10.485 * * [simplify]: Extracting #1: cost 11 inf + 0 10.485 * * [simplify]: Extracting #2: cost 38 inf + 0 10.485 * * [simplify]: Extracting #3: cost 50 inf + 4 10.485 * * [simplify]: Extracting #4: cost 46 inf + 78 10.486 * * [simplify]: Extracting #5: cost 29 inf + 2368 10.487 * * [simplify]: Extracting #6: cost 12 inf + 6472 10.488 * * [simplify]: Extracting #7: cost 0 inf + 13195 10.490 * * [simplify]: Extracting #8: cost 0 inf + 13194 10.492 * [simplify]: Simplified to (pow (* E (exp x)) (+ (sqrt x) 1)) 10.492 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (* E (exp x)) (+ (sqrt x) 1)) (- (- (sqrt 1) (sqrt x))))) 10.492 * * * * [progress]: [ 24 / 61 ] simplifiying candidate # 10.492 * [simplify]: Simplifying (pow (exp (+ 1 x)) (+ 1 (sqrt x))) 10.492 * * [simplify]: iters left: 4 (7 enodes) 10.496 * * [simplify]: iters left: 3 (32 enodes) 10.507 * * [simplify]: iters left: 2 (49 enodes) 10.520 * * [simplify]: iters left: 1 (75 enodes) 10.534 * * [simplify]: Extracting #0: cost 1 inf + 0 10.534 * * [simplify]: Extracting #1: cost 11 inf + 0 10.534 * * [simplify]: Extracting #2: cost 38 inf + 0 10.534 * * [simplify]: Extracting #3: cost 50 inf + 4 10.534 * * [simplify]: Extracting #4: cost 47 inf + 7 10.535 * * [simplify]: Extracting #5: cost 25 inf + 3146 10.536 * * [simplify]: Extracting #6: cost 5 inf + 10158 10.537 * * [simplify]: Extracting #7: cost 0 inf + 13177 10.539 * [simplify]: Simplified to (pow (exp (+ x 1)) (+ 1 (sqrt x))) 10.539 * [simplify]: Simplified (2 1) to (λ (x) (pow (pow (exp (+ x 1)) (+ 1 (sqrt x))) (- (- 1 (sqrt x))))) 10.539 * * * * [progress]: [ 25 / 61 ] simplifiying candidate # 10.539 * [simplify]: Simplifying (pow (exp (+ 1 x)) 1) 10.539 * * [simplify]: iters left: 4 (5 enodes) 10.543 * * [simplify]: iters left: 3 (25 enodes) 10.554 * * [simplify]: iters left: 2 (51 enodes) 10.573 * * [simplify]: iters left: 1 (91 enodes) 10.605 * * [simplify]: Extracting #0: cost 1 inf + 0 10.605 * * [simplify]: Extracting #1: cost 11 inf + 0 10.606 * * [simplify]: Extracting #2: cost 25 inf + 2 10.606 * * [simplify]: Extracting #3: cost 21 inf + 7 10.606 * * [simplify]: Extracting #4: cost 11 inf + 1547 10.606 * * [simplify]: Extracting #5: cost 1 inf + 5217 10.607 * * [simplify]: Extracting #6: cost 0 inf + 5791 10.608 * [simplify]: Simplified to (* E (exp x)) 10.608 * [simplify]: Simplified (2 1) to (λ (x) (pow (* E (exp x)) (- (- 1 x)))) 10.608 * * * * [progress]: [ 26 / 61 ] simplifiying candidate # 10.608 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- 1)) 10.608 * * [simplify]: iters left: 4 (6 enodes) 10.611 * * [simplify]: iters left: 3 (30 enodes) 10.618 * * [simplify]: iters left: 2 (56 enodes) 10.634 * * [simplify]: iters left: 1 (104 enodes) 10.665 * * [simplify]: Extracting #0: cost 1 inf + 0 10.665 * * [simplify]: Extracting #1: cost 16 inf + 0 10.665 * * [simplify]: Extracting #2: cost 34 inf + 3 10.666 * * [simplify]: Extracting #3: cost 30 inf + 50 10.666 * * [simplify]: Extracting #4: cost 14 inf + 2685 10.668 * * [simplify]: Extracting #5: cost 0 inf + 8470 10.669 * * [simplify]: Extracting #6: cost 0 inf + 8469 10.671 * [simplify]: Simplified to (/ 1 (exp (+ x 1))) 10.671 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (exp (+ x 1))) (pow (exp (+ 1 x)) (- (- x))))) 10.671 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (- x))) 10.672 * * [simplify]: iters left: 5 (7 enodes) 10.676 * * [simplify]: iters left: 4 (31 enodes) 10.686 * * [simplify]: iters left: 3 (59 enodes) 10.708 * * [simplify]: iters left: 2 (105 enodes) 10.741 * * [simplify]: iters left: 1 (182 enodes) 10.811 * * [simplify]: Extracting #0: cost 1 inf + 0 10.811 * * [simplify]: Extracting #1: cost 21 inf + 0 10.811 * * [simplify]: Extracting #2: cost 77 inf + 2 10.812 * * [simplify]: Extracting #3: cost 98 inf + 616 10.814 * * [simplify]: Extracting #4: cost 53 inf + 5379 10.818 * * [simplify]: Extracting #5: cost 24 inf + 16609 10.825 * * [simplify]: Extracting #6: cost 0 inf + 32520 10.832 * [simplify]: Simplified to (pow (* E (exp x)) x) 10.832 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (exp (+ x 1))) (pow (* E (exp x)) x))) 10.832 * * * * [progress]: [ 27 / 61 ] simplifiying candidate # 10.832 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- 1)) 10.832 * * [simplify]: iters left: 4 (6 enodes) 10.838 * * [simplify]: iters left: 3 (30 enodes) 10.854 * * [simplify]: iters left: 2 (56 enodes) 10.867 * * [simplify]: iters left: 1 (104 enodes) 10.884 * * [simplify]: Extracting #0: cost 1 inf + 0 10.884 * * [simplify]: Extracting #1: cost 16 inf + 0 10.884 * * [simplify]: Extracting #2: cost 34 inf + 3 10.884 * * [simplify]: Extracting #3: cost 30 inf + 50 10.884 * * [simplify]: Extracting #4: cost 14 inf + 2685 10.885 * * [simplify]: Extracting #5: cost 0 inf + 8470 10.886 * * [simplify]: Extracting #6: cost 0 inf + 8469 10.887 * [simplify]: Simplified to (/ 1 (exp (+ x 1))) 10.887 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (exp (+ x 1))) (pow (exp (+ 1 x)) (- (- x))))) 10.887 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (- x))) 10.887 * * [simplify]: iters left: 5 (7 enodes) 10.889 * * [simplify]: iters left: 4 (31 enodes) 10.895 * * [simplify]: iters left: 3 (59 enodes) 10.910 * * [simplify]: iters left: 2 (105 enodes) 10.939 * * [simplify]: iters left: 1 (182 enodes) 10.983 * * [simplify]: Extracting #0: cost 1 inf + 0 10.983 * * [simplify]: Extracting #1: cost 21 inf + 0 10.983 * * [simplify]: Extracting #2: cost 77 inf + 2 10.984 * * [simplify]: Extracting #3: cost 98 inf + 616 10.986 * * [simplify]: Extracting #4: cost 53 inf + 5379 10.990 * * [simplify]: Extracting #5: cost 24 inf + 16609 10.997 * * [simplify]: Extracting #6: cost 0 inf + 32520 11.004 * [simplify]: Simplified to (pow (* E (exp x)) x) 11.004 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (exp (+ x 1))) (pow (* E (exp x)) x))) 11.004 * * * * [progress]: [ 28 / 61 ] simplifiying candidate # 11.004 * [simplify]: Simplifying (pow (exp 1) (- (- 1 x))) 11.004 * * [simplify]: iters left: 5 (6 enodes) 11.006 * * [simplify]: iters left: 4 (26 enodes) 11.011 * * [simplify]: iters left: 3 (53 enodes) 11.027 * * [simplify]: iters left: 2 (89 enodes) 11.056 * * [simplify]: iters left: 1 (176 enodes) 11.090 * * [simplify]: Extracting #0: cost 1 inf + 0 11.090 * * [simplify]: Extracting #1: cost 13 inf + 0 11.091 * * [simplify]: Extracting #2: cost 58 inf + 2 11.091 * * [simplify]: Extracting #3: cost 83 inf + 8 11.091 * * [simplify]: Extracting #4: cost 73 inf + 2459 11.093 * * [simplify]: Extracting #5: cost 38 inf + 6895 11.095 * * [simplify]: Extracting #6: cost 8 inf + 19223 11.098 * * [simplify]: Extracting #7: cost 0 inf + 24646 11.101 * * [simplify]: Extracting #8: cost 0 inf + 24384 11.105 * [simplify]: Simplified to (pow E (+ x -1)) 11.105 * [simplify]: Simplified (2 1) to (λ (x) (* (pow E (+ x -1)) (pow (exp x) (- (- 1 x))))) 11.106 * [simplify]: Simplifying (pow (exp x) (- (- 1 x))) 11.106 * * [simplify]: iters left: 5 (6 enodes) 11.108 * * [simplify]: iters left: 4 (26 enodes) 11.113 * * [simplify]: iters left: 3 (48 enodes) 11.122 * * [simplify]: iters left: 2 (84 enodes) 11.141 * * [simplify]: iters left: 1 (171 enodes) 11.188 * * [simplify]: Extracting #0: cost 1 inf + 0 11.188 * * [simplify]: Extracting #1: cost 13 inf + 0 11.189 * * [simplify]: Extracting #2: cost 56 inf + 1 11.189 * * [simplify]: Extracting #3: cost 80 inf + 78 11.190 * * [simplify]: Extracting #4: cost 67 inf + 2898 11.193 * * [simplify]: Extracting #5: cost 31 inf + 8657 11.198 * * [simplify]: Extracting #6: cost 7 inf + 18975 11.205 * * [simplify]: Extracting #7: cost 0 inf + 23806 11.211 * [simplify]: Simplified to (pow (exp x) (+ -1 x)) 11.211 * [simplify]: Simplified (2 2) to (λ (x) (* (pow E (+ x -1)) (pow (exp x) (+ -1 x)))) 11.212 * * * * [progress]: [ 29 / 61 ] simplifiying candidate # 11.212 * [simplify]: Simplifying (pow (* (cbrt (exp (+ 1 x))) (cbrt (exp (+ 1 x)))) (- (- 1 x))) 11.212 * * [simplify]: iters left: 6 (9 enodes) 11.217 * * [simplify]: iters left: 5 (39 enodes) 11.230 * * [simplify]: iters left: 4 (65 enodes) 11.251 * * [simplify]: iters left: 3 (103 enodes) 11.288 * * [simplify]: iters left: 2 (186 enodes) 11.335 * * [simplify]: iters left: 1 (352 enodes) 11.507 * * [simplify]: Extracting #0: cost 1 inf + 0 11.507 * * [simplify]: Extracting #1: cost 28 inf + 0 11.507 * * [simplify]: Extracting #2: cost 101 inf + 1 11.509 * * [simplify]: Extracting #3: cost 155 inf + 217 11.512 * * [simplify]: Extracting #4: cost 126 inf + 4929 11.518 * * [simplify]: Extracting #5: cost 73 inf + 15124 11.534 * * [simplify]: Extracting #6: cost 24 inf + 51596 11.556 * * [simplify]: Extracting #7: cost 0 inf + 76761 11.581 * * [simplify]: Extracting #8: cost 0 inf + 74198 11.595 * * [simplify]: Extracting #9: cost 0 inf + 73390 11.615 * [simplify]: Simplified to (pow (* (cbrt (exp (+ x 1))) (cbrt (exp (+ x 1)))) (+ x -1)) 11.615 * [simplify]: Simplified (2 1) to (λ (x) (* (pow (* (cbrt (exp (+ x 1))) (cbrt (exp (+ x 1)))) (+ x -1)) (pow (cbrt (exp (+ 1 x))) (- (- 1 x))))) 11.616 * [simplify]: Simplifying (pow (cbrt (exp (+ 1 x))) (- (- 1 x))) 11.616 * * [simplify]: iters left: 5 (8 enodes) 11.620 * * [simplify]: iters left: 4 (36 enodes) 11.633 * * [simplify]: iters left: 3 (62 enodes) 11.651 * * [simplify]: iters left: 2 (100 enodes) 11.669 * * [simplify]: iters left: 1 (183 enodes) 11.723 * * [simplify]: Extracting #0: cost 1 inf + 0 11.723 * * [simplify]: Extracting #1: cost 13 inf + 0 11.723 * * [simplify]: Extracting #2: cost 57 inf + 1 11.723 * * [simplify]: Extracting #3: cost 85 inf + 7 11.724 * * [simplify]: Extracting #4: cost 82 inf + 1880 11.725 * * [simplify]: Extracting #5: cost 40 inf + 8224 11.728 * * [simplify]: Extracting #6: cost 6 inf + 25459 11.732 * * [simplify]: Extracting #7: cost 0 inf + 28292 11.736 * [simplify]: Simplified to (pow (cbrt (exp (+ x 1))) (+ -1 x)) 11.736 * [simplify]: Simplified (2 2) to (λ (x) (* (pow (* (cbrt (exp (+ 1 x))) (cbrt (exp (+ 1 x)))) (- (- 1 x))) (pow (cbrt (exp (+ x 1))) (+ -1 x)))) 11.736 * * * * [progress]: [ 30 / 61 ] simplifiying candidate # 11.736 * [simplify]: Simplifying (pow (sqrt (exp (+ 1 x))) (- (- 1 x))) 11.736 * * [simplify]: iters left: 5 (8 enodes) 11.739 * * [simplify]: iters left: 4 (36 enodes) 11.745 * * [simplify]: iters left: 3 (62 enodes) 11.756 * * [simplify]: iters left: 2 (100 enodes) 11.774 * * [simplify]: iters left: 1 (183 enodes) 11.815 * * [simplify]: Extracting #0: cost 1 inf + 0 11.815 * * [simplify]: Extracting #1: cost 13 inf + 0 11.815 * * [simplify]: Extracting #2: cost 57 inf + 1 11.815 * * [simplify]: Extracting #3: cost 85 inf + 7 11.815 * * [simplify]: Extracting #4: cost 82 inf + 1760 11.817 * * [simplify]: Extracting #5: cost 40 inf + 7904 11.820 * * [simplify]: Extracting #6: cost 6 inf + 24299 11.823 * * [simplify]: Extracting #7: cost 0 inf + 26932 11.827 * [simplify]: Simplified to (pow (sqrt (exp (+ x 1))) (+ -1 x)) 11.827 * [simplify]: Simplified (2 1) to (λ (x) (* (pow (sqrt (exp (+ x 1))) (+ -1 x)) (pow (sqrt (exp (+ 1 x))) (- (- 1 x))))) 11.828 * [simplify]: Simplifying (pow (sqrt (exp (+ 1 x))) (- (- 1 x))) 11.828 * * [simplify]: iters left: 5 (8 enodes) 11.830 * * [simplify]: iters left: 4 (36 enodes) 11.837 * * [simplify]: iters left: 3 (62 enodes) 11.847 * * [simplify]: iters left: 2 (100 enodes) 11.866 * * [simplify]: iters left: 1 (183 enodes) 11.905 * * [simplify]: Extracting #0: cost 1 inf + 0 11.905 * * [simplify]: Extracting #1: cost 13 inf + 0 11.905 * * [simplify]: Extracting #2: cost 57 inf + 1 11.906 * * [simplify]: Extracting #3: cost 85 inf + 7 11.906 * * [simplify]: Extracting #4: cost 82 inf + 1760 11.907 * * [simplify]: Extracting #5: cost 40 inf + 7904 11.910 * * [simplify]: Extracting #6: cost 6 inf + 24299 11.914 * * [simplify]: Extracting #7: cost 0 inf + 26932 11.918 * [simplify]: Simplified to (pow (sqrt (exp (+ x 1))) (+ -1 x)) 11.918 * [simplify]: Simplified (2 2) to (λ (x) (* (pow (sqrt (exp (+ 1 x))) (- (- 1 x))) (pow (sqrt (exp (+ x 1))) (+ -1 x)))) 11.918 * * * * [progress]: [ 31 / 61 ] simplifiying candidate # 11.918 * [simplify]: Simplifying (pow 1 (- (- 1 x))) 11.918 * * [simplify]: iters left: 5 (5 enodes) 11.920 * * [simplify]: iters left: 4 (17 enodes) 11.923 * * [simplify]: iters left: 3 (26 enodes) 11.927 * * [simplify]: iters left: 2 (28 enodes) 11.931 * * [simplify]: iters left: 1 (29 enodes) 11.935 * * [simplify]: Extracting #0: cost 1 inf + 0 11.935 * * [simplify]: Extracting #1: cost 0 inf + 1 11.935 * [simplify]: Simplified to 1 11.935 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (pow (exp (+ 1 x)) (- (- 1 x))))) 11.935 * [simplify]: Simplifying (pow (exp (+ 1 x)) (- (- 1 x))) 11.935 * * [simplify]: iters left: 5 (7 enodes) 11.937 * * [simplify]: iters left: 4 (33 enodes) 11.944 * * [simplify]: iters left: 3 (59 enodes) 11.954 * * [simplify]: iters left: 2 (97 enodes) 11.979 * * [simplify]: iters left: 1 (184 enodes) 12.047 * * [simplify]: Extracting #0: cost 1 inf + 0 12.047 * * [simplify]: Extracting #1: cost 14 inf + 0 12.048 * * [simplify]: Extracting #2: cost 61 inf + 1 12.048 * * [simplify]: Extracting #3: cost 87 inf + 8 12.049 * * [simplify]: Extracting #4: cost 87 inf + 1252 12.051 * * [simplify]: Extracting #5: cost 46 inf + 6544 12.057 * * [simplify]: Extracting #6: cost 7 inf + 22473 12.064 * * [simplify]: Extracting #7: cost 0 inf + 27247 12.071 * * [simplify]: Extracting #8: cost 0 inf + 27116 12.079 * [simplify]: Simplified to (pow (exp (+ x 1)) (+ x -1)) 12.079 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (pow (exp (+ x 1)) (+ x -1)))) 12.079 * * * * [progress]: [ 32 / 61 ] simplifiying candidate # 12.079 * * * * [progress]: [ 33 / 61 ] simplifiying candidate # 12.079 * [simplify]: Simplifying (log (pow (exp (+ 1 x)) (- (- 1 x)))) 12.080 * * [simplify]: iters left: 6 (8 enodes) 12.084 * * [simplify]: iters left: 5 (38 enodes) 12.100 * * [simplify]: iters left: 4 (72 enodes) 12.114 * * [simplify]: iters left: 3 (145 enodes) 12.156 * * [simplify]: iters left: 2 (349 enodes) 12.308 * * [simplify]: Extracting #0: cost 1 inf + 0 12.309 * * [simplify]: Extracting #1: cost 55 inf + 0 12.309 * * [simplify]: Extracting #2: cost 148 inf + 4 12.310 * * [simplify]: Extracting #3: cost 176 inf + 1815 12.316 * * [simplify]: Extracting #4: cost 97 inf + 12022 12.321 * * [simplify]: Extracting #5: cost 34 inf + 23983 12.332 * * [simplify]: Extracting #6: cost 6 inf + 39804 12.347 * * [simplify]: Extracting #7: cost 0 inf + 44115 12.355 * [simplify]: Simplified to (+ (* x (+ -1 x)) (+ -1 x)) 12.355 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (* x (+ -1 x)) (+ -1 x)))) 12.355 * * * * [progress]: [ 34 / 61 ] simplifiying candidate # 12.355 * [simplify]: Simplifying (exp (pow (exp (+ 1 x)) (- (- 1 x)))) 12.355 * * [simplify]: iters left: 6 (8 enodes) 12.358 * * [simplify]: iters left: 5 (36 enodes) 12.364 * * [simplify]: iters left: 4 (64 enodes) 12.376 * * [simplify]: iters left: 3 (109 enodes) 12.398 * * [simplify]: iters left: 2 (215 enodes) 12.476 * * [simplify]: iters left: 1 (448 enodes) 12.644 * * [simplify]: Extracting #0: cost 1 inf + 0 12.644 * * [simplify]: Extracting #1: cost 26 inf + 0 12.644 * * [simplify]: Extracting #2: cost 139 inf + 0 12.645 * * [simplify]: Extracting #3: cost 272 inf + 4 12.646 * * [simplify]: Extracting #4: cost 279 inf + 6038 12.652 * * [simplify]: Extracting #5: cost 160 inf + 47533 12.664 * * [simplify]: Extracting #6: cost 51 inf + 116599 12.691 * * [simplify]: Extracting #7: cost 0 inf + 161496 12.731 * * [simplify]: Extracting #8: cost 0 inf + 158977 12.752 * [simplify]: Simplified to (exp (pow (exp (+ x 1)) (+ x -1))) 12.752 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (pow (exp (+ x 1)) (+ x -1))))) 12.752 * * * * [progress]: [ 35 / 61 ] simplifiying candidate # 12.752 * [simplify]: Simplifying (* (cbrt (pow (exp (+ 1 x)) (- (- 1 x)))) (cbrt (pow (exp (+ 1 x)) (- (- 1 x))))) 12.752 * * [simplify]: iters left: 6 (9 enodes) 12.755 * * [simplify]: iters left: 5 (39 enodes) 12.763 * * [simplify]: iters left: 4 (65 enodes) 12.782 * * [simplify]: iters left: 3 (103 enodes) 12.818 * * [simplify]: iters left: 2 (186 enodes) 12.864 * * [simplify]: iters left: 1 (351 enodes) 13.033 * * [simplify]: Extracting #0: cost 1 inf + 0 13.033 * * [simplify]: Extracting #1: cost 3 inf + 0 13.033 * * [simplify]: Extracting #2: cost 5 inf + 0 13.033 * * [simplify]: Extracting #3: cost 33 inf + 0 13.034 * * [simplify]: Extracting #4: cost 117 inf + 1 13.035 * * [simplify]: Extracting #5: cost 167 inf + 525 13.039 * * [simplify]: Extracting #6: cost 134 inf + 6848 13.045 * * [simplify]: Extracting #7: cost 76 inf + 17569 13.058 * * [simplify]: Extracting #8: cost 29 inf + 49461 13.077 * * [simplify]: Extracting #9: cost 0 inf + 75295 13.098 * * [simplify]: Extracting #10: cost 0 inf + 75028 13.112 * [simplify]: Simplified to (* (cbrt (pow (exp (+ x 1)) (+ x -1))) (cbrt (pow (exp (+ x 1)) (+ x -1)))) 13.112 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (pow (exp (+ x 1)) (+ x -1))) (cbrt (pow (exp (+ x 1)) (+ x -1)))) (cbrt (pow (exp (+ 1 x)) (- (- 1 x)))))) 13.112 * [simplify]: Simplifying (cbrt (pow (exp (+ 1 x)) (- (- 1 x)))) 13.112 * * [simplify]: iters left: 6 (8 enodes) 13.114 * * [simplify]: iters left: 5 (36 enodes) 13.123 * * [simplify]: iters left: 4 (62 enodes) 13.134 * * [simplify]: iters left: 3 (100 enodes) 13.152 * * [simplify]: iters left: 2 (183 enodes) 13.213 * * [simplify]: iters left: 1 (347 enodes) 13.358 * * [simplify]: Extracting #0: cost 1 inf + 0 13.358 * * [simplify]: Extracting #1: cost 3 inf + 0 13.358 * * [simplify]: Extracting #2: cost 31 inf + 0 13.358 * * [simplify]: Extracting #3: cost 110 inf + 1 13.359 * * [simplify]: Extracting #4: cost 149 inf + 1775 13.361 * * [simplify]: Extracting #5: cost 95 inf + 12127 13.368 * * [simplify]: Extracting #6: cost 19 inf + 55800 13.379 * * [simplify]: Extracting #7: cost 0 inf + 69677 13.397 * * [simplify]: Extracting #8: cost 0 inf + 68941 13.418 * [simplify]: Simplified to (cbrt (pow (exp (+ x 1)) (+ -1 x))) 13.418 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (pow (exp (+ 1 x)) (- (- 1 x)))) (cbrt (pow (exp (+ 1 x)) (- (- 1 x))))) (cbrt (pow (exp (+ x 1)) (+ -1 x))))) 13.418 * * * * [progress]: [ 36 / 61 ] simplifiying candidate # 13.418 * [simplify]: Simplifying (* (* (pow (exp (+ 1 x)) (- (- 1 x))) (pow (exp (+ 1 x)) (- (- 1 x)))) (pow (exp (+ 1 x)) (- (- 1 x)))) 13.419 * * [simplify]: iters left: 6 (9 enodes) 13.423 * * [simplify]: iters left: 5 (42 enodes) 13.432 * * [simplify]: iters left: 4 (88 enodes) 13.460 * * [simplify]: iters left: 3 (199 enodes) 13.541 * * [simplify]: iters left: 2 (452 enodes) 13.924 * * [simplify]: Extracting #0: cost 1 inf + 0 13.924 * * [simplify]: Extracting #1: cost 44 inf + 0 13.925 * * [simplify]: Extracting #2: cost 142 inf + 3 13.926 * * [simplify]: Extracting #3: cost 190 inf + 6 13.927 * * [simplify]: Extracting #4: cost 191 inf + 1550 13.933 * * [simplify]: Extracting #5: cost 113 inf + 29996 13.963 * * [simplify]: Extracting #6: cost 11 inf + 116206 13.981 * * [simplify]: Extracting #7: cost 0 inf + 120322 14.005 * * [simplify]: Extracting #8: cost 0 inf + 117558 14.029 * * [simplify]: Extracting #9: cost 0 inf + 117348 14.046 * [simplify]: Simplified to (pow (pow (exp (+ x 1)) (+ -1 x)) 3) 14.046 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (pow (pow (exp (+ x 1)) (+ -1 x)) 3))) 14.046 * * * * [progress]: [ 37 / 61 ] simplifiying candidate # 14.046 * [simplify]: Simplifying (sqrt (pow (exp (+ 1 x)) (- (- 1 x)))) 14.046 * * [simplify]: iters left: 6 (8 enodes) 14.049 * * [simplify]: iters left: 5 (36 enodes) 14.057 * * [simplify]: iters left: 4 (63 enodes) 14.070 * * [simplify]: iters left: 3 (101 enodes) 14.105 * * [simplify]: iters left: 2 (184 enodes) 14.177 * * [simplify]: iters left: 1 (351 enodes) 14.384 * * [simplify]: Extracting #0: cost 1 inf + 0 14.384 * * [simplify]: Extracting #1: cost 4 inf + 0 14.384 * * [simplify]: Extracting #2: cost 33 inf + 0 14.385 * * [simplify]: Extracting #3: cost 125 inf + 1 14.386 * * [simplify]: Extracting #4: cost 159 inf + 764 14.390 * * [simplify]: Extracting #5: cost 109 inf + 9301 14.402 * * [simplify]: Extracting #6: cost 32 inf + 43802 14.421 * * [simplify]: Extracting #7: cost 1 inf + 68270 14.430 * * [simplify]: Extracting #8: cost 0 inf + 67399 14.440 * * [simplify]: Extracting #9: cost 0 inf + 67070 14.449 * [simplify]: Simplified to (sqrt (pow (exp (+ x 1)) (+ x -1))) 14.450 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (pow (exp (+ x 1)) (+ x -1))) (sqrt (pow (exp (+ 1 x)) (- (- 1 x)))))) 14.450 * [simplify]: Simplifying (sqrt (pow (exp (+ 1 x)) (- (- 1 x)))) 14.450 * * [simplify]: iters left: 6 (8 enodes) 14.452 * * [simplify]: iters left: 5 (36 enodes) 14.459 * * [simplify]: iters left: 4 (63 enodes) 14.470 * * [simplify]: iters left: 3 (101 enodes) 14.489 * * [simplify]: iters left: 2 (184 enodes) 14.541 * * [simplify]: iters left: 1 (351 enodes) 14.706 * * [simplify]: Extracting #0: cost 1 inf + 0 14.706 * * [simplify]: Extracting #1: cost 4 inf + 0 14.706 * * [simplify]: Extracting #2: cost 33 inf + 0 14.706 * * [simplify]: Extracting #3: cost 125 inf + 1 14.707 * * [simplify]: Extracting #4: cost 159 inf + 764 14.709 * * [simplify]: Extracting #5: cost 109 inf + 9301 14.714 * * [simplify]: Extracting #6: cost 32 inf + 43802 14.724 * * [simplify]: Extracting #7: cost 1 inf + 68270 14.740 * * [simplify]: Extracting #8: cost 0 inf + 67399 14.760 * * [simplify]: Extracting #9: cost 0 inf + 67070 14.779 * [simplify]: Simplified to (sqrt (pow (exp (+ x 1)) (+ x -1))) 14.779 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (pow (exp (+ 1 x)) (- (- 1 x)))) (sqrt (pow (exp (+ x 1)) (+ x -1))))) 14.779 * * * * [progress]: [ 38 / 61 ] simplifiying candidate # 14.779 * * * * [progress]: [ 39 / 61 ] simplifiying candidate # 14.780 * [simplify]: Simplifying (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) 14.780 * * [simplify]: iters left: 6 (9 enodes) 14.785 * * [simplify]: iters left: 5 (40 enodes) 14.800 * * [simplify]: iters left: 4 (73 enodes) 14.825 * * [simplify]: iters left: 3 (117 enodes) 14.847 * * [simplify]: iters left: 2 (215 enodes) 14.903 * * [simplify]: iters left: 1 (418 enodes) 15.084 * * [simplify]: Extracting #0: cost 1 inf + 0 15.084 * * [simplify]: Extracting #1: cost 28 inf + 0 15.084 * * [simplify]: Extracting #2: cost 106 inf + 1 15.086 * * [simplify]: Extracting #3: cost 180 inf + 9 15.088 * * [simplify]: Extracting #4: cost 163 inf + 4689 15.101 * * [simplify]: Extracting #5: cost 53 inf + 38492 15.126 * * [simplify]: Extracting #6: cost 0 inf + 72182 15.146 * * [simplify]: Extracting #7: cost 0 inf + 66660 15.156 * * [simplify]: Extracting #8: cost 0 inf + 65613 15.168 * * [simplify]: Extracting #9: cost 0 inf + 65311 15.178 * [simplify]: Simplified to (pow (exp (+ x 1)) (+ -1/2 (/ x 2))) 15.178 * [simplify]: Simplified (2 1) to (λ (x) (* (pow (exp (+ x 1)) (+ -1/2 (/ x 2))) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))) 15.179 * [simplify]: Simplifying (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) 15.179 * * [simplify]: iters left: 6 (9 enodes) 15.182 * * [simplify]: iters left: 5 (40 enodes) 15.191 * * [simplify]: iters left: 4 (73 enodes) 15.214 * * [simplify]: iters left: 3 (117 enodes) 15.256 * * [simplify]: iters left: 2 (215 enodes) 15.337 * * [simplify]: iters left: 1 (418 enodes) 15.540 * * [simplify]: Extracting #0: cost 1 inf + 0 15.540 * * [simplify]: Extracting #1: cost 28 inf + 0 15.540 * * [simplify]: Extracting #2: cost 106 inf + 1 15.541 * * [simplify]: Extracting #3: cost 180 inf + 9 15.542 * * [simplify]: Extracting #4: cost 163 inf + 4689 15.548 * * [simplify]: Extracting #5: cost 53 inf + 38492 15.574 * * [simplify]: Extracting #6: cost 0 inf + 72182 15.588 * * [simplify]: Extracting #7: cost 0 inf + 66660 15.598 * * [simplify]: Extracting #8: cost 0 inf + 65613 15.609 * * [simplify]: Extracting #9: cost 0 inf + 65311 15.626 * [simplify]: Simplified to (pow (exp (+ x 1)) (+ -1/2 (/ x 2))) 15.626 * [simplify]: Simplified (2 2) to (λ (x) (* (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) (pow (exp (+ x 1)) (+ -1/2 (/ x 2))))) 15.627 * * * * [progress]: [ 40 / 61 ] simplifiying candidate #real (real->posit16 (pow (exp (+ 1 x)) (- (- 1 x))))))> 15.627 * [simplify]: Simplifying (real->posit16 (pow (exp (+ 1 x)) (- (- 1 x)))) 15.627 * * [simplify]: iters left: 6 (8 enodes) 15.632 * * [simplify]: iters left: 5 (33 enodes) 15.642 * * [simplify]: iters left: 4 (59 enodes) 15.652 * * [simplify]: iters left: 3 (97 enodes) 15.671 * * [simplify]: iters left: 2 (184 enodes) 15.722 * * [simplify]: iters left: 1 (352 enodes) 15.872 * * [simplify]: Extracting #0: cost 1 inf + 0 15.872 * * [simplify]: Extracting #1: cost 2 inf + 0 15.872 * * [simplify]: Extracting #2: cost 26 inf + 0 15.872 * * [simplify]: Extracting #3: cost 102 inf + 1 15.873 * * [simplify]: Extracting #4: cost 155 inf + 595 15.875 * * [simplify]: Extracting #5: cost 111 inf + 8264 15.878 * * [simplify]: Extracting #6: cost 58 inf + 20620 15.886 * * [simplify]: Extracting #7: cost 16 inf + 52155 15.895 * * [simplify]: Extracting #8: cost 0 inf + 66456 15.913 * * [simplify]: Extracting #9: cost 0 inf + 64539 15.931 * * [simplify]: Extracting #10: cost 0 inf + 64325 15.948 * [simplify]: Simplified to (real->posit16 (pow (exp (+ x 1)) (+ x -1))) 15.949 * [simplify]: Simplified (2 1) to (λ (x) (posit16->real (real->posit16 (pow (exp (+ x 1)) (+ x -1))))) 15.949 * * * * [progress]: [ 41 / 61 ] simplifiying candidate # 15.949 * * * * [progress]: [ 42 / 61 ] simplifiying candidate # 15.949 * [simplify]: Simplifying (exp (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 15.949 * * [simplify]: iters left: 6 (6 enodes) 15.953 * * [simplify]: iters left: 5 (23 enodes) 15.960 * * [simplify]: iters left: 4 (31 enodes) 15.973 * * [simplify]: iters left: 3 (42 enodes) 15.980 * * [simplify]: iters left: 2 (66 enodes) 15.993 * * [simplify]: iters left: 1 (118 enodes) 16.026 * * [simplify]: Extracting #0: cost 1 inf + 0 16.026 * * [simplify]: Extracting #1: cost 15 inf + 0 16.026 * * [simplify]: Extracting #2: cost 57 inf + 1 16.027 * * [simplify]: Extracting #3: cost 74 inf + 4 16.027 * * [simplify]: Extracting #4: cost 74 inf + 6 16.027 * * [simplify]: Extracting #5: cost 50 inf + 4533 16.029 * * [simplify]: Extracting #6: cost 23 inf + 13497 16.032 * * [simplify]: Extracting #7: cost 2 inf + 29279 16.035 * * [simplify]: Extracting #8: cost 0 inf + 31078 16.039 * [simplify]: Simplified to (exp (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 16.039 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (pow (exp (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ 1 x))) (- (- 1 x)))) 16.039 * * * * [progress]: [ 43 / 61 ] simplifiying candidate # 16.039 * [simplify]: Simplifying (exp (sqrt (+ 1 x))) 16.039 * * [simplify]: iters left: 4 (5 enodes) 16.041 * * [simplify]: iters left: 3 (18 enodes) 16.044 * * [simplify]: iters left: 2 (20 enodes) 16.047 * * [simplify]: Extracting #0: cost 1 inf + 0 16.047 * * [simplify]: Extracting #1: cost 3 inf + 0 16.048 * * [simplify]: Extracting #2: cost 5 inf + 0 16.048 * * [simplify]: Extracting #3: cost 8 inf + 0 16.048 * * [simplify]: Extracting #4: cost 6 inf + 2 16.048 * * [simplify]: Extracting #5: cost 0 inf + 554 16.048 * [simplify]: Simplified to (exp (sqrt (+ x 1))) 16.048 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (pow (exp (sqrt (+ x 1))) (sqrt (+ 1 x))) (- (- 1 x)))) 16.048 * * * * [progress]: [ 44 / 61 ] simplifiying candidate # 16.049 * [simplify]: Simplifying (exp 1) 16.049 * * [simplify]: iters left: 1 (2 enodes) 16.050 * * [simplify]: Extracting #0: cost 1 inf + 0 16.050 * * [simplify]: Extracting #1: cost 0 inf + 1 16.050 * [simplify]: Simplified to E 16.050 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (pow E (+ 1 x)) (- (- 1 x)))) 16.050 * * * * [progress]: [ 45 / 61 ] simplifiying candidate # 16.051 * [simplify]: Simplifying (exp 1) 16.051 * * [simplify]: iters left: 1 (2 enodes) 16.052 * * [simplify]: Extracting #0: cost 1 inf + 0 16.052 * * [simplify]: Extracting #1: cost 0 inf + 1 16.052 * [simplify]: Simplified to E 16.052 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (pow E (+ 1 x)) (- (- 1 x)))) 16.052 * * * * [progress]: [ 46 / 61 ] simplifiying candidate # 16.053 * [simplify]: Simplifying (exp 1) 16.053 * * [simplify]: iters left: 1 (2 enodes) 16.054 * * [simplify]: Extracting #0: cost 1 inf + 0 16.054 * * [simplify]: Extracting #1: cost 0 inf + 1 16.054 * [simplify]: Simplified to E 16.054 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (* E (exp x)) (- (- 1 x)))) 16.054 * [simplify]: Simplifying (exp x) 16.054 * * [simplify]: iters left: 1 (2 enodes) 16.055 * * [simplify]: Extracting #0: cost 1 inf + 0 16.055 * * [simplify]: Extracting #1: cost 3 inf + 0 16.055 * * [simplify]: Extracting #2: cost 2 inf + 1 16.055 * * [simplify]: Extracting #3: cost 0 inf + 143 16.056 * [simplify]: Simplified to (exp x) 16.056 * [simplify]: Simplified (2 1 2) to (λ (x) (pow (* E (exp x)) (- (- 1 x)))) 16.056 * * * * [progress]: [ 47 / 61 ] simplifiying candidate # 16.056 * * * * [progress]: [ 48 / 61 ] simplifiying candidate # 16.056 * * * * [progress]: [ 49 / 61 ] simplifiying candidate # 16.056 * [simplify]: Simplifying (log (exp (+ 1 x))) 16.056 * * [simplify]: iters left: 4 (5 enodes) 16.059 * * [simplify]: iters left: 3 (19 enodes) 16.065 * * [simplify]: iters left: 2 (28 enodes) 16.071 * * [simplify]: iters left: 1 (30 enodes) 16.074 * * [simplify]: Extracting #0: cost 1 inf + 0 16.075 * * [simplify]: Extracting #1: cost 5 inf + 0 16.075 * * [simplify]: Extracting #2: cost 6 inf + 2 16.075 * * [simplify]: Extracting #3: cost 3 inf + 158 16.075 * * [simplify]: Extracting #4: cost 0 inf + 453 16.075 * [simplify]: Simplified to (+ x 1) 16.075 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (exp (+ x 1)) (- (- 1 x)))) 16.075 * * * * [progress]: [ 50 / 61 ] simplifiying candidate # 16.075 * [simplify]: Simplifying (exp (exp (+ 1 x))) 16.075 * * [simplify]: iters left: 4 (5 enodes) 16.077 * * [simplify]: iters left: 3 (21 enodes) 16.080 * * [simplify]: iters left: 2 (29 enodes) 16.085 * * [simplify]: iters left: 1 (37 enodes) 16.091 * * [simplify]: Extracting #0: cost 1 inf + 0 16.091 * * [simplify]: Extracting #1: cost 9 inf + 0 16.091 * * [simplify]: Extracting #2: cost 16 inf + 72 16.091 * * [simplify]: Extracting #3: cost 17 inf + 145 16.091 * * [simplify]: Extracting #4: cost 11 inf + 653 16.091 * * [simplify]: Extracting #5: cost 2 inf + 2022 16.091 * * [simplify]: Extracting #6: cost 0 inf + 2848 16.092 * [simplify]: Simplified to (exp (* (exp x) E)) 16.092 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (log (exp (* (exp x) E))) (- (- 1 x)))) 16.092 * * * * [progress]: [ 51 / 61 ] simplifiying candidate # 16.092 * [simplify]: Simplifying (* (cbrt (exp (+ 1 x))) (cbrt (exp (+ 1 x)))) 16.092 * * [simplify]: iters left: 6 (6 enodes) 16.096 * * [simplify]: iters left: 5 (24 enodes) 16.104 * * [simplify]: iters left: 4 (30 enodes) 16.110 * * [simplify]: iters left: 3 (32 enodes) 16.115 * * [simplify]: Extracting #0: cost 1 inf + 0 16.115 * * [simplify]: Extracting #1: cost 3 inf + 0 16.115 * * [simplify]: Extracting #2: cost 5 inf + 0 16.115 * * [simplify]: Extracting #3: cost 9 inf + 0 16.115 * * [simplify]: Extracting #4: cost 12 inf + 1 16.115 * * [simplify]: Extracting #5: cost 8 inf + 145 16.115 * * [simplify]: Extracting #6: cost 4 inf + 453 16.115 * * [simplify]: Extracting #7: cost 2 inf + 877 16.115 * * [simplify]: Extracting #8: cost 0 inf + 1301 16.115 * [simplify]: Simplified to (* (cbrt (* E (exp x))) (cbrt (* E (exp x)))) 16.115 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (* (* (cbrt (* E (exp x))) (cbrt (* E (exp x)))) (cbrt (exp (+ 1 x)))) (- (- 1 x)))) 16.116 * [simplify]: Simplifying (cbrt (exp (+ 1 x))) 16.116 * * [simplify]: iters left: 4 (5 enodes) 16.117 * * [simplify]: iters left: 3 (21 enodes) 16.121 * * [simplify]: iters left: 2 (27 enodes) 16.124 * * [simplify]: iters left: 1 (29 enodes) 16.128 * * [simplify]: Extracting #0: cost 1 inf + 0 16.128 * * [simplify]: Extracting #1: cost 3 inf + 0 16.128 * * [simplify]: Extracting #2: cost 7 inf + 0 16.129 * * [simplify]: Extracting #3: cost 10 inf + 1 16.129 * * [simplify]: Extracting #4: cost 7 inf + 74 16.129 * * [simplify]: Extracting #5: cost 0 inf + 837 16.129 * [simplify]: Simplified to (cbrt (* (exp x) E)) 16.129 * [simplify]: Simplified (2 1 2) to (λ (x) (pow (* (* (cbrt (exp (+ 1 x))) (cbrt (exp (+ 1 x)))) (cbrt (* (exp x) E))) (- (- 1 x)))) 16.129 * * * * [progress]: [ 52 / 61 ] simplifiying candidate # 16.129 * [simplify]: Simplifying (* (* (exp (+ 1 x)) (exp (+ 1 x))) (exp (+ 1 x))) 16.129 * * [simplify]: iters left: 6 (6 enodes) 16.131 * * [simplify]: iters left: 5 (27 enodes) 16.137 * * [simplify]: iters left: 4 (60 enodes) 16.162 * * [simplify]: iters left: 3 (150 enodes) 16.223 * * [simplify]: iters left: 2 (273 enodes) 16.325 * * [simplify]: iters left: 1 (446 enodes) 16.459 * * [simplify]: Extracting #0: cost 1 inf + 0 16.460 * * [simplify]: Extracting #1: cost 46 inf + 0 16.460 * * [simplify]: Extracting #2: cost 125 inf + 2 16.461 * * [simplify]: Extracting #3: cost 111 inf + 1939 16.463 * * [simplify]: Extracting #4: cost 33 inf + 22251 16.468 * * [simplify]: Extracting #5: cost 1 inf + 33940 16.473 * * [simplify]: Extracting #6: cost 0 inf + 34383 16.477 * [simplify]: Simplified to (* (exp (+ x 1)) (* (exp (+ x 1)) (exp (+ x 1)))) 16.477 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (cbrt (* (exp (+ x 1)) (* (exp (+ x 1)) (exp (+ x 1))))) (- (- 1 x)))) 16.478 * * * * [progress]: [ 53 / 61 ] simplifiying candidate # 16.478 * [simplify]: Simplifying (sqrt (exp (+ 1 x))) 16.478 * * [simplify]: iters left: 4 (5 enodes) 16.480 * * [simplify]: iters left: 3 (21 enodes) 16.483 * * [simplify]: iters left: 2 (27 enodes) 16.487 * * [simplify]: iters left: 1 (29 enodes) 16.491 * * [simplify]: Extracting #0: cost 1 inf + 0 16.491 * * [simplify]: Extracting #1: cost 3 inf + 0 16.491 * * [simplify]: Extracting #2: cost 7 inf + 0 16.491 * * [simplify]: Extracting #3: cost 10 inf + 1 16.492 * * [simplify]: Extracting #4: cost 7 inf + 74 16.492 * * [simplify]: Extracting #5: cost 0 inf + 757 16.492 * [simplify]: Simplified to (sqrt (* (exp x) E)) 16.492 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (* (sqrt (* (exp x) E)) (sqrt (exp (+ 1 x)))) (- (- 1 x)))) 16.492 * [simplify]: Simplifying (sqrt (exp (+ 1 x))) 16.492 * * [simplify]: iters left: 4 (5 enodes) 16.496 * * [simplify]: iters left: 3 (21 enodes) 16.502 * * [simplify]: iters left: 2 (27 enodes) 16.506 * * [simplify]: iters left: 1 (29 enodes) 16.510 * * [simplify]: Extracting #0: cost 1 inf + 0 16.510 * * [simplify]: Extracting #1: cost 3 inf + 0 16.510 * * [simplify]: Extracting #2: cost 7 inf + 0 16.510 * * [simplify]: Extracting #3: cost 10 inf + 1 16.510 * * [simplify]: Extracting #4: cost 7 inf + 74 16.510 * * [simplify]: Extracting #5: cost 0 inf + 757 16.510 * [simplify]: Simplified to (sqrt (* (exp x) E)) 16.510 * [simplify]: Simplified (2 1 2) to (λ (x) (pow (* (sqrt (exp (+ 1 x))) (sqrt (* (exp x) E))) (- (- 1 x)))) 16.510 * * * * [progress]: [ 54 / 61 ] simplifiying candidate # 16.510 * * * * [progress]: [ 55 / 61 ] simplifiying candidate #real (real->posit16 (exp (+ 1 x)))) (- (- 1 x))))> 16.510 * [simplify]: Simplifying (real->posit16 (exp (+ 1 x))) 16.511 * * [simplify]: iters left: 4 (5 enodes) 16.512 * * [simplify]: iters left: 3 (18 enodes) 16.515 * * [simplify]: iters left: 2 (24 enodes) 16.521 * * [simplify]: iters left: 1 (26 enodes) 16.525 * * [simplify]: Extracting #0: cost 1 inf + 0 16.525 * * [simplify]: Extracting #1: cost 2 inf + 0 16.525 * * [simplify]: Extracting #2: cost 5 inf + 0 16.525 * * [simplify]: Extracting #3: cost 8 inf + 1 16.525 * * [simplify]: Extracting #4: cost 5 inf + 74 16.525 * * [simplify]: Extracting #5: cost 1 inf + 341 16.525 * * [simplify]: Extracting #6: cost 0 inf + 453 16.525 * [simplify]: Simplified to (real->posit16 (* (exp x) E)) 16.525 * [simplify]: Simplified (2 1 1) to (λ (x) (pow (posit16->real (real->posit16 (* (exp x) E))) (- (- 1 x)))) 16.525 * * * * [progress]: [ 56 / 61 ] simplifiying candidate # 16.526 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 16.526 * * [simplify]: iters left: 6 (13 enodes) 16.532 * * [simplify]: iters left: 5 (56 enodes) 16.551 * * [simplify]: iters left: 4 (88 enodes) 16.581 * * [simplify]: iters left: 3 (135 enodes) 16.616 * * [simplify]: iters left: 2 (210 enodes) 16.664 * * [simplify]: iters left: 1 (337 enodes) 16.797 * * [simplify]: Extracting #0: cost 1 inf + 0 16.797 * * [simplify]: Extracting #1: cost 12 inf + 0 16.797 * * [simplify]: Extracting #2: cost 55 inf + 1 16.797 * * [simplify]: Extracting #3: cost 84 inf + 716 16.799 * * [simplify]: Extracting #4: cost 31 inf + 7980 16.803 * * [simplify]: Extracting #5: cost 1 inf + 14128 16.810 * * [simplify]: Extracting #6: cost 0 inf + 14339 16.818 * [simplify]: Simplified to (+ (* (exp -1) (+ (* x x) (* 1/2 (* (* x x) (* x x))))) (exp -1)) 16.819 * [simplify]: Simplified (2) to (λ (x) (+ (* (exp -1) (+ (* x x) (* 1/2 (* (* x x) (* x x))))) (exp -1))) 16.819 * * * * [progress]: [ 57 / 61 ] simplifiying candidate # 16.819 * [simplify]: Simplifying (exp (* (+ x 1) (- x 1))) 16.819 * * [simplify]: iters left: 5 (6 enodes) 16.823 * * [simplify]: iters left: 4 (27 enodes) 16.833 * * [simplify]: iters left: 3 (57 enodes) 16.856 * * [simplify]: iters left: 2 (129 enodes) 16.902 * * [simplify]: iters left: 1 (267 enodes) 17.013 * * [simplify]: Extracting #0: cost 1 inf + 0 17.014 * * [simplify]: Extracting #1: cost 42 inf + 0 17.014 * * [simplify]: Extracting #2: cost 132 inf + 2 17.016 * * [simplify]: Extracting #3: cost 150 inf + 1552 17.020 * * [simplify]: Extracting #4: cost 58 inf + 13696 17.027 * * [simplify]: Extracting #5: cost 12 inf + 21701 17.036 * * [simplify]: Extracting #6: cost 1 inf + 27411 17.046 * * [simplify]: Extracting #7: cost 0 inf + 28317 17.054 * [simplify]: Simplified to (exp (- (* x (+ 1 x)) (+ 1 x))) 17.054 * [simplify]: Simplified (2) to (λ (x) (exp (- (* x (+ 1 x)) (+ 1 x)))) 17.054 * * * * [progress]: [ 58 / 61 ] simplifiying candidate # 17.054 * [simplify]: Simplifying (exp (* -1 (* (- 1 x) (+ x 1)))) 17.054 * * [simplify]: iters left: 6 (8 enodes) 17.057 * * [simplify]: iters left: 5 (42 enodes) 17.070 * * [simplify]: iters left: 4 (121 enodes) 17.111 * * [simplify]: iters left: 3 (274 enodes) 17.240 * * [simplify]: Extracting #0: cost 1 inf + 0 17.240 * * [simplify]: Extracting #1: cost 41 inf + 0 17.241 * * [simplify]: Extracting #2: cost 118 inf + 73 17.241 * * [simplify]: Extracting #3: cost 133 inf + 2244 17.245 * * [simplify]: Extracting #4: cost 38 inf + 16447 17.255 * * [simplify]: Extracting #5: cost 0 inf + 25206 17.264 * * [simplify]: Extracting #6: cost 0 inf + 25106 17.273 * [simplify]: Simplified to (exp (+ (+ -1 x) (* (+ -1 x) x))) 17.274 * [simplify]: Simplified (2) to (λ (x) (exp (+ (+ -1 x) (* (+ -1 x) x)))) 17.274 * * * * [progress]: [ 59 / 61 ] simplifiying candidate # 17.274 * [simplify]: Simplifying (+ (* 1/2 (* (pow x 2) E)) (+ E (* x E))) 17.274 * * [simplify]: iters left: 6 (10 enodes) 17.280 * * [simplify]: iters left: 5 (47 enodes) 17.296 * * [simplify]: iters left: 4 (81 enodes) 17.311 * * [simplify]: iters left: 3 (135 enodes) 17.340 * * [simplify]: iters left: 2 (170 enodes) 17.369 * * [simplify]: iters left: 1 (206 enodes) 17.425 * * [simplify]: Extracting #0: cost 1 inf + 0 17.425 * * [simplify]: Extracting #1: cost 9 inf + 0 17.425 * * [simplify]: Extracting #2: cost 30 inf + 1 17.426 * * [simplify]: Extracting #3: cost 41 inf + 4 17.426 * * [simplify]: Extracting #4: cost 24 inf + 999 17.428 * * [simplify]: Extracting #5: cost 4 inf + 3212 17.430 * * [simplify]: Extracting #6: cost 0 inf + 3863 17.433 * [simplify]: Simplified to (+ (* (+ (* (* x x) 1/2) x) E) E) 17.433 * [simplify]: Simplified (2 1) to (λ (x) (pow (+ (* (+ (* (* x x) 1/2) x) E) E) (- (- 1 x)))) 17.433 * * * * [progress]: [ 60 / 61 ] simplifiying candidate # 17.433 * [simplify]: Simplifying (exp (+ x 1)) 17.433 * * [simplify]: iters left: 3 (4 enodes) 17.436 * * [simplify]: iters left: 2 (18 enodes) 17.439 * * [simplify]: iters left: 1 (24 enodes) 17.442 * * [simplify]: Extracting #0: cost 1 inf + 0 17.442 * * [simplify]: Extracting #1: cost 5 inf + 0 17.442 * * [simplify]: Extracting #2: cost 8 inf + 1 17.443 * * [simplify]: Extracting #3: cost 6 inf + 3 17.443 * * [simplify]: Extracting #4: cost 0 inf + 453 17.443 * [simplify]: Simplified to (exp (+ 1 x)) 17.443 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (+ 1 x)) (- (- 1 x)))) 17.443 * * * * [progress]: [ 61 / 61 ] simplifiying candidate # 17.443 * [simplify]: Simplifying (exp (+ x 1)) 17.443 * * [simplify]: iters left: 3 (4 enodes) 17.444 * * [simplify]: iters left: 2 (18 enodes) 17.448 * * [simplify]: iters left: 1 (24 enodes) 17.451 * * [simplify]: Extracting #0: cost 1 inf + 0 17.451 * * [simplify]: Extracting #1: cost 5 inf + 0 17.451 * * [simplify]: Extracting #2: cost 8 inf + 1 17.451 * * [simplify]: Extracting #3: cost 6 inf + 3 17.452 * * [simplify]: Extracting #4: cost 0 inf + 453 17.452 * [simplify]: Simplified to (exp (+ 1 x)) 17.452 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (+ 1 x)) (- (- 1 x)))) 17.452 * * * [progress]: adding candidates to table 18.014 * [progress]: [Phase 3 of 3] Extracting. 18.014 * * [regime]: Finding splitpoints for: (# #) 18.015 * * * [regime-changes]: Trying 5 branch expressions: (x (* x x) (- 1 (* x x)) (- (- 1 (* x x))) (exp (- (- 1 (* x x))))) 18.015 * * * * [regimes]: Trying to branch on x from (# #) 18.040 * * * * [regimes]: Trying to branch on (* x x) from (# #) 18.056 * * * * [regimes]: Trying to branch on (- 1 (* x x)) from (# #) 18.066 * * * * [regimes]: Trying to branch on (- (- 1 (* x x))) from (# #) 18.091 * * * * [regimes]: Trying to branch on (exp (- (- 1 (* x x)))) from (# #) 18.114 * * * [regime]: Found split indices: #