1553941216.897 * [progress]: [Phase 1 of 3] Setting up. 1553941216.899 * * * [progress]: [1/2] Preparing points 1553941217.252 * * * [progress]: [2/2] Setting up program. 1553941217.259 * [progress]: [Phase 2 of 3] Improving. 1553941217.259 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553941217.261 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x)) 1553941217.262 * * [simplify]: iters left: 5 (6 enodes) 1553941217.276 * * [simplify]: iters left: 4 (24 enodes) 1553941217.280 * * [simplify]: iters left: 3 (28 enodes) 1553941217.285 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941217.286 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941217.286 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941217.287 * * [simplify]: Extracting #3: cost 10 inf + 1 1553941217.287 * * [simplify]: Extracting #4: cost 5 inf + 128 1553941217.287 * * [simplify]: Extracting #5: cost 1 inf + 495 1553941217.287 * * [simplify]: Extracting #6: cost 0 inf + 657 1553941217.287 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x)) 1553941217.288 * [simplify]: Simplified (2) to (λ (x) (* (sqrt (+ x -1)) (sqrt x))) 1553941217.292 * * [progress]: iteration 1 / 4 1553941217.292 * * * [progress]: picking best candidate 1553941217.294 * * * * [pick]: Picked # 1553941217.294 * * * [progress]: localizing error 1553941217.306 * * * [progress]: generating rewritten candidates 1553941217.307 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1553941217.339 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553941217.348 * * * [progress]: generating series expansions 1553941217.349 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1553941217.353 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1))) 1553941217.353 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0 1553941217.356 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x 1553941217.356 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553941217.356 * [taylor]: Taking taylor expansion of x in x 1553941217.356 * [backup-simplify]: Simplify 0 into 0 1553941217.356 * [backup-simplify]: Simplify 1 into 1 1553941217.356 * [taylor]: Taking taylor expansion of (- x 1) in x 1553941217.356 * [taylor]: Taking taylor expansion of x in x 1553941217.356 * [backup-simplify]: Simplify 0 into 0 1553941217.356 * [backup-simplify]: Simplify 1 into 1 1553941217.356 * [taylor]: Taking taylor expansion of 1 in x 1553941217.356 * [backup-simplify]: Simplify 1 into 1 1553941217.357 * [backup-simplify]: Simplify (- 1) into -1 1553941217.358 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.358 * [backup-simplify]: Simplify (* 0 -1) into 0 1553941217.359 * [backup-simplify]: Simplify (- 0) into 0 1553941217.359 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.359 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553941217.360 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.361 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.361 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x 1553941217.361 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553941217.361 * [taylor]: Taking taylor expansion of x in x 1553941217.361 * [backup-simplify]: Simplify 0 into 0 1553941217.361 * [backup-simplify]: Simplify 1 into 1 1553941217.361 * [taylor]: Taking taylor expansion of (- x 1) in x 1553941217.361 * [taylor]: Taking taylor expansion of x in x 1553941217.361 * [backup-simplify]: Simplify 0 into 0 1553941217.361 * [backup-simplify]: Simplify 1 into 1 1553941217.361 * [taylor]: Taking taylor expansion of 1 in x 1553941217.361 * [backup-simplify]: Simplify 1 into 1 1553941217.361 * [backup-simplify]: Simplify (- 1) into -1 1553941217.361 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.362 * [backup-simplify]: Simplify (* 0 -1) into 0 1553941217.362 * [backup-simplify]: Simplify (- 0) into 0 1553941217.362 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.363 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553941217.363 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.364 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.364 * [backup-simplify]: Simplify 0 into 0 1553941217.364 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.365 * [backup-simplify]: Simplify (- 0) into 0 1553941217.365 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.366 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553941217.368 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553941217.368 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.368 * [backup-simplify]: Simplify (- 0) into 0 1553941217.369 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.369 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553941217.372 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.372 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.373 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 3)) (+ (* +nan.0 (pow x 2)) (* +nan.0 x))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 1553941217.373 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x)) 1553941217.373 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0 1553941217.373 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x 1553941217.373 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553941217.373 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553941217.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.373 * [taylor]: Taking taylor expansion of x in x 1553941217.373 * [backup-simplify]: Simplify 0 into 0 1553941217.373 * [backup-simplify]: Simplify 1 into 1 1553941217.374 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.374 * [taylor]: Taking taylor expansion of 1 in x 1553941217.374 * [backup-simplify]: Simplify 1 into 1 1553941217.374 * [taylor]: Taking taylor expansion of x in x 1553941217.374 * [backup-simplify]: Simplify 0 into 0 1553941217.374 * [backup-simplify]: Simplify 1 into 1 1553941217.374 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.375 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.375 * [backup-simplify]: Simplify (sqrt 1) into 1 1553941217.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941217.376 * [backup-simplify]: Simplify (- 1) into -1 1553941217.376 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.377 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1553941217.377 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1553941217.377 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x 1553941217.377 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553941217.377 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553941217.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.377 * [taylor]: Taking taylor expansion of x in x 1553941217.377 * [backup-simplify]: Simplify 0 into 0 1553941217.377 * [backup-simplify]: Simplify 1 into 1 1553941217.378 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.378 * [taylor]: Taking taylor expansion of 1 in x 1553941217.378 * [backup-simplify]: Simplify 1 into 1 1553941217.378 * [taylor]: Taking taylor expansion of x in x 1553941217.378 * [backup-simplify]: Simplify 0 into 0 1553941217.378 * [backup-simplify]: Simplify 1 into 1 1553941217.378 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.378 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.379 * [backup-simplify]: Simplify (sqrt 1) into 1 1553941217.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941217.380 * [backup-simplify]: Simplify (- 1) into -1 1553941217.380 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.381 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1553941217.381 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1553941217.381 * [backup-simplify]: Simplify 1 into 1 1553941217.381 * [backup-simplify]: Simplify -1/2 into -1/2 1553941217.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.382 * [backup-simplify]: Simplify (- 0) into 0 1553941217.382 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0 1553941217.383 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8 1553941217.383 * [backup-simplify]: Simplify -1/8 into -1/8 1553941217.384 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941217.384 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) 1553941217.384 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0 1553941217.384 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x 1553941217.384 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1553941217.384 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1553941217.384 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553941217.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.384 * [taylor]: Taking taylor expansion of x in x 1553941217.384 * [backup-simplify]: Simplify 0 into 0 1553941217.384 * [backup-simplify]: Simplify 1 into 1 1553941217.384 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.384 * [taylor]: Taking taylor expansion of 1 in x 1553941217.384 * [backup-simplify]: Simplify 1 into 1 1553941217.384 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.385 * [backup-simplify]: Simplify (- 1) into -1 1553941217.385 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.385 * [backup-simplify]: Simplify (- 1) into -1 1553941217.386 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.386 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1553941217.386 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553941217.386 * [taylor]: Taking taylor expansion of -1 in x 1553941217.386 * [backup-simplify]: Simplify -1 into -1 1553941217.386 * [taylor]: Taking taylor expansion of x in x 1553941217.386 * [backup-simplify]: Simplify 0 into 0 1553941217.386 * [backup-simplify]: Simplify 1 into 1 1553941217.386 * [backup-simplify]: Simplify (/ -1 1) into -1 1553941217.387 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.387 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.387 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x 1553941217.387 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1553941217.388 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1553941217.388 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553941217.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.388 * [taylor]: Taking taylor expansion of x in x 1553941217.388 * [backup-simplify]: Simplify 0 into 0 1553941217.388 * [backup-simplify]: Simplify 1 into 1 1553941217.388 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.388 * [taylor]: Taking taylor expansion of 1 in x 1553941217.388 * [backup-simplify]: Simplify 1 into 1 1553941217.388 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.388 * [backup-simplify]: Simplify (- 1) into -1 1553941217.389 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.389 * [backup-simplify]: Simplify (- 1) into -1 1553941217.390 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.390 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1553941217.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553941217.390 * [taylor]: Taking taylor expansion of -1 in x 1553941217.390 * [backup-simplify]: Simplify -1 into -1 1553941217.390 * [taylor]: Taking taylor expansion of x in x 1553941217.390 * [backup-simplify]: Simplify 0 into 0 1553941217.390 * [backup-simplify]: Simplify 1 into 1 1553941217.390 * [backup-simplify]: Simplify (/ -1 1) into -1 1553941217.390 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.391 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.392 * [backup-simplify]: Simplify (* 0 0) into 0 1553941217.392 * [backup-simplify]: Simplify 0 into 0 1553941217.393 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 1553941217.393 * [backup-simplify]: Simplify 0 into 0 1553941217.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553941217.396 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553941217.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941217.397 * [backup-simplify]: Simplify (+ 0 1) into 1 1553941217.397 * [backup-simplify]: Simplify (- 1) into -1 1553941217.399 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553941217.400 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 1553941217.401 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1553941217.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.404 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.405 * [backup-simplify]: Simplify (- 0) into 0 1553941217.407 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.409 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 1553941217.410 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1553941217.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.414 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.415 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.415 * [backup-simplify]: Simplify (- 0) into 0 1553941217.418 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.421 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) 1553941217.421 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1553941217.422 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553941217.422 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553941217.422 * [backup-simplify]: Simplify (sqrt (- x 1)) into (sqrt (- x 1)) 1553941217.422 * [approximate]: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1553941217.422 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x 1553941217.422 * [taylor]: Taking taylor expansion of (- x 1) in x 1553941217.422 * [taylor]: Taking taylor expansion of x in x 1553941217.422 * [backup-simplify]: Simplify 0 into 0 1553941217.422 * [backup-simplify]: Simplify 1 into 1 1553941217.422 * [taylor]: Taking taylor expansion of 1 in x 1553941217.422 * [backup-simplify]: Simplify 1 into 1 1553941217.423 * [backup-simplify]: Simplify (- 1) into -1 1553941217.423 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.423 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553941217.423 * [backup-simplify]: Simplify (- 0) into 0 1553941217.424 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.425 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1553941217.425 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x 1553941217.425 * [taylor]: Taking taylor expansion of (- x 1) in x 1553941217.425 * [taylor]: Taking taylor expansion of x in x 1553941217.425 * [backup-simplify]: Simplify 0 into 0 1553941217.425 * [backup-simplify]: Simplify 1 into 1 1553941217.425 * [taylor]: Taking taylor expansion of 1 in x 1553941217.425 * [backup-simplify]: Simplify 1 into 1 1553941217.425 * [backup-simplify]: Simplify (- 1) into -1 1553941217.425 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.426 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553941217.426 * [backup-simplify]: Simplify (- 0) into 0 1553941217.426 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.732 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1553941217.733 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553941217.734 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1553941217.734 * [backup-simplify]: Simplify (- 0) into 0 1553941217.734 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.736 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1)) 1553941217.737 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1)) 1553941217.738 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 2)) (+ (* (/ 1/2 (sqrt -1)) x) (sqrt -1))) into (+ (* 1/2 (/ x (sqrt -1))) (+ (* 1/8 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1553941217.739 * [backup-simplify]: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1553941217.739 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1553941217.739 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1553941217.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553941217.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.739 * [taylor]: Taking taylor expansion of x in x 1553941217.739 * [backup-simplify]: Simplify 0 into 0 1553941217.739 * [backup-simplify]: Simplify 1 into 1 1553941217.739 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.739 * [taylor]: Taking taylor expansion of 1 in x 1553941217.739 * [backup-simplify]: Simplify 1 into 1 1553941217.739 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.740 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.741 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553941217.741 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1553941217.741 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553941217.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.741 * [taylor]: Taking taylor expansion of x in x 1553941217.741 * [backup-simplify]: Simplify 0 into 0 1553941217.741 * [backup-simplify]: Simplify 1 into 1 1553941217.741 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.741 * [taylor]: Taking taylor expansion of 1 in x 1553941217.741 * [backup-simplify]: Simplify 1 into 1 1553941217.741 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.741 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.742 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1553941217.743 * [backup-simplify]: Simplify 0 into 0 1553941217.743 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941217.743 * [backup-simplify]: Simplify (- 1) into -1 1553941217.744 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941217.746 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553941217.746 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.747 * [backup-simplify]: Simplify (- 0) into 0 1553941217.747 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.750 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.750 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.750 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553941217.750 * [backup-simplify]: Simplify (sqrt (- (/ 1 (- x)) 1)) into (sqrt (- (+ (/ 1 x) 1))) 1553941217.750 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in (x) around 0 1553941217.750 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1553941217.750 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1553941217.750 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553941217.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.750 * [taylor]: Taking taylor expansion of x in x 1553941217.750 * [backup-simplify]: Simplify 0 into 0 1553941217.750 * [backup-simplify]: Simplify 1 into 1 1553941217.750 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.750 * [taylor]: Taking taylor expansion of 1 in x 1553941217.750 * [backup-simplify]: Simplify 1 into 1 1553941217.751 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.751 * [backup-simplify]: Simplify (- 1) into -1 1553941217.751 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.751 * [backup-simplify]: Simplify (- 1) into -1 1553941217.752 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.752 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1553941217.752 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1553941217.752 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553941217.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941217.752 * [taylor]: Taking taylor expansion of x in x 1553941217.752 * [backup-simplify]: Simplify 0 into 0 1553941217.752 * [backup-simplify]: Simplify 1 into 1 1553941217.753 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941217.753 * [taylor]: Taking taylor expansion of 1 in x 1553941217.753 * [backup-simplify]: Simplify 1 into 1 1553941217.753 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941217.753 * [backup-simplify]: Simplify (- 1) into -1 1553941217.753 * [backup-simplify]: Simplify (sqrt 0) into 0 1553941217.754 * [backup-simplify]: Simplify (- 1) into -1 1553941217.754 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553941217.754 * [backup-simplify]: Simplify 0 into 0 1553941217.754 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941217.755 * [backup-simplify]: Simplify (+ 0 1) into 1 1553941217.755 * [backup-simplify]: Simplify (- 1) into -1 1553941217.757 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553941217.757 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941217.758 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941217.758 * [backup-simplify]: Simplify (- 0) into 0 1553941217.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553941217.761 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553941217.761 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553941217.761 * * * [progress]: simplifying candidates 1553941217.761 * * * * [progress]: [ 1 / 67 ] simplifiying candidate # 1553941217.761 * * * * [progress]: [ 2 / 67 ] simplifiying candidate # 1553941217.761 * * * * [progress]: [ 3 / 67 ] simplifiying candidate # 1553941217.761 * [simplify]: Simplifying (* (- x 1) x) 1553941217.761 * * [simplify]: iters left: 4 (4 enodes) 1553941217.763 * * [simplify]: iters left: 3 (18 enodes) 1553941217.767 * * [simplify]: iters left: 2 (27 enodes) 1553941217.773 * * [simplify]: iters left: 1 (38 enodes) 1553941217.778 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941217.778 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941217.778 * * [simplify]: Extracting #2: cost 10 inf + 2 1553941217.779 * * [simplify]: Extracting #3: cost 0 inf + 457 1553941217.779 * * [simplify]: Extracting #4: cost 0 inf + 455 1553941217.779 * [simplify]: Simplified to (- (* x x) x) 1553941217.779 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2)) 1553941217.779 * * * * [progress]: [ 4 / 67 ] simplifiying candidate # 1553941217.779 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x)) 1553941217.779 * * [simplify]: iters left: 5 (6 enodes) 1553941217.781 * * [simplify]: iters left: 4 (24 enodes) 1553941217.786 * * [simplify]: iters left: 3 (28 enodes) 1553941217.790 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941217.790 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941217.790 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941217.790 * * [simplify]: Extracting #3: cost 10 inf + 1 1553941217.790 * * [simplify]: Extracting #4: cost 5 inf + 128 1553941217.790 * * [simplify]: Extracting #5: cost 1 inf + 495 1553941217.790 * * [simplify]: Extracting #6: cost 0 inf + 657 1553941217.790 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x)) 1553941217.790 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1)) 1553941217.791 * * * * [progress]: [ 5 / 67 ] simplifiying candidate # 1553941217.792 * [simplify]: Simplifying (* (- x 1) x) 1553941217.792 * * [simplify]: iters left: 4 (4 enodes) 1553941217.794 * * [simplify]: iters left: 3 (18 enodes) 1553941217.797 * * [simplify]: iters left: 2 (27 enodes) 1553941217.803 * * [simplify]: iters left: 1 (38 enodes) 1553941217.813 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941217.813 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941217.813 * * [simplify]: Extracting #2: cost 10 inf + 2 1553941217.813 * * [simplify]: Extracting #3: cost 0 inf + 457 1553941217.814 * * [simplify]: Extracting #4: cost 0 inf + 455 1553941217.814 * [simplify]: Simplified to (- (* x x) x) 1553941217.814 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (/ 1 2))) 1553941217.814 * [simplify]: Simplifying (/ 1 2) 1553941217.815 * * [simplify]: iters left: 2 (3 enodes) 1553941217.818 * * [simplify]: iters left: 1 (12 enodes) 1553941217.823 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941217.823 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941217.823 * [simplify]: Simplified to 1/2 1553941217.823 * [simplify]: Simplified (2 2) to (λ (x) (pow (* (- x 1) x) 1/2)) 1553941217.823 * * * * [progress]: [ 6 / 67 ] simplifiying candidate # 1553941217.823 * * * * [progress]: [ 7 / 67 ] simplifiying candidate # 1553941217.823 * [simplify]: Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x))) 1553941217.824 * * [simplify]: iters left: 6 (8 enodes) 1553941217.828 * * [simplify]: iters left: 5 (30 enodes) 1553941217.838 * * [simplify]: iters left: 4 (34 enodes) 1553941217.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941217.856 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941217.856 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941217.856 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941217.856 * * [simplify]: Extracting #4: cost 10 inf + 305 1553941217.856 * * [simplify]: Extracting #5: cost 8 inf + 307 1553941217.856 * * [simplify]: Extracting #6: cost 5 inf + 473 1553941217.857 * * [simplify]: Extracting #7: cost 0 inf + 1463 1553941217.857 * [simplify]: Simplified to (+ (log (sqrt x)) (log (sqrt (+ x -1)))) 1553941217.857 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (+ x -1)))))) 1553941217.857 * * * * [progress]: [ 8 / 67 ] simplifiying candidate # 1553941217.857 * * * * [progress]: [ 9 / 67 ] simplifiying candidate # 1553941217.858 * * * * [progress]: [ 10 / 67 ] simplifiying candidate # 1553941217.858 * [simplify]: Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x))) 1553941217.858 * * [simplify]: iters left: 6 (10 enodes) 1553941217.864 * * [simplify]: iters left: 5 (38 enodes) 1553941217.877 * * [simplify]: iters left: 4 (72 enodes) 1553941217.892 * * [simplify]: iters left: 3 (130 enodes) 1553941217.917 * * [simplify]: iters left: 2 (244 enodes) 1553941218.043 * * [simplify]: iters left: 1 (485 enodes) 1553941218.155 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.156 * * [simplify]: Extracting #1: cost 48 inf + 0 1553941218.156 * * [simplify]: Extracting #2: cost 103 inf + 43 1553941218.157 * * [simplify]: Extracting #3: cost 78 inf + 3128 1553941218.161 * * [simplify]: Extracting #4: cost 16 inf + 21409 1553941218.166 * * [simplify]: Extracting #5: cost 1 inf + 29623 1553941218.172 * * [simplify]: Extracting #6: cost 0 inf + 30287 1553941218.178 * [simplify]: Simplified to (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x)))) 1553941218.178 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x)))))) 1553941218.178 * * * * [progress]: [ 11 / 67 ] simplifiying candidate # 1553941218.178 * * * * [progress]: [ 12 / 67 ] simplifiying candidate # 1553941218.178 * * * * [progress]: [ 13 / 67 ] simplifiying candidate # 1553941218.178 * [simplify]: Simplifying (* (- x 1) x) 1553941218.178 * * [simplify]: iters left: 4 (4 enodes) 1553941218.180 * * [simplify]: iters left: 3 (18 enodes) 1553941218.184 * * [simplify]: iters left: 2 (27 enodes) 1553941218.188 * * [simplify]: iters left: 1 (38 enodes) 1553941218.194 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.194 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941218.194 * * [simplify]: Extracting #2: cost 10 inf + 2 1553941218.194 * * [simplify]: Extracting #3: cost 0 inf + 457 1553941218.194 * * [simplify]: Extracting #4: cost 0 inf + 455 1553941218.194 * [simplify]: Simplified to (- (* x x) x) 1553941218.194 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x))) 1553941218.195 * * * * [progress]: [ 14 / 67 ] simplifiying candidate # 1553941218.195 * * * * [progress]: [ 15 / 67 ] simplifiying candidate # 1553941218.195 * * * * [progress]: [ 16 / 67 ] simplifiying candidate # 1553941218.195 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.195 * * [simplify]: iters left: 6 (8 enodes) 1553941218.197 * * [simplify]: iters left: 5 (30 enodes) 1553941218.202 * * [simplify]: iters left: 4 (34 enodes) 1553941218.206 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.206 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.206 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.206 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.206 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.207 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.207 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.207 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.207 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.207 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553941218.207 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.207 * * [simplify]: iters left: 6 (8 enodes) 1553941218.210 * * [simplify]: iters left: 5 (30 enodes) 1553941218.220 * * [simplify]: iters left: 4 (34 enodes) 1553941218.229 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.229 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.229 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.229 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.229 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.229 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.230 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.230 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.230 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.230 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553941218.230 * * * * [progress]: [ 17 / 67 ] simplifiying candidate # 1553941218.231 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.231 * * [simplify]: iters left: 6 (8 enodes) 1553941218.236 * * [simplify]: iters left: 5 (30 enodes) 1553941218.240 * * [simplify]: iters left: 4 (34 enodes) 1553941218.245 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.245 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.245 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.245 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.245 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.245 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.245 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.246 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.246 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.246 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553941218.246 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.246 * * [simplify]: iters left: 6 (8 enodes) 1553941218.248 * * [simplify]: iters left: 5 (30 enodes) 1553941218.253 * * [simplify]: iters left: 4 (34 enodes) 1553941218.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.257 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.257 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.257 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.257 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.257 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.258 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.258 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.258 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.258 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553941218.258 * * * * [progress]: [ 18 / 67 ] simplifiying candidate # 1553941218.258 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.258 * * [simplify]: iters left: 6 (8 enodes) 1553941218.260 * * [simplify]: iters left: 5 (30 enodes) 1553941218.265 * * [simplify]: iters left: 4 (34 enodes) 1553941218.270 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.270 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.270 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.270 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.270 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.270 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.270 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.270 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.271 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.271 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553941218.271 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.271 * * [simplify]: iters left: 6 (8 enodes) 1553941218.273 * * [simplify]: iters left: 5 (30 enodes) 1553941218.278 * * [simplify]: iters left: 4 (34 enodes) 1553941218.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.284 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.284 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.284 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.284 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.284 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.284 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.284 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.284 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.285 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553941218.285 * * * * [progress]: [ 19 / 67 ] simplifiying candidate # 1553941218.285 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.285 * * [simplify]: iters left: 6 (8 enodes) 1553941218.287 * * [simplify]: iters left: 5 (30 enodes) 1553941218.292 * * [simplify]: iters left: 4 (34 enodes) 1553941218.296 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.297 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.297 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.297 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.297 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.297 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.297 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.297 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.297 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.297 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553941218.297 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553941218.298 * * [simplify]: iters left: 6 (8 enodes) 1553941218.300 * * [simplify]: iters left: 5 (30 enodes) 1553941218.304 * * [simplify]: iters left: 4 (34 enodes) 1553941218.309 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.309 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.309 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.309 * * [simplify]: Extracting #3: cost 12 inf + 0 1553941218.309 * * [simplify]: Extracting #4: cost 10 inf + 245 1553941218.309 * * [simplify]: Extracting #5: cost 8 inf + 247 1553941218.309 * * [simplify]: Extracting #6: cost 5 inf + 413 1553941218.309 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553941218.310 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553941218.310 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553941218.310 * * * * [progress]: [ 20 / 67 ] simplifiying candidate # 1553941218.310 * [simplify]: Simplifying (cbrt (sqrt x)) 1553941218.310 * * [simplify]: iters left: 2 (3 enodes) 1553941218.311 * * [simplify]: iters left: 1 (9 enodes) 1553941218.312 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.312 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.312 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.312 * * [simplify]: Extracting #3: cost 4 inf + 1 1553941218.312 * * [simplify]: Extracting #4: cost 0 inf + 325 1553941218.312 * [simplify]: Simplified to (cbrt (sqrt x)) 1553941218.312 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x)))) 1553941218.312 * * * * [progress]: [ 21 / 67 ] simplifiying candidate # 1553941218.313 * [simplify]: Simplifying (sqrt (cbrt x)) 1553941218.313 * * [simplify]: iters left: 2 (3 enodes) 1553941218.315 * * [simplify]: iters left: 1 (9 enodes) 1553941218.316 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.316 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.316 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.316 * * [simplify]: Extracting #3: cost 4 inf + 1 1553941218.316 * * [simplify]: Extracting #4: cost 0 inf + 405 1553941218.316 * [simplify]: Simplified to (sqrt (cbrt x)) 1553941218.316 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x)))) 1553941218.316 * * * * [progress]: [ 22 / 67 ] simplifiying candidate # 1553941218.316 * [simplify]: Simplifying (sqrt (sqrt x)) 1553941218.316 * * [simplify]: iters left: 2 (3 enodes) 1553941218.317 * * [simplify]: iters left: 1 (9 enodes) 1553941218.318 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.318 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.318 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.318 * * [simplify]: Extracting #3: cost 4 inf + 1 1553941218.318 * * [simplify]: Extracting #4: cost 0 inf + 245 1553941218.318 * [simplify]: Simplified to (sqrt (sqrt x)) 1553941218.318 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1553941218.318 * * * * [progress]: [ 23 / 67 ] simplifiying candidate # 1553941218.319 * [simplify]: Simplifying (sqrt x) 1553941218.319 * * [simplify]: iters left: 1 (2 enodes) 1553941218.319 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.319 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.319 * * [simplify]: Extracting #2: cost 2 inf + 1 1553941218.319 * * [simplify]: Extracting #3: cost 0 inf + 83 1553941218.319 * [simplify]: Simplified to (sqrt x) 1553941218.319 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x))) 1553941218.319 * * * * [progress]: [ 24 / 67 ] simplifiying candidate # 1553941218.319 * [simplify]: Simplifying (sqrt (sqrt x)) 1553941218.319 * * [simplify]: iters left: 2 (3 enodes) 1553941218.320 * * [simplify]: iters left: 1 (9 enodes) 1553941218.321 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.321 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.321 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.321 * * [simplify]: Extracting #3: cost 4 inf + 1 1553941218.321 * * [simplify]: Extracting #4: cost 0 inf + 245 1553941218.321 * [simplify]: Simplified to (sqrt (sqrt x)) 1553941218.321 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1553941218.321 * * * * [progress]: [ 25 / 67 ] simplifiying candidate # 1553941218.321 * [simplify]: Simplifying (sqrt x) 1553941218.322 * * [simplify]: iters left: 1 (2 enodes) 1553941218.322 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.322 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.322 * * [simplify]: Extracting #2: cost 2 inf + 1 1553941218.322 * * [simplify]: Extracting #3: cost 0 inf + 83 1553941218.322 * [simplify]: Simplified to (sqrt x) 1553941218.322 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x))) 1553941218.322 * * * * [progress]: [ 26 / 67 ] simplifiying candidate # 1553941218.322 * [simplify]: Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) 1553941218.322 * * [simplify]: iters left: 6 (6 enodes) 1553941218.324 * * [simplify]: iters left: 5 (23 enodes) 1553941218.328 * * [simplify]: iters left: 4 (27 enodes) 1553941218.332 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.332 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.332 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.332 * * [simplify]: Extracting #3: cost 7 inf + 0 1553941218.332 * * [simplify]: Extracting #4: cost 11 inf + 0 1553941218.332 * * [simplify]: Extracting #5: cost 6 inf + 87 1553941218.332 * * [simplify]: Extracting #6: cost 1 inf + 777 1553941218.332 * * [simplify]: Extracting #7: cost 0 inf + 979 1553941218.332 * [simplify]: Simplified to (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) 1553941218.332 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x)))) 1553941218.332 * * * * [progress]: [ 27 / 67 ] simplifiying candidate # 1553941218.333 * [simplify]: Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) 1553941218.333 * * [simplify]: iters left: 6 (6 enodes) 1553941218.334 * * [simplify]: iters left: 5 (24 enodes) 1553941218.338 * * [simplify]: iters left: 4 (28 enodes) 1553941218.342 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.342 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.342 * * [simplify]: Extracting #2: cost 7 inf + 0 1553941218.342 * * [simplify]: Extracting #3: cost 11 inf + 0 1553941218.342 * * [simplify]: Extracting #4: cost 8 inf + 3 1553941218.342 * * [simplify]: Extracting #5: cost 4 inf + 331 1553941218.342 * * [simplify]: Extracting #6: cost 2 inf + 655 1553941218.342 * * [simplify]: Extracting #7: cost 0 inf + 979 1553941218.343 * [simplify]: Simplified to (fabs (cbrt (+ x -1))) 1553941218.343 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x)))) 1553941218.343 * * * * [progress]: [ 28 / 67 ] simplifiying candidate # 1553941218.343 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 1553941218.343 * * [simplify]: iters left: 4 (5 enodes) 1553941218.344 * * [simplify]: iters left: 3 (20 enodes) 1553941218.348 * * [simplify]: iters left: 2 (24 enodes) 1553941218.351 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.351 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.351 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.351 * * [simplify]: Extracting #3: cost 9 inf + 0 1553941218.351 * * [simplify]: Extracting #4: cost 6 inf + 3 1553941218.351 * * [simplify]: Extracting #5: cost 0 inf + 495 1553941218.352 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1553941218.352 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x)))) 1553941218.352 * * * * [progress]: [ 29 / 67 ] simplifiying candidate # 1553941218.352 * [simplify]: Simplifying (sqrt 1) 1553941218.352 * * [simplify]: iters left: 1 (2 enodes) 1553941218.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.354 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941218.354 * [simplify]: Simplified to 1 1553941218.354 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x)))) 1553941218.354 * * * * [progress]: [ 30 / 67 ] simplifiying candidate # 1553941218.354 * [simplify]: Simplifying (sqrt (+ (sqrt x) (sqrt 1))) 1553941218.354 * * [simplify]: iters left: 4 (6 enodes) 1553941218.356 * * [simplify]: iters left: 3 (21 enodes) 1553941218.359 * * [simplify]: iters left: 2 (23 enodes) 1553941218.362 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.362 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.362 * * [simplify]: Extracting #2: cost 6 inf + 0 1553941218.362 * * [simplify]: Extracting #3: cost 7 inf + 1 1553941218.362 * * [simplify]: Extracting #4: cost 6 inf + 2 1553941218.362 * * [simplify]: Extracting #5: cost 0 inf + 492 1553941218.362 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553941218.362 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x)))) 1553941218.362 * * * * [progress]: [ 31 / 67 ] simplifiying candidate # 1553941218.362 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 1553941218.363 * * [simplify]: iters left: 4 (5 enodes) 1553941218.364 * * [simplify]: iters left: 3 (18 enodes) 1553941218.367 * * [simplify]: iters left: 2 (20 enodes) 1553941218.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.370 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.370 * * [simplify]: Extracting #2: cost 6 inf + 0 1553941218.370 * * [simplify]: Extracting #3: cost 7 inf + 1 1553941218.370 * * [simplify]: Extracting #4: cost 6 inf + 2 1553941218.370 * * [simplify]: Extracting #5: cost 0 inf + 492 1553941218.370 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553941218.370 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))) 1553941218.370 * * * * [progress]: [ 32 / 67 ] simplifiying candidate # 1553941218.370 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 1553941218.371 * * [simplify]: iters left: 4 (5 enodes) 1553941218.372 * * [simplify]: iters left: 3 (18 enodes) 1553941218.375 * * [simplify]: iters left: 2 (20 enodes) 1553941218.378 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.378 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.378 * * [simplify]: Extracting #2: cost 6 inf + 0 1553941218.378 * * [simplify]: Extracting #3: cost 7 inf + 1 1553941218.378 * * [simplify]: Extracting #4: cost 6 inf + 2 1553941218.378 * * [simplify]: Extracting #5: cost 0 inf + 492 1553941218.378 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553941218.378 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))) 1553941218.379 * * * * [progress]: [ 33 / 67 ] simplifiying candidate # 1553941218.379 * [simplify]: Simplifying (sqrt 1) 1553941218.379 * * [simplify]: iters left: 1 (2 enodes) 1553941218.381 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.382 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941218.382 * [simplify]: Simplified to 1 1553941218.382 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x)))) 1553941218.382 * * * * [progress]: [ 34 / 67 ] simplifiying candidate # 1553941218.382 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 1553941218.382 * * [simplify]: iters left: 4 (5 enodes) 1553941218.385 * * [simplify]: iters left: 3 (20 enodes) 1553941218.391 * * [simplify]: iters left: 2 (24 enodes) 1553941218.398 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.398 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.398 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.398 * * [simplify]: Extracting #3: cost 9 inf + 0 1553941218.398 * * [simplify]: Extracting #4: cost 6 inf + 3 1553941218.398 * * [simplify]: Extracting #5: cost 0 inf + 495 1553941218.398 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1553941218.398 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x)))) 1553941218.398 * * * * [progress]: [ 35 / 67 ] simplifiying candidate # 1553941218.399 * * * * [progress]: [ 36 / 67 ] simplifiying candidate # 1553941218.399 * [simplify]: Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) 1553941218.399 * * [simplify]: iters left: 6 (9 enodes) 1553941218.405 * * [simplify]: iters left: 5 (41 enodes) 1553941218.425 * * [simplify]: iters left: 4 (73 enodes) 1553941218.439 * * [simplify]: iters left: 3 (108 enodes) 1553941218.460 * * [simplify]: iters left: 2 (174 enodes) 1553941218.513 * * [simplify]: iters left: 1 (359 enodes) 1553941218.657 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.657 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.657 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.657 * * [simplify]: Extracting #3: cost 53 inf + 83 1553941218.659 * * [simplify]: Extracting #4: cost 184 inf + 126 1553941218.661 * * [simplify]: Extracting #5: cost 182 inf + 2089 1553941218.666 * * [simplify]: Extracting #6: cost 107 inf + 32963 1553941218.680 * * [simplify]: Extracting #7: cost 11 inf + 84620 1553941218.700 * * [simplify]: Extracting #8: cost 0 inf + 91226 1553941218.711 * * [simplify]: Extracting #9: cost 0 inf + 91055 1553941218.719 * [simplify]: Simplified to (* (sqrt x) (sqrt (fma x (* x x) -1))) 1553941218.719 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma x (* x x) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))) 1553941218.719 * * * * [progress]: [ 37 / 67 ] simplifiying candidate # 1553941218.719 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) 1553941218.719 * * [simplify]: iters left: 6 (8 enodes) 1553941218.722 * * [simplify]: iters left: 5 (30 enodes) 1553941218.726 * * [simplify]: iters left: 4 (41 enodes) 1553941218.732 * * [simplify]: iters left: 3 (48 enodes) 1553941218.739 * * [simplify]: iters left: 2 (64 enodes) 1553941218.761 * * [simplify]: iters left: 1 (107 enodes) 1553941218.794 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.794 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.794 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941218.794 * * [simplify]: Extracting #3: cost 28 inf + 1 1553941218.795 * * [simplify]: Extracting #4: cost 21 inf + 947 1553941218.796 * * [simplify]: Extracting #5: cost 3 inf + 2726 1553941218.798 * * [simplify]: Extracting #6: cost 0 inf + 2733 1553941218.800 * [simplify]: Simplified to (* (sqrt (fma x x -1)) (sqrt x)) 1553941218.800 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1)))) 1553941218.800 * * * * [progress]: [ 38 / 67 ] simplifiying candidate #real (real->posit16 (* (sqrt (- x 1)) (sqrt x)))))> 1553941218.800 * * * * [progress]: [ 39 / 67 ] simplifiying candidate # 1553941218.800 * * * * [progress]: [ 40 / 67 ] simplifiying candidate # 1553941218.800 * * * * [progress]: [ 41 / 67 ] simplifiying candidate # 1553941218.800 * * * * [progress]: [ 42 / 67 ] simplifiying candidate # 1553941218.800 * * * * [progress]: [ 43 / 67 ] simplifiying candidate # 1553941218.800 * * * * [progress]: [ 44 / 67 ] simplifiying candidate # 1553941218.800 * * * * [progress]: [ 45 / 67 ] simplifiying candidate # 1553941218.801 * * * * [progress]: [ 46 / 67 ] simplifiying candidate # 1553941218.802 * * * * [progress]: [ 47 / 67 ] simplifiying candidate # 1553941218.802 * * * * [progress]: [ 48 / 67 ] simplifiying candidate # 1553941218.803 * [simplify]: Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) 1553941218.803 * * [simplify]: iters left: 6 (6 enodes) 1553941218.806 * * [simplify]: iters left: 5 (24 enodes) 1553941218.814 * * [simplify]: iters left: 4 (28 enodes) 1553941218.821 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.822 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941218.822 * * [simplify]: Extracting #2: cost 7 inf + 0 1553941218.822 * * [simplify]: Extracting #3: cost 11 inf + 0 1553941218.822 * * [simplify]: Extracting #4: cost 8 inf + 3 1553941218.822 * * [simplify]: Extracting #5: cost 4 inf + 331 1553941218.822 * * [simplify]: Extracting #6: cost 2 inf + 655 1553941218.822 * * [simplify]: Extracting #7: cost 0 inf + 979 1553941218.823 * [simplify]: Simplified to (fabs (cbrt (+ x -1))) 1553941218.823 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (fabs (cbrt (+ x -1))) (sqrt (cbrt (- x 1)))) (sqrt x))) 1553941218.823 * * * * [progress]: [ 49 / 67 ] simplifiying candidate # 1553941218.823 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 1553941218.823 * * [simplify]: iters left: 4 (5 enodes) 1553941218.826 * * [simplify]: iters left: 3 (20 enodes) 1553941218.833 * * [simplify]: iters left: 2 (24 enodes) 1553941218.839 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.839 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.839 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941218.840 * * [simplify]: Extracting #3: cost 9 inf + 0 1553941218.840 * * [simplify]: Extracting #4: cost 6 inf + 3 1553941218.840 * * [simplify]: Extracting #5: cost 0 inf + 495 1553941218.840 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1553941218.840 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (sqrt (sqrt (+ x -1))) (sqrt (sqrt (- x 1)))) (sqrt x))) 1553941218.840 * * * * [progress]: [ 50 / 67 ] simplifiying candidate # 1553941218.840 * [simplify]: Simplifying (sqrt 1) 1553941218.840 * * [simplify]: iters left: 1 (2 enodes) 1553941218.843 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.843 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941218.843 * [simplify]: Simplified to 1 1553941218.844 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* 1 (sqrt (- x 1))) (sqrt x))) 1553941218.844 * * * * [progress]: [ 51 / 67 ] simplifiying candidate # 1553941218.844 * [simplify]: Simplifying (sqrt (+ (sqrt x) (sqrt 1))) 1553941218.844 * * [simplify]: iters left: 4 (6 enodes) 1553941218.847 * * [simplify]: iters left: 3 (21 enodes) 1553941218.853 * * [simplify]: iters left: 2 (23 enodes) 1553941218.860 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.860 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.860 * * [simplify]: Extracting #2: cost 6 inf + 0 1553941218.860 * * [simplify]: Extracting #3: cost 7 inf + 1 1553941218.860 * * [simplify]: Extracting #4: cost 6 inf + 2 1553941218.860 * * [simplify]: Extracting #5: cost 0 inf + 492 1553941218.860 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553941218.861 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (sqrt (- (sqrt x) (sqrt 1)))) (sqrt x))) 1553941218.861 * * * * [progress]: [ 52 / 67 ] simplifiying candidate # 1553941218.861 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 1553941218.861 * * [simplify]: iters left: 4 (5 enodes) 1553941218.864 * * [simplify]: iters left: 3 (18 enodes) 1553941218.869 * * [simplify]: iters left: 2 (20 enodes) 1553941218.875 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.875 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.875 * * [simplify]: Extracting #2: cost 6 inf + 0 1553941218.875 * * [simplify]: Extracting #3: cost 7 inf + 1 1553941218.875 * * [simplify]: Extracting #4: cost 6 inf + 2 1553941218.875 * * [simplify]: Extracting #5: cost 0 inf + 492 1553941218.875 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553941218.875 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (sqrt (- (sqrt x) 1))) (sqrt x))) 1553941218.875 * * * * [progress]: [ 53 / 67 ] simplifiying candidate # 1553941218.876 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 1553941218.876 * * [simplify]: iters left: 4 (5 enodes) 1553941218.878 * * [simplify]: iters left: 3 (18 enodes) 1553941218.883 * * [simplify]: iters left: 2 (20 enodes) 1553941218.889 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.889 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.889 * * [simplify]: Extracting #2: cost 6 inf + 0 1553941218.889 * * [simplify]: Extracting #3: cost 7 inf + 1 1553941218.889 * * [simplify]: Extracting #4: cost 6 inf + 2 1553941218.889 * * [simplify]: Extracting #5: cost 0 inf + 492 1553941218.890 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553941218.890 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (sqrt (- (sqrt x) 1))) (sqrt x))) 1553941218.890 * * * * [progress]: [ 54 / 67 ] simplifiying candidate # 1553941218.890 * [simplify]: Simplifying (sqrt 1) 1553941218.890 * * [simplify]: iters left: 1 (2 enodes) 1553941218.893 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.893 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941218.893 * [simplify]: Simplified to 1 1553941218.893 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* 1 (sqrt (- x 1))) (sqrt x))) 1553941218.893 * * * * [progress]: [ 55 / 67 ] simplifiying candidate # 1553941218.893 * [simplify]: Simplifying (sqrt (- (pow x 3) (pow 1 3))) 1553941218.893 * * [simplify]: iters left: 4 (7 enodes) 1553941218.899 * * [simplify]: iters left: 3 (34 enodes) 1553941218.907 * * [simplify]: iters left: 2 (66 enodes) 1553941218.918 * * [simplify]: iters left: 1 (101 enodes) 1553941218.939 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.939 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.939 * * [simplify]: Extracting #2: cost 20 inf + 0 1553941218.939 * * [simplify]: Extracting #3: cost 32 inf + 3 1553941218.940 * * [simplify]: Extracting #4: cost 33 inf + 143 1553941218.940 * * [simplify]: Extracting #5: cost 22 inf + 1608 1553941218.941 * * [simplify]: Extracting #6: cost 1 inf + 7628 1553941218.943 * * [simplify]: Extracting #7: cost 0 inf + 7922 1553941218.944 * [simplify]: Simplified to (sqrt (fma x (* x x) -1)) 1553941218.944 * [simplify]: Simplified (2 1 1) to (λ (x) (* (/ (sqrt (fma x (* x x) -1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) (sqrt x))) 1553941218.944 * * * * [progress]: [ 56 / 67 ] simplifiying candidate # 1553941218.945 * [simplify]: Simplifying (sqrt (- (* x x) (* 1 1))) 1553941218.945 * * [simplify]: iters left: 5 (6 enodes) 1553941218.949 * * [simplify]: iters left: 4 (23 enodes) 1553941218.956 * * [simplify]: iters left: 3 (34 enodes) 1553941218.965 * * [simplify]: iters left: 2 (41 enodes) 1553941218.976 * * [simplify]: iters left: 1 (57 enodes) 1553941218.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941218.997 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941218.997 * * [simplify]: Extracting #2: cost 13 inf + 0 1553941218.997 * * [simplify]: Extracting #3: cost 20 inf + 3 1553941218.997 * * [simplify]: Extracting #4: cost 4 inf + 919 1553941218.998 * * [simplify]: Extracting #5: cost 0 inf + 1221 1553941218.999 * [simplify]: Simplified to (sqrt (fma x x -1)) 1553941218.999 * [simplify]: Simplified (2 1 1) to (λ (x) (* (/ (sqrt (fma x x -1)) (sqrt (+ x 1))) (sqrt x))) 1553941218.999 * * * * [progress]: [ 57 / 67 ] simplifiying candidate # 1553941219.000 * [simplify]: Simplifying (- x 1) 1553941219.000 * * [simplify]: iters left: 2 (3 enodes) 1553941219.002 * * [simplify]: iters left: 1 (14 enodes) 1553941219.006 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941219.006 * * [simplify]: Extracting #1: cost 5 inf + 0 1553941219.006 * * [simplify]: Extracting #2: cost 2 inf + 3 1553941219.007 * * [simplify]: Extracting #3: cost 0 inf + 87 1553941219.007 * [simplify]: Simplified to (- x 1) 1553941219.007 * [simplify]: Simplified (2 1 1) to (λ (x) (* (pow (- x 1) (/ 1 2)) (sqrt x))) 1553941219.007 * * * * [progress]: [ 58 / 67 ] simplifiying candidate # 1553941219.007 * * * * [progress]: [ 59 / 67 ] simplifiying candidate # 1553941219.007 * [simplify]: Simplifying (sqrt (- x 1)) 1553941219.007 * * [simplify]: iters left: 3 (4 enodes) 1553941219.010 * * [simplify]: iters left: 2 (17 enodes) 1553941219.016 * * [simplify]: iters left: 1 (21 enodes) 1553941219.021 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941219.021 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941219.021 * * [simplify]: Extracting #2: cost 7 inf + 0 1553941219.022 * * [simplify]: Extracting #3: cost 4 inf + 3 1553941219.022 * * [simplify]: Extracting #4: cost 0 inf + 251 1553941219.022 * [simplify]: Simplified to (sqrt (+ x -1)) 1553941219.022 * [simplify]: Simplified (2 1 1) to (λ (x) (* (fabs (sqrt (+ x -1))) (sqrt x))) 1553941219.022 * * * * [progress]: [ 60 / 67 ] simplifiying candidate # 1553941219.022 * * * * [progress]: [ 61 / 67 ] simplifiying candidate #real (real->posit16 (sqrt (- x 1)))) (sqrt x)))> 1553941219.022 * * * * [progress]: [ 62 / 67 ] simplifiying candidate # 1553941219.022 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 1553941219.022 * [simplify]: Simplified (2) to (λ (x) +nan.0) 1553941219.022 * * * * [progress]: [ 63 / 67 ] simplifiying candidate # 1553941219.022 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941219.022 * * [simplify]: iters left: 6 (8 enodes) 1553941219.025 * * [simplify]: iters left: 5 (35 enodes) 1553941219.032 * * [simplify]: iters left: 4 (54 enodes) 1553941219.040 * * [simplify]: iters left: 3 (77 enodes) 1553941219.058 * * [simplify]: iters left: 2 (110 enodes) 1553941219.085 * * [simplify]: iters left: 1 (124 enodes) 1553941219.118 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941219.118 * * [simplify]: Extracting #1: cost 18 inf + 0 1553941219.119 * * [simplify]: Extracting #2: cost 26 inf + 5 1553941219.119 * * [simplify]: Extracting #3: cost 6 inf + 1207 1553941219.120 * * [simplify]: Extracting #4: cost 0 inf + 1580 1553941219.122 * * [simplify]: Extracting #5: cost 0 inf + 1540 1553941219.123 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 1553941219.123 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x)))) 1553941219.123 * * * * [progress]: [ 64 / 67 ] simplifiying candidate # 1553941219.123 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553941219.123 * [simplify]: Simplified (2) to (λ (x) +nan.0) 1553941219.123 * * * * [progress]: [ 65 / 67 ] simplifiying candidate # 1553941219.124 * [simplify]: Simplifying (+ (* 1/2 (/ x (sqrt -1))) (+ (* 1/8 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1553941219.124 * * [simplify]: iters left: 6 (13 enodes) 1553941219.133 * * [simplify]: iters left: 5 (56 enodes) 1553941219.151 * * [simplify]: iters left: 4 (87 enodes) 1553941219.177 * * [simplify]: iters left: 3 (117 enodes) 1553941219.212 * * [simplify]: iters left: 2 (136 enodes) 1553941219.249 * * [simplify]: iters left: 1 (168 enodes) 1553941219.296 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941219.296 * * [simplify]: Extracting #1: cost 16 inf + 0 1553941219.296 * * [simplify]: Extracting #2: cost 42 inf + 3 1553941219.297 * * [simplify]: Extracting #3: cost 33 inf + 1709 1553941219.300 * * [simplify]: Extracting #4: cost 2 inf + 5730 1553941219.303 * * [simplify]: Extracting #5: cost 0 inf + 5934 1553941219.307 * [simplify]: Simplified to (+ (sqrt -1) (/ (* x (fma x 1/8 1/2)) (sqrt -1))) 1553941219.307 * [simplify]: Simplified (2 1) to (λ (x) (* (+ (sqrt -1) (/ (* x (fma x 1/8 1/2)) (sqrt -1))) (sqrt x))) 1553941219.307 * * * * [progress]: [ 66 / 67 ] simplifiying candidate # 1553941219.307 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553941219.307 * [simplify]: Simplified (2 1) to (λ (x) (* +nan.0 (sqrt x))) 1553941219.307 * * * * [progress]: [ 67 / 67 ] simplifiying candidate # 1553941219.308 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553941219.308 * [simplify]: Simplified (2 1) to (λ (x) (* +nan.0 (sqrt x))) 1553941219.308 * * * [progress]: adding candidates to table 1553941219.811 * * [progress]: iteration 2 / 4 1553941219.811 * * * [progress]: picking best candidate 1553941219.817 * * * * [pick]: Picked # 1553941219.817 * * * [progress]: localizing error 1553941219.834 * * * [progress]: generating rewritten candidates 1553941219.834 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553941219.873 * * * [progress]: generating series expansions 1553941219.873 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553941219.874 * [backup-simplify]: Simplify (- x (- 1/2 (/ -1/8 x))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941219.874 * [approximate]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in (x) around 0 1553941219.874 * [taylor]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x 1553941219.874 * [taylor]: Taking taylor expansion of x in x 1553941219.874 * [backup-simplify]: Simplify 0 into 0 1553941219.874 * [backup-simplify]: Simplify 1 into 1 1553941219.874 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x 1553941219.874 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 x)) in x 1553941219.874 * [taylor]: Taking taylor expansion of 1/8 in x 1553941219.874 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941219.874 * [taylor]: Taking taylor expansion of x in x 1553941219.874 * [backup-simplify]: Simplify 0 into 0 1553941219.874 * [backup-simplify]: Simplify 1 into 1 1553941219.874 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941219.874 * [taylor]: Taking taylor expansion of 1/2 in x 1553941219.874 * [backup-simplify]: Simplify 1/2 into 1/2 1553941219.874 * [taylor]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x 1553941219.874 * [taylor]: Taking taylor expansion of x in x 1553941219.874 * [backup-simplify]: Simplify 0 into 0 1553941219.874 * [backup-simplify]: Simplify 1 into 1 1553941219.874 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x 1553941219.874 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 x)) in x 1553941219.874 * [taylor]: Taking taylor expansion of 1/8 in x 1553941219.874 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941219.874 * [taylor]: Taking taylor expansion of x in x 1553941219.874 * [backup-simplify]: Simplify 0 into 0 1553941219.874 * [backup-simplify]: Simplify 1 into 1 1553941219.875 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941219.875 * [taylor]: Taking taylor expansion of 1/2 in x 1553941219.875 * [backup-simplify]: Simplify 1/2 into 1/2 1553941219.875 * [backup-simplify]: Simplify (* 1/8 1) into 1/8 1553941219.875 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8 1553941219.876 * [backup-simplify]: Simplify (- 1/8) into -1/8 1553941219.876 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8 1553941219.876 * [backup-simplify]: Simplify -1/8 into -1/8 1553941219.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941219.877 * [backup-simplify]: Simplify (+ (* 1/8 0) (* 0 1)) into 0 1553941219.881 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553941219.882 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553941219.882 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553941219.882 * [backup-simplify]: Simplify -1/2 into -1/2 1553941219.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941219.883 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0 1553941219.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941219.884 * [backup-simplify]: Simplify (- 0) into 0 1553941219.884 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941219.884 * [backup-simplify]: Simplify 1 into 1 1553941219.884 * [backup-simplify]: Simplify (+ (* 1 x) (+ -1/2 (* -1/8 (/ 1 x)))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941219.884 * [backup-simplify]: Simplify (- (/ 1 x) (- 1/2 (/ -1/8 (/ 1 x)))) into (- (/ 1 x) (+ (* 1/8 x) 1/2)) 1553941219.884 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in (x) around 0 1553941219.885 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x 1553941219.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941219.885 * [taylor]: Taking taylor expansion of x in x 1553941219.885 * [backup-simplify]: Simplify 0 into 0 1553941219.885 * [backup-simplify]: Simplify 1 into 1 1553941219.885 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941219.885 * [taylor]: Taking taylor expansion of (+ (* 1/8 x) 1/2) in x 1553941219.885 * [taylor]: Taking taylor expansion of (* 1/8 x) in x 1553941219.885 * [taylor]: Taking taylor expansion of 1/8 in x 1553941219.885 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.885 * [taylor]: Taking taylor expansion of x in x 1553941219.885 * [backup-simplify]: Simplify 0 into 0 1553941219.885 * [backup-simplify]: Simplify 1 into 1 1553941219.885 * [taylor]: Taking taylor expansion of 1/2 in x 1553941219.885 * [backup-simplify]: Simplify 1/2 into 1/2 1553941219.885 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x 1553941219.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941219.885 * [taylor]: Taking taylor expansion of x in x 1553941219.885 * [backup-simplify]: Simplify 0 into 0 1553941219.885 * [backup-simplify]: Simplify 1 into 1 1553941219.885 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941219.885 * [taylor]: Taking taylor expansion of (+ (* 1/8 x) 1/2) in x 1553941219.885 * [taylor]: Taking taylor expansion of (* 1/8 x) in x 1553941219.885 * [taylor]: Taking taylor expansion of 1/8 in x 1553941219.886 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.886 * [taylor]: Taking taylor expansion of x in x 1553941219.886 * [backup-simplify]: Simplify 0 into 0 1553941219.886 * [backup-simplify]: Simplify 1 into 1 1553941219.886 * [taylor]: Taking taylor expansion of 1/2 in x 1553941219.886 * [backup-simplify]: Simplify 1/2 into 1/2 1553941219.886 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941219.886 * [backup-simplify]: Simplify 1 into 1 1553941219.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941219.887 * [backup-simplify]: Simplify (* 1/8 0) into 0 1553941219.887 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553941219.887 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553941219.887 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553941219.888 * [backup-simplify]: Simplify -1/2 into -1/2 1553941219.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941219.888 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8 1553941219.889 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8 1553941219.889 * [backup-simplify]: Simplify (- 1/8) into -1/8 1553941219.889 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8 1553941219.889 * [backup-simplify]: Simplify -1/8 into -1/8 1553941219.889 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941219.890 * [backup-simplify]: Simplify (- (/ 1 (- x)) (- 1/2 (/ -1/8 (/ 1 (- x))))) into (- (* 1/8 x) (+ (/ 1 x) 1/2)) 1553941219.890 * [approximate]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in (x) around 0 1553941219.890 * [taylor]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x 1553941219.890 * [taylor]: Taking taylor expansion of (* 1/8 x) in x 1553941219.890 * [taylor]: Taking taylor expansion of 1/8 in x 1553941219.890 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.890 * [taylor]: Taking taylor expansion of x in x 1553941219.890 * [backup-simplify]: Simplify 0 into 0 1553941219.890 * [backup-simplify]: Simplify 1 into 1 1553941219.890 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 1553941219.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941219.890 * [taylor]: Taking taylor expansion of x in x 1553941219.890 * [backup-simplify]: Simplify 0 into 0 1553941219.890 * [backup-simplify]: Simplify 1 into 1 1553941219.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941219.890 * [taylor]: Taking taylor expansion of 1/2 in x 1553941219.890 * [backup-simplify]: Simplify 1/2 into 1/2 1553941219.890 * [taylor]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x 1553941219.890 * [taylor]: Taking taylor expansion of (* 1/8 x) in x 1553941219.890 * [taylor]: Taking taylor expansion of 1/8 in x 1553941219.890 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.890 * [taylor]: Taking taylor expansion of x in x 1553941219.890 * [backup-simplify]: Simplify 0 into 0 1553941219.890 * [backup-simplify]: Simplify 1 into 1 1553941219.890 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 1553941219.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941219.890 * [taylor]: Taking taylor expansion of x in x 1553941219.890 * [backup-simplify]: Simplify 0 into 0 1553941219.890 * [backup-simplify]: Simplify 1 into 1 1553941219.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941219.891 * [taylor]: Taking taylor expansion of 1/2 in x 1553941219.891 * [backup-simplify]: Simplify 1/2 into 1/2 1553941219.891 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941219.891 * [backup-simplify]: Simplify (- 1) into -1 1553941219.891 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941219.891 * [backup-simplify]: Simplify -1 into -1 1553941219.892 * [backup-simplify]: Simplify (* 1/8 0) into 0 1553941219.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941219.892 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553941219.893 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553941219.893 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553941219.893 * [backup-simplify]: Simplify -1/2 into -1/2 1553941219.893 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8 1553941219.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941219.894 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941219.894 * [backup-simplify]: Simplify (- 0) into 0 1553941219.895 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8 1553941219.895 * [backup-simplify]: Simplify 1/8 into 1/8 1553941219.895 * [backup-simplify]: Simplify (+ (* 1/8 (/ 1 (- x))) (+ -1/2 (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941219.895 * * * [progress]: simplifying candidates 1553941219.895 * * * * [progress]: [ 1 / 85 ] simplifiying candidate # 1553941219.895 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x))))))) 1553941219.895 * * [simplify]: iters left: 6 (12 enodes) 1553941219.898 * * [simplify]: iters left: 5 (47 enodes) 1553941219.913 * * [simplify]: iters left: 4 (73 enodes) 1553941219.938 * * [simplify]: iters left: 3 (107 enodes) 1553941219.957 * * [simplify]: iters left: 2 (166 enodes) 1553941220.001 * * [simplify]: iters left: 1 (250 enodes) 1553941220.081 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941220.081 * * [simplify]: Extracting #1: cost 24 inf + 0 1553941220.082 * * [simplify]: Extracting #2: cost 67 inf + 126 1553941220.082 * * [simplify]: Extracting #3: cost 70 inf + 663 1553941220.084 * * [simplify]: Extracting #4: cost 55 inf + 2223 1553941220.087 * * [simplify]: Extracting #5: cost 35 inf + 9930 1553941220.093 * * [simplify]: Extracting #6: cost 3 inf + 31596 1553941220.101 * * [simplify]: Extracting #7: cost 0 inf + 33682 1553941220.108 * [simplify]: Simplified to (+ (/ -1/8 x) (+ -1/2 x)) 1553941220.108 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))))) 1553941220.109 * [simplify]: Simplifying (fma (- (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))) 1553941220.109 * * [simplify]: iters left: 6 (10 enodes) 1553941220.114 * * [simplify]: iters left: 5 (37 enodes) 1553941220.131 * * [simplify]: iters left: 4 (59 enodes) 1553941220.143 * * [simplify]: iters left: 3 (118 enodes) 1553941220.171 * * [simplify]: iters left: 2 (198 enodes) 1553941220.216 * * [simplify]: iters left: 1 (325 enodes) 1553941220.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941220.334 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941220.334 * [simplify]: Simplified to 0 1553941220.334 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0)) 1553941220.334 * * * * [progress]: [ 2 / 85 ] simplifiying candidate # 1553941220.334 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x)))))) 1553941220.334 * * [simplify]: iters left: 6 (11 enodes) 1553941220.340 * * [simplify]: iters left: 5 (38 enodes) 1553941220.353 * * [simplify]: iters left: 4 (56 enodes) 1553941220.371 * * [simplify]: iters left: 3 (72 enodes) 1553941220.385 * * [simplify]: iters left: 2 (98 enodes) 1553941220.399 * * [simplify]: iters left: 1 (114 enodes) 1553941220.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941220.418 * * [simplify]: Extracting #1: cost 17 inf + 0 1553941220.418 * * [simplify]: Extracting #2: cost 27 inf + 3 1553941220.419 * * [simplify]: Extracting #3: cost 18 inf + 420 1553941220.420 * * [simplify]: Extracting #4: cost 5 inf + 1569 1553941220.421 * * [simplify]: Extracting #5: cost 1 inf + 2061 1553941220.421 * * [simplify]: Extracting #6: cost 0 inf + 2224 1553941220.422 * [simplify]: Simplified to (- (- x 1/2) (/ 1/8 x)) 1553941220.422 * [simplify]: Simplified (2 1) to (λ (x) (+ (- (- x 1/2) (/ 1/8 x)) (fma (- (sqrt (- 1/2 (/ -1/8 x)))) (sqrt (- 1/2 (/ -1/8 x))) (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))))) 1553941220.422 * [simplify]: Simplifying (fma (- (sqrt (- 1/2 (/ -1/8 x)))) (sqrt (- 1/2 (/ -1/8 x))) (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))) 1553941220.422 * * [simplify]: iters left: 6 (9 enodes) 1553941220.425 * * [simplify]: iters left: 5 (29 enodes) 1553941220.433 * * [simplify]: iters left: 4 (46 enodes) 1553941220.441 * * [simplify]: iters left: 3 (73 enodes) 1553941220.455 * * [simplify]: iters left: 2 (96 enodes) 1553941220.476 * * [simplify]: iters left: 1 (147 enodes) 1553941220.509 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941220.509 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941220.509 * [simplify]: Simplified to 0 1553941220.509 * [simplify]: Simplified (2 2) to (λ (x) (+ (- (- x 1/2) (/ 1/8 x)) 0)) 1553941220.509 * * * * [progress]: [ 3 / 85 ] simplifiying candidate # 1553941220.509 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) 1553941220.510 * * [simplify]: iters left: 6 (11 enodes) 1553941220.516 * * [simplify]: iters left: 5 (43 enodes) 1553941220.538 * * [simplify]: iters left: 4 (72 enodes) 1553941220.562 * * [simplify]: iters left: 3 (104 enodes) 1553941220.581 * * [simplify]: iters left: 2 (148 enodes) 1553941220.618 * * [simplify]: iters left: 1 (194 enodes) 1553941220.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941220.660 * * [simplify]: Extracting #1: cost 17 inf + 0 1553941220.660 * * [simplify]: Extracting #2: cost 21 inf + 86 1553941220.660 * * [simplify]: Extracting #3: cost 13 inf + 578 1553941220.661 * * [simplify]: Extracting #4: cost 2 inf + 1405 1553941220.662 * * [simplify]: Extracting #5: cost 0 inf + 1570 1553941220.662 * [simplify]: Simplified to (+ (+ -1/2 x) (/ -1/8 x)) 1553941220.662 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (+ -1/2 x) (/ -1/8 x)) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)))) 1553941220.663 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)) 1553941220.663 * * [simplify]: iters left: 6 (9 enodes) 1553941220.665 * * [simplify]: iters left: 5 (32 enodes) 1553941220.673 * * [simplify]: iters left: 4 (62 enodes) 1553941220.689 * * [simplify]: iters left: 3 (87 enodes) 1553941220.717 * * [simplify]: iters left: 2 (132 enodes) 1553941220.760 * * [simplify]: iters left: 1 (221 enodes) 1553941220.850 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941220.850 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941220.850 * [simplify]: Simplified to 0 1553941220.850 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (+ -1/2 x) (/ -1/8 x)) 0)) 1553941220.850 * * * * [progress]: [ 4 / 85 ] simplifiying candidate # 1553941220.850 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x)))))) 1553941220.850 * * [simplify]: iters left: 6 (13 enodes) 1553941220.854 * * [simplify]: iters left: 5 (55 enodes) 1553941220.865 * * [simplify]: iters left: 4 (117 enodes) 1553941220.904 * * [simplify]: iters left: 3 (227 enodes) 1553941220.987 * * [simplify]: iters left: 2 (402 enodes) 1553941221.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941221.177 * * [simplify]: Extracting #1: cost 79 inf + 0 1553941221.178 * * [simplify]: Extracting #2: cost 155 inf + 206 1553941221.179 * * [simplify]: Extracting #3: cost 141 inf + 1613 1553941221.185 * * [simplify]: Extracting #4: cost 39 inf + 23822 1553941221.196 * * [simplify]: Extracting #5: cost 0 inf + 33638 1553941221.206 * * [simplify]: Extracting #6: cost 0 inf + 33608 1553941221.224 * [simplify]: Simplified to (- x (* (+ (sqrt (/ -1/8 x)) (sqrt 1/2)) (- (sqrt 1/2) (sqrt (/ -1/8 x))))) 1553941221.224 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (* (+ (sqrt (/ -1/8 x)) (sqrt 1/2)) (- (sqrt 1/2) (sqrt (/ -1/8 x))))) (fma (- (- (sqrt 1/2) (sqrt (/ -1/8 x)))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))) (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))))) 1553941221.225 * [simplify]: Simplifying (fma (- (- (sqrt 1/2) (sqrt (/ -1/8 x)))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))) (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 1553941221.225 * * [simplify]: iters left: 6 (11 enodes) 1553941221.231 * * [simplify]: iters left: 5 (45 enodes) 1553941221.248 * * [simplify]: iters left: 4 (99 enodes) 1553941221.292 * * [simplify]: iters left: 3 (219 enodes) 1553941221.374 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941221.374 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941221.374 * [simplify]: Simplified to 0 1553941221.374 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (+ (sqrt (/ -1/8 x)) (sqrt 1/2)) (- (sqrt 1/2) (sqrt (/ -1/8 x))))) 0)) 1553941221.374 * * * * [progress]: [ 5 / 85 ] simplifiying candidate # 1553941221.375 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))))) 1553941221.375 * * [simplify]: iters left: 6 (14 enodes) 1553941221.383 * * [simplify]: iters left: 5 (58 enodes) 1553941221.397 * * [simplify]: iters left: 4 (126 enodes) 1553941221.422 * * [simplify]: iters left: 3 (279 enodes) 1553941221.494 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941221.494 * * [simplify]: Extracting #1: cost 32 inf + 0 1553941221.495 * * [simplify]: Extracting #2: cost 99 inf + 82 1553941221.496 * * [simplify]: Extracting #3: cost 126 inf + 410 1553941221.497 * * [simplify]: Extracting #4: cost 120 inf + 1548 1553941221.504 * * [simplify]: Extracting #5: cost 42 inf + 19101 1553941221.514 * * [simplify]: Extracting #6: cost 1 inf + 30507 1553941221.522 * * [simplify]: Extracting #7: cost 0 inf + 30750 1553941221.530 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (/ (sqrt -1/8) (sqrt x)) (sqrt 1/2)))) 1553941221.531 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (/ (sqrt -1/8) (sqrt x)) (sqrt 1/2)))) (fma (- (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))))) 1553941221.531 * [simplify]: Simplifying (fma (- (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 1553941221.531 * * [simplify]: iters left: 6 (12 enodes) 1553941221.535 * * [simplify]: iters left: 5 (48 enodes) 1553941221.546 * * [simplify]: iters left: 4 (108 enodes) 1553941221.589 * * [simplify]: iters left: 3 (268 enodes) 1553941221.646 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941221.646 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941221.646 * [simplify]: Simplified to 0 1553941221.646 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (/ (sqrt -1/8) (sqrt x)) (sqrt 1/2)))) 0)) 1553941221.646 * * * * [progress]: [ 6 / 85 ] simplifiying candidate # 1553941221.647 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) 1553941221.647 * * [simplify]: iters left: 6 (11 enodes) 1553941221.653 * * [simplify]: iters left: 5 (43 enodes) 1553941221.670 * * [simplify]: iters left: 4 (72 enodes) 1553941221.683 * * [simplify]: iters left: 3 (104 enodes) 1553941221.704 * * [simplify]: iters left: 2 (148 enodes) 1553941221.731 * * [simplify]: iters left: 1 (194 enodes) 1553941221.763 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941221.763 * * [simplify]: Extracting #1: cost 17 inf + 0 1553941221.763 * * [simplify]: Extracting #2: cost 21 inf + 86 1553941221.763 * * [simplify]: Extracting #3: cost 13 inf + 578 1553941221.764 * * [simplify]: Extracting #4: cost 2 inf + 1405 1553941221.764 * * [simplify]: Extracting #5: cost 0 inf + 1570 1553941221.765 * [simplify]: Simplified to (+ (+ -1/2 x) (/ -1/8 x)) 1553941221.765 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (+ -1/2 x) (/ -1/8 x)) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)))) 1553941221.765 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)) 1553941221.765 * * [simplify]: iters left: 6 (9 enodes) 1553941221.768 * * [simplify]: iters left: 5 (32 enodes) 1553941221.775 * * [simplify]: iters left: 4 (62 enodes) 1553941221.786 * * [simplify]: iters left: 3 (87 enodes) 1553941221.806 * * [simplify]: iters left: 2 (132 enodes) 1553941221.867 * * [simplify]: iters left: 1 (221 enodes) 1553941221.935 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941221.935 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941221.935 * [simplify]: Simplified to 0 1553941221.935 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (+ -1/2 x) (/ -1/8 x)) 0)) 1553941221.935 * * * * [progress]: [ 7 / 85 ] simplifiying candidate # 1553941221.936 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x))))))) 1553941221.936 * * [simplify]: iters left: 6 (11 enodes) 1553941221.939 * * [simplify]: iters left: 5 (44 enodes) 1553941221.947 * * [simplify]: iters left: 4 (66 enodes) 1553941221.962 * * [simplify]: iters left: 3 (94 enodes) 1553941221.993 * * [simplify]: iters left: 2 (140 enodes) 1553941222.047 * * [simplify]: iters left: 1 (232 enodes) 1553941222.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941222.102 * * [simplify]: Extracting #1: cost 23 inf + 0 1553941222.103 * * [simplify]: Extracting #2: cost 66 inf + 3 1553941222.103 * * [simplify]: Extracting #3: cost 68 inf + 466 1553941222.105 * * [simplify]: Extracting #4: cost 52 inf + 2598 1553941222.108 * * [simplify]: Extracting #5: cost 28 inf + 13740 1553941222.115 * * [simplify]: Extracting #6: cost 0 inf + 32484 1553941222.119 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 1553941222.119 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (- 1/2 (/ -1/8 x))) (fma (- (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))))) 1553941222.120 * [simplify]: Simplifying (fma (- (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))) 1553941222.120 * * [simplify]: iters left: 6 (10 enodes) 1553941222.123 * * [simplify]: iters left: 5 (37 enodes) 1553941222.132 * * [simplify]: iters left: 4 (59 enodes) 1553941222.144 * * [simplify]: iters left: 3 (118 enodes) 1553941222.174 * * [simplify]: iters left: 2 (198 enodes) 1553941222.222 * * [simplify]: iters left: 1 (325 enodes) 1553941222.353 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941222.353 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941222.353 * [simplify]: Simplified to 0 1553941222.353 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (- 1/2 (/ -1/8 x))) 0)) 1553941222.353 * * * * [progress]: [ 8 / 85 ] simplifiying candidate # 1553941222.353 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x)))))) 1553941222.353 * * [simplify]: iters left: 6 (10 enodes) 1553941222.356 * * [simplify]: iters left: 5 (35 enodes) 1553941222.367 * * [simplify]: iters left: 4 (49 enodes) 1553941222.381 * * [simplify]: iters left: 3 (60 enodes) 1553941222.395 * * [simplify]: iters left: 2 (69 enodes) 1553941222.413 * * [simplify]: iters left: 1 (81 enodes) 1553941222.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941222.434 * * [simplify]: Extracting #1: cost 16 inf + 0 1553941222.434 * * [simplify]: Extracting #2: cost 25 inf + 3 1553941222.434 * * [simplify]: Extracting #3: cost 12 inf + 711 1553941222.435 * * [simplify]: Extracting #4: cost 5 inf + 1247 1553941222.436 * * [simplify]: Extracting #5: cost 1 inf + 1739 1553941222.437 * * [simplify]: Extracting #6: cost 0 inf + 1902 1553941222.438 * [simplify]: Simplified to (+ x (- -1/2 (/ 1/8 x))) 1553941222.438 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ x (- -1/2 (/ 1/8 x))) (fma (- (sqrt (- 1/2 (/ -1/8 x)))) (sqrt (- 1/2 (/ -1/8 x))) (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))))) 1553941222.439 * [simplify]: Simplifying (fma (- (sqrt (- 1/2 (/ -1/8 x)))) (sqrt (- 1/2 (/ -1/8 x))) (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))) 1553941222.439 * * [simplify]: iters left: 6 (9 enodes) 1553941222.443 * * [simplify]: iters left: 5 (29 enodes) 1553941222.453 * * [simplify]: iters left: 4 (46 enodes) 1553941222.468 * * [simplify]: iters left: 3 (73 enodes) 1553941222.491 * * [simplify]: iters left: 2 (96 enodes) 1553941222.510 * * [simplify]: iters left: 1 (147 enodes) 1553941222.541 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941222.541 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941222.541 * [simplify]: Simplified to 0 1553941222.541 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (- -1/2 (/ 1/8 x))) 0)) 1553941222.541 * * * * [progress]: [ 9 / 85 ] simplifiying candidate # 1553941222.542 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) 1553941222.542 * * [simplify]: iters left: 6 (10 enodes) 1553941222.548 * * [simplify]: iters left: 5 (40 enodes) 1553941222.556 * * [simplify]: iters left: 4 (65 enodes) 1553941222.570 * * [simplify]: iters left: 3 (90 enodes) 1553941222.595 * * [simplify]: iters left: 2 (117 enodes) 1553941222.629 * * [simplify]: iters left: 1 (155 enodes) 1553941222.657 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941222.657 * * [simplify]: Extracting #1: cost 16 inf + 0 1553941222.657 * * [simplify]: Extracting #2: cost 20 inf + 5 1553941222.658 * * [simplify]: Extracting #3: cost 11 inf + 462 1553941222.658 * * [simplify]: Extracting #4: cost 1 inf + 1166 1553941222.659 * * [simplify]: Extracting #5: cost 0 inf + 1248 1553941222.659 * [simplify]: Simplified to (+ x (+ -1/2 (/ -1/8 x))) 1553941222.659 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ x (+ -1/2 (/ -1/8 x))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)))) 1553941222.659 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)) 1553941222.659 * * [simplify]: iters left: 6 (9 enodes) 1553941222.662 * * [simplify]: iters left: 5 (32 enodes) 1553941222.670 * * [simplify]: iters left: 4 (62 enodes) 1553941222.689 * * [simplify]: iters left: 3 (87 enodes) 1553941222.715 * * [simplify]: iters left: 2 (132 enodes) 1553941222.757 * * [simplify]: iters left: 1 (221 enodes) 1553941222.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941222.866 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941222.866 * [simplify]: Simplified to 0 1553941222.866 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (+ -1/2 (/ -1/8 x))) 0)) 1553941222.866 * * * * [progress]: [ 10 / 85 ] simplifiying candidate # 1553941222.867 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x)))))) 1553941222.867 * * [simplify]: iters left: 6 (12 enodes) 1553941222.870 * * [simplify]: iters left: 5 (52 enodes) 1553941222.880 * * [simplify]: iters left: 4 (110 enodes) 1553941222.913 * * [simplify]: iters left: 3 (210 enodes) 1553941222.981 * * [simplify]: iters left: 2 (339 enodes) 1553941223.098 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941223.099 * * [simplify]: Extracting #1: cost 68 inf + 0 1553941223.099 * * [simplify]: Extracting #2: cost 140 inf + 44 1553941223.100 * * [simplify]: Extracting #3: cost 144 inf + 296 1553941223.101 * * [simplify]: Extracting #4: cost 120 inf + 3132 1553941223.107 * * [simplify]: Extracting #5: cost 29 inf + 24024 1553941223.117 * * [simplify]: Extracting #6: cost 0 inf + 31175 1553941223.133 * * [simplify]: Extracting #7: cost 0 inf + 31067 1553941223.152 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 1553941223.152 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) (fma (- (- (sqrt 1/2) (sqrt (/ -1/8 x)))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))) (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))))) 1553941223.152 * [simplify]: Simplifying (fma (- (- (sqrt 1/2) (sqrt (/ -1/8 x)))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))) (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 1553941223.153 * * [simplify]: iters left: 6 (11 enodes) 1553941223.159 * * [simplify]: iters left: 5 (45 enodes) 1553941223.180 * * [simplify]: iters left: 4 (99 enodes) 1553941223.205 * * [simplify]: iters left: 3 (219 enodes) 1553941223.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941223.253 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941223.253 * [simplify]: Simplified to 0 1553941223.254 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 0)) 1553941223.254 * * * * [progress]: [ 11 / 85 ] simplifiying candidate # 1553941223.254 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))))) 1553941223.254 * * [simplify]: iters left: 6 (12 enodes) 1553941223.261 * * [simplify]: iters left: 5 (52 enodes) 1553941223.272 * * [simplify]: iters left: 4 (116 enodes) 1553941223.319 * * [simplify]: iters left: 3 (261 enodes) 1553941223.418 * * [simplify]: iters left: 2 (495 enodes) 1553941223.640 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941223.640 * * [simplify]: Extracting #1: cost 68 inf + 0 1553941223.642 * * [simplify]: Extracting #2: cost 166 inf + 44 1553941223.644 * * [simplify]: Extracting #3: cost 196 inf + 454 1553941223.651 * * [simplify]: Extracting #4: cost 128 inf + 14771 1553941223.676 * * [simplify]: Extracting #5: cost 19 inf + 44012 1553941223.708 * * [simplify]: Extracting #6: cost 0 inf + 49606 1553941223.744 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 1553941223.744 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) (fma (- (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))))) 1553941223.745 * [simplify]: Simplifying (fma (- (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 1553941223.745 * * [simplify]: iters left: 6 (12 enodes) 1553941223.752 * * [simplify]: iters left: 5 (48 enodes) 1553941223.771 * * [simplify]: iters left: 4 (108 enodes) 1553941223.815 * * [simplify]: iters left: 3 (268 enodes) 1553941223.885 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941223.885 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941223.885 * [simplify]: Simplified to 0 1553941223.885 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 0)) 1553941223.885 * * * * [progress]: [ 12 / 85 ] simplifiying candidate # 1553941223.885 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) 1553941223.885 * * [simplify]: iters left: 6 (10 enodes) 1553941223.889 * * [simplify]: iters left: 5 (40 enodes) 1553941223.897 * * [simplify]: iters left: 4 (65 enodes) 1553941223.914 * * [simplify]: iters left: 3 (90 enodes) 1553941223.937 * * [simplify]: iters left: 2 (117 enodes) 1553941223.963 * * [simplify]: iters left: 1 (155 enodes) 1553941223.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941223.986 * * [simplify]: Extracting #1: cost 16 inf + 0 1553941223.986 * * [simplify]: Extracting #2: cost 20 inf + 5 1553941223.986 * * [simplify]: Extracting #3: cost 11 inf + 462 1553941223.987 * * [simplify]: Extracting #4: cost 1 inf + 1166 1553941223.987 * * [simplify]: Extracting #5: cost 0 inf + 1248 1553941223.988 * [simplify]: Simplified to (+ x (+ -1/2 (/ -1/8 x))) 1553941223.988 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ x (+ -1/2 (/ -1/8 x))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)))) 1553941223.988 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)) 1553941223.988 * * [simplify]: iters left: 6 (9 enodes) 1553941223.991 * * [simplify]: iters left: 5 (32 enodes) 1553941223.998 * * [simplify]: iters left: 4 (62 enodes) 1553941224.009 * * [simplify]: iters left: 3 (87 enodes) 1553941224.023 * * [simplify]: iters left: 2 (132 enodes) 1553941224.058 * * [simplify]: iters left: 1 (221 enodes) 1553941224.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941224.137 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941224.137 * [simplify]: Simplified to 0 1553941224.137 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (+ -1/2 (/ -1/8 x))) 0)) 1553941224.137 * * * * [progress]: [ 13 / 85 ] simplifiying candidate # 1553941224.137 * [simplify]: Simplifying (fma 1 x (- (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x))))))) 1553941224.137 * * [simplify]: iters left: 6 (11 enodes) 1553941224.144 * * [simplify]: iters left: 5 (46 enodes) 1553941224.161 * * [simplify]: iters left: 4 (70 enodes) 1553941224.185 * * [simplify]: iters left: 3 (98 enodes) 1553941224.223 * * [simplify]: iters left: 2 (144 enodes) 1553941224.259 * * [simplify]: iters left: 1 (221 enodes) 1553941224.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941224.306 * * [simplify]: Extracting #1: cost 23 inf + 0 1553941224.306 * * [simplify]: Extracting #2: cost 62 inf + 46 1553941224.307 * * [simplify]: Extracting #3: cost 64 inf + 629 1553941224.307 * * [simplify]: Extracting #4: cost 54 inf + 1737 1553941224.309 * * [simplify]: Extracting #5: cost 30 inf + 11784 1553941224.314 * * [simplify]: Extracting #6: cost 4 inf + 28354 1553941224.318 * * [simplify]: Extracting #7: cost 0 inf + 31567 1553941224.321 * [simplify]: Simplified to (+ (/ -1/8 x) (- x 1/2)) 1553941224.321 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) (fma (- (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))))) 1553941224.322 * [simplify]: Simplifying (fma (- (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))) (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))) 1553941224.322 * * [simplify]: iters left: 6 (10 enodes) 1553941224.325 * * [simplify]: iters left: 5 (37 enodes) 1553941224.331 * * [simplify]: iters left: 4 (59 enodes) 1553941224.349 * * [simplify]: iters left: 3 (118 enodes) 1553941224.392 * * [simplify]: iters left: 2 (198 enodes) 1553941224.441 * * [simplify]: iters left: 1 (325 enodes) 1553941224.538 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941224.538 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941224.538 * [simplify]: Simplified to 0 1553941224.538 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) 0)) 1553941224.538 * * * * [progress]: [ 14 / 85 ] simplifiying candidate # 1553941224.538 * [simplify]: Simplifying (fma 1 x (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x)))))) 1553941224.538 * * [simplify]: iters left: 6 (10 enodes) 1553941224.541 * * [simplify]: iters left: 5 (37 enodes) 1553941224.550 * * [simplify]: iters left: 4 (53 enodes) 1553941224.566 * * [simplify]: iters left: 3 (62 enodes) 1553941224.583 * * [simplify]: iters left: 2 (71 enodes) 1553941224.603 * * [simplify]: iters left: 1 (83 enodes) 1553941224.619 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941224.620 * * [simplify]: Extracting #1: cost 16 inf + 0 1553941224.620 * * [simplify]: Extracting #2: cost 23 inf + 4 1553941224.620 * * [simplify]: Extracting #3: cost 11 inf + 710 1553941224.620 * * [simplify]: Extracting #4: cost 2 inf + 1575 1553941224.621 * * [simplify]: Extracting #5: cost 0 inf + 1821 1553941224.621 * [simplify]: Simplified to (+ (+ x (/ -1/8 x)) -1/2) 1553941224.621 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (+ x (/ -1/8 x)) -1/2) (fma (- (sqrt (- 1/2 (/ -1/8 x)))) (sqrt (- 1/2 (/ -1/8 x))) (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))))) 1553941224.622 * [simplify]: Simplifying (fma (- (sqrt (- 1/2 (/ -1/8 x)))) (sqrt (- 1/2 (/ -1/8 x))) (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))) 1553941224.622 * * [simplify]: iters left: 6 (9 enodes) 1553941224.624 * * [simplify]: iters left: 5 (29 enodes) 1553941224.630 * * [simplify]: iters left: 4 (46 enodes) 1553941224.642 * * [simplify]: iters left: 3 (73 enodes) 1553941224.657 * * [simplify]: iters left: 2 (96 enodes) 1553941224.672 * * [simplify]: iters left: 1 (147 enodes) 1553941224.724 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941224.725 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941224.725 * [simplify]: Simplified to 0 1553941224.725 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (+ x (/ -1/8 x)) -1/2) 0)) 1553941224.725 * * * * [progress]: [ 15 / 85 ] simplifiying candidate # 1553941224.725 * [simplify]: Simplifying (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) 1553941224.725 * * [simplify]: iters left: 6 (9 enodes) 1553941224.731 * * [simplify]: iters left: 5 (37 enodes) 1553941224.743 * * [simplify]: iters left: 4 (62 enodes) 1553941224.754 * * [simplify]: iters left: 3 (89 enodes) 1553941224.770 * * [simplify]: iters left: 2 (116 enodes) 1553941224.804 * * [simplify]: iters left: 1 (152 enodes) 1553941224.839 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941224.840 * * [simplify]: Extracting #1: cost 15 inf + 0 1553941224.840 * * [simplify]: Extracting #2: cost 18 inf + 5 1553941224.840 * * [simplify]: Extracting #3: cost 14 inf + 91 1553941224.840 * * [simplify]: Extracting #4: cost 1 inf + 1083 1553941224.841 * * [simplify]: Extracting #5: cost 0 inf + 1166 1553941224.841 * [simplify]: Simplified to (- x (+ 1/2 (/ 1/8 x))) 1553941224.841 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (+ 1/2 (/ 1/8 x))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)))) 1553941224.842 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)) 1553941224.842 * * [simplify]: iters left: 6 (9 enodes) 1553941224.845 * * [simplify]: iters left: 5 (32 enodes) 1553941224.852 * * [simplify]: iters left: 4 (62 enodes) 1553941224.874 * * [simplify]: iters left: 3 (87 enodes) 1553941224.901 * * [simplify]: iters left: 2 (132 enodes) 1553941224.963 * * [simplify]: iters left: 1 (221 enodes) 1553941225.046 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941225.046 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941225.046 * [simplify]: Simplified to 0 1553941225.046 * [simplify]: Simplified (2 2) to (λ (x) (+ (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) 0)) 1553941225.047 * * * * [progress]: [ 16 / 85 ] simplifiying candidate # 1553941225.047 * [simplify]: Simplifying (fma 1 x (- (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x)))))) 1553941225.047 * * [simplify]: iters left: 6 (12 enodes) 1553941225.054 * * [simplify]: iters left: 5 (54 enodes) 1553941225.075 * * [simplify]: iters left: 4 (114 enodes) 1553941225.117 * * [simplify]: iters left: 3 (215 enodes) 1553941225.155 * * [simplify]: iters left: 2 (346 enodes) 1553941225.287 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941225.287 * * [simplify]: Extracting #1: cost 68 inf + 0 1553941225.288 * * [simplify]: Extracting #2: cost 139 inf + 4 1553941225.290 * * [simplify]: Extracting #3: cost 137 inf + 789 1553941225.292 * * [simplify]: Extracting #4: cost 117 inf + 3403 1553941225.300 * * [simplify]: Extracting #5: cost 38 inf + 21660 1553941225.309 * * [simplify]: Extracting #6: cost 0 inf + 30946 1553941225.322 * * [simplify]: Extracting #7: cost 0 inf + 30821 1553941225.338 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 1553941225.338 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) (fma (- (- (sqrt 1/2) (sqrt (/ -1/8 x)))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))) (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))))) 1553941225.339 * [simplify]: Simplifying (fma (- (- (sqrt 1/2) (sqrt (/ -1/8 x)))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))) (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 1553941225.339 * * [simplify]: iters left: 6 (11 enodes) 1553941225.345 * * [simplify]: iters left: 5 (45 enodes) 1553941225.363 * * [simplify]: iters left: 4 (99 enodes) 1553941225.401 * * [simplify]: iters left: 3 (219 enodes) 1553941225.444 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941225.444 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941225.444 * [simplify]: Simplified to 0 1553941225.445 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 0)) 1553941225.445 * * * * [progress]: [ 17 / 85 ] simplifiying candidate # 1553941225.445 * [simplify]: Simplifying (fma 1 x (- (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))))) 1553941225.445 * * [simplify]: iters left: 6 (13 enodes) 1553941225.449 * * [simplify]: iters left: 5 (57 enodes) 1553941225.460 * * [simplify]: iters left: 4 (123 enodes) 1553941225.485 * * [simplify]: iters left: 3 (267 enodes) 1553941225.564 * * [simplify]: iters left: 2 (499 enodes) 1553941225.747 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941225.747 * * [simplify]: Extracting #1: cost 68 inf + 0 1553941225.748 * * [simplify]: Extracting #2: cost 166 inf + 46 1553941225.749 * * [simplify]: Extracting #3: cost 197 inf + 415 1553941225.752 * * [simplify]: Extracting #4: cost 127 inf + 14966 1553941225.768 * * [simplify]: Extracting #5: cost 20 inf + 43391 1553941225.794 * * [simplify]: Extracting #6: cost 0 inf + 49621 1553941225.815 * [simplify]: Simplified to (- x (* (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 1553941225.815 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (* (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) (fma (- (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))))) 1553941225.815 * [simplify]: Simplifying (fma (- (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 1553941225.816 * * [simplify]: iters left: 6 (12 enodes) 1553941225.819 * * [simplify]: iters left: 5 (48 enodes) 1553941225.832 * * [simplify]: iters left: 4 (108 enodes) 1553941225.863 * * [simplify]: iters left: 3 (268 enodes) 1553941225.934 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941225.934 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941225.935 * [simplify]: Simplified to 0 1553941225.935 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 0)) 1553941225.935 * * * * [progress]: [ 18 / 85 ] simplifiying candidate # 1553941225.935 * [simplify]: Simplifying (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) 1553941225.935 * * [simplify]: iters left: 6 (9 enodes) 1553941225.941 * * [simplify]: iters left: 5 (37 enodes) 1553941225.957 * * [simplify]: iters left: 4 (62 enodes) 1553941225.976 * * [simplify]: iters left: 3 (89 enodes) 1553941225.991 * * [simplify]: iters left: 2 (116 enodes) 1553941226.024 * * [simplify]: iters left: 1 (152 enodes) 1553941226.045 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.045 * * [simplify]: Extracting #1: cost 15 inf + 0 1553941226.045 * * [simplify]: Extracting #2: cost 18 inf + 5 1553941226.045 * * [simplify]: Extracting #3: cost 14 inf + 91 1553941226.045 * * [simplify]: Extracting #4: cost 1 inf + 1083 1553941226.046 * * [simplify]: Extracting #5: cost 0 inf + 1166 1553941226.046 * [simplify]: Simplified to (- x (+ 1/2 (/ 1/8 x))) 1553941226.046 * [simplify]: Simplified (2 1) to (λ (x) (+ (- x (+ 1/2 (/ 1/8 x))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)))) 1553941226.047 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1)) 1553941226.047 * * [simplify]: iters left: 6 (9 enodes) 1553941226.050 * * [simplify]: iters left: 5 (32 enodes) 1553941226.064 * * [simplify]: iters left: 4 (62 enodes) 1553941226.083 * * [simplify]: iters left: 3 (87 enodes) 1553941226.097 * * [simplify]: iters left: 2 (132 enodes) 1553941226.154 * * [simplify]: iters left: 1 (221 enodes) 1553941226.249 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.249 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941226.249 * [simplify]: Simplified to 0 1553941226.249 * [simplify]: Simplified (2 2) to (λ (x) (+ (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) 0)) 1553941226.249 * * * * [progress]: [ 19 / 85 ] simplifiying candidate # 1553941226.249 * * * * [progress]: [ 20 / 85 ] simplifiying candidate # 1553941226.249 * * * * [progress]: [ 21 / 85 ] simplifiying candidate # 1553941226.250 * [simplify]: Simplifying (* (cbrt x) (cbrt x)) 1553941226.250 * * [simplify]: iters left: 3 (3 enodes) 1553941226.251 * * [simplify]: iters left: 2 (9 enodes) 1553941226.254 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.254 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941226.254 * * [simplify]: Extracting #2: cost 5 inf + 0 1553941226.254 * * [simplify]: Extracting #3: cost 4 inf + 1 1553941226.254 * * [simplify]: Extracting #4: cost 0 inf + 405 1553941226.254 * [simplify]: Simplified to (* (cbrt x) (cbrt x)) 1553941226.254 * [simplify]: Simplified (2 1) to (λ (x) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (- 1/2 (/ -1/8 x))))) 1553941226.254 * * * * [progress]: [ 22 / 85 ] simplifiying candidate # 1553941226.255 * [simplify]: Simplifying (sqrt x) 1553941226.255 * * [simplify]: iters left: 1 (2 enodes) 1553941226.256 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.256 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941226.256 * * [simplify]: Extracting #2: cost 2 inf + 1 1553941226.256 * * [simplify]: Extracting #3: cost 0 inf + 83 1553941226.256 * [simplify]: Simplified to (sqrt x) 1553941226.256 * [simplify]: Simplified (2 1) to (λ (x) (fma (sqrt x) (sqrt x) (- (- 1/2 (/ -1/8 x))))) 1553941226.256 * * * * [progress]: [ 23 / 85 ] simplifiying candidate # 1553941226.256 * * * * [progress]: [ 24 / 85 ] simplifiying candidate # 1553941226.256 * [simplify]: Simplifying (/ (exp x) (/ (exp 1/2) (exp (/ -1/8 x)))) 1553941226.256 * * [simplify]: iters left: 6 (9 enodes) 1553941226.262 * * [simplify]: iters left: 5 (31 enodes) 1553941226.272 * * [simplify]: iters left: 4 (44 enodes) 1553941226.291 * * [simplify]: iters left: 3 (72 enodes) 1553941226.302 * * [simplify]: iters left: 2 (109 enodes) 1553941226.321 * * [simplify]: iters left: 1 (144 enodes) 1553941226.357 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.357 * * [simplify]: Extracting #1: cost 18 inf + 0 1553941226.357 * * [simplify]: Extracting #2: cost 47 inf + 1 1553941226.357 * * [simplify]: Extracting #3: cost 48 inf + 288 1553941226.358 * * [simplify]: Extracting #4: cost 16 inf + 3396 1553941226.359 * * [simplify]: Extracting #5: cost 0 inf + 5167 1553941226.360 * * [simplify]: Extracting #6: cost 0 inf + 5097 1553941226.361 * [simplify]: Simplified to (exp (+ (/ -1/8 x) (+ x -1/2))) 1553941226.361 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (+ (/ -1/8 x) (+ x -1/2))))) 1553941226.361 * * * * [progress]: [ 25 / 85 ] simplifiying candidate # 1553941226.361 * [simplify]: Simplifying (/ (exp x) (exp (- 1/2 (/ -1/8 x)))) 1553941226.361 * * [simplify]: iters left: 6 (8 enodes) 1553941226.364 * * [simplify]: iters left: 5 (31 enodes) 1553941226.369 * * [simplify]: iters left: 4 (52 enodes) 1553941226.387 * * [simplify]: iters left: 3 (83 enodes) 1553941226.414 * * [simplify]: iters left: 2 (129 enodes) 1553941226.455 * * [simplify]: iters left: 1 (202 enodes) 1553941226.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.532 * * [simplify]: Extracting #1: cost 23 inf + 0 1553941226.532 * * [simplify]: Extracting #2: cost 57 inf + 1 1553941226.532 * * [simplify]: Extracting #3: cost 55 inf + 695 1553941226.534 * * [simplify]: Extracting #4: cost 19 inf + 4920 1553941226.538 * * [simplify]: Extracting #5: cost 0 inf + 6949 1553941226.541 * * [simplify]: Extracting #6: cost 0 inf + 6579 1553941226.544 * [simplify]: Simplified to (exp (+ -1/2 (+ x (/ -1/8 x)))) 1553941226.544 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (+ -1/2 (+ x (/ -1/8 x)))))) 1553941226.544 * * * * [progress]: [ 26 / 85 ] simplifiying candidate # 1553941226.544 * * * * [progress]: [ 27 / 85 ] simplifiying candidate # 1553941226.544 * * * * [progress]: [ 28 / 85 ] simplifiying candidate # 1553941226.544 * * * * [progress]: [ 29 / 85 ] simplifiying candidate # 1553941226.544 * * * * [progress]: [ 30 / 85 ] simplifiying candidate # 1553941226.544 * * * * [progress]: [ 31 / 85 ] simplifiying candidate # 1553941226.545 * * * * [progress]: [ 32 / 85 ] simplifiying candidate # 1553941226.545 * * * * [progress]: [ 33 / 85 ] simplifiying candidate # 1553941226.545 * * * * [progress]: [ 34 / 85 ] simplifiying candidate # 1553941226.545 * * * * [progress]: [ 35 / 85 ] simplifiying candidate # 1553941226.545 * * * * [progress]: [ 36 / 85 ] simplifiying candidate # 1553941226.545 * [simplify]: Simplifying (+ (sqrt x) (sqrt (- 1/2 (/ -1/8 x)))) 1553941226.545 * * [simplify]: iters left: 6 (8 enodes) 1553941226.550 * * [simplify]: iters left: 5 (27 enodes) 1553941226.558 * * [simplify]: iters left: 4 (33 enodes) 1553941226.568 * * [simplify]: iters left: 3 (35 enodes) 1553941226.578 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.578 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941226.578 * * [simplify]: Extracting #2: cost 8 inf + 0 1553941226.579 * * [simplify]: Extracting #3: cost 11 inf + 1 1553941226.579 * * [simplify]: Extracting #4: cost 12 inf + 84 1553941226.579 * * [simplify]: Extracting #5: cost 7 inf + 253 1553941226.579 * * [simplify]: Extracting #6: cost 1 inf + 869 1553941226.580 * * [simplify]: Extracting #7: cost 0 inf + 1072 1553941226.580 * [simplify]: Simplified to (+ (sqrt x) (sqrt (+ (/ 1/8 x) 1/2))) 1553941226.580 * [simplify]: Simplified (2 1) to (λ (x) (* (+ (sqrt x) (sqrt (+ (/ 1/8 x) 1/2))) (- (sqrt x) (sqrt (- 1/2 (/ -1/8 x)))))) 1553941226.581 * [simplify]: Simplifying (- (sqrt x) (sqrt (- 1/2 (/ -1/8 x)))) 1553941226.581 * * [simplify]: iters left: 6 (8 enodes) 1553941226.585 * * [simplify]: iters left: 5 (28 enodes) 1553941226.595 * * [simplify]: iters left: 4 (37 enodes) 1553941226.605 * * [simplify]: iters left: 3 (39 enodes) 1553941226.616 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.616 * * [simplify]: Extracting #1: cost 5 inf + 0 1553941226.616 * * [simplify]: Extracting #2: cost 10 inf + 0 1553941226.616 * * [simplify]: Extracting #3: cost 13 inf + 1 1553941226.617 * * [simplify]: Extracting #4: cost 15 inf + 43 1553941226.617 * * [simplify]: Extracting #5: cost 12 inf + 86 1553941226.617 * * [simplify]: Extracting #6: cost 8 inf + 295 1553941226.617 * * [simplify]: Extracting #7: cost 0 inf + 1398 1553941226.618 * [simplify]: Simplified to (- (sqrt x) (sqrt (+ (/ 1/8 x) 1/2))) 1553941226.618 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt x) (sqrt (- 1/2 (/ -1/8 x)))) (- (sqrt x) (sqrt (+ (/ 1/8 x) 1/2))))) 1553941226.618 * * * * [progress]: [ 37 / 85 ] simplifiying candidate # 1553941226.618 * [simplify]: Simplifying (- x (- 1/2 (/ -1/8 x))) 1553941226.619 * * [simplify]: iters left: 6 (6 enodes) 1553941226.622 * * [simplify]: iters left: 5 (24 enodes) 1553941226.627 * * [simplify]: iters left: 4 (42 enodes) 1553941226.634 * * [simplify]: iters left: 3 (56 enodes) 1553941226.642 * * [simplify]: iters left: 2 (68 enodes) 1553941226.654 * * [simplify]: iters left: 1 (78 enodes) 1553941226.666 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.666 * * [simplify]: Extracting #1: cost 12 inf + 0 1553941226.666 * * [simplify]: Extracting #2: cost 19 inf + 3 1553941226.667 * * [simplify]: Extracting #3: cost 11 inf + 377 1553941226.667 * * [simplify]: Extracting #4: cost 3 inf + 957 1553941226.668 * * [simplify]: Extracting #5: cost 1 inf + 1122 1553941226.669 * * [simplify]: Extracting #6: cost 0 inf + 1204 1553941226.669 * [simplify]: Simplified to (+ (+ x -1/2) (/ -1/8 x)) 1553941226.670 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (+ (+ x -1/2) (/ -1/8 x)))) 1553941226.670 * * * * [progress]: [ 38 / 85 ] simplifiying candidate # 1553941226.670 * [simplify]: Simplifying (- x (- 1/2 (/ -1/8 x))) 1553941226.670 * * [simplify]: iters left: 6 (6 enodes) 1553941226.674 * * [simplify]: iters left: 5 (24 enodes) 1553941226.683 * * [simplify]: iters left: 4 (42 enodes) 1553941226.693 * * [simplify]: iters left: 3 (56 enodes) 1553941226.702 * * [simplify]: iters left: 2 (68 enodes) 1553941226.711 * * [simplify]: iters left: 1 (78 enodes) 1553941226.720 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.720 * * [simplify]: Extracting #1: cost 12 inf + 0 1553941226.720 * * [simplify]: Extracting #2: cost 19 inf + 3 1553941226.721 * * [simplify]: Extracting #3: cost 11 inf + 377 1553941226.721 * * [simplify]: Extracting #4: cost 3 inf + 957 1553941226.722 * * [simplify]: Extracting #5: cost 1 inf + 1122 1553941226.723 * * [simplify]: Extracting #6: cost 0 inf + 1204 1553941226.724 * [simplify]: Simplified to (+ (+ x -1/2) (/ -1/8 x)) 1553941226.724 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (+ (+ x -1/2) (/ -1/8 x)))) 1553941226.724 * * * * [progress]: [ 39 / 85 ] simplifiying candidate # 1553941226.724 * [simplify]: Simplifying (fma (- (cbrt (/ -1/8 x))) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))) 1553941226.724 * * [simplify]: iters left: 6 (8 enodes) 1553941226.728 * * [simplify]: iters left: 5 (29 enodes) 1553941226.739 * * [simplify]: iters left: 4 (45 enodes) 1553941226.761 * * [simplify]: iters left: 3 (89 enodes) 1553941226.792 * * [simplify]: iters left: 2 (141 enodes) 1553941226.836 * * [simplify]: iters left: 1 (210 enodes) 1553941226.910 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.910 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941226.910 * [simplify]: Simplified to 0 1553941226.910 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) 0)) 1553941226.910 * * * * [progress]: [ 40 / 85 ] simplifiying candidate # 1553941226.910 * [simplify]: Simplifying (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))) 1553941226.911 * * [simplify]: iters left: 6 (7 enodes) 1553941226.912 * * [simplify]: iters left: 5 (21 enodes) 1553941226.916 * * [simplify]: iters left: 4 (29 enodes) 1553941226.920 * * [simplify]: iters left: 3 (40 enodes) 1553941226.926 * * [simplify]: iters left: 2 (44 enodes) 1553941226.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941226.932 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941226.932 * [simplify]: Simplified to 0 1553941226.932 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) 0)) 1553941226.932 * * * * [progress]: [ 41 / 85 ] simplifiying candidate # 1553941226.932 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) (cbrt x))) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))) (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))) 1553941226.932 * * [simplify]: iters left: 6 (11 enodes) 1553941226.938 * * [simplify]: iters left: 5 (47 enodes) 1553941226.953 * * [simplify]: iters left: 4 (111 enodes) 1553941226.979 * * [simplify]: iters left: 3 (272 enodes) 1553941227.060 * * [simplify]: iters left: 2 (467 enodes) 1553941227.206 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941227.206 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941227.206 * [simplify]: Simplified to 0 1553941227.206 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))))) 0)) 1553941227.206 * * * * [progress]: [ 42 / 85 ] simplifiying candidate # 1553941227.206 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) (sqrt x))) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)) (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))) 1553941227.206 * * [simplify]: iters left: 6 (10 enodes) 1553941227.209 * * [simplify]: iters left: 5 (41 enodes) 1553941227.219 * * [simplify]: iters left: 4 (76 enodes) 1553941227.239 * * [simplify]: iters left: 3 (151 enodes) 1553941227.276 * * [simplify]: iters left: 2 (241 enodes) 1553941227.328 * * [simplify]: iters left: 1 (314 enodes) 1553941227.427 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941227.427 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941227.427 * [simplify]: Simplified to 0 1553941227.427 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))))) 0)) 1553941227.427 * * * * [progress]: [ 43 / 85 ] simplifiying candidate # 1553941227.428 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) x)) (/ (* (cbrt -1/8) (cbrt -1/8)) 1) (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))) 1553941227.428 * * [simplify]: iters left: 6 (10 enodes) 1553941227.434 * * [simplify]: iters left: 5 (41 enodes) 1553941227.442 * * [simplify]: iters left: 4 (83 enodes) 1553941227.458 * * [simplify]: iters left: 3 (164 enodes) 1553941227.498 * * [simplify]: iters left: 2 (259 enodes) 1553941227.547 * * [simplify]: iters left: 1 (324 enodes) 1553941227.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941227.631 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941227.631 * [simplify]: Simplified to 0 1553941227.632 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) 0)) 1553941227.632 * * * * [progress]: [ 44 / 85 ] simplifiying candidate # 1553941227.632 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (cbrt x))) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))) 1553941227.632 * * [simplify]: iters left: 6 (10 enodes) 1553941227.638 * * [simplify]: iters left: 5 (40 enodes) 1553941227.652 * * [simplify]: iters left: 4 (75 enodes) 1553941227.667 * * [simplify]: iters left: 3 (127 enodes) 1553941227.688 * * [simplify]: iters left: 2 (191 enodes) 1553941227.715 * * [simplify]: iters left: 1 (252 enodes) 1553941227.751 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941227.751 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941227.751 * [simplify]: Simplified to 0 1553941227.751 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) 0)) 1553941227.751 * * * * [progress]: [ 45 / 85 ] simplifiying candidate # 1553941227.752 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))) 1553941227.752 * * [simplify]: iters left: 6 (8 enodes) 1553941227.754 * * [simplify]: iters left: 5 (32 enodes) 1553941227.759 * * [simplify]: iters left: 4 (53 enodes) 1553941227.773 * * [simplify]: iters left: 3 (81 enodes) 1553941227.797 * * [simplify]: iters left: 2 (111 enodes) 1553941227.826 * * [simplify]: iters left: 1 (133 enodes) 1553941227.860 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941227.860 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941227.860 * [simplify]: Simplified to 0 1553941227.860 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) 0)) 1553941227.861 * * * * [progress]: [ 46 / 85 ] simplifiying candidate # 1553941227.861 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))) 1553941227.861 * * [simplify]: iters left: 6 (9 enodes) 1553941227.866 * * [simplify]: iters left: 5 (36 enodes) 1553941227.878 * * [simplify]: iters left: 4 (61 enodes) 1553941227.900 * * [simplify]: iters left: 3 (102 enodes) 1553941227.915 * * [simplify]: iters left: 2 (117 enodes) 1553941227.929 * * [simplify]: iters left: 1 (128 enodes) 1553941227.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941227.953 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941227.953 * [simplify]: Simplified to 0 1553941227.954 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) 0)) 1553941227.954 * * * * [progress]: [ 47 / 85 ] simplifiying candidate # 1553941227.956 * [simplify]: Simplifying (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) 1553941227.957 * * [simplify]: iters left: 6 (10 enodes) 1553941227.962 * * [simplify]: iters left: 5 (44 enodes) 1553941227.970 * * [simplify]: iters left: 4 (82 enodes) 1553941227.987 * * [simplify]: iters left: 3 (160 enodes) 1553941228.020 * * [simplify]: iters left: 2 (269 enodes) 1553941228.099 * * [simplify]: iters left: 1 (450 enodes) 1553941228.302 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.303 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941228.303 * [simplify]: Simplified to 0 1553941228.303 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) 0)) 1553941228.303 * * * * [progress]: [ 48 / 85 ] simplifiying candidate # 1553941228.303 * [simplify]: Simplifying (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))) 1553941228.303 * * [simplify]: iters left: 6 (9 enodes) 1553941228.306 * * [simplify]: iters left: 5 (39 enodes) 1553941228.313 * * [simplify]: iters left: 4 (62 enodes) 1553941228.325 * * [simplify]: iters left: 3 (108 enodes) 1553941228.367 * * [simplify]: iters left: 2 (178 enodes) 1553941228.417 * * [simplify]: iters left: 1 (238 enodes) 1553941228.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.452 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941228.452 * [simplify]: Simplified to 0 1553941228.452 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) 0)) 1553941228.452 * * * * [progress]: [ 49 / 85 ] simplifiying candidate # 1553941228.452 * [simplify]: Simplifying (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1))) 1553941228.452 * * [simplify]: iters left: 5 (8 enodes) 1553941228.458 * * [simplify]: iters left: 4 (32 enodes) 1553941228.469 * * [simplify]: iters left: 3 (49 enodes) 1553941228.480 * * [simplify]: iters left: 2 (59 enodes) 1553941228.498 * * [simplify]: iters left: 1 (69 enodes) 1553941228.514 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.515 * * [simplify]: Extracting #1: cost 7 inf + 0 1553941228.515 * * [simplify]: Extracting #2: cost 9 inf + 3 1553941228.515 * * [simplify]: Extracting #3: cost 6 inf + 6 1553941228.515 * * [simplify]: Extracting #4: cost 0 inf + 338 1553941228.516 * [simplify]: Simplified to (- (/ -1/8 x) (/ -1/8 x)) 1553941228.516 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 x) (/ 1 1))))) (- (/ -1/8 x) (/ -1/8 x)))) 1553941228.516 * * * * [progress]: [ 50 / 85 ] simplifiying candidate # 1553941228.516 * [simplify]: Simplifying (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1)) 1553941228.517 * * [simplify]: iters left: 5 (7 enodes) 1553941228.522 * * [simplify]: iters left: 4 (29 enodes) 1553941228.532 * * [simplify]: iters left: 3 (44 enodes) 1553941228.544 * * [simplify]: iters left: 2 (52 enodes) 1553941228.557 * * [simplify]: iters left: 1 (66 enodes) 1553941228.565 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.565 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941228.565 * [simplify]: Simplified to 0 1553941228.565 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 x) 1)))) 0)) 1553941228.565 * * * * [progress]: [ 51 / 85 ] simplifiying candidate # 1553941228.566 * [simplify]: Simplifying (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8)) 1553941228.566 * * [simplify]: iters left: 5 (7 enodes) 1553941228.568 * * [simplify]: iters left: 4 (31 enodes) 1553941228.573 * * [simplify]: iters left: 3 (44 enodes) 1553941228.582 * * [simplify]: iters left: 2 (62 enodes) 1553941228.594 * * [simplify]: iters left: 1 (67 enodes) 1553941228.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.611 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941228.611 * [simplify]: Simplified to 0 1553941228.611 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ 1 x) -1/8)))) 0)) 1553941228.611 * * * * [progress]: [ 52 / 85 ] simplifiying candidate # 1553941228.612 * [simplify]: Simplifying (fma (- (cbrt (/ -1/8 x))) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))) 1553941228.612 * * [simplify]: iters left: 6 (8 enodes) 1553941228.616 * * [simplify]: iters left: 5 (29 enodes) 1553941228.626 * * [simplify]: iters left: 4 (45 enodes) 1553941228.641 * * [simplify]: iters left: 3 (89 enodes) 1553941228.658 * * [simplify]: iters left: 2 (141 enodes) 1553941228.693 * * [simplify]: iters left: 1 (210 enodes) 1553941228.741 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.741 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941228.741 * [simplify]: Simplified to 0 1553941228.741 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) 0)) 1553941228.741 * * * * [progress]: [ 53 / 85 ] simplifiying candidate # 1553941228.741 * [simplify]: Simplifying (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))) 1553941228.742 * * [simplify]: iters left: 6 (7 enodes) 1553941228.745 * * [simplify]: iters left: 5 (21 enodes) 1553941228.752 * * [simplify]: iters left: 4 (29 enodes) 1553941228.761 * * [simplify]: iters left: 3 (40 enodes) 1553941228.772 * * [simplify]: iters left: 2 (44 enodes) 1553941228.783 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941228.783 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941228.783 * [simplify]: Simplified to 0 1553941228.783 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) 0)) 1553941228.783 * * * * [progress]: [ 54 / 85 ] simplifiying candidate # 1553941228.783 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) (cbrt x))) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))) (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))) 1553941228.783 * * [simplify]: iters left: 6 (11 enodes) 1553941228.789 * * [simplify]: iters left: 5 (47 enodes) 1553941228.807 * * [simplify]: iters left: 4 (111 enodes) 1553941228.854 * * [simplify]: iters left: 3 (272 enodes) 1553941228.927 * * [simplify]: iters left: 2 (467 enodes) 1553941229.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941229.062 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941229.062 * [simplify]: Simplified to 0 1553941229.062 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))))) 0)) 1553941229.062 * * * * [progress]: [ 55 / 85 ] simplifiying candidate # 1553941229.062 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) (sqrt x))) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)) (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))) 1553941229.062 * * [simplify]: iters left: 6 (10 enodes) 1553941229.065 * * [simplify]: iters left: 5 (41 enodes) 1553941229.072 * * [simplify]: iters left: 4 (76 enodes) 1553941229.099 * * [simplify]: iters left: 3 (151 enodes) 1553941229.132 * * [simplify]: iters left: 2 (241 enodes) 1553941229.193 * * [simplify]: iters left: 1 (314 enodes) 1553941229.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941229.262 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941229.262 * [simplify]: Simplified to 0 1553941229.262 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))))) 0)) 1553941229.263 * * * * [progress]: [ 56 / 85 ] simplifiying candidate # 1553941229.263 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) x)) (/ (* (cbrt -1/8) (cbrt -1/8)) 1) (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))) 1553941229.263 * * [simplify]: iters left: 6 (10 enodes) 1553941229.269 * * [simplify]: iters left: 5 (41 enodes) 1553941229.284 * * [simplify]: iters left: 4 (83 enodes) 1553941229.315 * * [simplify]: iters left: 3 (164 enodes) 1553941229.383 * * [simplify]: iters left: 2 (259 enodes) 1553941229.456 * * [simplify]: iters left: 1 (324 enodes) 1553941229.529 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941229.529 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941229.529 * [simplify]: Simplified to 0 1553941229.529 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) 0)) 1553941229.529 * * * * [progress]: [ 57 / 85 ] simplifiying candidate # 1553941229.530 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (cbrt x))) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))) 1553941229.530 * * [simplify]: iters left: 6 (10 enodes) 1553941229.532 * * [simplify]: iters left: 5 (40 enodes) 1553941229.544 * * [simplify]: iters left: 4 (75 enodes) 1553941229.569 * * [simplify]: iters left: 3 (127 enodes) 1553941229.591 * * [simplify]: iters left: 2 (191 enodes) 1553941229.620 * * [simplify]: iters left: 1 (252 enodes) 1553941229.673 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941229.673 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941229.673 * [simplify]: Simplified to 0 1553941229.673 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) 0)) 1553941229.673 * * * * [progress]: [ 58 / 85 ] simplifiying candidate # 1553941229.673 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))) 1553941229.673 * * [simplify]: iters left: 6 (8 enodes) 1553941229.676 * * [simplify]: iters left: 5 (32 enodes) 1553941229.681 * * [simplify]: iters left: 4 (53 enodes) 1553941229.689 * * [simplify]: iters left: 3 (81 enodes) 1553941229.702 * * [simplify]: iters left: 2 (111 enodes) 1553941229.719 * * [simplify]: iters left: 1 (133 enodes) 1553941229.745 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941229.745 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941229.745 * [simplify]: Simplified to 0 1553941229.745 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) 0)) 1553941229.745 * * * * [progress]: [ 59 / 85 ] simplifiying candidate # 1553941229.745 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))) 1553941229.745 * * [simplify]: iters left: 6 (9 enodes) 1553941229.748 * * [simplify]: iters left: 5 (36 enodes) 1553941229.755 * * [simplify]: iters left: 4 (61 enodes) 1553941229.766 * * [simplify]: iters left: 3 (102 enodes) 1553941229.780 * * [simplify]: iters left: 2 (117 enodes) 1553941229.796 * * [simplify]: iters left: 1 (128 enodes) 1553941229.809 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941229.809 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941229.809 * [simplify]: Simplified to 0 1553941229.809 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) 0)) 1553941229.809 * * * * [progress]: [ 60 / 85 ] simplifiying candidate # 1553941229.809 * [simplify]: Simplifying (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) 1553941229.809 * * [simplify]: iters left: 6 (10 enodes) 1553941229.812 * * [simplify]: iters left: 5 (44 enodes) 1553941229.827 * * [simplify]: iters left: 4 (82 enodes) 1553941229.859 * * [simplify]: iters left: 3 (160 enodes) 1553941229.912 * * [simplify]: iters left: 2 (269 enodes) 1553941230.037 * * [simplify]: iters left: 1 (450 enodes) 1553941230.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.230 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941230.230 * [simplify]: Simplified to 0 1553941230.230 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) 0)) 1553941230.230 * * * * [progress]: [ 61 / 85 ] simplifiying candidate # 1553941230.230 * [simplify]: Simplifying (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))) 1553941230.230 * * [simplify]: iters left: 6 (9 enodes) 1553941230.233 * * [simplify]: iters left: 5 (39 enodes) 1553941230.240 * * [simplify]: iters left: 4 (62 enodes) 1553941230.258 * * [simplify]: iters left: 3 (108 enodes) 1553941230.299 * * [simplify]: iters left: 2 (178 enodes) 1553941230.365 * * [simplify]: iters left: 1 (238 enodes) 1553941230.406 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.406 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941230.406 * [simplify]: Simplified to 0 1553941230.406 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) 0)) 1553941230.406 * * * * [progress]: [ 62 / 85 ] simplifiying candidate # 1553941230.406 * [simplify]: Simplifying (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1))) 1553941230.407 * * [simplify]: iters left: 5 (8 enodes) 1553941230.412 * * [simplify]: iters left: 4 (32 enodes) 1553941230.426 * * [simplify]: iters left: 3 (49 enodes) 1553941230.440 * * [simplify]: iters left: 2 (59 enodes) 1553941230.448 * * [simplify]: iters left: 1 (69 enodes) 1553941230.457 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.457 * * [simplify]: Extracting #1: cost 7 inf + 0 1553941230.457 * * [simplify]: Extracting #2: cost 9 inf + 3 1553941230.457 * * [simplify]: Extracting #3: cost 6 inf + 6 1553941230.457 * * [simplify]: Extracting #4: cost 0 inf + 338 1553941230.458 * [simplify]: Simplified to (- (/ -1/8 x) (/ -1/8 x)) 1553941230.458 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 x) (/ 1 1))))) (- (/ -1/8 x) (/ -1/8 x)))) 1553941230.458 * * * * [progress]: [ 63 / 85 ] simplifiying candidate # 1553941230.458 * [simplify]: Simplifying (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1)) 1553941230.458 * * [simplify]: iters left: 5 (7 enodes) 1553941230.461 * * [simplify]: iters left: 4 (29 enodes) 1553941230.467 * * [simplify]: iters left: 3 (44 enodes) 1553941230.477 * * [simplify]: iters left: 2 (52 enodes) 1553941230.493 * * [simplify]: iters left: 1 (66 enodes) 1553941230.509 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.509 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941230.509 * [simplify]: Simplified to 0 1553941230.510 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 x) 1)))) 0)) 1553941230.510 * * * * [progress]: [ 64 / 85 ] simplifiying candidate # 1553941230.510 * [simplify]: Simplifying (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8)) 1553941230.510 * * [simplify]: iters left: 5 (7 enodes) 1553941230.515 * * [simplify]: iters left: 4 (31 enodes) 1553941230.526 * * [simplify]: iters left: 3 (44 enodes) 1553941230.543 * * [simplify]: iters left: 2 (62 enodes) 1553941230.554 * * [simplify]: iters left: 1 (67 enodes) 1553941230.561 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.561 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941230.561 * [simplify]: Simplified to 0 1553941230.561 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ 1 x) -1/8)))) 0)) 1553941230.561 * * * * [progress]: [ 65 / 85 ] simplifiying candidate # 1553941230.561 * [simplify]: Simplifying (fma (- (cbrt (/ -1/8 x))) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))) 1553941230.561 * * [simplify]: iters left: 6 (8 enodes) 1553941230.563 * * [simplify]: iters left: 5 (29 enodes) 1553941230.568 * * [simplify]: iters left: 4 (45 enodes) 1553941230.578 * * [simplify]: iters left: 3 (89 enodes) 1553941230.610 * * [simplify]: iters left: 2 (141 enodes) 1553941230.655 * * [simplify]: iters left: 1 (210 enodes) 1553941230.698 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.698 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941230.698 * [simplify]: Simplified to 0 1553941230.698 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) 0)) 1553941230.699 * * * * [progress]: [ 66 / 85 ] simplifiying candidate # 1553941230.699 * [simplify]: Simplifying (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))) 1553941230.699 * * [simplify]: iters left: 6 (7 enodes) 1553941230.703 * * [simplify]: iters left: 5 (21 enodes) 1553941230.709 * * [simplify]: iters left: 4 (29 enodes) 1553941230.718 * * [simplify]: iters left: 3 (40 enodes) 1553941230.729 * * [simplify]: iters left: 2 (44 enodes) 1553941230.734 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941230.734 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941230.734 * [simplify]: Simplified to 0 1553941230.734 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) 0)) 1553941230.734 * * * * [progress]: [ 67 / 85 ] simplifiying candidate # 1553941230.734 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) (cbrt x))) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))) (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))) 1553941230.735 * * [simplify]: iters left: 6 (11 enodes) 1553941230.738 * * [simplify]: iters left: 5 (47 enodes) 1553941230.746 * * [simplify]: iters left: 4 (111 enodes) 1553941230.774 * * [simplify]: iters left: 3 (272 enodes) 1553941230.880 * * [simplify]: iters left: 2 (467 enodes) 1553941231.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941231.036 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941231.036 * [simplify]: Simplified to 0 1553941231.036 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))))) 0)) 1553941231.036 * * * * [progress]: [ 68 / 85 ] simplifiying candidate # 1553941231.036 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) (sqrt x))) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)) (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))) 1553941231.037 * * [simplify]: iters left: 6 (10 enodes) 1553941231.040 * * [simplify]: iters left: 5 (41 enodes) 1553941231.047 * * [simplify]: iters left: 4 (76 enodes) 1553941231.072 * * [simplify]: iters left: 3 (151 enodes) 1553941231.135 * * [simplify]: iters left: 2 (241 enodes) 1553941231.179 * * [simplify]: iters left: 1 (314 enodes) 1553941231.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941231.257 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941231.257 * [simplify]: Simplified to 0 1553941231.257 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))))) 0)) 1553941231.258 * * * * [progress]: [ 69 / 85 ] simplifiying candidate # 1553941231.258 * [simplify]: Simplifying (fma (- (/ (cbrt -1/8) x)) (/ (* (cbrt -1/8) (cbrt -1/8)) 1) (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))) 1553941231.258 * * [simplify]: iters left: 6 (10 enodes) 1553941231.264 * * [simplify]: iters left: 5 (41 enodes) 1553941231.275 * * [simplify]: iters left: 4 (83 enodes) 1553941231.292 * * [simplify]: iters left: 3 (164 enodes) 1553941231.327 * * [simplify]: iters left: 2 (259 enodes) 1553941231.384 * * [simplify]: iters left: 1 (324 enodes) 1553941231.470 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941231.470 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941231.470 * [simplify]: Simplified to 0 1553941231.470 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) 0)) 1553941231.471 * * * * [progress]: [ 70 / 85 ] simplifiying candidate # 1553941231.471 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (cbrt x))) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))) 1553941231.471 * * [simplify]: iters left: 6 (10 enodes) 1553941231.476 * * [simplify]: iters left: 5 (40 enodes) 1553941231.490 * * [simplify]: iters left: 4 (75 enodes) 1553941231.514 * * [simplify]: iters left: 3 (127 enodes) 1553941231.553 * * [simplify]: iters left: 2 (191 enodes) 1553941231.584 * * [simplify]: iters left: 1 (252 enodes) 1553941231.653 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941231.653 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941231.653 * [simplify]: Simplified to 0 1553941231.653 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) 0)) 1553941231.653 * * * * [progress]: [ 71 / 85 ] simplifiying candidate # 1553941231.653 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))) 1553941231.653 * * [simplify]: iters left: 6 (8 enodes) 1553941231.658 * * [simplify]: iters left: 5 (32 enodes) 1553941231.669 * * [simplify]: iters left: 4 (53 enodes) 1553941231.686 * * [simplify]: iters left: 3 (81 enodes) 1553941231.710 * * [simplify]: iters left: 2 (111 enodes) 1553941231.725 * * [simplify]: iters left: 1 (133 enodes) 1553941231.742 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941231.742 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941231.742 * [simplify]: Simplified to 0 1553941231.742 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) 0)) 1553941231.742 * * * * [progress]: [ 72 / 85 ] simplifiying candidate # 1553941231.743 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))) 1553941231.743 * * [simplify]: iters left: 6 (9 enodes) 1553941231.748 * * [simplify]: iters left: 5 (36 enodes) 1553941231.761 * * [simplify]: iters left: 4 (61 enodes) 1553941231.773 * * [simplify]: iters left: 3 (102 enodes) 1553941231.790 * * [simplify]: iters left: 2 (117 enodes) 1553941231.804 * * [simplify]: iters left: 1 (128 enodes) 1553941231.817 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941231.818 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941231.818 * [simplify]: Simplified to 0 1553941231.818 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) 0)) 1553941231.818 * * * * [progress]: [ 73 / 85 ] simplifiying candidate # 1553941231.818 * [simplify]: Simplifying (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))) 1553941231.818 * * [simplify]: iters left: 6 (10 enodes) 1553941231.821 * * [simplify]: iters left: 5 (44 enodes) 1553941231.830 * * [simplify]: iters left: 4 (82 enodes) 1553941231.858 * * [simplify]: iters left: 3 (160 enodes) 1553941231.912 * * [simplify]: iters left: 2 (269 enodes) 1553941232.013 * * [simplify]: iters left: 1 (450 enodes) 1553941232.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.244 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941232.244 * [simplify]: Simplified to 0 1553941232.244 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) 0)) 1553941232.244 * * * * [progress]: [ 74 / 85 ] simplifiying candidate # 1553941232.244 * [simplify]: Simplifying (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))) 1553941232.245 * * [simplify]: iters left: 6 (9 enodes) 1553941232.248 * * [simplify]: iters left: 5 (39 enodes) 1553941232.255 * * [simplify]: iters left: 4 (62 enodes) 1553941232.266 * * [simplify]: iters left: 3 (108 enodes) 1553941232.290 * * [simplify]: iters left: 2 (178 enodes) 1553941232.320 * * [simplify]: iters left: 1 (238 enodes) 1553941232.385 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.386 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941232.386 * [simplify]: Simplified to 0 1553941232.386 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) 0)) 1553941232.386 * * * * [progress]: [ 75 / 85 ] simplifiying candidate # 1553941232.386 * [simplify]: Simplifying (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1))) 1553941232.386 * * [simplify]: iters left: 5 (8 enodes) 1553941232.392 * * [simplify]: iters left: 4 (32 enodes) 1553941232.403 * * [simplify]: iters left: 3 (49 enodes) 1553941232.418 * * [simplify]: iters left: 2 (59 enodes) 1553941232.433 * * [simplify]: iters left: 1 (69 enodes) 1553941232.451 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.451 * * [simplify]: Extracting #1: cost 7 inf + 0 1553941232.451 * * [simplify]: Extracting #2: cost 9 inf + 3 1553941232.451 * * [simplify]: Extracting #3: cost 6 inf + 6 1553941232.452 * * [simplify]: Extracting #4: cost 0 inf + 338 1553941232.452 * [simplify]: Simplified to (- (/ -1/8 x) (/ -1/8 x)) 1553941232.452 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 x) (/ 1 1))))) (- (/ -1/8 x) (/ -1/8 x)))) 1553941232.452 * * * * [progress]: [ 76 / 85 ] simplifiying candidate # 1553941232.453 * [simplify]: Simplifying (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1)) 1553941232.453 * * [simplify]: iters left: 5 (7 enodes) 1553941232.458 * * [simplify]: iters left: 4 (29 enodes) 1553941232.469 * * [simplify]: iters left: 3 (44 enodes) 1553941232.481 * * [simplify]: iters left: 2 (52 enodes) 1553941232.497 * * [simplify]: iters left: 1 (66 enodes) 1553941232.507 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.507 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941232.507 * [simplify]: Simplified to 0 1553941232.507 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 x) 1)))) 0)) 1553941232.507 * * * * [progress]: [ 77 / 85 ] simplifiying candidate # 1553941232.508 * [simplify]: Simplifying (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8)) 1553941232.508 * * [simplify]: iters left: 5 (7 enodes) 1553941232.510 * * [simplify]: iters left: 4 (31 enodes) 1553941232.516 * * [simplify]: iters left: 3 (44 enodes) 1553941232.523 * * [simplify]: iters left: 2 (62 enodes) 1553941232.531 * * [simplify]: iters left: 1 (67 enodes) 1553941232.538 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.538 * * [simplify]: Extracting #1: cost 0 inf + 1 1553941232.538 * [simplify]: Simplified to 0 1553941232.538 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ 1 x) -1/8)))) 0)) 1553941232.539 * * * * [progress]: [ 78 / 85 ] simplifiying candidate # 1553941232.539 * [simplify]: Simplifying (- (/ -1/8 x)) 1553941232.539 * * [simplify]: iters left: 4 (4 enodes) 1553941232.540 * * [simplify]: iters left: 3 (15 enodes) 1553941232.542 * * [simplify]: iters left: 2 (17 enodes) 1553941232.545 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.545 * * [simplify]: Extracting #1: cost 5 inf + 0 1553941232.545 * * [simplify]: Extracting #2: cost 5 inf + 2 1553941232.545 * * [simplify]: Extracting #3: cost 2 inf + 87 1553941232.545 * * [simplify]: Extracting #4: cost 0 inf + 171 1553941232.545 * [simplify]: Simplified to (/ 1/8 x) 1553941232.545 * [simplify]: Simplified (2 2) to (λ (x) (- (- x 1/2) (/ 1/8 x))) 1553941232.545 * * * * [progress]: [ 79 / 85 ] simplifiying candidate # 1553941232.546 * [simplify]: Simplifying (- (/ -1/8 x)) 1553941232.546 * * [simplify]: iters left: 4 (4 enodes) 1553941232.547 * * [simplify]: iters left: 3 (15 enodes) 1553941232.550 * * [simplify]: iters left: 2 (17 enodes) 1553941232.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.552 * * [simplify]: Extracting #1: cost 5 inf + 0 1553941232.552 * * [simplify]: Extracting #2: cost 5 inf + 2 1553941232.552 * * [simplify]: Extracting #3: cost 2 inf + 87 1553941232.552 * * [simplify]: Extracting #4: cost 0 inf + 171 1553941232.552 * [simplify]: Simplified to (/ 1/8 x) 1553941232.552 * [simplify]: Simplified (2 2) to (λ (x) (- (- x 1/2) (/ 1/8 x))) 1553941232.552 * * * * [progress]: [ 80 / 85 ] simplifiying candidate # 1553941232.553 * [simplify]: Simplifying (/ -1/8 x) 1553941232.553 * * [simplify]: iters left: 2 (3 enodes) 1553941232.554 * * [simplify]: iters left: 1 (9 enodes) 1553941232.555 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.555 * * [simplify]: Extracting #1: cost 4 inf + 0 1553941232.555 * * [simplify]: Extracting #2: cost 2 inf + 2 1553941232.555 * * [simplify]: Extracting #3: cost 0 inf + 86 1553941232.555 * [simplify]: Simplified to (/ -1/8 x) 1553941232.555 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x 1/2) (/ -1/8 x))) 1553941232.555 * * * * [progress]: [ 81 / 85 ] simplifiying candidate # 1553941232.555 * * * * [progress]: [ 82 / 85 ] simplifiying candidate #real (real->posit16 (- x (- 1/2 (/ -1/8 x))))))> 1553941232.555 * * * * [progress]: [ 83 / 85 ] simplifiying candidate # 1553941232.555 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941232.555 * * [simplify]: iters left: 6 (8 enodes) 1553941232.559 * * [simplify]: iters left: 5 (35 enodes) 1553941232.571 * * [simplify]: iters left: 4 (54 enodes) 1553941232.587 * * [simplify]: iters left: 3 (77 enodes) 1553941232.610 * * [simplify]: iters left: 2 (110 enodes) 1553941232.624 * * [simplify]: iters left: 1 (124 enodes) 1553941232.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.651 * * [simplify]: Extracting #1: cost 18 inf + 0 1553941232.651 * * [simplify]: Extracting #2: cost 26 inf + 5 1553941232.651 * * [simplify]: Extracting #3: cost 6 inf + 1207 1553941232.653 * * [simplify]: Extracting #4: cost 0 inf + 1580 1553941232.654 * * [simplify]: Extracting #5: cost 0 inf + 1540 1553941232.655 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 1553941232.655 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x)))) 1553941232.655 * * * * [progress]: [ 84 / 85 ] simplifiying candidate # 1553941232.656 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941232.656 * * [simplify]: iters left: 6 (8 enodes) 1553941232.661 * * [simplify]: iters left: 5 (35 enodes) 1553941232.673 * * [simplify]: iters left: 4 (54 enodes) 1553941232.689 * * [simplify]: iters left: 3 (77 enodes) 1553941232.713 * * [simplify]: iters left: 2 (110 enodes) 1553941232.744 * * [simplify]: iters left: 1 (124 enodes) 1553941232.775 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.775 * * [simplify]: Extracting #1: cost 18 inf + 0 1553941232.775 * * [simplify]: Extracting #2: cost 26 inf + 5 1553941232.776 * * [simplify]: Extracting #3: cost 6 inf + 1207 1553941232.777 * * [simplify]: Extracting #4: cost 0 inf + 1580 1553941232.778 * * [simplify]: Extracting #5: cost 0 inf + 1540 1553941232.780 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 1553941232.780 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x)))) 1553941232.780 * * * * [progress]: [ 85 / 85 ] simplifiying candidate # 1553941232.780 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553941232.780 * * [simplify]: iters left: 6 (8 enodes) 1553941232.785 * * [simplify]: iters left: 5 (35 enodes) 1553941232.797 * * [simplify]: iters left: 4 (54 enodes) 1553941232.813 * * [simplify]: iters left: 3 (77 enodes) 1553941232.837 * * [simplify]: iters left: 2 (110 enodes) 1553941232.861 * * [simplify]: iters left: 1 (124 enodes) 1553941232.880 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941232.880 * * [simplify]: Extracting #1: cost 18 inf + 0 1553941232.880 * * [simplify]: Extracting #2: cost 26 inf + 5 1553941232.880 * * [simplify]: Extracting #3: cost 6 inf + 1207 1553941232.881 * * [simplify]: Extracting #4: cost 0 inf + 1580 1553941232.882 * * [simplify]: Extracting #5: cost 0 inf + 1540 1553941232.882 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 1553941232.882 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x)))) 1553941232.883 * * * [progress]: adding candidates to table 1553941233.415 * * [progress]: iteration 3 / 4 1553941233.415 * * * [progress]: picking best candidate 1553941233.418 * * * * [pick]: Picked # 1553941233.418 * * * [progress]: localizing error 1553941233.441 * * * [progress]: generating rewritten candidates 1553941233.441 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553941233.451 * * * [progress]: generating series expansions 1553941233.451 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553941233.451 * [backup-simplify]: Simplify (pow (* (- x 1) x) 1/2) into (pow (* x (- x 1)) 1/2) 1553941233.452 * [approximate]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in (x) around 0 1553941233.452 * [taylor]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in x 1553941233.452 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* x (- x 1))))) in x 1553941233.452 * [taylor]: Taking taylor expansion of (* 1/2 (log (* x (- x 1)))) in x 1553941233.452 * [taylor]: Taking taylor expansion of 1/2 in x 1553941233.452 * [backup-simplify]: Simplify 1/2 into 1/2 1553941233.452 * [taylor]: Taking taylor expansion of (log (* x (- x 1))) in x 1553941233.452 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553941233.452 * [taylor]: Taking taylor expansion of x in x 1553941233.452 * [backup-simplify]: Simplify 0 into 0 1553941233.452 * [backup-simplify]: Simplify 1 into 1 1553941233.452 * [taylor]: Taking taylor expansion of (- x 1) in x 1553941233.452 * [taylor]: Taking taylor expansion of x in x 1553941233.452 * [backup-simplify]: Simplify 0 into 0 1553941233.452 * [backup-simplify]: Simplify 1 into 1 1553941233.452 * [taylor]: Taking taylor expansion of 1 in x 1553941233.452 * [backup-simplify]: Simplify 1 into 1 1553941233.452 * [backup-simplify]: Simplify (- 1) into -1 1553941233.453 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941233.453 * [backup-simplify]: Simplify (* 0 -1) into 0 1553941233.453 * [backup-simplify]: Simplify (- 0) into 0 1553941233.453 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941233.454 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553941233.454 * [backup-simplify]: Simplify (log -1) into (log -1) 1553941233.455 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553941233.455 * [backup-simplify]: Simplify (* 1/2 (+ (log -1) (log x))) into (* 1/2 (+ (log -1) (log x))) 1553941233.455 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 1553941233.455 * [taylor]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in x 1553941233.455 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* x (- x 1))))) in x 1553941233.455 * [taylor]: Taking taylor expansion of (* 1/2 (log (* x (- x 1)))) in x 1553941233.455 * [taylor]: Taking taylor expansion of 1/2 in x 1553941233.455 * [backup-simplify]: Simplify 1/2 into 1/2 1553941233.456 * [taylor]: Taking taylor expansion of (log (* x (- x 1))) in x 1553941233.456 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553941233.456 * [taylor]: Taking taylor expansion of x in x 1553941233.456 * [backup-simplify]: Simplify 0 into 0 1553941233.456 * [backup-simplify]: Simplify 1 into 1 1553941233.456 * [taylor]: Taking taylor expansion of (- x 1) in x 1553941233.456 * [taylor]: Taking taylor expansion of x in x 1553941233.456 * [backup-simplify]: Simplify 0 into 0 1553941233.456 * [backup-simplify]: Simplify 1 into 1 1553941233.456 * [taylor]: Taking taylor expansion of 1 in x 1553941233.456 * [backup-simplify]: Simplify 1 into 1 1553941233.456 * [backup-simplify]: Simplify (- 1) into -1 1553941233.456 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941233.457 * [backup-simplify]: Simplify (* 0 -1) into 0 1553941233.457 * [backup-simplify]: Simplify (- 0) into 0 1553941233.457 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941233.458 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553941233.458 * [backup-simplify]: Simplify (log -1) into (log -1) 1553941233.459 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553941233.459 * [backup-simplify]: Simplify (* 1/2 (+ (log -1) (log x))) into (* 1/2 (+ (log -1) (log x))) 1553941233.459 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 1553941233.460 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 1553941233.461 * [backup-simplify]: Simplify (- 0) into 0 1553941233.461 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941233.461 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553941233.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553941233.463 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553941233.463 * [backup-simplify]: Simplify (+ (* 1/2 -1) (* 0 (+ (log -1) (log x)))) into (- 1/2) 1553941233.464 * [backup-simplify]: Simplify (* (exp (* 1/2 (+ (log -1) (log x)))) (+ (* (/ (pow (- 1/2) 1) 1)))) into (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) 1553941233.464 * [backup-simplify]: Simplify (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) into (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) 1553941233.465 * [backup-simplify]: Simplify (- 0) into 0 1553941233.465 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941233.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553941233.468 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553941233.468 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553941233.469 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 -1) (* 0 (+ (log -1) (log x))))) into (- 1/4) 1553941233.470 * [backup-simplify]: Simplify (* (exp (* 1/2 (+ (log -1) (log x)))) (+ (* (/ (pow (- 1/2) 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) 1553941233.471 * [backup-simplify]: Simplify (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) into (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) 1553941233.472 * [backup-simplify]: Simplify (+ (* (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) (pow x 2)) (+ (* (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) x) (exp (* 1/2 (+ (log -1) (log x)))))) into (- (exp (* 1/2 (+ (log -1) (log x)))) (+ (* 1/2 (* x (exp (* 1/2 (+ (log -1) (log x)))))) (* 1/8 (* (pow x 2) (exp (* 1/2 (+ (log -1) (log x)))))))) 1553941233.472 * [backup-simplify]: Simplify (pow (* (- (/ 1 x) 1) (/ 1 x)) 1/2) into (pow (/ (- (/ 1 x) 1) x) 1/2) 1553941233.472 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in (x) around 0 1553941233.472 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in x 1553941233.472 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1) x)))) in x 1553941233.472 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1) x))) in x 1553941233.472 * [taylor]: Taking taylor expansion of 1/2 in x 1553941233.472 * [backup-simplify]: Simplify 1/2 into 1/2 1553941233.472 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1) x)) in x 1553941233.472 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553941233.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553941233.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941233.472 * [taylor]: Taking taylor expansion of x in x 1553941233.472 * [backup-simplify]: Simplify 0 into 0 1553941233.472 * [backup-simplify]: Simplify 1 into 1 1553941233.472 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.472 * [taylor]: Taking taylor expansion of 1 in x 1553941233.472 * [backup-simplify]: Simplify 1 into 1 1553941233.472 * [taylor]: Taking taylor expansion of x in x 1553941233.472 * [backup-simplify]: Simplify 0 into 0 1553941233.472 * [backup-simplify]: Simplify 1 into 1 1553941233.473 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941233.473 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.473 * [backup-simplify]: Simplify (log 1) into 0 1553941233.474 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.474 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553941233.474 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553941233.474 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in x 1553941233.474 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1) x)))) in x 1553941233.474 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1) x))) in x 1553941233.474 * [taylor]: Taking taylor expansion of 1/2 in x 1553941233.474 * [backup-simplify]: Simplify 1/2 into 1/2 1553941233.474 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1) x)) in x 1553941233.474 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553941233.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553941233.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941233.474 * [taylor]: Taking taylor expansion of x in x 1553941233.474 * [backup-simplify]: Simplify 0 into 0 1553941233.474 * [backup-simplify]: Simplify 1 into 1 1553941233.475 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.475 * [taylor]: Taking taylor expansion of 1 in x 1553941233.475 * [backup-simplify]: Simplify 1 into 1 1553941233.475 * [taylor]: Taking taylor expansion of x in x 1553941233.475 * [backup-simplify]: Simplify 0 into 0 1553941233.475 * [backup-simplify]: Simplify 1 into 1 1553941233.475 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941233.476 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.476 * [backup-simplify]: Simplify (log 1) into 0 1553941233.477 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.477 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553941233.477 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553941233.477 * [backup-simplify]: Simplify (pow x -1) into (pow x -1) 1553941233.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941233.478 * [backup-simplify]: Simplify (- 1) into -1 1553941233.479 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553941233.480 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1553941233.481 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1553941233.481 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.482 * [backup-simplify]: Simplify (+ (* 1/2 -1) (* 0 (- (* 2 (log x))))) into (- 1/2) 1553941233.483 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow (- 1/2) 1) 1)))) into (/ -1/2 x) 1553941233.483 * [backup-simplify]: Simplify (/ -1/2 x) into (/ -1/2 x) 1553941233.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941233.485 * [backup-simplify]: Simplify (- 0) into 0 1553941233.485 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941233.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0 1553941233.489 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553941233.489 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.490 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log x)))))) into (- 1/4) 1553941233.492 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow (- 1/2) 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (/ -1/8 x) 1553941233.493 * [backup-simplify]: Simplify (/ -1/8 x) into (/ -1/8 x) 1553941233.493 * [backup-simplify]: Simplify (+ (* (/ -1/8 (/ 1 x)) (pow (/ 1 x) 2)) (+ (* (/ -1/2 (/ 1 x)) (/ 1 x)) (pow (/ 1 x) -1))) into (- (pow (/ 1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553941233.493 * [backup-simplify]: Simplify (pow (* (- (/ 1 (- x)) 1) (/ 1 (- x))) 1/2) into (pow (/ (+ (/ 1 x) 1) x) 1/2) 1553941233.493 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in (x) around 0 1553941233.493 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in x 1553941233.493 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ (/ 1 x) 1) x)))) in x 1553941233.493 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ (/ 1 x) 1) x))) in x 1553941233.493 * [taylor]: Taking taylor expansion of 1/2 in x 1553941233.493 * [backup-simplify]: Simplify 1/2 into 1/2 1553941233.493 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) x)) in x 1553941233.493 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1553941233.493 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553941233.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941233.493 * [taylor]: Taking taylor expansion of x in x 1553941233.493 * [backup-simplify]: Simplify 0 into 0 1553941233.493 * [backup-simplify]: Simplify 1 into 1 1553941233.494 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.494 * [taylor]: Taking taylor expansion of 1 in x 1553941233.494 * [backup-simplify]: Simplify 1 into 1 1553941233.494 * [taylor]: Taking taylor expansion of x in x 1553941233.494 * [backup-simplify]: Simplify 0 into 0 1553941233.494 * [backup-simplify]: Simplify 1 into 1 1553941233.495 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941233.495 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.495 * [backup-simplify]: Simplify (log 1) into 0 1553941233.496 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.496 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553941233.496 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553941233.496 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in x 1553941233.496 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ (/ 1 x) 1) x)))) in x 1553941233.496 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ (/ 1 x) 1) x))) in x 1553941233.496 * [taylor]: Taking taylor expansion of 1/2 in x 1553941233.496 * [backup-simplify]: Simplify 1/2 into 1/2 1553941233.496 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) x)) in x 1553941233.496 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1553941233.496 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553941233.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553941233.496 * [taylor]: Taking taylor expansion of x in x 1553941233.497 * [backup-simplify]: Simplify 0 into 0 1553941233.497 * [backup-simplify]: Simplify 1 into 1 1553941233.497 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.497 * [taylor]: Taking taylor expansion of 1 in x 1553941233.497 * [backup-simplify]: Simplify 1 into 1 1553941233.497 * [taylor]: Taking taylor expansion of x in x 1553941233.497 * [backup-simplify]: Simplify 0 into 0 1553941233.497 * [backup-simplify]: Simplify 1 into 1 1553941233.498 * [backup-simplify]: Simplify (+ 1 0) into 1 1553941233.498 * [backup-simplify]: Simplify (/ 1 1) into 1 1553941233.498 * [backup-simplify]: Simplify (log 1) into 0 1553941233.499 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.499 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553941233.499 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553941233.499 * [backup-simplify]: Simplify (pow x -1) into (pow x -1) 1553941233.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553941233.501 * [backup-simplify]: Simplify (+ 0 1) into 1 1553941233.509 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1553941233.510 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553941233.511 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.511 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 (- (* 2 (log x))))) into 1/2 1553941233.512 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow 1/2 1) 1)))) into (/ 1/2 x) 1553941233.512 * [backup-simplify]: Simplify (/ 1/2 x) into (/ 1/2 x) 1553941233.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553941233.514 * [backup-simplify]: Simplify (+ 0 0) into 0 1553941233.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1553941233.518 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553941233.518 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553941233.519 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log x)))))) into (- 1/4) 1553941233.521 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (/ -1/8 x) 1553941233.521 * [backup-simplify]: Simplify (/ -1/8 x) into (/ -1/8 x) 1553941233.522 * [backup-simplify]: Simplify (+ (* (/ -1/8 (/ 1 (- x))) (pow (/ 1 (- x)) 2)) (+ (* (/ 1/2 (/ 1 (- x))) (/ 1 (- x))) (pow (/ 1 (- x)) -1))) into (+ (pow (/ -1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553941233.522 * * * [progress]: simplifying candidates 1553941233.522 * * * * [progress]: [ 1 / 24 ] simplifiying candidate # 1553941233.522 * * * * [progress]: [ 2 / 24 ] simplifiying candidate # 1553941233.522 * * * * [progress]: [ 3 / 24 ] simplifiying candidate # 1553941233.522 * [simplify]: Simplifying (* (+ (log (- x 1)) (log x)) 1/2) 1553941233.522 * * [simplify]: iters left: 6 (8 enodes) 1553941233.526 * * [simplify]: iters left: 5 (31 enodes) 1553941233.532 * * [simplify]: iters left: 4 (43 enodes) 1553941233.539 * * [simplify]: iters left: 3 (55 enodes) 1553941233.546 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.546 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941233.546 * * [simplify]: Extracting #2: cost 14 inf + 1 1553941233.547 * * [simplify]: Extracting #3: cost 16 inf + 2 1553941233.547 * * [simplify]: Extracting #4: cost 12 inf + 146 1553941233.547 * * [simplify]: Extracting #5: cost 4 inf + 1314 1553941233.547 * * [simplify]: Extracting #6: cost 1 inf + 1801 1553941233.548 * * [simplify]: Extracting #7: cost 0 inf + 1954 1553941233.548 * [simplify]: Simplified to (* (+ (log (+ x -1)) (log x)) 1/2) 1553941233.548 * [simplify]: Simplified (2 1) to (λ (x) (exp (* (+ (log (+ x -1)) (log x)) 1/2))) 1553941233.548 * * * * [progress]: [ 4 / 24 ] simplifiying candidate # 1553941233.548 * [simplify]: Simplifying (* (log (* (- x 1) x)) 1/2) 1553941233.548 * * [simplify]: iters left: 6 (7 enodes) 1553941233.551 * * [simplify]: iters left: 5 (31 enodes) 1553941233.556 * * [simplify]: iters left: 4 (51 enodes) 1553941233.567 * * [simplify]: iters left: 3 (74 enodes) 1553941233.585 * * [simplify]: iters left: 2 (81 enodes) 1553941233.603 * * [simplify]: iters left: 1 (83 enodes) 1553941233.612 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.612 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941233.612 * * [simplify]: Extracting #2: cost 15 inf + 1 1553941233.612 * * [simplify]: Extracting #3: cost 20 inf + 2 1553941233.612 * * [simplify]: Extracting #4: cost 14 inf + 407 1553941233.612 * * [simplify]: Extracting #5: cost 2 inf + 1627 1553941233.613 * * [simplify]: Extracting #6: cost 0 inf + 1996 1553941233.613 * [simplify]: Simplified to (* (log (- (* x x) x)) 1/2) 1553941233.613 * [simplify]: Simplified (2 1) to (λ (x) (exp (* (log (- (* x x) x)) 1/2))) 1553941233.613 * * * * [progress]: [ 5 / 24 ] simplifiying candidate # 1553941233.614 * * * * [progress]: [ 6 / 24 ] simplifiying candidate # 1553941233.614 * [simplify]: Simplifying (* (- x 1) x) 1553941233.614 * * [simplify]: iters left: 4 (4 enodes) 1553941233.618 * * [simplify]: iters left: 3 (18 enodes) 1553941233.621 * * [simplify]: iters left: 2 (27 enodes) 1553941233.626 * * [simplify]: iters left: 1 (38 enodes) 1553941233.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.631 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941233.631 * * [simplify]: Extracting #2: cost 10 inf + 2 1553941233.631 * * [simplify]: Extracting #3: cost 0 inf + 457 1553941233.631 * * [simplify]: Extracting #4: cost 0 inf + 455 1553941233.632 * [simplify]: Simplified to (- (* x x) x) 1553941233.632 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (* 1 1/2))) 1553941233.632 * * * * [progress]: [ 7 / 24 ] simplifiying candidate # 1553941233.632 * [simplify]: Simplifying (* (- x 1) x) 1553941233.632 * * [simplify]: iters left: 4 (4 enodes) 1553941233.634 * * [simplify]: iters left: 3 (18 enodes) 1553941233.640 * * [simplify]: iters left: 2 (27 enodes) 1553941233.649 * * [simplify]: iters left: 1 (38 enodes) 1553941233.659 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.659 * * [simplify]: Extracting #1: cost 8 inf + 0 1553941233.659 * * [simplify]: Extracting #2: cost 10 inf + 2 1553941233.659 * * [simplify]: Extracting #3: cost 0 inf + 457 1553941233.660 * * [simplify]: Extracting #4: cost 0 inf + 455 1553941233.660 * [simplify]: Simplified to (- (* x x) x) 1553941233.660 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (* 1 1/2))) 1553941233.660 * * * * [progress]: [ 8 / 24 ] simplifiying candidate # 1553941233.661 * [simplify]: Simplifying (cbrt 1/2) 1553941233.661 * * [simplify]: iters left: 1 (2 enodes) 1553941233.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.663 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941233.663 * * [simplify]: Extracting #2: cost 2 inf + 1 1553941233.663 * * [simplify]: Extracting #3: cost 0 inf + 163 1553941233.663 * [simplify]: Simplified to (cbrt 1/2) 1553941233.663 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow (* (- x 1) x) (* (cbrt 1/2) (cbrt 1/2))) (cbrt 1/2))) 1553941233.663 * * * * [progress]: [ 9 / 24 ] simplifiying candidate # 1553941233.663 * [simplify]: Simplifying (sqrt 1/2) 1553941233.663 * * [simplify]: iters left: 1 (2 enodes) 1553941233.665 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.665 * * [simplify]: Extracting #1: cost 3 inf + 0 1553941233.665 * * [simplify]: Extracting #2: cost 2 inf + 1 1553941233.665 * * [simplify]: Extracting #3: cost 0 inf + 83 1553941233.665 * [simplify]: Simplified to (sqrt 1/2) 1553941233.665 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow (* (- x 1) x) (sqrt 1/2)) (sqrt 1/2))) 1553941233.665 * * * * [progress]: [ 10 / 24 ] simplifiying candidate # 1553941233.665 * * * * [progress]: [ 11 / 24 ] simplifiying candidate # 1553941233.666 * [simplify]: Simplifying (pow (- x 1) 1/2) 1553941233.666 * * [simplify]: iters left: 3 (5 enodes) 1553941233.670 * * [simplify]: iters left: 2 (26 enodes) 1553941233.679 * * [simplify]: iters left: 1 (44 enodes) 1553941233.688 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.688 * * [simplify]: Extracting #1: cost 9 inf + 0 1553941233.688 * * [simplify]: Extracting #2: cost 17 inf + 1 1553941233.688 * * [simplify]: Extracting #3: cost 13 inf + 6 1553941233.688 * * [simplify]: Extracting #4: cost 1 inf + 2528 1553941233.689 * * [simplify]: Extracting #5: cost 0 inf + 2821 1553941233.689 * [simplify]: Simplified to (sqrt (- x 1)) 1553941233.689 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (- x 1)) (pow x 1/2))) 1553941233.689 * * * * [progress]: [ 12 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 13 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 14 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 15 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 16 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 17 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 18 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 19 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 20 / 24 ] simplifiying candidate # 1553941233.689 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #real (real->posit16 (pow (* (- x 1) x) 1/2))))> 1553941233.689 * * * * [progress]: [ 22 / 24 ] simplifiying candidate # 1553941233.690 * [simplify]: Simplifying (- (exp (* 1/2 (+ (log -1) (log x)))) (+ (* 1/2 (* x (exp (* 1/2 (+ (log -1) (log x)))))) (* 1/8 (* (pow x 2) (exp (* 1/2 (+ (log -1) (log x)))))))) 1553941233.690 * * [simplify]: iters left: 6 (17 enodes) 1553941233.695 * * [simplify]: iters left: 5 (80 enodes) 1553941233.710 * * [simplify]: iters left: 4 (151 enodes) 1553941233.747 * * [simplify]: iters left: 3 (351 enodes) 1553941233.882 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941233.882 * * [simplify]: Extracting #1: cost 44 inf + 0 1553941233.883 * * [simplify]: Extracting #2: cost 207 inf + 373 1553941233.884 * * [simplify]: Extracting #3: cost 228 inf + 3782 1553941233.891 * * [simplify]: Extracting #4: cost 111 inf + 21670 1553941233.909 * * [simplify]: Extracting #5: cost 44 inf + 46103 1553941233.934 * * [simplify]: Extracting #6: cost 4 inf + 71261 1553941233.961 * * [simplify]: Extracting #7: cost 0 inf + 73531 1553941233.988 * [simplify]: Simplified to (- (sqrt (* x -1)) (* (* x (sqrt (* x -1))) (fma x 1/8 1/2))) 1553941233.989 * [simplify]: Simplified (2) to (λ (x) (- (sqrt (* x -1)) (* (* x (sqrt (* x -1))) (fma x 1/8 1/2)))) 1553941233.989 * * * * [progress]: [ 23 / 24 ] simplifiying candidate # 1553941233.989 * [simplify]: Simplifying (- (pow (/ 1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553941233.989 * * [simplify]: iters left: 6 (10 enodes) 1553941233.996 * * [simplify]: iters left: 5 (47 enodes) 1553941234.017 * * [simplify]: iters left: 4 (83 enodes) 1553941234.045 * * [simplify]: iters left: 3 (123 enodes) 1553941234.070 * * [simplify]: iters left: 2 (189 enodes) 1553941234.109 * * [simplify]: iters left: 1 (286 enodes) 1553941234.193 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941234.193 * * [simplify]: Extracting #1: cost 19 inf + 0 1553941234.193 * * [simplify]: Extracting #2: cost 36 inf + 5 1553941234.194 * * [simplify]: Extracting #3: cost 39 inf + 1084 1553941234.196 * * [simplify]: Extracting #4: cost 29 inf + 2556 1553941234.197 * * [simplify]: Extracting #5: cost 21 inf + 5002 1553941234.200 * * [simplify]: Extracting #6: cost 2 inf + 15010 1553941234.204 * * [simplify]: Extracting #7: cost 0 inf + 15767 1553941234.208 * [simplify]: Simplified to (+ (+ x (/ -1/8 x)) -1/2) 1553941234.208 * [simplify]: Simplified (2) to (λ (x) (+ (+ x (/ -1/8 x)) -1/2)) 1553941234.209 * * * * [progress]: [ 24 / 24 ] simplifiying candidate # 1553941234.209 * [simplify]: Simplifying (+ (pow (/ -1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553941234.209 * * [simplify]: iters left: 6 (11 enodes) 1553941234.217 * * [simplify]: iters left: 5 (49 enodes) 1553941234.235 * * [simplify]: iters left: 4 (80 enodes) 1553941234.263 * * [simplify]: iters left: 3 (127 enodes) 1553941234.283 * * [simplify]: iters left: 2 (186 enodes) 1553941234.323 * * [simplify]: iters left: 1 (324 enodes) 1553941234.442 * * [simplify]: Extracting #0: cost 1 inf + 0 1553941234.442 * * [simplify]: Extracting #1: cost 24 inf + 0 1553941234.442 * * [simplify]: Extracting #2: cost 81 inf + 4 1553941234.443 * * [simplify]: Extracting #3: cost 79 inf + 2241 1553941234.445 * * [simplify]: Extracting #4: cost 45 inf + 15811 1553941234.449 * * [simplify]: Extracting #5: cost 5 inf + 39220 1553941234.456 * * [simplify]: Extracting #6: cost 0 inf + 41751 1553941234.465 * [simplify]: Simplified to (+ (- 1/2 x) (/ 1/8 x)) 1553941234.466 * [simplify]: Simplified (2) to (λ (x) (+ (- 1/2 x) (/ 1/8 x))) 1553941234.466 * * * [progress]: adding candidates to table 1553941234.599 * [progress]: [Phase 3 of 3] Extracting. 1553941234.599 * * [regime]: Finding splitpoints for: (# #) 1553941234.600 * * * [regime-changes]: Trying 1 branch expressions: (x) 1553941234.600 * * * * [regimes]: Trying to branch on x from (# #) 1553941234.616 * * * [regime]: Found split indices: #