0.003 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
0.210 * * * [progress]: [2/2] Setting up program.
0.214 * [progress]: [Phase 2 of 3] Improving.
0.214 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
0.215 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x))
0.216 * * [simplify]: iters left: 5 (6 enodes)
0.222 * * [simplify]: iters left: 4 (24 enodes)
0.228 * * [simplify]: iters left: 3 (28 enodes)
0.233 * * [simplify]: Extracting #0: cost 1 inf + 0
0.233 * * [simplify]: Extracting #1: cost 4 inf + 0
0.233 * * [simplify]: Extracting #2: cost 8 inf + 0
0.233 * * [simplify]: Extracting #3: cost 10 inf + 1
0.233 * * [simplify]: Extracting #4: cost 5 inf + 128
0.234 * * [simplify]: Extracting #5: cost 1 inf + 495
0.234 * * [simplify]: Extracting #6: cost 0 inf + 657
0.234 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x))
0.234 * [simplify]: Simplified (2) to (λ (x) (* (sqrt (+ x -1)) (sqrt x)))
0.263 * * [progress]: iteration 1 / 4
0.263 * * * [progress]: picking best candidate
0.265 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
0.265 * * * [progress]: localizing error
0.278 * * * [progress]: generating rewritten candidates
0.279 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.299 * * * [progress]: generating series expansions
0.299 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.304 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
0.304 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
0.305 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
0.305 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [taylor]: Taking taylor expansion of (- x 1) in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [taylor]: Taking taylor expansion of 1 in x
0.305 * [backup-simplify]: Simplify 1 into 1
0.306 * [backup-simplify]: Simplify (- 1) into -1
0.307 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.307 * [backup-simplify]: Simplify (* 0 -1) into 0
0.307 * [backup-simplify]: Simplify (- 0) into 0
0.308 * [backup-simplify]: Simplify (+ 1 0) into 1
0.308 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.308 * [backup-simplify]: Simplify (sqrt 0) into 0
0.309 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.309 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
0.309 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
0.309 * [taylor]: Taking taylor expansion of x in x
0.309 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [taylor]: Taking taylor expansion of (- x 1) in x
0.309 * [taylor]: Taking taylor expansion of x in x
0.309 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [taylor]: Taking taylor expansion of 1 in x
0.310 * [backup-simplify]: Simplify 1 into 1
0.310 * [backup-simplify]: Simplify (- 1) into -1
0.310 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.310 * [backup-simplify]: Simplify (* 0 -1) into 0
0.311 * [backup-simplify]: Simplify (- 0) into 0
0.311 * [backup-simplify]: Simplify (+ 1 0) into 1
0.311 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.312 * [backup-simplify]: Simplify (sqrt 0) into 0
0.312 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.313 * [backup-simplify]: Simplify (- 0) into 0
0.314 * [backup-simplify]: Simplify (+ 0 0) into 0
0.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.317 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.317 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.317 * [backup-simplify]: Simplify (- 0) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.320 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.320 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.321 * [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)))))))
0.321 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
0.321 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
0.321 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
0.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
0.321 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [backup-simplify]: Simplify (/ 1 1) into 1
0.322 * [taylor]: Taking taylor expansion of 1 in x
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.323 * [backup-simplify]: Simplify (+ 1 0) into 1
0.323 * [backup-simplify]: Simplify (/ 1 1) into 1
0.323 * [backup-simplify]: Simplify (sqrt 1) into 1
0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.324 * [backup-simplify]: Simplify (- 1) into -1
0.324 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.325 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
0.325 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
0.325 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
0.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
0.325 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 1 into 1
0.326 * [backup-simplify]: Simplify (/ 1 1) into 1
0.326 * [taylor]: Taking taylor expansion of 1 in x
0.326 * [backup-simplify]: Simplify 1 into 1
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 1 into 1
0.326 * [backup-simplify]: Simplify (+ 1 0) into 1
0.326 * [backup-simplify]: Simplify (/ 1 1) into 1
0.327 * [backup-simplify]: Simplify (sqrt 1) into 1
0.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.327 * [backup-simplify]: Simplify (- 1) into -1
0.328 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.328 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
0.329 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
0.329 * [backup-simplify]: Simplify 1 into 1
0.329 * [backup-simplify]: Simplify -1/2 into -1/2
0.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.329 * [backup-simplify]: Simplify (- 0) into 0
0.330 * [backup-simplify]: Simplify (+ 0 0) into 0
0.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
0.331 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
0.331 * [backup-simplify]: Simplify -1/8 into -1/8
0.331 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
0.332 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
0.332 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
0.332 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
0.332 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
0.332 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.332 * [backup-simplify]: Simplify (/ 1 1) into 1
0.332 * [taylor]: Taking taylor expansion of 1 in x
0.332 * [backup-simplify]: Simplify 1 into 1
0.333 * [backup-simplify]: Simplify (+ 1 0) into 1
0.333 * [backup-simplify]: Simplify (- 1) into -1
0.333 * [backup-simplify]: Simplify (sqrt 0) into 0
0.333 * [backup-simplify]: Simplify (- 1) into -1
0.334 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.334 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.334 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.334 * [taylor]: Taking taylor expansion of -1 in x
0.334 * [backup-simplify]: Simplify -1 into -1
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify 1 into 1
0.335 * [backup-simplify]: Simplify (/ -1 1) into -1
0.335 * [backup-simplify]: Simplify (sqrt 0) into 0
0.336 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.336 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
0.336 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
0.336 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 1 into 1
0.336 * [backup-simplify]: Simplify (/ 1 1) into 1
0.336 * [taylor]: Taking taylor expansion of 1 in x
0.336 * [backup-simplify]: Simplify 1 into 1
0.337 * [backup-simplify]: Simplify (+ 1 0) into 1
0.337 * [backup-simplify]: Simplify (- 1) into -1
0.337 * [backup-simplify]: Simplify (sqrt 0) into 0
0.337 * [backup-simplify]: Simplify (- 1) into -1
0.347 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.347 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.347 * [taylor]: Taking taylor expansion of -1 in x
0.347 * [backup-simplify]: Simplify -1 into -1
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 1 into 1
0.347 * [backup-simplify]: Simplify (/ -1 1) into -1
0.348 * [backup-simplify]: Simplify (sqrt 0) into 0
0.349 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.349 * [backup-simplify]: Simplify (* 0 0) into 0
0.349 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.352 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.353 * [backup-simplify]: Simplify (+ 0 1) into 1
0.353 * [backup-simplify]: Simplify (- 1) into -1
0.355 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.357 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
0.357 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.360 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.361 * [backup-simplify]: Simplify (+ 0 0) into 0
0.361 * [backup-simplify]: Simplify (- 0) into 0
0.365 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.367 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
0.368 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.371 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.372 * [backup-simplify]: Simplify (+ 0 0) into 0
0.372 * [backup-simplify]: Simplify (- 0) into 0
0.375 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.378 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
0.378 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.379 * [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)))))
0.381 * * * [progress]: simplifying candidates
0.381 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (- x 1)) (sqrt x)))))>
0.381 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (- x 1)) (sqrt x)))))>
0.381 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
0.381 * [simplify]: Simplifying (* (- x 1) x)
0.381 * * [simplify]: iters left: 4 (4 enodes)
0.383 * * [simplify]: iters left: 3 (18 enodes)
0.387 * * [simplify]: iters left: 2 (27 enodes)
0.392 * * [simplify]: iters left: 1 (38 enodes)
0.398 * * [simplify]: Extracting #0: cost 1 inf + 0
0.398 * * [simplify]: Extracting #1: cost 8 inf + 0
0.398 * * [simplify]: Extracting #2: cost 10 inf + 2
0.398 * * [simplify]: Extracting #3: cost 0 inf + 457
0.398 * * [simplify]: Extracting #4: cost 0 inf + 455
0.399 * [simplify]: Simplified to (- (* x x) x)
0.399 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
0.399 * * * * [progress]: [ 4 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
0.399 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x))
0.399 * * [simplify]: iters left: 5 (6 enodes)
0.401 * * [simplify]: iters left: 4 (24 enodes)
0.405 * * [simplify]: iters left: 3 (28 enodes)
0.409 * * [simplify]: Extracting #0: cost 1 inf + 0
0.409 * * [simplify]: Extracting #1: cost 4 inf + 0
0.409 * * [simplify]: Extracting #2: cost 8 inf + 0
0.409 * * [simplify]: Extracting #3: cost 10 inf + 1
0.409 * * [simplify]: Extracting #4: cost 5 inf + 128
0.409 * * [simplify]: Extracting #5: cost 1 inf + 495
0.410 * * [simplify]: Extracting #6: cost 0 inf + 657
0.410 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x))
0.410 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
0.410 * * * * [progress]: [ 5 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
0.410 * [simplify]: Simplifying (* (- x 1) x)
0.410 * * [simplify]: iters left: 4 (4 enodes)
0.411 * * [simplify]: iters left: 3 (18 enodes)
0.414 * * [simplify]: iters left: 2 (27 enodes)
0.423 * * [simplify]: iters left: 1 (38 enodes)
0.433 * * [simplify]: Extracting #0: cost 1 inf + 0
0.434 * * [simplify]: Extracting #1: cost 8 inf + 0
0.434 * * [simplify]: Extracting #2: cost 10 inf + 2
0.434 * * [simplify]: Extracting #3: cost 0 inf + 457
0.434 * * [simplify]: Extracting #4: cost 0 inf + 455
0.435 * [simplify]: Simplified to (- (* x x) x)
0.435 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (/ 1 2)))
0.435 * [simplify]: Simplifying (/ 1 2)
0.435 * * [simplify]: iters left: 2 (3 enodes)
0.438 * * [simplify]: iters left: 1 (12 enodes)
0.443 * * [simplify]: Extracting #0: cost 1 inf + 0
0.443 * * [simplify]: Extracting #1: cost 0 inf + 1
0.443 * [simplify]: Simplified to 1/2
0.443 * [simplify]: Simplified (2 2) to (λ (x) (pow (* (- x 1) x) 1/2))
0.443 * * * * [progress]: [ 6 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
0.443 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
0.444 * [simplify]: Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
0.444 * * [simplify]: iters left: 6 (8 enodes)
0.449 * * [simplify]: iters left: 5 (30 enodes)
0.462 * * [simplify]: iters left: 4 (34 enodes)
0.508 * * [simplify]: Extracting #0: cost 1 inf + 0
0.508 * * [simplify]: Extracting #1: cost 4 inf + 0
0.508 * * [simplify]: Extracting #2: cost 8 inf + 0
0.508 * * [simplify]: Extracting #3: cost 12 inf + 0
0.508 * * [simplify]: Extracting #4: cost 10 inf + 305
0.508 * * [simplify]: Extracting #5: cost 8 inf + 307
0.509 * * [simplify]: Extracting #6: cost 5 inf + 473
0.509 * * [simplify]: Extracting #7: cost 0 inf + 1463
0.510 * [simplify]: Simplified to (+ (log (sqrt x)) (log (sqrt (+ x -1))))
0.510 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (+ x -1))))))
0.510 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
0.510 * * * * [progress]: [ 9 / 42 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
0.510 * * * * [progress]: [ 10 / 42 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
0.511 * [simplify]: Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
0.511 * * [simplify]: iters left: 6 (10 enodes)
0.519 * * [simplify]: iters left: 5 (38 enodes)
0.536 * * [simplify]: iters left: 4 (72 enodes)
0.604 * * [simplify]: iters left: 3 (130 enodes)
0.705 * * [simplify]: iters left: 2 (244 enodes)
0.854 * * [simplify]: iters left: 1 (485 enodes)
1.018 * * [simplify]: Extracting #0: cost 1 inf + 0
1.018 * * [simplify]: Extracting #1: cost 48 inf + 0
1.019 * * [simplify]: Extracting #2: cost 103 inf + 43
1.020 * * [simplify]: Extracting #3: cost 78 inf + 3128
1.024 * * [simplify]: Extracting #4: cost 16 inf + 21409
1.030 * * [simplify]: Extracting #5: cost 1 inf + 29623
1.036 * * [simplify]: Extracting #6: cost 0 inf + 30287
1.047 * [simplify]: Simplified to (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x))))
1.047 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x))))))
1.047 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt x)))))>
1.047 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1.047 * * * * [progress]: [ 13 / 42 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1.048 * [simplify]: Simplifying (* (- x 1) x)
1.048 * * [simplify]: iters left: 4 (4 enodes)
1.051 * * [simplify]: iters left: 3 (18 enodes)
1.057 * * [simplify]: iters left: 2 (27 enodes)
1.065 * * [simplify]: iters left: 1 (38 enodes)
1.070 * * [simplify]: Extracting #0: cost 1 inf + 0
1.070 * * [simplify]: Extracting #1: cost 8 inf + 0
1.070 * * [simplify]: Extracting #2: cost 10 inf + 2
1.070 * * [simplify]: Extracting #3: cost 0 inf + 457
1.070 * * [simplify]: Extracting #4: cost 0 inf + 455
1.071 * [simplify]: Simplified to (- (* x x) x)
1.071 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1.071 * * * * [progress]: [ 14 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1.071 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1.071 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
1.071 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.071 * * [simplify]: iters left: 6 (8 enodes)
1.073 * * [simplify]: iters left: 5 (30 enodes)
1.078 * * [simplify]: iters left: 4 (34 enodes)
1.083 * * [simplify]: Extracting #0: cost 1 inf + 0
1.083 * * [simplify]: Extracting #1: cost 4 inf + 0
1.083 * * [simplify]: Extracting #2: cost 8 inf + 0
1.083 * * [simplify]: Extracting #3: cost 12 inf + 0
1.083 * * [simplify]: Extracting #4: cost 10 inf + 245
1.083 * * [simplify]: Extracting #5: cost 8 inf + 247
1.083 * * [simplify]: Extracting #6: cost 5 inf + 413
1.083 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.084 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.084 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))
1.084 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.084 * * [simplify]: iters left: 6 (8 enodes)
1.086 * * [simplify]: iters left: 5 (30 enodes)
1.091 * * [simplify]: iters left: 4 (34 enodes)
1.106 * * [simplify]: Extracting #0: cost 1 inf + 0
1.106 * * [simplify]: Extracting #1: cost 4 inf + 0
1.106 * * [simplify]: Extracting #2: cost 8 inf + 0
1.106 * * [simplify]: Extracting #3: cost 12 inf + 0
1.106 * * [simplify]: Extracting #4: cost 10 inf + 245
1.106 * * [simplify]: Extracting #5: cost 8 inf + 247
1.107 * * [simplify]: Extracting #6: cost 5 inf + 413
1.107 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.108 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.108 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))))
1.108 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
1.108 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.108 * * [simplify]: iters left: 6 (8 enodes)
1.113 * * [simplify]: iters left: 5 (30 enodes)
1.123 * * [simplify]: iters left: 4 (34 enodes)
1.133 * * [simplify]: Extracting #0: cost 1 inf + 0
1.133 * * [simplify]: Extracting #1: cost 4 inf + 0
1.133 * * [simplify]: Extracting #2: cost 8 inf + 0
1.133 * * [simplify]: Extracting #3: cost 12 inf + 0
1.133 * * [simplify]: Extracting #4: cost 10 inf + 245
1.134 * * [simplify]: Extracting #5: cost 8 inf + 247
1.134 * * [simplify]: Extracting #6: cost 5 inf + 413
1.134 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.135 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.135 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))
1.135 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.135 * * [simplify]: iters left: 6 (8 enodes)
1.140 * * [simplify]: iters left: 5 (30 enodes)
1.149 * * [simplify]: iters left: 4 (34 enodes)
1.155 * * [simplify]: Extracting #0: cost 1 inf + 0
1.155 * * [simplify]: Extracting #1: cost 4 inf + 0
1.155 * * [simplify]: Extracting #2: cost 8 inf + 0
1.155 * * [simplify]: Extracting #3: cost 12 inf + 0
1.155 * * [simplify]: Extracting #4: cost 10 inf + 245
1.155 * * [simplify]: Extracting #5: cost 8 inf + 247
1.155 * * [simplify]: Extracting #6: cost 5 inf + 413
1.155 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.156 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.156 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))))
1.156 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
1.156 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.156 * * [simplify]: iters left: 6 (8 enodes)
1.158 * * [simplify]: iters left: 5 (30 enodes)
1.163 * * [simplify]: iters left: 4 (34 enodes)
1.168 * * [simplify]: Extracting #0: cost 1 inf + 0
1.168 * * [simplify]: Extracting #1: cost 4 inf + 0
1.168 * * [simplify]: Extracting #2: cost 8 inf + 0
1.168 * * [simplify]: Extracting #3: cost 12 inf + 0
1.168 * * [simplify]: Extracting #4: cost 10 inf + 245
1.168 * * [simplify]: Extracting #5: cost 8 inf + 247
1.168 * * [simplify]: Extracting #6: cost 5 inf + 413
1.168 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.169 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.169 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))
1.169 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.169 * * [simplify]: iters left: 6 (8 enodes)
1.171 * * [simplify]: iters left: 5 (30 enodes)
1.176 * * [simplify]: iters left: 4 (34 enodes)
1.180 * * [simplify]: Extracting #0: cost 1 inf + 0
1.180 * * [simplify]: Extracting #1: cost 4 inf + 0
1.180 * * [simplify]: Extracting #2: cost 8 inf + 0
1.180 * * [simplify]: Extracting #3: cost 12 inf + 0
1.181 * * [simplify]: Extracting #4: cost 10 inf + 245
1.181 * * [simplify]: Extracting #5: cost 8 inf + 247
1.181 * * [simplify]: Extracting #6: cost 5 inf + 413
1.181 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.181 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.181 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))))
1.181 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
1.181 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.181 * * [simplify]: iters left: 6 (8 enodes)
1.184 * * [simplify]: iters left: 5 (30 enodes)
1.189 * * [simplify]: iters left: 4 (34 enodes)
1.199 * * [simplify]: Extracting #0: cost 1 inf + 0
1.199 * * [simplify]: Extracting #1: cost 4 inf + 0
1.200 * * [simplify]: Extracting #2: cost 8 inf + 0
1.200 * * [simplify]: Extracting #3: cost 12 inf + 0
1.200 * * [simplify]: Extracting #4: cost 10 inf + 245
1.200 * * [simplify]: Extracting #5: cost 8 inf + 247
1.200 * * [simplify]: Extracting #6: cost 5 inf + 413
1.200 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.201 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.201 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))
1.201 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
1.201 * * [simplify]: iters left: 6 (8 enodes)
1.206 * * [simplify]: iters left: 5 (30 enodes)
1.215 * * [simplify]: iters left: 4 (34 enodes)
1.227 * * [simplify]: Extracting #0: cost 1 inf + 0
1.227 * * [simplify]: Extracting #1: cost 4 inf + 0
1.227 * * [simplify]: Extracting #2: cost 8 inf + 0
1.227 * * [simplify]: Extracting #3: cost 12 inf + 0
1.227 * * [simplify]: Extracting #4: cost 10 inf + 245
1.227 * * [simplify]: Extracting #5: cost 8 inf + 247
1.228 * * [simplify]: Extracting #6: cost 5 inf + 413
1.228 * * [simplify]: Extracting #7: cost 0 inf + 1223
1.228 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))
1.228 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1))))))
1.229 * * * * [progress]: [ 20 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1.229 * [simplify]: Simplifying (cbrt (sqrt x))
1.229 * * [simplify]: iters left: 2 (3 enodes)
1.230 * * [simplify]: iters left: 1 (9 enodes)
1.233 * * [simplify]: Extracting #0: cost 1 inf + 0
1.233 * * [simplify]: Extracting #1: cost 3 inf + 0
1.233 * * [simplify]: Extracting #2: cost 5 inf + 0
1.233 * * [simplify]: Extracting #3: cost 4 inf + 1
1.233 * * [simplify]: Extracting #4: cost 0 inf + 325
1.233 * [simplify]: Simplified to (cbrt (sqrt x))
1.233 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1.233 * * * * [progress]: [ 21 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))))>
1.233 * [simplify]: Simplifying (sqrt (cbrt x))
1.234 * * [simplify]: iters left: 2 (3 enodes)
1.235 * * [simplify]: iters left: 1 (9 enodes)
1.237 * * [simplify]: Extracting #0: cost 1 inf + 0
1.237 * * [simplify]: Extracting #1: cost 3 inf + 0
1.237 * * [simplify]: Extracting #2: cost 5 inf + 0
1.237 * * [simplify]: Extracting #3: cost 4 inf + 1
1.237 * * [simplify]: Extracting #4: cost 0 inf + 405
1.238 * [simplify]: Simplified to (sqrt (cbrt x))
1.238 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))))
1.238 * * * * [progress]: [ 22 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1.238 * [simplify]: Simplifying (sqrt (sqrt x))
1.238 * * [simplify]: iters left: 2 (3 enodes)
1.239 * * [simplify]: iters left: 1 (9 enodes)
1.242 * * [simplify]: Extracting #0: cost 1 inf + 0
1.242 * * [simplify]: Extracting #1: cost 3 inf + 0
1.242 * * [simplify]: Extracting #2: cost 5 inf + 0
1.242 * * [simplify]: Extracting #3: cost 4 inf + 1
1.242 * * [simplify]: Extracting #4: cost 0 inf + 245
1.242 * [simplify]: Simplified to (sqrt (sqrt x))
1.242 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1.242 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x)))>
1.243 * [simplify]: Simplifying (sqrt x)
1.243 * * [simplify]: iters left: 1 (2 enodes)
1.244 * * [simplify]: Extracting #0: cost 1 inf + 0
1.244 * * [simplify]: Extracting #1: cost 3 inf + 0
1.244 * * [simplify]: Extracting #2: cost 2 inf + 1
1.244 * * [simplify]: Extracting #3: cost 0 inf + 83
1.244 * [simplify]: Simplified to (sqrt x)
1.244 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x)))
1.244 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1.244 * [simplify]: Simplifying (sqrt (sqrt x))
1.244 * * [simplify]: iters left: 2 (3 enodes)
1.245 * * [simplify]: iters left: 1 (9 enodes)
1.248 * * [simplify]: Extracting #0: cost 1 inf + 0
1.248 * * [simplify]: Extracting #1: cost 3 inf + 0
1.248 * * [simplify]: Extracting #2: cost 5 inf + 0
1.248 * * [simplify]: Extracting #3: cost 4 inf + 1
1.248 * * [simplify]: Extracting #4: cost 0 inf + 245
1.248 * [simplify]: Simplified to (sqrt (sqrt x))
1.248 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1.248 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1.249 * [simplify]: Simplifying (sqrt x)
1.249 * * [simplify]: iters left: 1 (2 enodes)
1.250 * * [simplify]: Extracting #0: cost 1 inf + 0
1.250 * * [simplify]: Extracting #1: cost 3 inf + 0
1.250 * * [simplify]: Extracting #2: cost 2 inf + 1
1.250 * * [simplify]: Extracting #3: cost 0 inf + 83
1.250 * [simplify]: Simplified to (sqrt x)
1.251 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1.251 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1.251 * [simplify]: Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1.251 * * [simplify]: iters left: 6 (6 enodes)
1.255 * * [simplify]: iters left: 5 (23 enodes)
1.262 * * [simplify]: iters left: 4 (27 enodes)
1.272 * * [simplify]: Extracting #0: cost 1 inf + 0
1.272 * * [simplify]: Extracting #1: cost 3 inf + 0
1.272 * * [simplify]: Extracting #2: cost 5 inf + 0
1.272 * * [simplify]: Extracting #3: cost 7 inf + 0
1.272 * * [simplify]: Extracting #4: cost 11 inf + 0
1.272 * * [simplify]: Extracting #5: cost 6 inf + 87
1.272 * * [simplify]: Extracting #6: cost 1 inf + 777
1.273 * * [simplify]: Extracting #7: cost 0 inf + 979
1.273 * [simplify]: Simplified to (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1.273 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1.273 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1.274 * [simplify]: Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1.274 * * [simplify]: iters left: 6 (6 enodes)
1.277 * * [simplify]: iters left: 5 (24 enodes)
1.282 * * [simplify]: iters left: 4 (28 enodes)
1.286 * * [simplify]: Extracting #0: cost 1 inf + 0
1.286 * * [simplify]: Extracting #1: cost 4 inf + 0
1.286 * * [simplify]: Extracting #2: cost 7 inf + 0
1.286 * * [simplify]: Extracting #3: cost 11 inf + 0
1.286 * * [simplify]: Extracting #4: cost 8 inf + 3
1.286 * * [simplify]: Extracting #5: cost 4 inf + 331
1.286 * * [simplify]: Extracting #6: cost 2 inf + 655
1.286 * * [simplify]: Extracting #7: cost 0 inf + 979
1.286 * [simplify]: Simplified to (fabs (cbrt (+ x -1)))
1.286 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1.287 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1.287 * [simplify]: Simplifying (sqrt (sqrt (- x 1)))
1.287 * * [simplify]: iters left: 4 (5 enodes)
1.288 * * [simplify]: iters left: 3 (20 enodes)
1.291 * * [simplify]: iters left: 2 (24 enodes)
1.295 * * [simplify]: Extracting #0: cost 1 inf + 0
1.295 * * [simplify]: Extracting #1: cost 3 inf + 0
1.295 * * [simplify]: Extracting #2: cost 5 inf + 0
1.295 * * [simplify]: Extracting #3: cost 9 inf + 0
1.295 * * [simplify]: Extracting #4: cost 6 inf + 3
1.295 * * [simplify]: Extracting #5: cost 0 inf + 495
1.295 * [simplify]: Simplified to (sqrt (sqrt (+ x -1)))
1.295 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1.295 * * * * [progress]: [ 29 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1.295 * [simplify]: Simplifying (sqrt 1)
1.295 * * [simplify]: iters left: 1 (2 enodes)
1.297 * * [simplify]: Extracting #0: cost 1 inf + 0
1.297 * * [simplify]: Extracting #1: cost 0 inf + 1
1.297 * [simplify]: Simplified to 1
1.297 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1.297 * * * * [progress]: [ 30 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) (sqrt 1))) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x))))>
1.297 * [simplify]: Simplifying (sqrt (+ (sqrt x) (sqrt 1)))
1.297 * * [simplify]: iters left: 4 (6 enodes)
1.299 * * [simplify]: iters left: 3 (21 enodes)
1.302 * * [simplify]: iters left: 2 (23 enodes)
1.305 * * [simplify]: Extracting #0: cost 1 inf + 0
1.305 * * [simplify]: Extracting #1: cost 3 inf + 0
1.305 * * [simplify]: Extracting #2: cost 6 inf + 0
1.305 * * [simplify]: Extracting #3: cost 7 inf + 1
1.305 * * [simplify]: Extracting #4: cost 6 inf + 2
1.305 * * [simplify]: Extracting #5: cost 0 inf + 492
1.305 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1))
1.305 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x))))
1.305 * * * * [progress]: [ 31 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))>
1.306 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1))
1.306 * * [simplify]: iters left: 4 (5 enodes)
1.307 * * [simplify]: iters left: 3 (18 enodes)
1.313 * * [simplify]: iters left: 2 (20 enodes)
1.319 * * [simplify]: Extracting #0: cost 1 inf + 0
1.319 * * [simplify]: Extracting #1: cost 3 inf + 0
1.319 * * [simplify]: Extracting #2: cost 6 inf + 0
1.319 * * [simplify]: Extracting #3: cost 7 inf + 1
1.320 * * [simplify]: Extracting #4: cost 6 inf + 2
1.320 * * [simplify]: Extracting #5: cost 0 inf + 492
1.320 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1))
1.320 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))
1.320 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))>
1.320 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1))
1.320 * * [simplify]: iters left: 4 (5 enodes)
1.323 * * [simplify]: iters left: 3 (18 enodes)
1.329 * * [simplify]: iters left: 2 (20 enodes)
1.335 * * [simplify]: Extracting #0: cost 1 inf + 0
1.335 * * [simplify]: Extracting #1: cost 3 inf + 0
1.335 * * [simplify]: Extracting #2: cost 6 inf + 0
1.335 * * [simplify]: Extracting #3: cost 7 inf + 1
1.335 * * [simplify]: Extracting #4: cost 6 inf + 2
1.335 * * [simplify]: Extracting #5: cost 0 inf + 492
1.335 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1))
1.335 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))
1.335 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1.336 * [simplify]: Simplifying (sqrt 1)
1.336 * * [simplify]: iters left: 1 (2 enodes)
1.339 * * [simplify]: Extracting #0: cost 1 inf + 0
1.339 * * [simplify]: Extracting #1: cost 0 inf + 1
1.339 * [simplify]: Simplified to 1
1.339 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1.339 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1.339 * [simplify]: Simplifying (sqrt (sqrt (- x 1)))
1.339 * * [simplify]: iters left: 4 (5 enodes)
1.342 * * [simplify]: iters left: 3 (20 enodes)
1.346 * * [simplify]: iters left: 2 (24 enodes)
1.349 * * [simplify]: Extracting #0: cost 1 inf + 0
1.349 * * [simplify]: Extracting #1: cost 3 inf + 0
1.349 * * [simplify]: Extracting #2: cost 5 inf + 0
1.349 * * [simplify]: Extracting #3: cost 9 inf + 0
1.349 * * [simplify]: Extracting #4: cost 6 inf + 3
1.349 * * [simplify]: Extracting #5: cost 0 inf + 495
1.350 * [simplify]: Simplified to (sqrt (sqrt (+ x -1)))
1.350 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1.350 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1.350 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1.350 * [simplify]: Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1.350 * * [simplify]: iters left: 6 (9 enodes)
1.355 * * [simplify]: iters left: 5 (41 enodes)
1.363 * * [simplify]: iters left: 4 (73 enodes)
1.375 * * [simplify]: iters left: 3 (108 enodes)
1.393 * * [simplify]: iters left: 2 (174 enodes)
1.428 * * [simplify]: iters left: 1 (359 enodes)
1.601 * * [simplify]: Extracting #0: cost 1 inf + 0
1.601 * * [simplify]: Extracting #1: cost 4 inf + 0
1.601 * * [simplify]: Extracting #2: cost 8 inf + 0
1.601 * * [simplify]: Extracting #3: cost 53 inf + 83
1.602 * * [simplify]: Extracting #4: cost 184 inf + 126
1.604 * * [simplify]: Extracting #5: cost 182 inf + 2089
1.610 * * [simplify]: Extracting #6: cost 107 inf + 32963
1.626 * * [simplify]: Extracting #7: cost 11 inf + 84620
1.634 * * [simplify]: Extracting #8: cost 0 inf + 91226
1.642 * * [simplify]: Extracting #9: cost 0 inf + 91055
1.651 * [simplify]: Simplified to (* (sqrt x) (sqrt (fma x (* x x) -1)))
1.651 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma x (* x x) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1.651 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1.651 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1.651 * * [simplify]: iters left: 6 (8 enodes)
1.654 * * [simplify]: iters left: 5 (30 enodes)
1.659 * * [simplify]: iters left: 4 (41 enodes)
1.664 * * [simplify]: iters left: 3 (48 enodes)
1.670 * * [simplify]: iters left: 2 (64 enodes)
1.685 * * [simplify]: iters left: 1 (107 enodes)
1.719 * * [simplify]: Extracting #0: cost 1 inf + 0
1.719 * * [simplify]: Extracting #1: cost 4 inf + 0
1.720 * * [simplify]: Extracting #2: cost 8 inf + 0
1.720 * * [simplify]: Extracting #3: cost 28 inf + 1
1.720 * * [simplify]: Extracting #4: cost 21 inf + 947
1.722 * * [simplify]: Extracting #5: cost 3 inf + 2726
1.723 * * [simplify]: Extracting #6: cost 0 inf + 2733
1.725 * [simplify]: Simplified to (* (sqrt (fma x x -1)) (sqrt x))
1.725 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1))))
1.725 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (sqrt (- x 1)) (sqrt x)))))>
1.725 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1.725 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1.725 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1.725 * [simplify]: Simplified (2) to (λ (x) +nan.0)
1.725 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1.726 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1.726 * * [simplify]: iters left: 6 (8 enodes)
1.732 * * [simplify]: iters left: 5 (35 enodes)
1.743 * * [simplify]: iters left: 4 (54 enodes)
1.755 * * [simplify]: iters left: 3 (77 enodes)
1.768 * * [simplify]: iters left: 2 (110 enodes)
1.781 * * [simplify]: iters left: 1 (124 enodes)
1.797 * * [simplify]: Extracting #0: cost 1 inf + 0
1.797 * * [simplify]: Extracting #1: cost 18 inf + 0
1.798 * * [simplify]: Extracting #2: cost 26 inf + 5
1.798 * * [simplify]: Extracting #3: cost 6 inf + 1207
1.798 * * [simplify]: Extracting #4: cost 0 inf + 1580
1.799 * * [simplify]: Extracting #5: cost 0 inf + 1540
1.800 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x)))
1.800 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x))))
1.800 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1.800 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1.800 * [simplify]: Simplified (2) to (λ (x) +nan.0)
1.800 * * * [progress]: adding candidates to table
2.168 * * [progress]: iteration 2 / 4
2.168 * * * [progress]: picking best candidate
2.174 * * * * [pick]: Picked  #<alt (λ (x) (- x (- 1/2 (/ -1/8 x))))>
2.174 * * * [progress]: localizing error
2.190 * * * [progress]: generating rewritten candidates
2.190 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.236 * * * [progress]: generating series expansions
2.236 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.236 * [backup-simplify]: Simplify (- x (- 1/2 (/ -1/8 x))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
2.236 * [approximate]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in (x) around 0
2.236 * [taylor]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
2.236 * [taylor]: Taking taylor expansion of x in x
2.236 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify 1 into 1
2.236 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
2.236 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 x)) in x
2.236 * [taylor]: Taking taylor expansion of 1/8 in x
2.236 * [backup-simplify]: Simplify 1/8 into 1/8
2.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.236 * [taylor]: Taking taylor expansion of x in x
2.236 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify 1 into 1
2.237 * [backup-simplify]: Simplify (/ 1 1) into 1
2.237 * [taylor]: Taking taylor expansion of 1/2 in x
2.237 * [backup-simplify]: Simplify 1/2 into 1/2
2.237 * [taylor]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
2.237 * [taylor]: Taking taylor expansion of x in x
2.237 * [backup-simplify]: Simplify 0 into 0
2.237 * [backup-simplify]: Simplify 1 into 1
2.237 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
2.237 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 x)) in x
2.237 * [taylor]: Taking taylor expansion of 1/8 in x
2.237 * [backup-simplify]: Simplify 1/8 into 1/8
2.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.237 * [taylor]: Taking taylor expansion of x in x
2.237 * [backup-simplify]: Simplify 0 into 0
2.237 * [backup-simplify]: Simplify 1 into 1
2.238 * [backup-simplify]: Simplify (/ 1 1) into 1
2.238 * [taylor]: Taking taylor expansion of 1/2 in x
2.238 * [backup-simplify]: Simplify 1/2 into 1/2
2.238 * [backup-simplify]: Simplify (* 1/8 1) into 1/8
2.239 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8
2.239 * [backup-simplify]: Simplify (- 1/8) into -1/8
2.240 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8
2.240 * [backup-simplify]: Simplify -1/8 into -1/8
2.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.241 * [backup-simplify]: Simplify (+ (* 1/8 0) (* 0 1)) into 0
2.242 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.242 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.243 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
2.243 * [backup-simplify]: Simplify -1/2 into -1/2
2.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.245 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
2.245 * [backup-simplify]: Simplify (+ 0 0) into 0
2.245 * [backup-simplify]: Simplify (- 0) into 0
2.246 * [backup-simplify]: Simplify (+ 1 0) into 1
2.246 * [backup-simplify]: Simplify 1 into 1
2.246 * [backup-simplify]: Simplify (+ (* 1 x) (+ -1/2 (* -1/8 (/ 1 x)))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
2.246 * [backup-simplify]: Simplify (- (/ 1 x) (- 1/2 (/ -1/8 (/ 1 x)))) into (- (/ 1 x) (+ (* 1/8 x) 1/2))
2.246 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in (x) around 0
2.246 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
2.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.246 * [taylor]: Taking taylor expansion of x in x
2.246 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 1 into 1
2.247 * [backup-simplify]: Simplify (/ 1 1) into 1
2.247 * [taylor]: Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
2.247 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
2.247 * [taylor]: Taking taylor expansion of 1/8 in x
2.247 * [backup-simplify]: Simplify 1/8 into 1/8
2.247 * [taylor]: Taking taylor expansion of x in x
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 1 into 1
2.247 * [taylor]: Taking taylor expansion of 1/2 in x
2.247 * [backup-simplify]: Simplify 1/2 into 1/2
2.247 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
2.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.247 * [taylor]: Taking taylor expansion of x in x
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 1 into 1
2.248 * [backup-simplify]: Simplify (/ 1 1) into 1
2.248 * [taylor]: Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
2.248 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
2.248 * [taylor]: Taking taylor expansion of 1/8 in x
2.248 * [backup-simplify]: Simplify 1/8 into 1/8
2.248 * [taylor]: Taking taylor expansion of x in x
2.248 * [backup-simplify]: Simplify 0 into 0
2.248 * [backup-simplify]: Simplify 1 into 1
2.248 * [taylor]: Taking taylor expansion of 1/2 in x
2.248 * [backup-simplify]: Simplify 1/2 into 1/2
2.248 * [backup-simplify]: Simplify (+ 1 0) into 1
2.249 * [backup-simplify]: Simplify 1 into 1
2.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.250 * [backup-simplify]: Simplify (* 1/8 0) into 0
2.250 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.251 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.251 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
2.251 * [backup-simplify]: Simplify -1/2 into -1/2
2.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.253 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
2.253 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8
2.253 * [backup-simplify]: Simplify (- 1/8) into -1/8
2.254 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8
2.254 * [backup-simplify]: Simplify -1/8 into -1/8
2.255 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
2.255 * [backup-simplify]: Simplify (- (/ 1 (- x)) (- 1/2 (/ -1/8 (/ 1 (- x))))) into (- (* 1/8 x) (+ (/ 1 x) 1/2))
2.255 * [approximate]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in (x) around 0
2.255 * [taylor]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
2.255 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
2.255 * [taylor]: Taking taylor expansion of 1/8 in x
2.255 * [backup-simplify]: Simplify 1/8 into 1/8
2.255 * [taylor]: Taking taylor expansion of x in x
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 1 into 1
2.255 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x
2.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.255 * [taylor]: Taking taylor expansion of x in x
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 1 into 1
2.255 * [backup-simplify]: Simplify (/ 1 1) into 1
2.255 * [taylor]: Taking taylor expansion of 1/2 in x
2.255 * [backup-simplify]: Simplify 1/2 into 1/2
2.255 * [taylor]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
2.255 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
2.255 * [taylor]: Taking taylor expansion of 1/8 in x
2.255 * [backup-simplify]: Simplify 1/8 into 1/8
2.255 * [taylor]: Taking taylor expansion of x in x
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.256 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x
2.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.256 * [taylor]: Taking taylor expansion of x in x
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.256 * [backup-simplify]: Simplify (/ 1 1) into 1
2.256 * [taylor]: Taking taylor expansion of 1/2 in x
2.256 * [backup-simplify]: Simplify 1/2 into 1/2
2.256 * [backup-simplify]: Simplify (+ 1 0) into 1
2.256 * [backup-simplify]: Simplify (- 1) into -1
2.257 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.257 * [backup-simplify]: Simplify -1 into -1
2.257 * [backup-simplify]: Simplify (* 1/8 0) into 0
2.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.258 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.258 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.258 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
2.258 * [backup-simplify]: Simplify -1/2 into -1/2
2.259 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
2.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.259 * [backup-simplify]: Simplify (+ 0 0) into 0
2.260 * [backup-simplify]: Simplify (- 0) into 0
2.260 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8
2.260 * [backup-simplify]: Simplify 1/8 into 1/8
2.260 * [backup-simplify]: Simplify (+ (* 1/8 (/ 1 (- x))) (+ -1/2 (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
2.260 * * * [progress]: simplifying candidates
2.260 * * * * [progress]: [ 1 / 85 ] simplifiying candidate #<alt (λ (x) (+ (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))))))) (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))))))))>
2.260 * [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)))))))
2.261 * * [simplify]: iters left: 6 (12 enodes)
2.264 * * [simplify]: iters left: 5 (47 enodes)
2.272 * * [simplify]: iters left: 4 (73 enodes)
2.287 * * [simplify]: iters left: 3 (107 enodes)
2.325 * * [simplify]: iters left: 2 (166 enodes)
2.364 * * [simplify]: iters left: 1 (250 enodes)
2.411 * * [simplify]: Extracting #0: cost 1 inf + 0
2.412 * * [simplify]: Extracting #1: cost 24 inf + 0
2.412 * * [simplify]: Extracting #2: cost 67 inf + 126
2.412 * * [simplify]: Extracting #3: cost 70 inf + 663
2.413 * * [simplify]: Extracting #4: cost 55 inf + 2223
2.414 * * [simplify]: Extracting #5: cost 35 inf + 9930
2.418 * * [simplify]: Extracting #6: cost 3 inf + 31596
2.425 * * [simplify]: Extracting #7: cost 0 inf + 33682
2.433 * [simplify]: Simplified to (+ (/ -1/8 x) (+ -1/2 x))
2.433 * [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))))))))
2.433 * [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))))))
2.433 * * [simplify]: iters left: 6 (10 enodes)
2.439 * * [simplify]: iters left: 5 (37 enodes)
2.453 * * [simplify]: iters left: 4 (59 enodes)
2.478 * * [simplify]: iters left: 3 (118 enodes)
2.514 * * [simplify]: iters left: 2 (198 enodes)
2.557 * * [simplify]: iters left: 1 (325 enodes)
2.674 * * [simplify]: Extracting #0: cost 1 inf + 0
2.674 * * [simplify]: Extracting #1: cost 0 inf + 1
2.674 * [simplify]: Simplified to 0
2.674 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
2.674 * * * * [progress]: [ 2 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 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)))))))>
2.675 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))))
2.675 * * [simplify]: iters left: 6 (11 enodes)
2.681 * * [simplify]: iters left: 5 (38 enodes)
2.691 * * [simplify]: iters left: 4 (56 enodes)
2.700 * * [simplify]: iters left: 3 (72 enodes)
2.711 * * [simplify]: iters left: 2 (98 enodes)
2.731 * * [simplify]: iters left: 1 (114 enodes)
2.755 * * [simplify]: Extracting #0: cost 1 inf + 0
2.755 * * [simplify]: Extracting #1: cost 17 inf + 0
2.755 * * [simplify]: Extracting #2: cost 27 inf + 3
2.756 * * [simplify]: Extracting #3: cost 18 inf + 420
2.756 * * [simplify]: Extracting #4: cost 5 inf + 1569
2.757 * * [simplify]: Extracting #5: cost 1 inf + 2061
2.757 * * [simplify]: Extracting #6: cost 0 inf + 2224
2.758 * [simplify]: Simplified to (- (- x 1/2) (/ 1/8 x))
2.758 * [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)))))))
2.758 * [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)))))
2.758 * * [simplify]: iters left: 6 (9 enodes)
2.760 * * [simplify]: iters left: 5 (29 enodes)
2.765 * * [simplify]: iters left: 4 (46 enodes)
2.773 * * [simplify]: iters left: 3 (73 enodes)
2.792 * * [simplify]: iters left: 2 (96 enodes)
2.807 * * [simplify]: iters left: 1 (147 enodes)
2.838 * * [simplify]: Extracting #0: cost 1 inf + 0
2.839 * * [simplify]: Extracting #1: cost 0 inf + 1
2.839 * [simplify]: Simplified to 0
2.839 * [simplify]: Simplified (2 2) to (λ (x) (+ (- (- x 1/2) (/ 1/8 x)) 0))
2.839 * * * * [progress]: [ 3 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))))>
2.839 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1/2 (/ -1/8 x)) 1)))
2.839 * * [simplify]: iters left: 6 (11 enodes)
2.846 * * [simplify]: iters left: 5 (43 enodes)
2.863 * * [simplify]: iters left: 4 (72 enodes)
2.888 * * [simplify]: iters left: 3 (104 enodes)
2.923 * * [simplify]: iters left: 2 (148 enodes)
2.972 * * [simplify]: iters left: 1 (194 enodes)
3.014 * * [simplify]: Extracting #0: cost 1 inf + 0
3.014 * * [simplify]: Extracting #1: cost 17 inf + 0
3.015 * * [simplify]: Extracting #2: cost 21 inf + 86
3.015 * * [simplify]: Extracting #3: cost 13 inf + 578
3.016 * * [simplify]: Extracting #4: cost 2 inf + 1405
3.017 * * [simplify]: Extracting #5: cost 0 inf + 1570
3.019 * [simplify]: Simplified to (+ (+ -1/2 x) (/ -1/8 x))
3.019 * [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))))
3.019 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))
3.019 * * [simplify]: iters left: 6 (9 enodes)
3.024 * * [simplify]: iters left: 5 (32 enodes)
3.039 * * [simplify]: iters left: 4 (62 enodes)
3.060 * * [simplify]: iters left: 3 (87 enodes)
3.088 * * [simplify]: iters left: 2 (132 enodes)
3.129 * * [simplify]: iters left: 1 (221 enodes)
3.228 * * [simplify]: Extracting #0: cost 1 inf + 0
3.228 * * [simplify]: Extracting #1: cost 0 inf + 1
3.228 * [simplify]: Simplified to 0
3.228 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (+ -1/2 x) (/ -1/8 x)) 0))
3.228 * * * * [progress]: [ 4 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt x) (cbrt x)) (cbrt 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)))))))>
3.228 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))))
3.228 * * [simplify]: iters left: 6 (13 enodes)
3.232 * * [simplify]: iters left: 5 (55 enodes)
3.242 * * [simplify]: iters left: 4 (117 enodes)
3.279 * * [simplify]: iters left: 3 (227 enodes)
3.333 * * [simplify]: iters left: 2 (402 enodes)
3.489 * * [simplify]: Extracting #0: cost 1 inf + 0
3.489 * * [simplify]: Extracting #1: cost 79 inf + 0
3.490 * * [simplify]: Extracting #2: cost 155 inf + 206
3.491 * * [simplify]: Extracting #3: cost 141 inf + 1613
3.497 * * [simplify]: Extracting #4: cost 39 inf + 23822
3.507 * * [simplify]: Extracting #5: cost 0 inf + 33638
3.522 * * [simplify]: Extracting #6: cost 0 inf + 33608
3.535 * [simplify]: Simplified to (- x (* (+ (sqrt (/ -1/8 x)) (sqrt 1/2)) (- (sqrt 1/2) (sqrt (/ -1/8 x)))))
3.535 * [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)))))))
3.535 * [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)))))
3.535 * * [simplify]: iters left: 6 (11 enodes)
3.539 * * [simplify]: iters left: 5 (45 enodes)
3.548 * * [simplify]: iters left: 4 (99 enodes)
3.580 * * [simplify]: iters left: 3 (219 enodes)
3.644 * * [simplify]: Extracting #0: cost 1 inf + 0
3.644 * * [simplify]: Extracting #1: cost 0 inf + 1
3.644 * [simplify]: Simplified to 0
3.644 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (+ (sqrt (/ -1/8 x)) (sqrt 1/2)) (- (sqrt 1/2) (sqrt (/ -1/8 x))))) 0))
3.644 * * * * [progress]: [ 5 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt x) (cbrt x)) (cbrt 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)))))))>
3.645 * [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))))))
3.645 * * [simplify]: iters left: 6 (14 enodes)
3.654 * * [simplify]: iters left: 5 (58 enodes)
3.676 * * [simplify]: iters left: 4 (126 enodes)
3.725 * * [simplify]: iters left: 3 (279 enodes)
3.789 * * [simplify]: Extracting #0: cost 1 inf + 0
3.789 * * [simplify]: Extracting #1: cost 32 inf + 0
3.789 * * [simplify]: Extracting #2: cost 99 inf + 82
3.790 * * [simplify]: Extracting #3: cost 126 inf + 410
3.791 * * [simplify]: Extracting #4: cost 120 inf + 1548
3.794 * * [simplify]: Extracting #5: cost 42 inf + 19101
3.809 * * [simplify]: Extracting #6: cost 1 inf + 30507
3.818 * * [simplify]: Extracting #7: cost 0 inf + 30750
3.826 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (/ (sqrt -1/8) (sqrt x)) (sqrt 1/2))))
3.827 * [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)))))))
3.827 * [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)))))
3.827 * * [simplify]: iters left: 6 (12 enodes)
3.831 * * [simplify]: iters left: 5 (48 enodes)
3.845 * * [simplify]: iters left: 4 (108 enodes)
3.889 * * [simplify]: iters left: 3 (268 enodes)
3.996 * * [simplify]: Extracting #0: cost 1 inf + 0
3.996 * * [simplify]: Extracting #1: cost 0 inf + 1
3.996 * [simplify]: Simplified to 0
3.996 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (/ (sqrt -1/8) (sqrt x)) (sqrt 1/2)))) 0))
3.996 * * * * [progress]: [ 6 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))))>
3.996 * [simplify]: Simplifying (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1/2 (/ -1/8 x)) 1)))
3.996 * * [simplify]: iters left: 6 (11 enodes)
4.001 * * [simplify]: iters left: 5 (43 enodes)
4.010 * * [simplify]: iters left: 4 (72 enodes)
4.022 * * [simplify]: iters left: 3 (104 enodes)
4.047 * * [simplify]: iters left: 2 (148 enodes)
4.096 * * [simplify]: iters left: 1 (194 enodes)
4.138 * * [simplify]: Extracting #0: cost 1 inf + 0
4.138 * * [simplify]: Extracting #1: cost 17 inf + 0
4.138 * * [simplify]: Extracting #2: cost 21 inf + 86
4.139 * * [simplify]: Extracting #3: cost 13 inf + 578
4.140 * * [simplify]: Extracting #4: cost 2 inf + 1405
4.141 * * [simplify]: Extracting #5: cost 0 inf + 1570
4.142 * [simplify]: Simplified to (+ (+ -1/2 x) (/ -1/8 x))
4.142 * [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))))
4.143 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))
4.143 * * [simplify]: iters left: 6 (9 enodes)
4.148 * * [simplify]: iters left: 5 (32 enodes)
4.162 * * [simplify]: iters left: 4 (62 enodes)
4.183 * * [simplify]: iters left: 3 (87 enodes)
4.211 * * [simplify]: iters left: 2 (132 enodes)
4.264 * * [simplify]: iters left: 1 (221 enodes)
4.366 * * [simplify]: Extracting #0: cost 1 inf + 0
4.367 * * [simplify]: Extracting #1: cost 0 inf + 1
4.367 * [simplify]: Simplified to 0
4.367 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (+ -1/2 x) (/ -1/8 x)) 0))
4.367 * * * * [progress]: [ 7 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt x) (sqrt x) (- (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 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))))))))>
4.367 * [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)))))))
4.367 * * [simplify]: iters left: 6 (11 enodes)
4.374 * * [simplify]: iters left: 5 (44 enodes)
4.389 * * [simplify]: iters left: 4 (66 enodes)
4.411 * * [simplify]: iters left: 3 (94 enodes)
4.445 * * [simplify]: iters left: 2 (140 enodes)
4.494 * * [simplify]: iters left: 1 (232 enodes)
4.567 * * [simplify]: Extracting #0: cost 1 inf + 0
4.568 * * [simplify]: Extracting #1: cost 23 inf + 0
4.568 * * [simplify]: Extracting #2: cost 66 inf + 3
4.569 * * [simplify]: Extracting #3: cost 68 inf + 466
4.570 * * [simplify]: Extracting #4: cost 52 inf + 2598
4.573 * * [simplify]: Extracting #5: cost 28 inf + 13740
4.582 * * [simplify]: Extracting #6: cost 0 inf + 32484
4.589 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x)))
4.589 * [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))))))))
4.590 * [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))))))
4.590 * * [simplify]: iters left: 6 (10 enodes)
4.596 * * [simplify]: iters left: 5 (37 enodes)
4.609 * * [simplify]: iters left: 4 (59 enodes)
4.632 * * [simplify]: iters left: 3 (118 enodes)
4.674 * * [simplify]: iters left: 2 (198 enodes)
4.743 * * [simplify]: iters left: 1 (325 enodes)
4.870 * * [simplify]: Extracting #0: cost 1 inf + 0
4.870 * * [simplify]: Extracting #1: cost 0 inf + 1
4.870 * [simplify]: Simplified to 0
4.871 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (- 1/2 (/ -1/8 x))) 0))
4.871 * * * * [progress]: [ 8 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt x) (sqrt x) (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 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)))))))>
4.871 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))))
4.871 * * [simplify]: iters left: 6 (10 enodes)
4.874 * * [simplify]: iters left: 5 (35 enodes)
4.884 * * [simplify]: iters left: 4 (49 enodes)
4.899 * * [simplify]: iters left: 3 (60 enodes)
4.915 * * [simplify]: iters left: 2 (69 enodes)
4.934 * * [simplify]: iters left: 1 (81 enodes)
4.956 * * [simplify]: Extracting #0: cost 1 inf + 0
4.956 * * [simplify]: Extracting #1: cost 16 inf + 0
4.956 * * [simplify]: Extracting #2: cost 25 inf + 3
4.957 * * [simplify]: Extracting #3: cost 12 inf + 711
4.957 * * [simplify]: Extracting #4: cost 5 inf + 1247
4.958 * * [simplify]: Extracting #5: cost 1 inf + 1739
4.959 * * [simplify]: Extracting #6: cost 0 inf + 1902
4.960 * [simplify]: Simplified to (+ x (- -1/2 (/ 1/8 x)))
4.960 * [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)))))))
4.961 * [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)))))
4.961 * * [simplify]: iters left: 6 (9 enodes)
4.966 * * [simplify]: iters left: 5 (29 enodes)
4.979 * * [simplify]: iters left: 4 (46 enodes)
4.994 * * [simplify]: iters left: 3 (73 enodes)
5.015 * * [simplify]: iters left: 2 (96 enodes)
5.043 * * [simplify]: iters left: 1 (147 enodes)
5.072 * * [simplify]: Extracting #0: cost 1 inf + 0
5.072 * * [simplify]: Extracting #1: cost 0 inf + 1
5.072 * [simplify]: Simplified to 0
5.072 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (- -1/2 (/ 1/8 x))) 0))
5.072 * * * * [progress]: [ 9 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt x) (sqrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))))>
5.072 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- 1/2 (/ -1/8 x)) 1)))
5.072 * * [simplify]: iters left: 6 (10 enodes)
5.075 * * [simplify]: iters left: 5 (40 enodes)
5.090 * * [simplify]: iters left: 4 (65 enodes)
5.111 * * [simplify]: iters left: 3 (90 enodes)
5.140 * * [simplify]: iters left: 2 (117 enodes)
5.175 * * [simplify]: iters left: 1 (155 enodes)
5.210 * * [simplify]: Extracting #0: cost 1 inf + 0
5.210 * * [simplify]: Extracting #1: cost 16 inf + 0
5.211 * * [simplify]: Extracting #2: cost 20 inf + 5
5.211 * * [simplify]: Extracting #3: cost 11 inf + 462
5.212 * * [simplify]: Extracting #4: cost 1 inf + 1166
5.213 * * [simplify]: Extracting #5: cost 0 inf + 1248
5.215 * [simplify]: Simplified to (+ x (+ -1/2 (/ -1/8 x)))
5.215 * [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))))
5.215 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))
5.215 * * [simplify]: iters left: 6 (9 enodes)
5.223 * * [simplify]: iters left: 5 (32 enodes)
5.237 * * [simplify]: iters left: 4 (62 enodes)
5.258 * * [simplify]: iters left: 3 (87 enodes)
5.285 * * [simplify]: iters left: 2 (132 enodes)
5.348 * * [simplify]: iters left: 1 (221 enodes)
5.410 * * [simplify]: Extracting #0: cost 1 inf + 0
5.410 * * [simplify]: Extracting #1: cost 0 inf + 1
5.410 * [simplify]: Simplified to 0
5.410 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (+ -1/2 (/ -1/8 x))) 0))
5.410 * * * * [progress]: [ 10 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt x) (sqrt 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)))))))>
5.410 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))))
5.410 * * [simplify]: iters left: 6 (12 enodes)
5.415 * * [simplify]: iters left: 5 (52 enodes)
5.425 * * [simplify]: iters left: 4 (110 enodes)
5.450 * * [simplify]: iters left: 3 (210 enodes)
5.521 * * [simplify]: iters left: 2 (339 enodes)
5.700 * * [simplify]: Extracting #0: cost 1 inf + 0
5.700 * * [simplify]: Extracting #1: cost 68 inf + 0
5.701 * * [simplify]: Extracting #2: cost 140 inf + 44
5.703 * * [simplify]: Extracting #3: cost 144 inf + 296
5.705 * * [simplify]: Extracting #4: cost 120 inf + 3132
5.717 * * [simplify]: Extracting #5: cost 29 inf + 24024
5.735 * * [simplify]: Extracting #6: cost 0 inf + 31175
5.754 * * [simplify]: Extracting #7: cost 0 inf + 31067
5.776 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x)))))
5.777 * [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)))))))
5.777 * [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)))))
5.777 * * [simplify]: iters left: 6 (11 enodes)
5.783 * * [simplify]: iters left: 5 (45 enodes)
5.800 * * [simplify]: iters left: 4 (99 enodes)
5.829 * * [simplify]: iters left: 3 (219 enodes)
5.885 * * [simplify]: Extracting #0: cost 1 inf + 0
5.885 * * [simplify]: Extracting #1: cost 0 inf + 1
5.885 * [simplify]: Simplified to 0
5.885 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 0))
5.885 * * * * [progress]: [ 11 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt x) (sqrt 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)))))))>
5.886 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))))
5.886 * * [simplify]: iters left: 6 (12 enodes)
5.890 * * [simplify]: iters left: 5 (52 enodes)
5.900 * * [simplify]: iters left: 4 (116 enodes)
5.931 * * [simplify]: iters left: 3 (261 enodes)
5.991 * * [simplify]: iters left: 2 (495 enodes)
6.218 * * [simplify]: Extracting #0: cost 1 inf + 0
6.219 * * [simplify]: Extracting #1: cost 68 inf + 0
6.220 * * [simplify]: Extracting #2: cost 166 inf + 44
6.222 * * [simplify]: Extracting #3: cost 196 inf + 454
6.226 * * [simplify]: Extracting #4: cost 128 inf + 14771
6.238 * * [simplify]: Extracting #5: cost 19 inf + 44012
6.259 * * [simplify]: Extracting #6: cost 0 inf + 49606
6.290 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))))
6.290 * [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)))))))
6.291 * [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)))))
6.291 * * [simplify]: iters left: 6 (12 enodes)
6.299 * * [simplify]: iters left: 5 (48 enodes)
6.317 * * [simplify]: iters left: 4 (108 enodes)
6.344 * * [simplify]: iters left: 3 (268 enodes)
6.439 * * [simplify]: Extracting #0: cost 1 inf + 0
6.439 * * [simplify]: Extracting #1: cost 0 inf + 1
6.439 * [simplify]: Simplified to 0
6.439 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 0))
6.439 * * * * [progress]: [ 12 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt x) (sqrt x) (- (* (- 1/2 (/ -1/8 x)) 1))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))))>
6.440 * [simplify]: Simplifying (fma (sqrt x) (sqrt x) (- (* (- 1/2 (/ -1/8 x)) 1)))
6.440 * * [simplify]: iters left: 6 (10 enodes)
6.443 * * [simplify]: iters left: 5 (40 enodes)
6.451 * * [simplify]: iters left: 4 (65 enodes)
6.463 * * [simplify]: iters left: 3 (90 enodes)
6.481 * * [simplify]: iters left: 2 (117 enodes)
6.515 * * [simplify]: iters left: 1 (155 enodes)
6.545 * * [simplify]: Extracting #0: cost 1 inf + 0
6.545 * * [simplify]: Extracting #1: cost 16 inf + 0
6.545 * * [simplify]: Extracting #2: cost 20 inf + 5
6.545 * * [simplify]: Extracting #3: cost 11 inf + 462
6.546 * * [simplify]: Extracting #4: cost 1 inf + 1166
6.546 * * [simplify]: Extracting #5: cost 0 inf + 1248
6.547 * [simplify]: Simplified to (+ x (+ -1/2 (/ -1/8 x)))
6.547 * [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))))
6.547 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))
6.547 * * [simplify]: iters left: 6 (9 enodes)
6.550 * * [simplify]: iters left: 5 (32 enodes)
6.557 * * [simplify]: iters left: 4 (62 enodes)
6.569 * * [simplify]: iters left: 3 (87 enodes)
6.598 * * [simplify]: iters left: 2 (132 enodes)
6.637 * * [simplify]: iters left: 1 (221 enodes)
6.696 * * [simplify]: Extracting #0: cost 1 inf + 0
6.696 * * [simplify]: Extracting #1: cost 0 inf + 1
6.696 * [simplify]: Simplified to 0
6.696 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (+ -1/2 (/ -1/8 x))) 0))
6.696 * * * * [progress]: [ 13 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 x (- (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 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))))))))>
6.696 * [simplify]: Simplifying (fma 1 x (- (* (cbrt (- 1/2 (/ -1/8 x))) (* (cbrt (- 1/2 (/ -1/8 x))) (cbrt (- 1/2 (/ -1/8 x)))))))
6.696 * * [simplify]: iters left: 6 (11 enodes)
6.699 * * [simplify]: iters left: 5 (46 enodes)
6.716 * * [simplify]: iters left: 4 (70 enodes)
6.739 * * [simplify]: iters left: 3 (98 enodes)
6.775 * * [simplify]: iters left: 2 (144 enodes)
6.803 * * [simplify]: iters left: 1 (221 enodes)
6.858 * * [simplify]: Extracting #0: cost 1 inf + 0
6.858 * * [simplify]: Extracting #1: cost 23 inf + 0
6.859 * * [simplify]: Extracting #2: cost 62 inf + 46
6.859 * * [simplify]: Extracting #3: cost 64 inf + 629
6.860 * * [simplify]: Extracting #4: cost 54 inf + 1737
6.861 * * [simplify]: Extracting #5: cost 30 inf + 11784
6.864 * * [simplify]: Extracting #6: cost 4 inf + 28354
6.868 * * [simplify]: Extracting #7: cost 0 inf + 31567
6.871 * [simplify]: Simplified to (+ (/ -1/8 x) (- x 1/2))
6.871 * [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))))))))
6.872 * [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))))))
6.872 * * [simplify]: iters left: 6 (10 enodes)
6.875 * * [simplify]: iters left: 5 (37 enodes)
6.889 * * [simplify]: iters left: 4 (59 enodes)
6.912 * * [simplify]: iters left: 3 (118 enodes)
6.955 * * [simplify]: iters left: 2 (198 enodes)
7.024 * * [simplify]: iters left: 1 (325 enodes)
7.112 * * [simplify]: Extracting #0: cost 1 inf + 0
7.112 * * [simplify]: Extracting #1: cost 0 inf + 1
7.112 * [simplify]: Simplified to 0
7.112 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) 0))
7.113 * * * * [progress]: [ 14 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 x (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 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)))))))>
7.113 * [simplify]: Simplifying (fma 1 x (- (* (sqrt (- 1/2 (/ -1/8 x))) (sqrt (- 1/2 (/ -1/8 x))))))
7.113 * * [simplify]: iters left: 6 (10 enodes)
7.117 * * [simplify]: iters left: 5 (37 enodes)
7.124 * * [simplify]: iters left: 4 (53 enodes)
7.132 * * [simplify]: iters left: 3 (62 enodes)
7.141 * * [simplify]: iters left: 2 (71 enodes)
7.155 * * [simplify]: iters left: 1 (83 enodes)
7.171 * * [simplify]: Extracting #0: cost 1 inf + 0
7.172 * * [simplify]: Extracting #1: cost 16 inf + 0
7.172 * * [simplify]: Extracting #2: cost 23 inf + 4
7.172 * * [simplify]: Extracting #3: cost 11 inf + 710
7.172 * * [simplify]: Extracting #4: cost 2 inf + 1575
7.173 * * [simplify]: Extracting #5: cost 0 inf + 1821
7.173 * [simplify]: Simplified to (+ (+ x (/ -1/8 x)) -1/2)
7.173 * [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)))))))
7.174 * [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)))))
7.174 * * [simplify]: iters left: 6 (9 enodes)
7.176 * * [simplify]: iters left: 5 (29 enodes)
7.181 * * [simplify]: iters left: 4 (46 enodes)
7.189 * * [simplify]: iters left: 3 (73 enodes)
7.200 * * [simplify]: iters left: 2 (96 enodes)
7.223 * * [simplify]: iters left: 1 (147 enodes)
7.260 * * [simplify]: Extracting #0: cost 1 inf + 0
7.260 * * [simplify]: Extracting #1: cost 0 inf + 1
7.260 * [simplify]: Simplified to 0
7.260 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (+ x (/ -1/8 x)) -1/2) 0))
7.260 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))))>
7.261 * [simplify]: Simplifying (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1)))
7.261 * * [simplify]: iters left: 6 (9 enodes)
7.267 * * [simplify]: iters left: 5 (37 enodes)
7.282 * * [simplify]: iters left: 4 (62 enodes)
7.305 * * [simplify]: iters left: 3 (89 enodes)
7.321 * * [simplify]: iters left: 2 (116 enodes)
7.339 * * [simplify]: iters left: 1 (152 enodes)
7.376 * * [simplify]: Extracting #0: cost 1 inf + 0
7.376 * * [simplify]: Extracting #1: cost 15 inf + 0
7.376 * * [simplify]: Extracting #2: cost 18 inf + 5
7.376 * * [simplify]: Extracting #3: cost 14 inf + 91
7.376 * * [simplify]: Extracting #4: cost 1 inf + 1083
7.377 * * [simplify]: Extracting #5: cost 0 inf + 1166
7.377 * [simplify]: Simplified to (- x (+ 1/2 (/ 1/8 x)))
7.377 * [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))))
7.378 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))
7.378 * * [simplify]: iters left: 6 (9 enodes)
7.381 * * [simplify]: iters left: 5 (32 enodes)
7.389 * * [simplify]: iters left: 4 (62 enodes)
7.401 * * [simplify]: iters left: 3 (87 enodes)
7.423 * * [simplify]: iters left: 2 (132 enodes)
7.467 * * [simplify]: iters left: 1 (221 enodes)
7.541 * * [simplify]: Extracting #0: cost 1 inf + 0
7.541 * * [simplify]: Extracting #1: cost 0 inf + 1
7.541 * [simplify]: Simplified to 0
7.541 * [simplify]: Simplified (2 2) to (λ (x) (+ (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) 0))
7.541 * * * * [progress]: [ 16 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 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)))))))>
7.542 * [simplify]: Simplifying (fma 1 x (- (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))))
7.542 * * [simplify]: iters left: 6 (12 enodes)
7.549 * * [simplify]: iters left: 5 (54 enodes)
7.560 * * [simplify]: iters left: 4 (114 enodes)
7.582 * * [simplify]: iters left: 3 (215 enodes)
7.650 * * [simplify]: iters left: 2 (346 enodes)
7.768 * * [simplify]: Extracting #0: cost 1 inf + 0
7.768 * * [simplify]: Extracting #1: cost 68 inf + 0
7.769 * * [simplify]: Extracting #2: cost 139 inf + 4
7.769 * * [simplify]: Extracting #3: cost 137 inf + 789
7.771 * * [simplify]: Extracting #4: cost 117 inf + 3403
7.779 * * [simplify]: Extracting #5: cost 38 inf + 21660
7.788 * * [simplify]: Extracting #6: cost 0 inf + 30946
7.804 * * [simplify]: Extracting #7: cost 0 inf + 30821
7.823 * [simplify]: Simplified to (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x)))))
7.823 * [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)))))))
7.824 * [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)))))
7.824 * * [simplify]: iters left: 6 (11 enodes)
7.829 * * [simplify]: iters left: 5 (45 enodes)
7.838 * * [simplify]: iters left: 4 (99 enodes)
7.858 * * [simplify]: iters left: 3 (219 enodes)
7.909 * * [simplify]: Extracting #0: cost 1 inf + 0
7.910 * * [simplify]: Extracting #1: cost 0 inf + 1
7.910 * [simplify]: Simplified to 0
7.910 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (- (sqrt 1/2) (sqrt (/ -1/8 x))) (+ (sqrt 1/2) (sqrt (/ -1/8 x))))) 0))
7.910 * * * * [progress]: [ 17 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 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)))))))>
7.910 * [simplify]: Simplifying (fma 1 x (- (* (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))))
7.910 * * [simplify]: iters left: 6 (13 enodes)
7.918 * * [simplify]: iters left: 5 (57 enodes)
7.930 * * [simplify]: iters left: 4 (123 enodes)
7.958 * * [simplify]: iters left: 3 (267 enodes)
8.039 * * [simplify]: iters left: 2 (499 enodes)
8.233 * * [simplify]: Extracting #0: cost 1 inf + 0
8.233 * * [simplify]: Extracting #1: cost 68 inf + 0
8.234 * * [simplify]: Extracting #2: cost 166 inf + 46
8.240 * * [simplify]: Extracting #3: cost 197 inf + 415
8.246 * * [simplify]: Extracting #4: cost 127 inf + 14966
8.271 * * [simplify]: Extracting #5: cost 20 inf + 43391
8.301 * * [simplify]: Extracting #6: cost 0 inf + 49621
8.316 * [simplify]: Simplified to (- x (* (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x)))))
8.316 * [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)))))))
8.316 * [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)))))
8.317 * * [simplify]: iters left: 6 (12 enodes)
8.321 * * [simplify]: iters left: 5 (48 enodes)
8.330 * * [simplify]: iters left: 4 (108 enodes)
8.363 * * [simplify]: iters left: 3 (268 enodes)
8.427 * * [simplify]: Extracting #0: cost 1 inf + 0
8.427 * * [simplify]: Extracting #1: cost 0 inf + 1
8.427 * [simplify]: Simplified to 0
8.427 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x (* (+ (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))) (- (sqrt 1/2) (/ (sqrt -1/8) (sqrt x))))) 0))
8.427 * * * * [progress]: [ 18 / 85 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))))>
8.427 * [simplify]: Simplifying (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1)))
8.428 * * [simplify]: iters left: 6 (9 enodes)
8.431 * * [simplify]: iters left: 5 (37 enodes)
8.442 * * [simplify]: iters left: 4 (62 enodes)
8.454 * * [simplify]: iters left: 3 (89 enodes)
8.473 * * [simplify]: iters left: 2 (116 enodes)
8.509 * * [simplify]: iters left: 1 (152 enodes)
8.544 * * [simplify]: Extracting #0: cost 1 inf + 0
8.544 * * [simplify]: Extracting #1: cost 15 inf + 0
8.545 * * [simplify]: Extracting #2: cost 18 inf + 5
8.545 * * [simplify]: Extracting #3: cost 14 inf + 91
8.546 * * [simplify]: Extracting #4: cost 1 inf + 1083
8.547 * * [simplify]: Extracting #5: cost 0 inf + 1166
8.548 * [simplify]: Simplified to (- x (+ 1/2 (/ 1/8 x)))
8.548 * [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))))
8.548 * [simplify]: Simplifying (fma (- (- 1/2 (/ -1/8 x))) 1 (* (- 1/2 (/ -1/8 x)) 1))
8.549 * * [simplify]: iters left: 6 (9 enodes)
8.554 * * [simplify]: iters left: 5 (32 enodes)
8.570 * * [simplify]: iters left: 4 (62 enodes)
8.588 * * [simplify]: iters left: 3 (87 enodes)
8.601 * * [simplify]: iters left: 2 (132 enodes)
8.654 * * [simplify]: iters left: 1 (221 enodes)
8.773 * * [simplify]: Extracting #0: cost 1 inf + 0
8.773 * * [simplify]: Extracting #1: cost 0 inf + 1
8.773 * [simplify]: Simplified to 0
8.773 * [simplify]: Simplified (2 2) to (λ (x) (+ (fma 1 x (- (* (- 1/2 (/ -1/8 x)) 1))) 0))
8.773 * * * * [progress]: [ 19 / 85 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (- x (- 1/2 (/ -1/8 x))))))>
8.773 * * * * [progress]: [ 20 / 85 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (- x (- 1/2 (/ -1/8 x))))))>
8.773 * * * * [progress]: [ 21 / 85 ] simplifiying candidate #<alt (λ (x) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (- 1/2 (/ -1/8 x)))))>
8.773 * [simplify]: Simplifying (* (cbrt x) (cbrt x))
8.774 * * [simplify]: iters left: 3 (3 enodes)
8.775 * * [simplify]: iters left: 2 (9 enodes)
8.778 * * [simplify]: Extracting #0: cost 1 inf + 0
8.778 * * [simplify]: Extracting #1: cost 3 inf + 0
8.778 * * [simplify]: Extracting #2: cost 5 inf + 0
8.778 * * [simplify]: Extracting #3: cost 4 inf + 1
8.778 * * [simplify]: Extracting #4: cost 0 inf + 405
8.778 * [simplify]: Simplified to (* (cbrt x) (cbrt x))
8.778 * [simplify]: Simplified (2 1) to (λ (x) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (- 1/2 (/ -1/8 x)))))
8.778 * * * * [progress]: [ 22 / 85 ] simplifiying candidate #<alt (λ (x) (fma (sqrt x) (sqrt x) (- (- 1/2 (/ -1/8 x)))))>
8.778 * [simplify]: Simplifying (sqrt x)
8.778 * * [simplify]: iters left: 1 (2 enodes)
8.782 * * [simplify]: Extracting #0: cost 1 inf + 0
8.782 * * [simplify]: Extracting #1: cost 3 inf + 0
8.782 * * [simplify]: Extracting #2: cost 2 inf + 1
8.782 * * [simplify]: Extracting #3: cost 0 inf + 83
8.783 * [simplify]: Simplified to (sqrt x)
8.783 * [simplify]: Simplified (2 1) to (λ (x) (fma (sqrt x) (sqrt x) (- (- 1/2 (/ -1/8 x)))))
8.783 * * * * [progress]: [ 23 / 85 ] simplifiying candidate #<alt (λ (x) (fma 1 x (- (- 1/2 (/ -1/8 x)))))>
8.783 * * * * [progress]: [ 24 / 85 ] simplifiying candidate #<alt (λ (x) (log (/ (exp x) (/ (exp 1/2) (exp (/ -1/8 x))))))>
8.783 * [simplify]: Simplifying (/ (exp x) (/ (exp 1/2) (exp (/ -1/8 x))))
8.783 * * [simplify]: iters left: 6 (9 enodes)
8.789 * * [simplify]: iters left: 5 (31 enodes)
8.799 * * [simplify]: iters left: 4 (44 enodes)
8.815 * * [simplify]: iters left: 3 (72 enodes)
8.838 * * [simplify]: iters left: 2 (109 enodes)
8.872 * * [simplify]: iters left: 1 (144 enodes)
8.913 * * [simplify]: Extracting #0: cost 1 inf + 0
8.913 * * [simplify]: Extracting #1: cost 18 inf + 0
8.914 * * [simplify]: Extracting #2: cost 47 inf + 1
8.914 * * [simplify]: Extracting #3: cost 48 inf + 288
8.915 * * [simplify]: Extracting #4: cost 16 inf + 3396
8.917 * * [simplify]: Extracting #5: cost 0 inf + 5167
8.919 * * [simplify]: Extracting #6: cost 0 inf + 5097
8.920 * [simplify]: Simplified to (exp (+ (/ -1/8 x) (+ x -1/2)))
8.920 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (+ (/ -1/8 x) (+ x -1/2)))))
8.920 * * * * [progress]: [ 25 / 85 ] simplifiying candidate #<alt (λ (x) (log (/ (exp x) (exp (- 1/2 (/ -1/8 x))))))>
8.921 * [simplify]: Simplifying (/ (exp x) (exp (- 1/2 (/ -1/8 x))))
8.921 * * [simplify]: iters left: 6 (8 enodes)
8.923 * * [simplify]: iters left: 5 (31 enodes)
8.931 * * [simplify]: iters left: 4 (52 enodes)
8.940 * * [simplify]: iters left: 3 (83 enodes)
8.959 * * [simplify]: iters left: 2 (129 enodes)
9.001 * * [simplify]: iters left: 1 (202 enodes)
9.050 * * [simplify]: Extracting #0: cost 1 inf + 0
9.051 * * [simplify]: Extracting #1: cost 23 inf + 0
9.051 * * [simplify]: Extracting #2: cost 57 inf + 1
9.052 * * [simplify]: Extracting #3: cost 55 inf + 695
9.053 * * [simplify]: Extracting #4: cost 19 inf + 4920
9.056 * * [simplify]: Extracting #5: cost 0 inf + 6949
9.060 * * [simplify]: Extracting #6: cost 0 inf + 6579
9.063 * [simplify]: Simplified to (exp (+ -1/2 (+ x (/ -1/8 x))))
9.063 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (+ -1/2 (+ x (/ -1/8 x))))))
9.063 * * * * [progress]: [ 26 / 85 ] simplifiying candidate #<alt (λ (x) (pow (- x (- 1/2 (/ -1/8 x))) 1))>
9.063 * * * * [progress]: [ 27 / 85 ] simplifiying candidate #<alt (λ (x) (exp (log (- x (- 1/2 (/ -1/8 x))))))>
9.064 * * * * [progress]: [ 28 / 85 ] simplifiying candidate #<alt (λ (x) (log (exp (- x (- 1/2 (/ -1/8 x))))))>
9.064 * * * * [progress]: [ 29 / 85 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (- x (- 1/2 (/ -1/8 x)))) (cbrt (- x (- 1/2 (/ -1/8 x))))) (cbrt (- x (- 1/2 (/ -1/8 x))))))>
9.064 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- x (- 1/2 (/ -1/8 x))) (- x (- 1/2 (/ -1/8 x)))) (- x (- 1/2 (/ -1/8 x))))))>
9.064 * * * * [progress]: [ 31 / 85 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x (- 1/2 (/ -1/8 x)))) (sqrt (- x (- 1/2 (/ -1/8 x))))))>
9.064 * * * * [progress]: [ 32 / 85 ] simplifiying candidate #<alt (λ (x) (/ (- (pow x 3) (pow (- 1/2 (/ -1/8 x)) 3)) (+ (* x x) (+ (* (- 1/2 (/ -1/8 x)) (- 1/2 (/ -1/8 x))) (* x (- 1/2 (/ -1/8 x)))))))>
9.064 * * * * [progress]: [ 33 / 85 ] simplifiying candidate #<alt (λ (x) (+ x (- (- 1/2 (/ -1/8 x)))))>
9.064 * * * * [progress]: [ 34 / 85 ] simplifiying candidate #<alt (λ (x) (* 1 (- x (- 1/2 (/ -1/8 x)))))>
9.064 * * * * [progress]: [ 35 / 85 ] simplifiying candidate #<alt (λ (x) (/ (- (* x x) (* (- 1/2 (/ -1/8 x)) (- 1/2 (/ -1/8 x)))) (+ x (- 1/2 (/ -1/8 x)))))>
9.064 * * * * [progress]: [ 36 / 85 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt x) (sqrt (- 1/2 (/ -1/8 x)))) (- (sqrt x) (sqrt (- 1/2 (/ -1/8 x))))))>
9.064 * [simplify]: Simplifying (+ (sqrt x) (sqrt (- 1/2 (/ -1/8 x))))
9.064 * * [simplify]: iters left: 6 (8 enodes)
9.069 * * [simplify]: iters left: 5 (27 enodes)
9.074 * * [simplify]: iters left: 4 (33 enodes)
9.080 * * [simplify]: iters left: 3 (35 enodes)
9.084 * * [simplify]: Extracting #0: cost 1 inf + 0
9.084 * * [simplify]: Extracting #1: cost 4 inf + 0
9.085 * * [simplify]: Extracting #2: cost 8 inf + 0
9.085 * * [simplify]: Extracting #3: cost 11 inf + 1
9.085 * * [simplify]: Extracting #4: cost 12 inf + 84
9.085 * * [simplify]: Extracting #5: cost 7 inf + 253
9.085 * * [simplify]: Extracting #6: cost 1 inf + 869
9.085 * * [simplify]: Extracting #7: cost 0 inf + 1072
9.085 * [simplify]: Simplified to (+ (sqrt x) (sqrt (+ (/ 1/8 x) 1/2)))
9.085 * [simplify]: Simplified (2 1) to (λ (x) (* (+ (sqrt x) (sqrt (+ (/ 1/8 x) 1/2))) (- (sqrt x) (sqrt (- 1/2 (/ -1/8 x))))))
9.086 * [simplify]: Simplifying (- (sqrt x) (sqrt (- 1/2 (/ -1/8 x))))
9.086 * * [simplify]: iters left: 6 (8 enodes)
9.088 * * [simplify]: iters left: 5 (28 enodes)
9.093 * * [simplify]: iters left: 4 (37 enodes)
9.098 * * [simplify]: iters left: 3 (39 enodes)
9.109 * * [simplify]: Extracting #0: cost 1 inf + 0
9.109 * * [simplify]: Extracting #1: cost 5 inf + 0
9.109 * * [simplify]: Extracting #2: cost 10 inf + 0
9.109 * * [simplify]: Extracting #3: cost 13 inf + 1
9.110 * * [simplify]: Extracting #4: cost 15 inf + 43
9.110 * * [simplify]: Extracting #5: cost 12 inf + 86
9.110 * * [simplify]: Extracting #6: cost 8 inf + 295
9.110 * * [simplify]: Extracting #7: cost 0 inf + 1398
9.111 * [simplify]: Simplified to (- (sqrt x) (sqrt (+ (/ 1/8 x) 1/2)))
9.111 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt x) (sqrt (- 1/2 (/ -1/8 x)))) (- (sqrt x) (sqrt (+ (/ 1/8 x) 1/2)))))
9.111 * * * * [progress]: [ 37 / 85 ] simplifiying candidate #<alt (λ (x) (* 1 (- x (- 1/2 (/ -1/8 x)))))>
9.111 * [simplify]: Simplifying (- x (- 1/2 (/ -1/8 x)))
9.111 * * [simplify]: iters left: 6 (6 enodes)
9.113 * * [simplify]: iters left: 5 (24 enodes)
9.118 * * [simplify]: iters left: 4 (42 enodes)
9.127 * * [simplify]: iters left: 3 (56 enodes)
9.135 * * [simplify]: iters left: 2 (68 enodes)
9.149 * * [simplify]: iters left: 1 (78 enodes)
9.168 * * [simplify]: Extracting #0: cost 1 inf + 0
9.168 * * [simplify]: Extracting #1: cost 12 inf + 0
9.169 * * [simplify]: Extracting #2: cost 19 inf + 3
9.169 * * [simplify]: Extracting #3: cost 11 inf + 377
9.169 * * [simplify]: Extracting #4: cost 3 inf + 957
9.170 * * [simplify]: Extracting #5: cost 1 inf + 1122
9.171 * * [simplify]: Extracting #6: cost 0 inf + 1204
9.172 * [simplify]: Simplified to (+ (+ x -1/2) (/ -1/8 x))
9.172 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (+ (+ x -1/2) (/ -1/8 x))))
9.172 * * * * [progress]: [ 38 / 85 ] simplifiying candidate #<alt (λ (x) (* 1 (- x (- 1/2 (/ -1/8 x)))))>
9.172 * [simplify]: Simplifying (- x (- 1/2 (/ -1/8 x)))
9.172 * * [simplify]: iters left: 6 (6 enodes)
9.176 * * [simplify]: iters left: 5 (24 enodes)
9.185 * * [simplify]: iters left: 4 (42 enodes)
9.198 * * [simplify]: iters left: 3 (56 enodes)
9.214 * * [simplify]: iters left: 2 (68 enodes)
9.232 * * [simplify]: iters left: 1 (78 enodes)
9.251 * * [simplify]: Extracting #0: cost 1 inf + 0
9.251 * * [simplify]: Extracting #1: cost 12 inf + 0
9.251 * * [simplify]: Extracting #2: cost 19 inf + 3
9.252 * * [simplify]: Extracting #3: cost 11 inf + 377
9.252 * * [simplify]: Extracting #4: cost 3 inf + 957
9.253 * * [simplify]: Extracting #5: cost 1 inf + 1122
9.254 * * [simplify]: Extracting #6: cost 0 inf + 1204
9.255 * [simplify]: Simplified to (+ (+ x -1/2) (/ -1/8 x))
9.255 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (+ (+ x -1/2) (/ -1/8 x))))
9.255 * * * * [progress]: [ 39 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) (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)))))))>
9.255 * [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)))))
9.255 * * [simplify]: iters left: 6 (8 enodes)
9.261 * * [simplify]: iters left: 5 (29 enodes)
9.270 * * [simplify]: iters left: 4 (45 enodes)
9.279 * * [simplify]: iters left: 3 (89 enodes)
9.295 * * [simplify]: iters left: 2 (141 enodes)
9.317 * * [simplify]: iters left: 1 (210 enodes)
9.360 * * [simplify]: Extracting #0: cost 1 inf + 0
9.360 * * [simplify]: Extracting #1: cost 0 inf + 1
9.360 * [simplify]: Simplified to 0
9.360 * [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))
9.360 * * * * [progress]: [ 40 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x))))))>
9.360 * [simplify]: Simplifying (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x))))
9.361 * * [simplify]: iters left: 6 (7 enodes)
9.362 * * [simplify]: iters left: 5 (21 enodes)
9.366 * * [simplify]: iters left: 4 (29 enodes)
9.371 * * [simplify]: iters left: 3 (40 enodes)
9.376 * * [simplify]: iters left: 2 (44 enodes)
9.381 * * [simplify]: Extracting #0: cost 1 inf + 0
9.381 * * [simplify]: Extracting #1: cost 0 inf + 1
9.381 * [simplify]: Simplified to 0
9.381 * [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))
9.382 * * * * [progress]: [ 41 / 85 ] simplifiying candidate #<alt (λ (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))))))) (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)))))))>
9.382 * [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)))))
9.382 * * [simplify]: iters left: 6 (11 enodes)
9.385 * * [simplify]: iters left: 5 (47 enodes)
9.393 * * [simplify]: iters left: 4 (111 enodes)
9.422 * * [simplify]: iters left: 3 (272 enodes)
9.504 * * [simplify]: iters left: 2 (467 enodes)
9.701 * * [simplify]: Extracting #0: cost 1 inf + 0
9.701 * * [simplify]: Extracting #1: cost 0 inf + 1
9.701 * [simplify]: Simplified to 0
9.701 * [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))
9.701 * * * * [progress]: [ 42 / 85 ] simplifiying candidate #<alt (λ (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)))))) (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))))))>
9.702 * [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))))
9.702 * * [simplify]: iters left: 6 (10 enodes)
9.704 * * [simplify]: iters left: 5 (41 enodes)
9.711 * * [simplify]: iters left: 4 (76 enodes)
9.734 * * [simplify]: iters left: 3 (151 enodes)
9.785 * * [simplify]: iters left: 2 (241 enodes)
9.836 * * [simplify]: iters left: 1 (314 enodes)
9.931 * * [simplify]: Extracting #0: cost 1 inf + 0
9.931 * * [simplify]: Extracting #1: cost 0 inf + 1
9.931 * [simplify]: Simplified to 0
9.931 * [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))
9.932 * * * * [progress]: [ 43 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) (fma (- (/ (cbrt -1/8) x)) (/ (* (cbrt -1/8) (cbrt -1/8)) 1) (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1)))))>
9.932 * [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)))
9.932 * * [simplify]: iters left: 6 (10 enodes)
9.938 * * [simplify]: iters left: 5 (41 enodes)
9.954 * * [simplify]: iters left: 4 (83 enodes)
9.973 * * [simplify]: iters left: 3 (164 enodes)
10.019 * * [simplify]: iters left: 2 (259 enodes)
10.083 * * [simplify]: iters left: 1 (324 enodes)
10.160 * * [simplify]: Extracting #0: cost 1 inf + 0
10.160 * * [simplify]: Extracting #1: cost 0 inf + 1
10.160 * [simplify]: Simplified to 0
10.160 * [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))
10.160 * * * * [progress]: [ 44 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) (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)))))))>
10.160 * [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)))))
10.160 * * [simplify]: iters left: 6 (10 enodes)
10.163 * * [simplify]: iters left: 5 (40 enodes)
10.170 * * [simplify]: iters left: 4 (75 enodes)
10.188 * * [simplify]: iters left: 3 (127 enodes)
10.227 * * [simplify]: iters left: 2 (191 enodes)
10.255 * * [simplify]: iters left: 1 (252 enodes)
10.328 * * [simplify]: Extracting #0: cost 1 inf + 0
10.328 * * [simplify]: Extracting #1: cost 0 inf + 1
10.328 * [simplify]: Simplified to 0
10.329 * [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))
10.329 * * * * [progress]: [ 45 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x))))))>
10.329 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x))))
10.329 * * [simplify]: iters left: 6 (8 enodes)
10.334 * * [simplify]: iters left: 5 (32 enodes)
10.345 * * [simplify]: iters left: 4 (53 enodes)
10.363 * * [simplify]: iters left: 3 (81 enodes)
10.388 * * [simplify]: iters left: 2 (111 enodes)
10.420 * * [simplify]: iters left: 1 (133 enodes)
10.452 * * [simplify]: Extracting #0: cost 1 inf + 0
10.452 * * [simplify]: Extracting #1: cost 0 inf + 1
10.452 * [simplify]: Simplified to 0
10.452 * [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))
10.452 * * * * [progress]: [ 46 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1)))))>
10.452 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1)))
10.452 * * [simplify]: iters left: 6 (9 enodes)
10.457 * * [simplify]: iters left: 5 (36 enodes)
10.470 * * [simplify]: iters left: 4 (61 enodes)
10.491 * * [simplify]: iters left: 3 (102 enodes)
10.520 * * [simplify]: iters left: 2 (117 enodes)
10.549 * * [simplify]: iters left: 1 (128 enodes)
10.576 * * [simplify]: Extracting #0: cost 1 inf + 0
10.576 * * [simplify]: Extracting #1: cost 0 inf + 1
10.576 * [simplify]: Simplified to 0
10.576 * [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))
10.577 * * * * [progress]: [ 47 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))))>
10.577 * [simplify]: Simplifying (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
10.577 * * [simplify]: iters left: 6 (10 enodes)
10.581 * * [simplify]: iters left: 5 (44 enodes)
10.589 * * [simplify]: iters left: 4 (82 enodes)
10.606 * * [simplify]: iters left: 3 (160 enodes)
10.645 * * [simplify]: iters left: 2 (269 enodes)
10.772 * * [simplify]: iters left: 1 (450 enodes)
10.945 * * [simplify]: Extracting #0: cost 1 inf + 0
10.945 * * [simplify]: Extracting #1: cost 0 inf + 1
10.945 * [simplify]: Simplified to 0
10.945 * [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))
10.946 * * * * [progress]: [ 48 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x))))))>
10.946 * [simplify]: Simplifying (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x))))
10.946 * * [simplify]: iters left: 6 (9 enodes)
10.949 * * [simplify]: iters left: 5 (39 enodes)
10.956 * * [simplify]: iters left: 4 (62 enodes)
10.969 * * [simplify]: iters left: 3 (108 enodes)
11.004 * * [simplify]: iters left: 2 (178 enodes)
11.048 * * [simplify]: iters left: 1 (238 enodes)
11.088 * * [simplify]: Extracting #0: cost 1 inf + 0
11.088 * * [simplify]: Extracting #1: cost 0 inf + 1
11.088 * [simplify]: Simplified to 0
11.088 * [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))
11.088 * * * * [progress]: [ 49 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 x) (/ 1 1))))) (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1)))))>
11.089 * [simplify]: Simplifying (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1)))
11.089 * * [simplify]: iters left: 5 (8 enodes)
11.094 * * [simplify]: iters left: 4 (32 enodes)
11.109 * * [simplify]: iters left: 3 (49 enodes)
11.122 * * [simplify]: iters left: 2 (59 enodes)
11.137 * * [simplify]: iters left: 1 (69 enodes)
11.154 * * [simplify]: Extracting #0: cost 1 inf + 0
11.154 * * [simplify]: Extracting #1: cost 7 inf + 0
11.154 * * [simplify]: Extracting #2: cost 9 inf + 3
11.154 * * [simplify]: Extracting #3: cost 6 inf + 6
11.155 * * [simplify]: Extracting #4: cost 0 inf + 338
11.155 * [simplify]: Simplified to (- (/ -1/8 x) (/ -1/8 x))
11.155 * [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))))
11.155 * * * * [progress]: [ 50 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 x) 1)))) (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1))))>
11.156 * [simplify]: Simplifying (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1))
11.156 * * [simplify]: iters left: 5 (7 enodes)
11.161 * * [simplify]: iters left: 4 (29 enodes)
11.173 * * [simplify]: iters left: 3 (44 enodes)
11.186 * * [simplify]: iters left: 2 (52 enodes)
11.203 * * [simplify]: iters left: 1 (66 enodes)
11.219 * * [simplify]: Extracting #0: cost 1 inf + 0
11.219 * * [simplify]: Extracting #1: cost 0 inf + 1
11.219 * [simplify]: Simplified to 0
11.219 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ -1/8 x) 1)))) 0))
11.219 * * * * [progress]: [ 51 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ 1 x) -1/8)))) (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8))))>
11.220 * [simplify]: Simplifying (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8))
11.220 * * [simplify]: iters left: 5 (7 enodes)
11.224 * * [simplify]: iters left: 4 (31 enodes)
11.234 * * [simplify]: iters left: 3 (44 enodes)
11.245 * * [simplify]: iters left: 2 (62 enodes)
11.254 * * [simplify]: iters left: 1 (67 enodes)
11.261 * * [simplify]: Extracting #0: cost 1 inf + 0
11.261 * * [simplify]: Extracting #1: cost 0 inf + 1
11.261 * [simplify]: Simplified to 0
11.261 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2) (- (* (/ 1 x) -1/8)))) 0))
11.261 * * * * [progress]: [ 52 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) (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)))))))>
11.262 * [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)))))
11.262 * * [simplify]: iters left: 6 (8 enodes)
11.264 * * [simplify]: iters left: 5 (29 enodes)
11.269 * * [simplify]: iters left: 4 (45 enodes)
11.284 * * [simplify]: iters left: 3 (89 enodes)
11.310 * * [simplify]: iters left: 2 (141 enodes)
11.332 * * [simplify]: iters left: 1 (210 enodes)
11.399 * * [simplify]: Extracting #0: cost 1 inf + 0
11.399 * * [simplify]: Extracting #1: cost 0 inf + 1
11.399 * [simplify]: Simplified to 0
11.399 * [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))
11.399 * * * * [progress]: [ 53 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x))))))>
11.399 * [simplify]: Simplifying (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x))))
11.399 * * [simplify]: iters left: 6 (7 enodes)
11.401 * * [simplify]: iters left: 5 (21 enodes)
11.404 * * [simplify]: iters left: 4 (29 enodes)
11.409 * * [simplify]: iters left: 3 (40 enodes)
11.414 * * [simplify]: iters left: 2 (44 enodes)
11.420 * * [simplify]: Extracting #0: cost 1 inf + 0
11.420 * * [simplify]: Extracting #1: cost 0 inf + 1
11.420 * [simplify]: Simplified to 0
11.420 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) 0))
11.420 * * * * [progress]: [ 54 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))))) (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)))))))>
11.420 * [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)))))
11.420 * * [simplify]: iters left: 6 (11 enodes)
11.423 * * [simplify]: iters left: 5 (47 enodes)
11.432 * * [simplify]: iters left: 4 (111 enodes)
11.467 * * [simplify]: iters left: 3 (272 enodes)
11.540 * * [simplify]: iters left: 2 (467 enodes)
11.681 * * [simplify]: Extracting #0: cost 1 inf + 0
11.681 * * [simplify]: Extracting #1: cost 0 inf + 1
11.681 * [simplify]: Simplified to 0
11.681 * [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))
11.681 * * * * [progress]: [ 55 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))))) (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))))))>
11.682 * [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))))
11.682 * * [simplify]: iters left: 6 (10 enodes)
11.688 * * [simplify]: iters left: 5 (41 enodes)
11.703 * * [simplify]: iters left: 4 (76 enodes)
11.730 * * [simplify]: iters left: 3 (151 enodes)
11.764 * * [simplify]: iters left: 2 (241 enodes)
11.809 * * [simplify]: iters left: 1 (314 enodes)
11.900 * * [simplify]: Extracting #0: cost 1 inf + 0
11.900 * * [simplify]: Extracting #1: cost 0 inf + 1
11.900 * [simplify]: Simplified to 0
11.900 * [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))
11.900 * * * * [progress]: [ 56 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) (fma (- (/ (cbrt -1/8) x)) (/ (* (cbrt -1/8) (cbrt -1/8)) 1) (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1)))))>
11.900 * [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)))
11.900 * * [simplify]: iters left: 6 (10 enodes)
11.906 * * [simplify]: iters left: 5 (41 enodes)
11.922 * * [simplify]: iters left: 4 (83 enodes)
11.957 * * [simplify]: iters left: 3 (164 enodes)
12.027 * * [simplify]: iters left: 2 (259 enodes)
12.124 * * [simplify]: iters left: 1 (324 enodes)
12.184 * * [simplify]: Extracting #0: cost 1 inf + 0
12.184 * * [simplify]: Extracting #1: cost 0 inf + 1
12.184 * [simplify]: Simplified to 0
12.184 * [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))
12.184 * * * * [progress]: [ 57 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) (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)))))))>
12.184 * [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)))))
12.184 * * [simplify]: iters left: 6 (10 enodes)
12.187 * * [simplify]: iters left: 5 (40 enodes)
12.194 * * [simplify]: iters left: 4 (75 enodes)
12.220 * * [simplify]: iters left: 3 (127 enodes)
12.242 * * [simplify]: iters left: 2 (191 enodes)
12.271 * * [simplify]: iters left: 1 (252 enodes)
12.308 * * [simplify]: Extracting #0: cost 1 inf + 0
12.309 * * [simplify]: Extracting #1: cost 0 inf + 1
12.309 * [simplify]: Simplified to 0
12.309 * [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))
12.309 * * * * [progress]: [ 58 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x))))))>
12.309 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x))))
12.309 * * [simplify]: iters left: 6 (8 enodes)
12.314 * * [simplify]: iters left: 5 (32 enodes)
12.325 * * [simplify]: iters left: 4 (53 enodes)
12.342 * * [simplify]: iters left: 3 (81 enodes)
12.370 * * [simplify]: iters left: 2 (111 enodes)
12.397 * * [simplify]: iters left: 1 (133 enodes)
12.414 * * [simplify]: Extracting #0: cost 1 inf + 0
12.414 * * [simplify]: Extracting #1: cost 0 inf + 1
12.414 * [simplify]: Simplified to 0
12.414 * [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))
12.414 * * * * [progress]: [ 59 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1)))))>
12.414 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1)))
12.414 * * [simplify]: iters left: 6 (9 enodes)
12.417 * * [simplify]: iters left: 5 (36 enodes)
12.423 * * [simplify]: iters left: 4 (61 enodes)
12.445 * * [simplify]: iters left: 3 (102 enodes)
12.474 * * [simplify]: iters left: 2 (117 enodes)
12.505 * * [simplify]: iters left: 1 (128 enodes)
12.531 * * [simplify]: Extracting #0: cost 1 inf + 0
12.531 * * [simplify]: Extracting #1: cost 0 inf + 1
12.531 * [simplify]: Simplified to 0
12.531 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) 0))
12.531 * * * * [progress]: [ 60 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))))>
12.532 * [simplify]: Simplifying (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
12.532 * * [simplify]: iters left: 6 (10 enodes)
12.537 * * [simplify]: iters left: 5 (44 enodes)
12.545 * * [simplify]: iters left: 4 (82 enodes)
12.562 * * [simplify]: iters left: 3 (160 enodes)
12.635 * * [simplify]: iters left: 2 (269 enodes)
12.767 * * [simplify]: iters left: 1 (450 enodes)
13.004 * * [simplify]: Extracting #0: cost 1 inf + 0
13.004 * * [simplify]: Extracting #1: cost 0 inf + 1
13.005 * [simplify]: Simplified to 0
13.005 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) 0))
13.005 * * * * [progress]: [ 61 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x))))))>
13.005 * [simplify]: Simplifying (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x))))
13.005 * * [simplify]: iters left: 6 (9 enodes)
13.008 * * [simplify]: iters left: 5 (39 enodes)
13.015 * * [simplify]: iters left: 4 (62 enodes)
13.026 * * [simplify]: iters left: 3 (108 enodes)
13.064 * * [simplify]: iters left: 2 (178 enodes)
13.102 * * [simplify]: iters left: 1 (238 enodes)
13.172 * * [simplify]: Extracting #0: cost 1 inf + 0
13.172 * * [simplify]: Extracting #1: cost 0 inf + 1
13.172 * [simplify]: Simplified to 0
13.172 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) 0))
13.172 * * * * [progress]: [ 62 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 x) (/ 1 1))))) (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1)))))>
13.173 * [simplify]: Simplifying (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1)))
13.173 * * [simplify]: iters left: 5 (8 enodes)
13.179 * * [simplify]: iters left: 4 (32 enodes)
13.190 * * [simplify]: iters left: 3 (49 enodes)
13.204 * * [simplify]: iters left: 2 (59 enodes)
13.213 * * [simplify]: iters left: 1 (69 enodes)
13.222 * * [simplify]: Extracting #0: cost 1 inf + 0
13.222 * * [simplify]: Extracting #1: cost 7 inf + 0
13.222 * * [simplify]: Extracting #2: cost 9 inf + 3
13.222 * * [simplify]: Extracting #3: cost 6 inf + 6
13.222 * * [simplify]: Extracting #4: cost 0 inf + 338
13.222 * [simplify]: Simplified to (- (/ -1/8 x) (/ -1/8 x))
13.222 * [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))))
13.222 * * * * [progress]: [ 63 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 x) 1)))) (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1))))>
13.223 * [simplify]: Simplifying (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1))
13.223 * * [simplify]: iters left: 5 (7 enodes)
13.225 * * [simplify]: iters left: 4 (29 enodes)
13.231 * * [simplify]: iters left: 3 (44 enodes)
13.237 * * [simplify]: iters left: 2 (52 enodes)
13.251 * * [simplify]: iters left: 1 (66 enodes)
13.266 * * [simplify]: Extracting #0: cost 1 inf + 0
13.266 * * [simplify]: Extracting #1: cost 0 inf + 1
13.266 * [simplify]: Simplified to 0
13.267 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ -1/8 x) 1)))) 0))
13.267 * * * * [progress]: [ 64 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ 1 x) -1/8)))) (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8))))>
13.267 * [simplify]: Simplifying (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8))
13.267 * * [simplify]: iters left: 5 (7 enodes)
13.272 * * [simplify]: iters left: 4 (31 enodes)
13.285 * * [simplify]: iters left: 3 (44 enodes)
13.300 * * [simplify]: iters left: 2 (62 enodes)
13.316 * * [simplify]: iters left: 1 (67 enodes)
13.323 * * [simplify]: Extracting #0: cost 1 inf + 0
13.323 * * [simplify]: Extracting #1: cost 0 inf + 1
13.323 * [simplify]: Simplified to 0
13.323 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma (sqrt 1/2) (sqrt 1/2) (- (* (/ 1 x) -1/8)))) 0))
13.323 * * * * [progress]: [ 65 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) (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)))))))>
13.324 * [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)))))
13.324 * * [simplify]: iters left: 6 (8 enodes)
13.326 * * [simplify]: iters left: 5 (29 enodes)
13.331 * * [simplify]: iters left: 4 (45 enodes)
13.340 * * [simplify]: iters left: 3 (89 enodes)
13.356 * * [simplify]: iters left: 2 (141 enodes)
13.393 * * [simplify]: iters left: 1 (210 enodes)
13.435 * * [simplify]: Extracting #0: cost 1 inf + 0
13.435 * * [simplify]: Extracting #1: cost 0 inf + 1
13.435 * [simplify]: Simplified to 0
13.435 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (cbrt (/ -1/8 x)) (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))))))) 0))
13.435 * * * * [progress]: [ 66 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x))))))>
13.435 * [simplify]: Simplifying (fma (- (sqrt (/ -1/8 x))) (sqrt (/ -1/8 x)) (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x))))
13.436 * * [simplify]: iters left: 6 (7 enodes)
13.439 * * [simplify]: iters left: 5 (21 enodes)
13.446 * * [simplify]: iters left: 4 (29 enodes)
13.453 * * [simplify]: iters left: 3 (40 enodes)
13.459 * * [simplify]: iters left: 2 (44 enodes)
13.464 * * [simplify]: Extracting #0: cost 1 inf + 0
13.464 * * [simplify]: Extracting #1: cost 0 inf + 1
13.464 * [simplify]: Simplified to 0
13.464 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)))))) 0))
13.464 * * * * [progress]: [ 67 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) (cbrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))))))) (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)))))))>
13.464 * [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)))))
13.464 * * [simplify]: iters left: 6 (11 enodes)
13.467 * * [simplify]: iters left: 5 (47 enodes)
13.478 * * [simplify]: iters left: 4 (111 enodes)
13.514 * * [simplify]: iters left: 3 (272 enodes)
13.604 * * [simplify]: iters left: 2 (467 enodes)
13.766 * * [simplify]: Extracting #0: cost 1 inf + 0
13.766 * * [simplify]: Extracting #1: cost 0 inf + 1
13.766 * [simplify]: Simplified to 0
13.766 * [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))
13.766 * * * * [progress]: [ 68 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) (sqrt x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)))))) (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))))))>
13.767 * [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))))
13.767 * * [simplify]: iters left: 6 (10 enodes)
13.770 * * [simplify]: iters left: 5 (41 enodes)
13.778 * * [simplify]: iters left: 4 (76 enodes)
13.792 * * [simplify]: iters left: 3 (151 enodes)
13.847 * * [simplify]: iters left: 2 (241 enodes)
13.896 * * [simplify]: iters left: 1 (314 enodes)
13.996 * * [simplify]: Extracting #0: cost 1 inf + 0
13.996 * * [simplify]: Extracting #1: cost 0 inf + 1
13.996 * [simplify]: Simplified to 0
13.996 * [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))
13.996 * * * * [progress]: [ 69 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) (fma (- (/ (cbrt -1/8) x)) (/ (* (cbrt -1/8) (cbrt -1/8)) 1) (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1)))))>
13.996 * [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)))
13.996 * * [simplify]: iters left: 6 (10 enodes)
13.999 * * [simplify]: iters left: 5 (41 enodes)
14.008 * * [simplify]: iters left: 4 (83 enodes)
14.024 * * [simplify]: iters left: 3 (164 enodes)
14.061 * * [simplify]: iters left: 2 (259 enodes)
14.128 * * [simplify]: iters left: 1 (324 enodes)
14.193 * * [simplify]: Extracting #0: cost 1 inf + 0
14.193 * * [simplify]: Extracting #1: cost 0 inf + 1
14.193 * [simplify]: Simplified to 0
14.193 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (cbrt -1/8) x) (/ (* (cbrt -1/8) (cbrt -1/8)) 1))))) 0))
14.193 * * * * [progress]: [ 70 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) (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)))))))>
14.193 * [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)))))
14.194 * * [simplify]: iters left: 6 (10 enodes)
14.199 * * [simplify]: iters left: 5 (40 enodes)
14.213 * * [simplify]: iters left: 4 (75 enodes)
14.238 * * [simplify]: iters left: 3 (127 enodes)
14.268 * * [simplify]: iters left: 2 (191 enodes)
14.306 * * [simplify]: iters left: 1 (252 enodes)
14.376 * * [simplify]: Extracting #0: cost 1 inf + 0
14.376 * * [simplify]: Extracting #1: cost 0 inf + 1
14.376 * [simplify]: Simplified to 0
14.376 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) (cbrt x)) (/ (sqrt -1/8) (* (cbrt x) (cbrt x))))))) 0))
14.376 * * * * [progress]: [ 71 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x))))))>
14.377 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) (sqrt x))) (/ (sqrt -1/8) (sqrt x)) (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x))))
14.377 * * [simplify]: iters left: 6 (8 enodes)
14.382 * * [simplify]: iters left: 5 (32 enodes)
14.394 * * [simplify]: iters left: 4 (53 enodes)
14.412 * * [simplify]: iters left: 3 (81 enodes)
14.424 * * [simplify]: iters left: 2 (111 enodes)
14.443 * * [simplify]: iters left: 1 (133 enodes)
14.475 * * [simplify]: Extracting #0: cost 1 inf + 0
14.475 * * [simplify]: Extracting #1: cost 0 inf + 1
14.475 * [simplify]: Simplified to 0
14.475 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) (sqrt x)) (/ (sqrt -1/8) (sqrt x)))))) 0))
14.475 * * * * [progress]: [ 72 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1)))))>
14.476 * [simplify]: Simplifying (fma (- (/ (sqrt -1/8) x)) (/ (sqrt -1/8) 1) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1)))
14.476 * * [simplify]: iters left: 6 (9 enodes)
14.481 * * [simplify]: iters left: 5 (36 enodes)
14.493 * * [simplify]: iters left: 4 (61 enodes)
14.504 * * [simplify]: iters left: 3 (102 enodes)
14.520 * * [simplify]: iters left: 2 (117 enodes)
14.545 * * [simplify]: iters left: 1 (128 enodes)
14.571 * * [simplify]: Extracting #0: cost 1 inf + 0
14.571 * * [simplify]: Extracting #1: cost 0 inf + 1
14.571 * [simplify]: Simplified to 0
14.571 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) 1))))) 0))
14.571 * * * * [progress]: [ 73 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))))>
14.572 * [simplify]: Simplifying (fma (- (/ -1/8 (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))) (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x)))))
14.572 * * [simplify]: iters left: 6 (10 enodes)
14.578 * * [simplify]: iters left: 5 (44 enodes)
14.595 * * [simplify]: iters left: 4 (82 enodes)
14.628 * * [simplify]: iters left: 3 (160 enodes)
14.698 * * [simplify]: iters left: 2 (269 enodes)
14.857 * * [simplify]: iters left: 1 (450 enodes)
15.044 * * [simplify]: Extracting #0: cost 1 inf + 0
15.044 * * [simplify]: Extracting #1: cost 0 inf + 1
15.044 * [simplify]: Simplified to 0
15.044 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))))))) 0))
15.044 * * * * [progress]: [ 74 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x))))))>
15.044 * [simplify]: Simplifying (fma (- (/ -1/8 (sqrt x))) (/ 1 (sqrt x)) (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x))))
15.044 * * [simplify]: iters left: 6 (9 enodes)
15.047 * * [simplify]: iters left: 5 (39 enodes)
15.061 * * [simplify]: iters left: 4 (62 enodes)
15.083 * * [simplify]: iters left: 3 (108 enodes)
15.106 * * [simplify]: iters left: 2 (178 enodes)
15.168 * * [simplify]: iters left: 1 (238 enodes)
15.239 * * [simplify]: Extracting #0: cost 1 inf + 0
15.239 * * [simplify]: Extracting #1: cost 0 inf + 1
15.239 * [simplify]: Simplified to 0
15.239 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 (sqrt x)) (/ 1 (sqrt x)))))) 0))
15.239 * * * * [progress]: [ 75 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 x) (/ 1 1))))) (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1)))))>
15.240 * [simplify]: Simplifying (fma (- (/ -1/8 x)) (/ 1 1) (* (/ -1/8 x) (/ 1 1)))
15.240 * * [simplify]: iters left: 5 (8 enodes)
15.246 * * [simplify]: iters left: 4 (32 enodes)
15.258 * * [simplify]: iters left: 3 (49 enodes)
15.273 * * [simplify]: iters left: 2 (59 enodes)
15.286 * * [simplify]: iters left: 1 (69 enodes)
15.295 * * [simplify]: Extracting #0: cost 1 inf + 0
15.295 * * [simplify]: Extracting #1: cost 7 inf + 0
15.295 * * [simplify]: Extracting #2: cost 9 inf + 3
15.295 * * [simplify]: Extracting #3: cost 6 inf + 6
15.295 * * [simplify]: Extracting #4: cost 0 inf + 338
15.296 * [simplify]: Simplified to (- (/ -1/8 x) (/ -1/8 x))
15.296 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 x) (/ 1 1))))) (- (/ -1/8 x) (/ -1/8 x))))
15.296 * * * * [progress]: [ 76 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 x) 1)))) (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1))))>
15.296 * [simplify]: Simplifying (fma (- (/ -1/8 x)) 1 (* (/ -1/8 x) 1))
15.296 * * [simplify]: iters left: 5 (7 enodes)
15.298 * * [simplify]: iters left: 4 (29 enodes)
15.304 * * [simplify]: iters left: 3 (44 enodes)
15.311 * * [simplify]: iters left: 2 (52 enodes)
15.323 * * [simplify]: iters left: 1 (66 enodes)
15.338 * * [simplify]: Extracting #0: cost 1 inf + 0
15.338 * * [simplify]: Extracting #1: cost 0 inf + 1
15.338 * [simplify]: Simplified to 0
15.338 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ -1/8 x) 1)))) 0))
15.338 * * * * [progress]: [ 77 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x (fma 1 1/2 (- (* (/ 1 x) -1/8)))) (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8))))>
15.339 * [simplify]: Simplifying (fma (- (/ 1 x)) -1/8 (* (/ 1 x) -1/8))
15.339 * * [simplify]: iters left: 5 (7 enodes)
15.344 * * [simplify]: iters left: 4 (31 enodes)
15.355 * * [simplify]: iters left: 3 (44 enodes)
15.364 * * [simplify]: iters left: 2 (62 enodes)
15.372 * * [simplify]: iters left: 1 (67 enodes)
15.380 * * [simplify]: Extracting #0: cost 1 inf + 0
15.380 * * [simplify]: Extracting #1: cost 0 inf + 1
15.380 * [simplify]: Simplified to 0
15.380 * [simplify]: Simplified (2 2) to (λ (x) (- (- x (fma 1 1/2 (- (* (/ 1 x) -1/8)))) 0))
15.380 * * * * [progress]: [ 78 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x 1/2) (- (/ -1/8 x))))>
15.380 * [simplify]: Simplifying (- (/ -1/8 x))
15.380 * * [simplify]: iters left: 4 (4 enodes)
15.381 * * [simplify]: iters left: 3 (15 enodes)
15.384 * * [simplify]: iters left: 2 (17 enodes)
15.386 * * [simplify]: Extracting #0: cost 1 inf + 0
15.386 * * [simplify]: Extracting #1: cost 5 inf + 0
15.386 * * [simplify]: Extracting #2: cost 5 inf + 2
15.386 * * [simplify]: Extracting #3: cost 2 inf + 87
15.387 * * [simplify]: Extracting #4: cost 0 inf + 171
15.387 * [simplify]: Simplified to (/ 1/8 x)
15.387 * [simplify]: Simplified (2 2) to (λ (x) (- (- x 1/2) (/ 1/8 x)))
15.387 * * * * [progress]: [ 79 / 85 ] simplifiying candidate #<alt (λ (x) (- (- x 1/2) (- (/ -1/8 x))))>
15.387 * [simplify]: Simplifying (- (/ -1/8 x))
15.387 * * [simplify]: iters left: 4 (4 enodes)
15.389 * * [simplify]: iters left: 3 (15 enodes)
15.391 * * [simplify]: iters left: 2 (17 enodes)
15.393 * * [simplify]: Extracting #0: cost 1 inf + 0
15.393 * * [simplify]: Extracting #1: cost 5 inf + 0
15.393 * * [simplify]: Extracting #2: cost 5 inf + 2
15.393 * * [simplify]: Extracting #3: cost 2 inf + 87
15.394 * * [simplify]: Extracting #4: cost 0 inf + 171
15.394 * [simplify]: Simplified to (/ 1/8 x)
15.394 * [simplify]: Simplified (2 2) to (λ (x) (- (- x 1/2) (/ 1/8 x)))
15.394 * * * * [progress]: [ 80 / 85 ] simplifiying candidate #<alt (λ (x) (+ (- x 1/2) (/ -1/8 x)))>
15.394 * [simplify]: Simplifying (/ -1/8 x)
15.394 * * [simplify]: iters left: 2 (3 enodes)
15.395 * * [simplify]: iters left: 1 (9 enodes)
15.396 * * [simplify]: Extracting #0: cost 1 inf + 0
15.396 * * [simplify]: Extracting #1: cost 4 inf + 0
15.396 * * [simplify]: Extracting #2: cost 2 inf + 2
15.396 * * [simplify]: Extracting #3: cost 0 inf + 86
15.396 * [simplify]: Simplified to (/ -1/8 x)
15.396 * [simplify]: Simplified (2 2) to (λ (x) (+ (- x 1/2) (/ -1/8 x)))
15.396 * * * * [progress]: [ 81 / 85 ] simplifiying candidate #<alt (λ (x) (+ x (- (- 1/2 (/ -1/8 x)))))>
15.396 * * * * [progress]: [ 82 / 85 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (- x (- 1/2 (/ -1/8 x))))))>
15.396 * * * * [progress]: [ 83 / 85 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
15.397 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
15.397 * * [simplify]: iters left: 6 (8 enodes)
15.400 * * [simplify]: iters left: 5 (35 enodes)
15.406 * * [simplify]: iters left: 4 (54 enodes)
15.414 * * [simplify]: iters left: 3 (77 enodes)
15.429 * * [simplify]: iters left: 2 (110 enodes)
15.455 * * [simplify]: iters left: 1 (124 enodes)
15.488 * * [simplify]: Extracting #0: cost 1 inf + 0
15.488 * * [simplify]: Extracting #1: cost 18 inf + 0
15.488 * * [simplify]: Extracting #2: cost 26 inf + 5
15.489 * * [simplify]: Extracting #3: cost 6 inf + 1207
15.490 * * [simplify]: Extracting #4: cost 0 inf + 1580
15.491 * * [simplify]: Extracting #5: cost 0 inf + 1540
15.493 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x)))
15.493 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x))))
15.493 * * * * [progress]: [ 84 / 85 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
15.493 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
15.493 * * [simplify]: iters left: 6 (8 enodes)
15.499 * * [simplify]: iters left: 5 (35 enodes)
15.512 * * [simplify]: iters left: 4 (54 enodes)
15.528 * * [simplify]: iters left: 3 (77 enodes)
15.553 * * [simplify]: iters left: 2 (110 enodes)
15.583 * * [simplify]: iters left: 1 (124 enodes)
15.616 * * [simplify]: Extracting #0: cost 1 inf + 0
15.616 * * [simplify]: Extracting #1: cost 18 inf + 0
15.616 * * [simplify]: Extracting #2: cost 26 inf + 5
15.617 * * [simplify]: Extracting #3: cost 6 inf + 1207
15.618 * * [simplify]: Extracting #4: cost 0 inf + 1580
15.619 * * [simplify]: Extracting #5: cost 0 inf + 1540
15.620 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x)))
15.620 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x))))
15.620 * * * * [progress]: [ 85 / 85 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
15.621 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
15.621 * * [simplify]: iters left: 6 (8 enodes)
15.626 * * [simplify]: iters left: 5 (35 enodes)
15.639 * * [simplify]: iters left: 4 (54 enodes)
15.655 * * [simplify]: iters left: 3 (77 enodes)
15.667 * * [simplify]: iters left: 2 (110 enodes)
15.683 * * [simplify]: iters left: 1 (124 enodes)
15.699 * * [simplify]: Extracting #0: cost 1 inf + 0
15.699 * * [simplify]: Extracting #1: cost 18 inf + 0
15.699 * * [simplify]: Extracting #2: cost 26 inf + 5
15.699 * * [simplify]: Extracting #3: cost 6 inf + 1207
15.700 * * [simplify]: Extracting #4: cost 0 inf + 1580
15.700 * * [simplify]: Extracting #5: cost 0 inf + 1540
15.701 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x)))
15.701 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x))))
15.701 * * * [progress]: adding candidates to table
16.206 * * [progress]: iteration 3 / 4
16.206 * * * [progress]: picking best candidate
16.209 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (- (* x x) x)))>
16.209 * * * [progress]: localizing error
16.225 * * * [progress]: generating rewritten candidates
16.225 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
16.246 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
16.260 * * * [progress]: generating series expansions
16.260 * * * * [progress]: [ 1 / 2 ] generating series at (2)
16.261 * [backup-simplify]: Simplify (sqrt (- (* x x) x)) into (sqrt (- (pow x 2) x))
16.261 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 2) x)) in (x) around 0
16.261 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) x)) in x
16.261 * [taylor]: Taking taylor expansion of (- (pow x 2) x) in x
16.261 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.261 * [taylor]: Taking taylor expansion of x in x
16.261 * [backup-simplify]: Simplify 0 into 0
16.261 * [backup-simplify]: Simplify 1 into 1
16.261 * [taylor]: Taking taylor expansion of x in x
16.261 * [backup-simplify]: Simplify 0 into 0
16.261 * [backup-simplify]: Simplify 1 into 1
16.261 * [backup-simplify]: Simplify (- 0) into 0
16.262 * [backup-simplify]: Simplify (+ 0 0) into 0
16.262 * [backup-simplify]: Simplify (- 1) into -1
16.262 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.262 * [backup-simplify]: Simplify (sqrt 0) into 0
16.263 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
16.263 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) x)) in x
16.263 * [taylor]: Taking taylor expansion of (- (pow x 2) x) in x
16.263 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.263 * [taylor]: Taking taylor expansion of x in x
16.263 * [backup-simplify]: Simplify 0 into 0
16.263 * [backup-simplify]: Simplify 1 into 1
16.263 * [taylor]: Taking taylor expansion of x in x
16.263 * [backup-simplify]: Simplify 0 into 0
16.263 * [backup-simplify]: Simplify 1 into 1
16.264 * [backup-simplify]: Simplify (- 0) into 0
16.264 * [backup-simplify]: Simplify (+ 0 0) into 0
16.264 * [backup-simplify]: Simplify (- 1) into -1
16.264 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.265 * [backup-simplify]: Simplify (sqrt 0) into 0
16.265 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
16.265 * [backup-simplify]: Simplify 0 into 0
16.265 * [backup-simplify]: Simplify +nan.0 into +nan.0
16.266 * [backup-simplify]: Simplify (* 1 1) into 1
16.266 * [backup-simplify]: Simplify (- 0) into 0
16.266 * [backup-simplify]: Simplify (+ 1 0) into 1
16.268 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
16.268 * [backup-simplify]: Simplify +nan.0 into +nan.0
16.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.269 * [backup-simplify]: Simplify (- 0) into 0
16.269 * [backup-simplify]: Simplify (+ 0 0) into 0
16.271 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
16.271 * [backup-simplify]: Simplify +nan.0 into +nan.0
16.271 * [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)))))))
16.271 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 x) (/ 1 x)) (/ 1 x))) into (sqrt (- (/ 1 (pow x 2)) (/ 1 x)))
16.271 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 x))) in (x) around 0
16.271 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 x))) in x
16.271 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
16.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.272 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.272 * [taylor]: Taking taylor expansion of x in x
16.272 * [backup-simplify]: Simplify 0 into 0
16.272 * [backup-simplify]: Simplify 1 into 1
16.272 * [backup-simplify]: Simplify (* 1 1) into 1
16.272 * [backup-simplify]: Simplify (/ 1 1) into 1
16.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.272 * [taylor]: Taking taylor expansion of x in x
16.272 * [backup-simplify]: Simplify 0 into 0
16.272 * [backup-simplify]: Simplify 1 into 1
16.272 * [backup-simplify]: Simplify (/ 1 1) into 1
16.273 * [backup-simplify]: Simplify (+ 1 0) into 1
16.273 * [backup-simplify]: Simplify (sqrt 1) into 1
16.273 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.274 * [backup-simplify]: Simplify (- 1) into -1
16.274 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.274 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
16.275 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 x))) in x
16.275 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
16.275 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.275 * [taylor]: Taking taylor expansion of x in x
16.275 * [backup-simplify]: Simplify 0 into 0
16.275 * [backup-simplify]: Simplify 1 into 1
16.275 * [backup-simplify]: Simplify (* 1 1) into 1
16.275 * [backup-simplify]: Simplify (/ 1 1) into 1
16.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.275 * [taylor]: Taking taylor expansion of x in x
16.275 * [backup-simplify]: Simplify 0 into 0
16.275 * [backup-simplify]: Simplify 1 into 1
16.275 * [backup-simplify]: Simplify (/ 1 1) into 1
16.276 * [backup-simplify]: Simplify (+ 1 0) into 1
16.276 * [backup-simplify]: Simplify (sqrt 1) into 1
16.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.277 * [backup-simplify]: Simplify (- 1) into -1
16.277 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.278 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
16.278 * [backup-simplify]: Simplify 1 into 1
16.278 * [backup-simplify]: Simplify -1/2 into -1/2
16.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.279 * [backup-simplify]: Simplify (- 0) into 0
16.280 * [backup-simplify]: Simplify (+ 0 0) into 0
16.280 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
16.280 * [backup-simplify]: Simplify -1/8 into -1/8
16.280 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
16.280 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)))) into (sqrt (+ (/ 1 (pow x 2)) (/ 1 x)))
16.280 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 x))) in (x) around 0
16.280 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 x))) in x
16.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
16.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.281 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.281 * [taylor]: Taking taylor expansion of x in x
16.281 * [backup-simplify]: Simplify 0 into 0
16.281 * [backup-simplify]: Simplify 1 into 1
16.283 * [backup-simplify]: Simplify (* 1 1) into 1
16.284 * [backup-simplify]: Simplify (/ 1 1) into 1
16.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.284 * [taylor]: Taking taylor expansion of x in x
16.284 * [backup-simplify]: Simplify 0 into 0
16.284 * [backup-simplify]: Simplify 1 into 1
16.284 * [backup-simplify]: Simplify (/ 1 1) into 1
16.284 * [backup-simplify]: Simplify (+ 1 0) into 1
16.285 * [backup-simplify]: Simplify (sqrt 1) into 1
16.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.286 * [backup-simplify]: Simplify (+ 0 1) into 1
16.286 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
16.286 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 x))) in x
16.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
16.286 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.286 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.286 * [taylor]: Taking taylor expansion of x in x
16.286 * [backup-simplify]: Simplify 0 into 0
16.286 * [backup-simplify]: Simplify 1 into 1
16.286 * [backup-simplify]: Simplify (* 1 1) into 1
16.287 * [backup-simplify]: Simplify (/ 1 1) into 1
16.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.287 * [taylor]: Taking taylor expansion of x in x
16.287 * [backup-simplify]: Simplify 0 into 0
16.287 * [backup-simplify]: Simplify 1 into 1
16.287 * [backup-simplify]: Simplify (/ 1 1) into 1
16.287 * [backup-simplify]: Simplify (+ 1 0) into 1
16.288 * [backup-simplify]: Simplify (sqrt 1) into 1
16.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.289 * [backup-simplify]: Simplify (+ 0 1) into 1
16.289 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
16.290 * [backup-simplify]: Simplify 1 into 1
16.290 * [backup-simplify]: Simplify 1/2 into 1/2
16.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.291 * [backup-simplify]: Simplify (+ 0 0) into 0
16.292 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
16.292 * [backup-simplify]: Simplify -1/8 into -1/8
16.292 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
16.292 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
16.292 * [backup-simplify]: Simplify (- (* x x) x) into (- (pow x 2) x)
16.292 * [approximate]: Taking taylor expansion of (- (pow x 2) x) in (x) around 0
16.292 * [taylor]: Taking taylor expansion of (- (pow x 2) x) in x
16.292 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.292 * [taylor]: Taking taylor expansion of x in x
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify 1 into 1
16.293 * [taylor]: Taking taylor expansion of x in x
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 1 into 1
16.293 * [taylor]: Taking taylor expansion of (- (pow x 2) x) in x
16.293 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.293 * [taylor]: Taking taylor expansion of x in x
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 1 into 1
16.293 * [taylor]: Taking taylor expansion of x in x
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 1 into 1
16.293 * [backup-simplify]: Simplify (- 0) into 0
16.293 * [backup-simplify]: Simplify (+ 0 0) into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify (- 1) into -1
16.294 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.294 * [backup-simplify]: Simplify -1 into -1
16.294 * [backup-simplify]: Simplify (* 1 1) into 1
16.294 * [backup-simplify]: Simplify (- 0) into 0
16.294 * [backup-simplify]: Simplify (+ 1 0) into 1
16.294 * [backup-simplify]: Simplify 1 into 1
16.295 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.295 * [backup-simplify]: Simplify (- 0) into 0
16.295 * [backup-simplify]: Simplify (+ 0 0) into 0
16.295 * [backup-simplify]: Simplify 0 into 0
16.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.296 * [backup-simplify]: Simplify (- 0) into 0
16.296 * [backup-simplify]: Simplify (+ 0 0) into 0
16.296 * [backup-simplify]: Simplify 0 into 0
16.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.297 * [backup-simplify]: Simplify (- 0) into 0
16.297 * [backup-simplify]: Simplify (+ 0 0) into 0
16.297 * [backup-simplify]: Simplify 0 into 0
16.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.298 * [backup-simplify]: Simplify (- 0) into 0
16.299 * [backup-simplify]: Simplify (+ 0 0) into 0
16.299 * [backup-simplify]: Simplify 0 into 0
16.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.300 * [backup-simplify]: Simplify (- 0) into 0
16.300 * [backup-simplify]: Simplify (+ 0 0) into 0
16.300 * [backup-simplify]: Simplify 0 into 0
16.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.301 * [backup-simplify]: Simplify (- 0) into 0
16.301 * [backup-simplify]: Simplify (+ 0 0) into 0
16.301 * [backup-simplify]: Simplify 0 into 0
16.301 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* -1 x)) into (- (pow x 2) x)
16.302 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (/ 1 x)) into (- (/ 1 (pow x 2)) (/ 1 x))
16.302 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0
16.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
16.302 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.302 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.302 * [taylor]: Taking taylor expansion of x in x
16.302 * [backup-simplify]: Simplify 0 into 0
16.302 * [backup-simplify]: Simplify 1 into 1
16.302 * [backup-simplify]: Simplify (* 1 1) into 1
16.302 * [backup-simplify]: Simplify (/ 1 1) into 1
16.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.302 * [taylor]: Taking taylor expansion of x in x
16.302 * [backup-simplify]: Simplify 0 into 0
16.302 * [backup-simplify]: Simplify 1 into 1
16.302 * [backup-simplify]: Simplify (/ 1 1) into 1
16.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
16.302 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.302 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.302 * [taylor]: Taking taylor expansion of x in x
16.303 * [backup-simplify]: Simplify 0 into 0
16.303 * [backup-simplify]: Simplify 1 into 1
16.303 * [backup-simplify]: Simplify (* 1 1) into 1
16.303 * [backup-simplify]: Simplify (/ 1 1) into 1
16.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.303 * [taylor]: Taking taylor expansion of x in x
16.303 * [backup-simplify]: Simplify 0 into 0
16.303 * [backup-simplify]: Simplify 1 into 1
16.303 * [backup-simplify]: Simplify (/ 1 1) into 1
16.304 * [backup-simplify]: Simplify (+ 1 0) into 1
16.304 * [backup-simplify]: Simplify 1 into 1
16.304 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.305 * [backup-simplify]: Simplify (- 1) into -1
16.305 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.305 * [backup-simplify]: Simplify -1 into -1
16.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.307 * [backup-simplify]: Simplify (- 0) into 0
16.307 * [backup-simplify]: Simplify (+ 0 0) into 0
16.307 * [backup-simplify]: Simplify 0 into 0
16.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.309 * [backup-simplify]: Simplify (- 0) into 0
16.309 * [backup-simplify]: Simplify (+ 0 0) into 0
16.309 * [backup-simplify]: Simplify 0 into 0
16.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.311 * [backup-simplify]: Simplify (- 0) into 0
16.312 * [backup-simplify]: Simplify (+ 0 0) into 0
16.312 * [backup-simplify]: Simplify 0 into 0
16.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.314 * [backup-simplify]: Simplify (- 0) into 0
16.314 * [backup-simplify]: Simplify (+ 0 0) into 0
16.314 * [backup-simplify]: Simplify 0 into 0
16.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.316 * [backup-simplify]: Simplify (- 0) into 0
16.316 * [backup-simplify]: Simplify (+ 0 0) into 0
16.316 * [backup-simplify]: Simplify 0 into 0
16.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
16.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.318 * [backup-simplify]: Simplify (- 0) into 0
16.319 * [backup-simplify]: Simplify (+ 0 0) into 0
16.319 * [backup-simplify]: Simplify 0 into 0
16.319 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (- (pow x 2) x)
16.319 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x))) into (+ (/ 1 (pow x 2)) (/ 1 x))
16.319 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0
16.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
16.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.319 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.319 * [taylor]: Taking taylor expansion of x in x
16.319 * [backup-simplify]: Simplify 0 into 0
16.319 * [backup-simplify]: Simplify 1 into 1
16.319 * [backup-simplify]: Simplify (* 1 1) into 1
16.320 * [backup-simplify]: Simplify (/ 1 1) into 1
16.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.320 * [taylor]: Taking taylor expansion of x in x
16.320 * [backup-simplify]: Simplify 0 into 0
16.320 * [backup-simplify]: Simplify 1 into 1
16.320 * [backup-simplify]: Simplify (/ 1 1) into 1
16.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
16.320 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
16.320 * [taylor]: Taking taylor expansion of (pow x 2) in x
16.320 * [taylor]: Taking taylor expansion of x in x
16.320 * [backup-simplify]: Simplify 0 into 0
16.320 * [backup-simplify]: Simplify 1 into 1
16.320 * [backup-simplify]: Simplify (* 1 1) into 1
16.320 * [backup-simplify]: Simplify (/ 1 1) into 1
16.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.321 * [taylor]: Taking taylor expansion of x in x
16.321 * [backup-simplify]: Simplify 0 into 0
16.321 * [backup-simplify]: Simplify 1 into 1
16.321 * [backup-simplify]: Simplify (/ 1 1) into 1
16.321 * [backup-simplify]: Simplify (+ 1 0) into 1
16.321 * [backup-simplify]: Simplify 1 into 1
16.321 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.322 * [backup-simplify]: Simplify (+ 0 1) into 1
16.322 * [backup-simplify]: Simplify 1 into 1
16.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.324 * [backup-simplify]: Simplify (+ 0 0) into 0
16.324 * [backup-simplify]: Simplify 0 into 0
16.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.326 * [backup-simplify]: Simplify (+ 0 0) into 0
16.326 * [backup-simplify]: Simplify 0 into 0
16.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.328 * [backup-simplify]: Simplify (+ 0 0) into 0
16.328 * [backup-simplify]: Simplify 0 into 0
16.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.330 * [backup-simplify]: Simplify (+ 0 0) into 0
16.330 * [backup-simplify]: Simplify 0 into 0
16.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.332 * [backup-simplify]: Simplify (+ 0 0) into 0
16.332 * [backup-simplify]: Simplify 0 into 0
16.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
16.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.334 * [backup-simplify]: Simplify (+ 0 0) into 0
16.334 * [backup-simplify]: Simplify 0 into 0
16.335 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (- (pow x 2) x)
16.335 * * * [progress]: simplifying candidates
16.335 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (- (* x x) x)))))>
16.335 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (- (* x x) x)))))>
16.335 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x) (pow (- (* x x) x) 1/2))>
16.335 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (- (* x x) x)) 1))>
16.335 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (- (* x x) x)))))>
16.335 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (- (* x x) x)))))>
16.335 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- (* x x) x))) (cbrt (sqrt (- (* x x) x)))) (cbrt (sqrt (- (* x x) x)))))>
16.335 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (- (* x x) x)) (sqrt (- (* x x) x))) (sqrt (- (* x x) x)))))>
16.335 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- (* x x) x)) (cbrt (- (* x x) x)))) (sqrt (cbrt (- (* x x) x)))))>
16.335 * [simplify]: Simplifying (sqrt (* (cbrt (- (* x x) x)) (cbrt (- (* x x) x))))
16.335 * * [simplify]: iters left: 6 (6 enodes)
16.337 * * [simplify]: iters left: 5 (22 enodes)
16.340 * * [simplify]: iters left: 4 (25 enodes)
16.345 * * [simplify]: Extracting #0: cost 1 inf + 0
16.345 * * [simplify]: Extracting #1: cost 4 inf + 0
16.345 * * [simplify]: Extracting #2: cost 7 inf + 0
16.345 * * [simplify]: Extracting #3: cost 11 inf + 0
16.345 * * [simplify]: Extracting #4: cost 8 inf + 245
16.345 * * [simplify]: Extracting #5: cost 4 inf + 689
16.345 * * [simplify]: Extracting #6: cost 0 inf + 1453
16.346 * [simplify]: Simplified to (fabs (cbrt (- (* x x) x)))
16.346 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (- (* x x) x))) (sqrt (cbrt (- (* x x) x)))))
16.346 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- (* x x) x))) (sqrt (sqrt (- (* x x) x)))))>
16.346 * [simplify]: Simplifying (sqrt (sqrt (- (* x x) x)))
16.346 * * [simplify]: iters left: 6 (5 enodes)
16.347 * * [simplify]: iters left: 5 (18 enodes)
16.350 * * [simplify]: iters left: 4 (21 enodes)
16.353 * * [simplify]: Extracting #0: cost 1 inf + 0
16.353 * * [simplify]: Extracting #1: cost 3 inf + 0
16.353 * * [simplify]: Extracting #2: cost 5 inf + 0
16.353 * * [simplify]: Extracting #3: cost 9 inf + 0
16.353 * * [simplify]: Extracting #4: cost 10 inf + 1
16.353 * * [simplify]: Extracting #5: cost 0 inf + 891
16.353 * [simplify]: Simplified to (sqrt (sqrt (- (* x x) x)))
16.353 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (- (* x x) x))) (sqrt (sqrt (- (* x x) x)))))
16.353 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (- (* x x) x))))>
16.353 * [simplify]: Simplifying (sqrt 1)
16.353 * * [simplify]: iters left: 1 (2 enodes)
16.355 * * [simplify]: Extracting #0: cost 1 inf + 0
16.355 * * [simplify]: Extracting #1: cost 0 inf + 1
16.355 * [simplify]: Simplified to 1
16.355 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (sqrt (- (* x x) x))))
16.356 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ x (sqrt x))) (sqrt (- x (sqrt x)))))>
16.356 * [simplify]: Simplifying (sqrt (+ x (sqrt x)))
16.356 * * [simplify]: iters left: 4 (4 enodes)
16.357 * * [simplify]: iters left: 3 (13 enodes)
16.359 * * [simplify]: Extracting #0: cost 1 inf + 0
16.359 * * [simplify]: Extracting #1: cost 3 inf + 0
16.359 * * [simplify]: Extracting #2: cost 6 inf + 0
16.359 * * [simplify]: Extracting #3: cost 6 inf + 1
16.359 * * [simplify]: Extracting #4: cost 0 inf + 487
16.359 * [simplify]: Simplified to (sqrt (+ (sqrt x) x))
16.359 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) x)) (sqrt (- x (sqrt x)))))
16.359 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
16.359 * [simplify]: Simplifying (sqrt x)
16.359 * * [simplify]: iters left: 1 (2 enodes)
16.360 * * [simplify]: Extracting #0: cost 1 inf + 0
16.360 * * [simplify]: Extracting #1: cost 3 inf + 0
16.360 * * [simplify]: Extracting #2: cost 2 inf + 1
16.360 * * [simplify]: Extracting #3: cost 0 inf + 83
16.360 * [simplify]: Simplified to (sqrt x)
16.360 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt x) (sqrt (- x 1))))
16.360 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (pow (* x x) 3) (pow x 3))) (sqrt (+ (* (* x x) (* x x)) (+ (* x x) (* (* x x) x))))))>
16.360 * [simplify]: Simplifying (sqrt (- (pow (* x x) 3) (pow x 3)))
16.360 * * [simplify]: iters left: 6 (7 enodes)
16.362 * * [simplify]: iters left: 5 (36 enodes)
16.375 * * [simplify]: iters left: 4 (104 enodes)
16.409 * * [simplify]: iters left: 3 (292 enodes)
16.523 * * [simplify]: Extracting #0: cost 1 inf + 0
16.523 * * [simplify]: Extracting #1: cost 3 inf + 0
16.524 * * [simplify]: Extracting #2: cost 50 inf + 0
16.524 * * [simplify]: Extracting #3: cost 116 inf + 83
16.526 * * [simplify]: Extracting #4: cost 113 inf + 1956
16.530 * * [simplify]: Extracting #5: cost 67 inf + 14623
16.538 * * [simplify]: Extracting #6: cost 10 inf + 39056
16.547 * * [simplify]: Extracting #7: cost 0 inf + 42989
16.556 * [simplify]: Simplified to (sqrt (* (* x x) (- (* (* x x) (* x x)) x)))
16.556 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (* (* x x) (- (* (* x x) (* x x)) x))) (sqrt (+ (* (* x x) (* x x)) (+ (* x x) (* (* x x) x))))))
16.556 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (* x x) (* x x)) (* x x))) (sqrt (+ (* x x) x))))>
16.557 * [simplify]: Simplifying (sqrt (- (* (* x x) (* x x)) (* x x)))
16.557 * * [simplify]: iters left: 6 (5 enodes)
16.560 * * [simplify]: iters left: 5 (25 enodes)
16.572 * * [simplify]: iters left: 4 (53 enodes)
16.590 * * [simplify]: iters left: 3 (102 enodes)
16.611 * * [simplify]: iters left: 2 (204 enodes)
16.693 * * [simplify]: iters left: 1 (417 enodes)
16.994 * * [simplify]: Extracting #0: cost 1 inf + 0
16.994 * * [simplify]: Extracting #1: cost 3 inf + 0
16.994 * * [simplify]: Extracting #2: cost 38 inf + 0
16.997 * * [simplify]: Extracting #3: cost 126 inf + 534
17.000 * * [simplify]: Extracting #4: cost 82 inf + 6360
17.004 * * [simplify]: Extracting #5: cost 39 inf + 13570
17.009 * * [simplify]: Extracting #6: cost 14 inf + 22094
17.015 * * [simplify]: Extracting #7: cost 0 inf + 28074
17.023 * [simplify]: Simplified to (sqrt (- (* (* x x) (* x x)) (* x x)))
17.023 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (- (* (* x x) (* x x)) (* x x))) (sqrt (+ (* x x) x))))
17.023 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x) (pow (- (* x x) x) (/ 1 2)))>
17.023 * [simplify]: Simplifying (- (* x x) x)
17.023 * * [simplify]: iters left: 4 (3 enodes)
17.025 * * [simplify]: iters left: 3 (12 enodes)
17.028 * * [simplify]: iters left: 2 (15 enodes)
17.032 * * [simplify]: Extracting #0: cost 1 inf + 0
17.032 * * [simplify]: Extracting #1: cost 5 inf + 0
17.033 * * [simplify]: Extracting #2: cost 6 inf + 1
17.033 * * [simplify]: Extracting #3: cost 0 inf + 327
17.033 * [simplify]: Simplified to (- (* x x) x)
17.033 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (/ 1 2)))
17.033 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- (* x x) x))) (sqrt (sqrt (- (* x x) x)))))>
17.033 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (- (* x x) x))))>
17.033 * [simplify]: Simplifying (sqrt (- (* x x) x))
17.034 * * [simplify]: iters left: 5 (4 enodes)
17.035 * * [simplify]: iters left: 4 (15 enodes)
17.040 * * [simplify]: iters left: 3 (18 enodes)
17.045 * * [simplify]: Extracting #0: cost 1 inf + 0
17.045 * * [simplify]: Extracting #1: cost 3 inf + 0
17.045 * * [simplify]: Extracting #2: cost 7 inf + 0
17.045 * * [simplify]: Extracting #3: cost 8 inf + 1
17.045 * * [simplify]: Extracting #4: cost 0 inf + 569
17.045 * [simplify]: Simplified to (sqrt (- (* x x) x))
17.045 * [simplify]: Simplified (2 1) to (λ (x) (fabs (sqrt (- (* x x) x))))
17.045 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (- (* x x) x))))>
17.045 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (- (* x x) x)))))>
17.045 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (fma x x (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))>
17.046 * [simplify]: Simplifying (fma x x (- (* (cbrt x) (* (cbrt x) (cbrt x)))))
17.046 * * [simplify]: iters left: 6 (6 enodes)
17.049 * * [simplify]: iters left: 5 (27 enodes)
17.058 * * [simplify]: iters left: 4 (40 enodes)
17.069 * * [simplify]: iters left: 3 (45 enodes)
17.075 * * [simplify]: Extracting #0: cost 1 inf + 0
17.075 * * [simplify]: Extracting #1: cost 9 inf + 0
17.075 * * [simplify]: Extracting #2: cost 14 inf + 1
17.076 * * [simplify]: Extracting #3: cost 7 inf + 408
17.076 * * [simplify]: Extracting #4: cost 3 inf + 892
17.076 * * [simplify]: Extracting #5: cost 0 inf + 1295
17.076 * [simplify]: Simplified to (- (* x x) x)
17.076 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (+ (- (* x x) x) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))
17.076 * [simplify]: Simplifying (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
17.077 * * [simplify]: iters left: 6 (6 enodes)
17.078 * * [simplify]: iters left: 5 (23 enodes)
17.081 * * [simplify]: iters left: 4 (31 enodes)
17.085 * * [simplify]: iters left: 3 (36 enodes)
17.089 * * [simplify]: Extracting #0: cost 1 inf + 0
17.089 * * [simplify]: Extracting #1: cost 6 inf + 0
17.089 * * [simplify]: Extracting #2: cost 10 inf + 1
17.090 * * [simplify]: Extracting #3: cost 3 inf + 1200
17.090 * * [simplify]: Extracting #4: cost 0 inf + 1348
17.090 * * [simplify]: Extracting #5: cost 0 inf + 1213
17.090 * [simplify]: Simplified to (+ (- x) x)
17.090 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (+ (- (* x x) x) (+ (- x) x))))
17.090 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (fma x x (- (* (sqrt x) (sqrt x)))) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))>
17.090 * [simplify]: Simplifying (fma x x (- (* (sqrt x) (sqrt x))))
17.091 * * [simplify]: iters left: 6 (5 enodes)
17.092 * * [simplify]: iters left: 5 (15 enodes)
17.095 * * [simplify]: iters left: 4 (19 enodes)
17.098 * * [simplify]: Extracting #0: cost 1 inf + 0
17.098 * * [simplify]: Extracting #1: cost 5 inf + 0
17.098 * * [simplify]: Extracting #2: cost 6 inf + 1
17.098 * * [simplify]: Extracting #3: cost 0 inf + 357
17.098 * * [simplify]: Extracting #4: cost 0 inf + 327
17.099 * [simplify]: Simplified to (- (* x x) x)
17.099 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (+ (- (* x x) x) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))
17.099 * [simplify]: Simplifying (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))
17.099 * * [simplify]: iters left: 4 (5 enodes)
17.100 * * [simplify]: iters left: 3 (15 enodes)
17.102 * * [simplify]: iters left: 2 (21 enodes)
17.104 * * [simplify]: iters left: 1 (22 enodes)
17.107 * * [simplify]: Extracting #0: cost 1 inf + 0
17.107 * * [simplify]: Extracting #1: cost 6 inf + 0
17.107 * * [simplify]: Extracting #2: cost 8 inf + 1
17.107 * * [simplify]: Extracting #3: cost 0 inf + 599
17.107 * * [simplify]: Extracting #4: cost 0 inf + 489
17.107 * [simplify]: Simplified to (+ (- x) x)
17.107 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (+ (- (* x x) x) (+ (- x) x))))
17.107 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (fma x x (- (* x 1))) (fma (- x) 1 (* x 1)))))>
17.108 * [simplify]: Simplifying (fma x x (- (* x 1)))
17.108 * * [simplify]: iters left: 5 (5 enodes)
17.111 * * [simplify]: iters left: 4 (17 enodes)
17.116 * * [simplify]: iters left: 3 (23 enodes)
17.122 * * [simplify]: Extracting #0: cost 1 inf + 0
17.122 * * [simplify]: Extracting #1: cost 5 inf + 0
17.122 * * [simplify]: Extracting #2: cost 6 inf + 1
17.122 * * [simplify]: Extracting #3: cost 1 inf + 316
17.123 * * [simplify]: Extracting #4: cost 0 inf + 327
17.123 * [simplify]: Simplified to (- (* x x) x)
17.123 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (+ (- (* x x) x) (fma (- x) 1 (* x 1)))))
17.123 * [simplify]: Simplifying (fma (- x) 1 (* x 1))
17.123 * * [simplify]: iters left: 3 (5 enodes)
17.126 * * [simplify]: iters left: 2 (17 enodes)
17.131 * * [simplify]: iters left: 1 (22 enodes)
17.137 * * [simplify]: Extracting #0: cost 1 inf + 0
17.138 * * [simplify]: Extracting #1: cost 5 inf + 0
17.138 * * [simplify]: Extracting #2: cost 5 inf + 2
17.138 * * [simplify]: Extracting #3: cost 0 inf + 288
17.138 * [simplify]: Simplified to (+ (- x) x)
17.138 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (+ (- (* x x) x) (+ (- x) x))))
17.138 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (- (* x x) x)))))>
17.138 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (- (* x x) x)))))>
17.138 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (fma x x (- x))))>
17.138 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (log (/ (exp (* x x)) (exp x)))))>
17.138 * [simplify]: Simplifying (/ (exp (* x x)) (exp x))
17.139 * * [simplify]: iters left: 5 (5 enodes)
17.141 * * [simplify]: iters left: 4 (18 enodes)
17.146 * * [simplify]: iters left: 3 (27 enodes)
17.155 * * [simplify]: iters left: 2 (45 enodes)
17.169 * * [simplify]: iters left: 1 (82 enodes)
17.199 * * [simplify]: Extracting #0: cost 1 inf + 0
17.199 * * [simplify]: Extracting #1: cost 22 inf + 0
17.199 * * [simplify]: Extracting #2: cost 53 inf + 0
17.199 * * [simplify]: Extracting #3: cost 66 inf + 44
17.200 * * [simplify]: Extracting #4: cost 39 inf + 4531
17.203 * * [simplify]: Extracting #5: cost 12 inf + 14010
17.207 * * [simplify]: Extracting #6: cost 0 inf + 19238
17.210 * * [simplify]: Extracting #7: cost 0 inf + 19198
17.214 * [simplify]: Simplified to (exp (- (* x x) x))
17.214 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (log (exp (- (* x x) x)))))
17.214 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (- (* x x) x) 1)))>
17.214 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (- (* x x) x)))))>
17.214 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (- (* x x) x)))))>
17.214 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (- (* x x) x)) (cbrt (- (* x x) x))) (cbrt (- (* x x) x)))))>
17.214 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (- (* x x) x) (- (* x x) x)) (- (* x x) x)))))>
17.214 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (- (* x x) x)) (sqrt (- (* x x) x)))))>
17.214 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (pow (* x x) 3) (pow x 3)) (+ (* (* x x) (* x x)) (+ (* x x) (* (* x x) x))))))>
17.215 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (* x x) (- x))))>
17.215 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (- (* x x) x))))>
17.215 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (* x x) (* x x)) (* x x)) (+ (* x x) x))))>
17.215 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (* (+ x (sqrt x)) (- x (sqrt x)))))>
17.215 * [simplify]: Simplifying (+ x (sqrt x))
17.215 * * [simplify]: iters left: 3 (3 enodes)
17.216 * * [simplify]: iters left: 2 (10 enodes)
17.219 * * [simplify]: Extracting #0: cost 1 inf + 0
17.219 * * [simplify]: Extracting #1: cost 4 inf + 0
17.219 * * [simplify]: Extracting #2: cost 4 inf + 1
17.219 * * [simplify]: Extracting #3: cost 0 inf + 245
17.220 * [simplify]: Simplified to (+ (sqrt x) x)
17.220 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (* (+ (sqrt x) x) (- x (sqrt x)))))
17.220 * [simplify]: Simplifying (- x (sqrt x))
17.220 * * [simplify]: iters left: 3 (3 enodes)
17.221 * * [simplify]: iters left: 2 (11 enodes)
17.224 * * [simplify]: iters left: 1 (14 enodes)
17.228 * * [simplify]: Extracting #0: cost 1 inf + 0
17.228 * * [simplify]: Extracting #1: cost 5 inf + 0
17.228 * * [simplify]: Extracting #2: cost 6 inf + 1
17.228 * * [simplify]: Extracting #3: cost 0 inf + 407
17.228 * [simplify]: Simplified to (- x (sqrt x))
17.228 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (* (+ x (sqrt x)) (- x (sqrt x)))))
17.229 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (* x (- x 1))))>
17.229 * [simplify]: Simplifying (- x 1)
17.229 * * [simplify]: iters left: 2 (3 enodes)
17.233 * * [simplify]: iters left: 1 (14 enodes)
17.237 * * [simplify]: Extracting #0: cost 1 inf + 0
17.237 * * [simplify]: Extracting #1: cost 5 inf + 0
17.237 * * [simplify]: Extracting #2: cost 2 inf + 3
17.237 * * [simplify]: Extracting #3: cost 0 inf + 87
17.237 * [simplify]: Simplified to (- x 1)
17.237 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (* x (- x 1))))
17.237 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (* x x) (- x))))>
17.237 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (- (* x x) x)))))>
17.237 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
17.237 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
17.237 * [simplify]: Simplified (2) to (λ (x) +nan.0)
17.237 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
17.237 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
17.238 * * [simplify]: iters left: 6 (8 enodes)
17.240 * * [simplify]: iters left: 5 (35 enodes)
17.246 * * [simplify]: iters left: 4 (54 enodes)
17.255 * * [simplify]: iters left: 3 (77 enodes)
17.267 * * [simplify]: iters left: 2 (110 enodes)
17.294 * * [simplify]: iters left: 1 (124 enodes)
17.327 * * [simplify]: Extracting #0: cost 1 inf + 0
17.327 * * [simplify]: Extracting #1: cost 18 inf + 0
17.327 * * [simplify]: Extracting #2: cost 26 inf + 5
17.328 * * [simplify]: Extracting #3: cost 6 inf + 1207
17.329 * * [simplify]: Extracting #4: cost 0 inf + 1580
17.330 * * [simplify]: Extracting #5: cost 0 inf + 1540
17.331 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x)))
17.332 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x))))
17.332 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
17.332 * [simplify]: Simplifying (- (+ (* 1/8 (/ 1 x)) 1/2) x)
17.332 * * [simplify]: iters left: 6 (8 enodes)
17.338 * * [simplify]: iters left: 5 (35 enodes)
17.352 * * [simplify]: iters left: 4 (54 enodes)
17.368 * * [simplify]: iters left: 3 (65 enodes)
17.384 * * [simplify]: iters left: 2 (69 enodes)
17.400 * * [simplify]: iters left: 1 (81 enodes)
17.417 * * [simplify]: Extracting #0: cost 1 inf + 0
17.417 * * [simplify]: Extracting #1: cost 18 inf + 0
17.418 * * [simplify]: Extracting #2: cost 23 inf + 128
17.418 * * [simplify]: Extracting #3: cost 16 inf + 583
17.418 * * [simplify]: Extracting #4: cost 0 inf + 1819
17.419 * * [simplify]: Extracting #5: cost 0 inf + 1699
17.419 * [simplify]: Simplified to (+ 1/2 (- (/ 1/8 x) x))
17.419 * [simplify]: Simplified (2) to (λ (x) (+ 1/2 (- (/ 1/8 x) x)))
17.420 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (- (pow x 2) x)))>
17.420 * [simplify]: Simplifying (- (pow x 2) x)
17.420 * * [simplify]: iters left: 3 (4 enodes)
17.421 * * [simplify]: iters left: 2 (19 enodes)
17.425 * * [simplify]: iters left: 1 (28 enodes)
17.429 * * [simplify]: Extracting #0: cost 1 inf + 0
17.429 * * [simplify]: Extracting #1: cost 5 inf + 0
17.429 * * [simplify]: Extracting #2: cost 7 inf + 1
17.429 * * [simplify]: Extracting #3: cost 1 inf + 287
17.430 * * [simplify]: Extracting #4: cost 0 inf + 328
17.430 * [simplify]: Simplified to (- (* x x) x)
17.430 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
17.430 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (- (pow x 2) x)))>
17.430 * [simplify]: Simplifying (- (pow x 2) x)
17.430 * * [simplify]: iters left: 3 (4 enodes)
17.431 * * [simplify]: iters left: 2 (19 enodes)
17.435 * * [simplify]: iters left: 1 (28 enodes)
17.438 * * [simplify]: Extracting #0: cost 1 inf + 0
17.438 * * [simplify]: Extracting #1: cost 5 inf + 0
17.439 * * [simplify]: Extracting #2: cost 7 inf + 1
17.439 * * [simplify]: Extracting #3: cost 1 inf + 287
17.439 * * [simplify]: Extracting #4: cost 0 inf + 328
17.439 * [simplify]: Simplified to (- (* x x) x)
17.439 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
17.439 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x) (sqrt (- (pow x 2) x)))>
17.439 * [simplify]: Simplifying (- (pow x 2) x)
17.439 * * [simplify]: iters left: 3 (4 enodes)
17.441 * * [simplify]: iters left: 2 (19 enodes)
17.444 * * [simplify]: iters left: 1 (28 enodes)
17.448 * * [simplify]: Extracting #0: cost 1 inf + 0
17.448 * * [simplify]: Extracting #1: cost 5 inf + 0
17.448 * * [simplify]: Extracting #2: cost 7 inf + 1
17.448 * * [simplify]: Extracting #3: cost 1 inf + 287
17.449 * * [simplify]: Extracting #4: cost 0 inf + 328
17.449 * [simplify]: Simplified to (- (* x x) x)
17.449 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
17.449 * * * [progress]: adding candidates to table
17.709 * [progress]: [Phase 3 of 3] Extracting.
17.709 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (sqrt (- (* x x) x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- x (- 1/2 (/ -1/8 x))))>)
17.710 * * * [regime-changes]: Trying 2 branch expressions: (x (* (sqrt (- x 1)) (sqrt x)))
17.710 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (sqrt (- (* x x) x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- x (- 1/2 (/ -1/8 x))))>)
17.729 * * * * [regimes]: Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (sqrt (- (* x x) x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- x (- 1/2 (/ -1/8 x))))>)
17.754 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
17.755 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x))
17.755 * * [simplify]: iters left: 5 (6 enodes)
17.755 * * [simplify]: iters left: 4 (9 enodes)
17.755 * * [simplify]: Extracting #0: cost 1 inf + 0
17.755 * * [simplify]: Extracting #1: cost 3 inf + 0
17.755 * * [simplify]: Extracting #2: cost 5 inf + 0
17.755 * * [simplify]: Extracting #3: cost 5 inf + 1
17.756 * * [simplify]: Extracting #4: cost 0 inf + 329
17.756 * [simplify]: Simplified to (* (sqrt (- x 1)) (sqrt x))
21.663 * [regime-testing]: Baseline error score: 0.49081135141892734
21.667 * [regime-testing]: Oracle error score: 0.0016252031503937992
21.676 * [regime-testing]: End program error score: 0.49081135141892734