0.814 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.137 * * * [progress]: [2/2] Setting up program.
0.141 * [progress]: [Phase 2 of 3] Improving.
0.141 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
0.147 * [simplify]: Simplifying:
  (* (sqrt (- x 1)) (sqrt x))
0.148 * * [simplify]: iteration 1: (6 enodes)
0.185 * * [simplify]: iteration 2: (12 enodes)
0.186 * * [simplify]: iteration 3: (13 enodes)
0.188 * * [simplify]: Extracting #0: cost 1 inf + 0
0.188 * * [simplify]: Extracting #1: cost 3 inf + 0
0.188 * * [simplify]: Extracting #2: cost 5 inf + 0
0.189 * * [simplify]: Extracting #3: cost 6 inf + 1
0.189 * * [simplify]: Extracting #4: cost 0 inf + 330
0.189 * [simplify]: Simplified to:
  (* (sqrt (- x 1)) (sqrt x))
0.194 * * [progress]: iteration 1 / 4
0.194 * * * [progress]: picking best candidate
0.197 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
0.198 * * * [progress]: localizing error
0.212 * * * [progress]: generating rewritten candidates
0.212 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.246 * * * [progress]: generating series expansions
0.246 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.250 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
0.250 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
0.251 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
0.251 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
0.251 * [taylor]: Taking taylor expansion of x in x
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [taylor]: Taking taylor expansion of (- x 1) in x
0.251 * [taylor]: Taking taylor expansion of x in x
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [taylor]: Taking taylor expansion of 1 in x
0.251 * [backup-simplify]: Simplify 1 into 1
0.252 * [backup-simplify]: Simplify (- 1) into -1
0.253 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.253 * [backup-simplify]: Simplify (* 0 -1) into 0
0.253 * [backup-simplify]: Simplify (- 0) into 0
0.254 * [backup-simplify]: Simplify (+ 1 0) into 1
0.254 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.254 * [backup-simplify]: Simplify (sqrt 0) into 0
0.255 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.255 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
0.255 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [taylor]: Taking taylor expansion of (- x 1) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [taylor]: Taking taylor expansion of 1 in x
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [backup-simplify]: Simplify (- 1) into -1
0.257 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.257 * [backup-simplify]: Simplify (* 0 -1) into 0
0.258 * [backup-simplify]: Simplify (- 0) into 0
0.259 * [backup-simplify]: Simplify (+ 1 0) into 1
0.259 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.260 * [backup-simplify]: Simplify (sqrt 0) into 0
0.260 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.262 * [backup-simplify]: Simplify (- 0) into 0
0.262 * [backup-simplify]: Simplify (+ 0 0) into 0
0.262 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.265 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.265 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.265 * [backup-simplify]: Simplify (- 0) into 0
0.265 * [backup-simplify]: Simplify (+ 0 0) into 0
0.266 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.300 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.300 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.301 * [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.302 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
0.302 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
0.302 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
0.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
0.302 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify 1 into 1
0.303 * [backup-simplify]: Simplify (/ 1 1) into 1
0.303 * [taylor]: Taking taylor expansion of 1 in x
0.303 * [backup-simplify]: Simplify 1 into 1
0.304 * [taylor]: Taking taylor expansion of x in x
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.305 * [backup-simplify]: Simplify (+ 1 0) into 1
0.306 * [backup-simplify]: Simplify (/ 1 1) into 1
0.307 * [backup-simplify]: Simplify (sqrt 1) into 1
0.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.309 * [backup-simplify]: Simplify (- 1) into -1
0.310 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.311 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
0.312 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
0.313 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
0.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
0.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 1 into 1
0.331 * [backup-simplify]: Simplify (/ 1 1) into 1
0.331 * [taylor]: Taking taylor expansion of 1 in x
0.331 * [backup-simplify]: Simplify 1 into 1
0.331 * [taylor]: Taking taylor expansion of x in x
0.331 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify 1 into 1
0.332 * [backup-simplify]: Simplify (+ 1 0) into 1
0.333 * [backup-simplify]: Simplify (/ 1 1) into 1
0.333 * [backup-simplify]: Simplify (sqrt 1) into 1
0.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.335 * [backup-simplify]: Simplify (- 1) into -1
0.335 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.336 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
0.337 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
0.337 * [backup-simplify]: Simplify 1 into 1
0.338 * [backup-simplify]: Simplify -1/2 into -1/2
0.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.339 * [backup-simplify]: Simplify (- 0) into 0
0.339 * [backup-simplify]: Simplify (+ 0 0) into 0
0.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
0.342 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
0.342 * [backup-simplify]: Simplify -1/8 into -1/8
0.342 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
0.343 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
0.343 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
0.343 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
0.343 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
0.343 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
0.343 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify 1 into 1
0.343 * [backup-simplify]: Simplify (/ 1 1) into 1
0.343 * [taylor]: Taking taylor expansion of 1 in x
0.343 * [backup-simplify]: Simplify 1 into 1
0.344 * [backup-simplify]: Simplify (+ 1 0) into 1
0.344 * [backup-simplify]: Simplify (- 1) into -1
0.345 * [backup-simplify]: Simplify (sqrt 0) into 0
0.345 * [backup-simplify]: Simplify (- 1) into -1
0.377 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.377 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.377 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.377 * [taylor]: Taking taylor expansion of -1 in x
0.378 * [backup-simplify]: Simplify -1 into -1
0.378 * [taylor]: Taking taylor expansion of x in x
0.378 * [backup-simplify]: Simplify 0 into 0
0.378 * [backup-simplify]: Simplify 1 into 1
0.379 * [backup-simplify]: Simplify (/ -1 1) into -1
0.379 * [backup-simplify]: Simplify (sqrt 0) into 0
0.382 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.382 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
0.382 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
0.382 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.382 * [backup-simplify]: Simplify 0 into 0
0.382 * [backup-simplify]: Simplify 1 into 1
0.383 * [backup-simplify]: Simplify (/ 1 1) into 1
0.383 * [taylor]: Taking taylor expansion of 1 in x
0.383 * [backup-simplify]: Simplify 1 into 1
0.384 * [backup-simplify]: Simplify (+ 1 0) into 1
0.385 * [backup-simplify]: Simplify (- 1) into -1
0.385 * [backup-simplify]: Simplify (sqrt 0) into 0
0.386 * [backup-simplify]: Simplify (- 1) into -1
0.388 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.388 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.388 * [taylor]: Taking taylor expansion of -1 in x
0.388 * [backup-simplify]: Simplify -1 into -1
0.388 * [taylor]: Taking taylor expansion of x in x
0.388 * [backup-simplify]: Simplify 0 into 0
0.388 * [backup-simplify]: Simplify 1 into 1
0.389 * [backup-simplify]: Simplify (/ -1 1) into -1
0.390 * [backup-simplify]: Simplify (sqrt 0) into 0
0.392 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.392 * [backup-simplify]: Simplify (* 0 0) into 0
0.392 * [backup-simplify]: Simplify 0 into 0
0.393 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
0.394 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.399 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.401 * [backup-simplify]: Simplify (+ 0 1) into 1
0.402 * [backup-simplify]: Simplify (- 1) into -1
0.406 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.410 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
0.410 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.416 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.418 * [backup-simplify]: Simplify (+ 0 0) into 0
0.418 * [backup-simplify]: Simplify (- 0) into 0
0.455 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.462 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
0.463 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.506 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.508 * [backup-simplify]: Simplify (+ 0 0) into 0
0.509 * [backup-simplify]: Simplify (- 0) into 0
0.520 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.530 * [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.530 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.532 * [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.533 * * * [progress]: simplifying candidates
0.533 * * * * [progress]: [ 1 / 40 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
0.533 * * * * [progress]: [ 2 / 40 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
0.533 * * * * [progress]: [ 3 / 40 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
0.533 * * * * [progress]: [ 4 / 40 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
0.533 * * * * [progress]: [ 5 / 40 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
0.534 * * * * [progress]: [ 6 / 40 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
0.534 * * * * [progress]: [ 7 / 40 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
0.534 * * * * [progress]: [ 8 / 40 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
0.534 * * * * [progress]: [ 9 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt x)))))>
0.534 * * * * [progress]: [ 10 / 40 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
0.534 * * * * [progress]: [ 11 / 40 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
0.534 * * * * [progress]: [ 12 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
0.534 * * * * [progress]: [ 13 / 40 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
0.534 * * * * [progress]: [ 14 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.534 * * * * [progress]: [ 15 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.534 * * * * [progress]: [ 16 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.534 * * * * [progress]: [ 17 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.535 * * * * [progress]: [ 18 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
0.535 * * * * [progress]: [ 19 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))))>
0.535 * * * * [progress]: [ 20 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
0.535 * * * * [progress]: [ 21 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x)))>
0.535 * * * * [progress]: [ 22 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
0.535 * * * * [progress]: [ 23 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
0.535 * * * * [progress]: [ 24 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
0.535 * * * * [progress]: [ 25 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
0.535 * * * * [progress]: [ 26 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
0.535 * * * * [progress]: [ 27 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
0.535 * * * * [progress]: [ 28 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) (sqrt 1))) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x))))>
0.535 * * * * [progress]: [ 29 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))>
0.536 * * * * [progress]: [ 30 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))>
0.536 * * * * [progress]: [ 31 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
0.536 * * * * [progress]: [ 32 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
0.536 * * * * [progress]: [ 33 / 40 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
0.536 * * * * [progress]: [ 34 / 40 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
0.536 * * * * [progress]: [ 35 / 40 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
0.536 * * * * [progress]: [ 36 / 40 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (sqrt (- x 1)) (sqrt x)))))>
0.536 * * * * [progress]: [ 37 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
0.536 * * * * [progress]: [ 38 / 40 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
0.536 * * * * [progress]: [ 39 / 40 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
0.536 * * * * [progress]: [ 40 / 40 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
0.537 * [simplify]: Simplifying:
  (* (- x 1) x)
  (* (sqrt (- x 1)) (sqrt x))
  (* (- x 1) x)
  (+ (log (sqrt (- x 1))) (log (sqrt x)))
  (log (* (sqrt (- x 1)) (sqrt x)))
  (exp (* (sqrt (- x 1)) (sqrt x)))
  (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x))))
  (cbrt (* (sqrt (- x 1)) (sqrt x)))
  (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))
  (* (- x 1) x)
  (sqrt (* (sqrt (- x 1)) (sqrt x)))
  (sqrt (* (sqrt (- x 1)) (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x))))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (sqrt 1))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) 1)
  (* (cbrt (sqrt (- x 1))) (sqrt x))
  (* (sqrt (cbrt (- x 1))) (sqrt x))
  (* (sqrt (sqrt (- x 1))) (sqrt x))
  (* (sqrt (- x 1)) (sqrt x))
  (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x))
  (* (sqrt (- (sqrt x) 1)) (sqrt x))
  (* (sqrt (- (sqrt x) 1)) (sqrt x))
  (* (sqrt (- x 1)) (sqrt x))
  (* (sqrt (sqrt (- x 1))) (sqrt x))
  (* (sqrt (- x 1)) (sqrt x))
  (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
  (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
  (real->posit16 (* (sqrt (- x 1)) (sqrt x)))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
  (- x (+ (* 1/8 (/ 1 x)) 1/2))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.539 * * [simplify]: iteration 1: (85 enodes)
0.650 * * [simplify]: iteration 2: (186 enodes)
0.729 * * [simplify]: iteration 3: (413 enodes)
0.841 * * [simplify]: iteration 4: (978 enodes)
1.647 * * [simplify]: Extracting #0: cost 23 inf + 0
1.647 * * [simplify]: Extracting #1: cost 156 inf + 0
1.649 * * [simplify]: Extracting #2: cost 375 inf + 1069
1.655 * * [simplify]: Extracting #3: cost 317 inf + 14702
1.676 * * [simplify]: Extracting #4: cost 97 inf + 48805
1.708 * * [simplify]: Extracting #5: cost 25 inf + 68583
1.738 * * [simplify]: Extracting #6: cost 0 inf + 78579
1.760 * [simplify]: Simplified to:
  (* (- x 1) x)
  (* (sqrt (- x 1)) (sqrt x))
  (* (- x 1) x)
  (log (* (sqrt (- x 1)) (sqrt x)))
  (log (* (sqrt (- x 1)) (sqrt x)))
  (exp (* (sqrt (- x 1)) (sqrt x)))
  (* (* (- x 1) (* (sqrt (- x 1)) x)) (sqrt x))
  (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x))))
  (cbrt (* (sqrt (- x 1)) (sqrt x)))
  (* (* (- x 1) (* (sqrt (- x 1)) x)) (sqrt x))
  (* (- x 1) x)
  (sqrt (* (sqrt (- x 1)) (sqrt x)))
  (sqrt (* (sqrt (- x 1)) (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (* (cbrt (sqrt x)) (sqrt (- x 1))) (cbrt (sqrt x)))
  (* (fabs (cbrt x)) (sqrt (- x 1)))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (sqrt (- x 1))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (sqrt (- x 1))
  (* (cbrt (sqrt (- x 1))) (sqrt x))
  (* (sqrt x) (sqrt (cbrt (- x 1))))
  (* (sqrt (sqrt (- x 1))) (sqrt x))
  (* (sqrt (- x 1)) (sqrt x))
  (* (sqrt (- (sqrt x) 1)) (sqrt x))
  (* (sqrt (- (sqrt x) 1)) (sqrt x))
  (* (sqrt (- (sqrt x) 1)) (sqrt x))
  (* (sqrt (- x 1)) (sqrt x))
  (* (sqrt (sqrt (- x 1))) (sqrt x))
  (* (sqrt (- x 1)) (sqrt x))
  (* (sqrt x) (sqrt (- (* (* x x) x) 1)))
  (* (sqrt (- (* x x) 1)) (sqrt x))
  (real->posit16 (* (sqrt (- x 1)) (sqrt x)))
  (- (* (- x) (- +nan.0 (* +nan.0 (* x x)))) (* +nan.0 (* x x)))
  (- x (+ 1/2 (/ 1/8 x)))
  (- (- (/ +nan.0 x) +nan.0) (/ (/ +nan.0 x) x))
1.761 * * * [progress]: adding candidates to table
2.054 * * [progress]: iteration 2 / 4
2.054 * * * [progress]: picking best candidate
2.064 * * * * [pick]: Picked  #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
2.064 * * * [progress]: localizing error
2.080 * * * [progress]: generating rewritten candidates
2.080 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.111 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.184 * * * [progress]: generating series expansions
2.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.184 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt (sqrt x))) into (* (pow x 1/4) (sqrt (- x 1)))
2.184 * [approximate]: Taking taylor expansion of (* (pow x 1/4) (sqrt (- x 1))) in (x) around 0
2.184 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (sqrt (- x 1))) in x
2.184 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.184 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.184 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.184 * [taylor]: Taking taylor expansion of 1/4 in x
2.184 * [backup-simplify]: Simplify 1/4 into 1/4
2.184 * [taylor]: Taking taylor expansion of (log x) in x
2.184 * [taylor]: Taking taylor expansion of x in x
2.185 * [backup-simplify]: Simplify 0 into 0
2.185 * [backup-simplify]: Simplify 1 into 1
2.185 * [backup-simplify]: Simplify (log 1) into 0
2.186 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.186 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.186 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.186 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
2.186 * [taylor]: Taking taylor expansion of (- x 1) in x
2.186 * [taylor]: Taking taylor expansion of x in x
2.186 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify 1 into 1
2.186 * [taylor]: Taking taylor expansion of 1 in x
2.186 * [backup-simplify]: Simplify 1 into 1
2.186 * [backup-simplify]: Simplify (- 1) into -1
2.186 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.187 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.187 * [backup-simplify]: Simplify (- 0) into 0
2.187 * [backup-simplify]: Simplify (+ 1 0) into 1
2.188 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
2.188 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (sqrt (- x 1))) in x
2.188 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.188 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.188 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.188 * [taylor]: Taking taylor expansion of 1/4 in x
2.188 * [backup-simplify]: Simplify 1/4 into 1/4
2.188 * [taylor]: Taking taylor expansion of (log x) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [backup-simplify]: Simplify 0 into 0
2.188 * [backup-simplify]: Simplify 1 into 1
2.189 * [backup-simplify]: Simplify (log 1) into 0
2.189 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.189 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.189 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.189 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
2.189 * [taylor]: Taking taylor expansion of (- x 1) in x
2.189 * [taylor]: Taking taylor expansion of x in x
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [backup-simplify]: Simplify 1 into 1
2.189 * [taylor]: Taking taylor expansion of 1 in x
2.189 * [backup-simplify]: Simplify 1 into 1
2.189 * [backup-simplify]: Simplify (- 1) into -1
2.190 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.190 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.190 * [backup-simplify]: Simplify (- 0) into 0
2.190 * [backup-simplify]: Simplify (+ 1 0) into 1
2.191 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
2.192 * [backup-simplify]: Simplify (* (pow x 1/4) (sqrt -1)) into (* (pow x 1/4) (sqrt -1))
2.192 * [backup-simplify]: Simplify (* (pow x 1/4) (sqrt -1)) into (* (pow x 1/4) (sqrt -1))
2.193 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.194 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.194 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
2.195 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.196 * [backup-simplify]: Simplify (+ (* (pow x 1/4) (/ 1/2 (sqrt -1))) (* 0 (sqrt -1))) into (* 1/2 (* (pow x 1/4) (/ 1 (sqrt -1))))
2.197 * [backup-simplify]: Simplify (* 1/2 (* (pow x 1/4) (/ 1 (sqrt -1)))) into (* 1/2 (* (pow x 1/4) (/ 1 (sqrt -1))))
2.197 * [backup-simplify]: Simplify (- 0) into 0
2.198 * [backup-simplify]: Simplify (+ 0 0) into 0
2.201 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
2.206 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.207 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.208 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
2.209 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.211 * [backup-simplify]: Simplify (+ (* (pow x 1/4) (/ 1/8 (sqrt -1))) (+ (* 0 (/ 1/2 (sqrt -1))) (* 0 (sqrt -1)))) into (* 1/8 (* (pow x 1/4) (/ 1 (sqrt -1))))
2.212 * [backup-simplify]: Simplify (* 1/8 (* (pow x 1/4) (/ 1 (sqrt -1)))) into (* 1/8 (* (pow x 1/4) (/ 1 (sqrt -1))))
2.215 * [backup-simplify]: Simplify (+ (* (* 1/8 (* (pow x 1/4) (/ 1 (sqrt -1)))) (pow x 2)) (+ (* (* 1/2 (* (pow x 1/4) (/ 1 (sqrt -1)))) x) (* (pow x 1/4) (sqrt -1)))) into (+ (* 1/2 (* (pow (pow x 5) 1/4) (/ 1 (sqrt -1)))) (+ (* (pow x 1/4) (sqrt -1)) (* 1/8 (* (pow (pow x 9) 1/4) (/ 1 (sqrt -1))))))
2.215 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (/ 1 x)))) into (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4))
2.215 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4)) in (x) around 0
2.216 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4)) in x
2.216 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
2.216 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
2.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.216 * [taylor]: Taking taylor expansion of x in x
2.216 * [backup-simplify]: Simplify 0 into 0
2.216 * [backup-simplify]: Simplify 1 into 1
2.216 * [backup-simplify]: Simplify (/ 1 1) into 1
2.216 * [taylor]: Taking taylor expansion of 1 in x
2.216 * [backup-simplify]: Simplify 1 into 1
2.217 * [backup-simplify]: Simplify (+ 1 0) into 1
2.217 * [backup-simplify]: Simplify (sqrt 0) into 0
2.218 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.218 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.219 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.219 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.219 * [taylor]: Taking taylor expansion of 1/4 in x
2.219 * [backup-simplify]: Simplify 1/4 into 1/4
2.219 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.219 * [taylor]: Taking taylor expansion of x in x
2.219 * [backup-simplify]: Simplify 0 into 0
2.219 * [backup-simplify]: Simplify 1 into 1
2.219 * [backup-simplify]: Simplify (/ 1 1) into 1
2.220 * [backup-simplify]: Simplify (log 1) into 0
2.220 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.220 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.220 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.220 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4)) in x
2.220 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
2.220 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
2.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.220 * [taylor]: Taking taylor expansion of x in x
2.220 * [backup-simplify]: Simplify 0 into 0
2.220 * [backup-simplify]: Simplify 1 into 1
2.221 * [backup-simplify]: Simplify (/ 1 1) into 1
2.221 * [taylor]: Taking taylor expansion of 1 in x
2.221 * [backup-simplify]: Simplify 1 into 1
2.221 * [backup-simplify]: Simplify (+ 1 0) into 1
2.222 * [backup-simplify]: Simplify (sqrt 0) into 0
2.223 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.223 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.223 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.223 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.223 * [taylor]: Taking taylor expansion of 1/4 in x
2.223 * [backup-simplify]: Simplify 1/4 into 1/4
2.223 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.223 * [taylor]: Taking taylor expansion of x in x
2.223 * [backup-simplify]: Simplify 0 into 0
2.223 * [backup-simplify]: Simplify 1 into 1
2.224 * [backup-simplify]: Simplify (/ 1 1) into 1
2.224 * [backup-simplify]: Simplify (log 1) into 0
2.225 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.225 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.225 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.225 * [backup-simplify]: Simplify (* 0 (pow x -1/4)) into 0
2.225 * [backup-simplify]: Simplify 0 into 0
2.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.227 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.228 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.228 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
2.229 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.229 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (pow x -1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.230 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.234 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.234 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.235 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
2.236 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.238 * [backup-simplify]: Simplify (- 1) into -1
2.238 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.242 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.243 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (pow x -1/4)))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.243 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.250 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
2.250 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.252 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
2.253 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.255 * [backup-simplify]: Simplify (- 0) into 0
2.255 * [backup-simplify]: Simplify (+ 0 0) into 0
2.259 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.261 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (pow x -1/4))))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.261 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.262 * [backup-simplify]: Simplify (+ (* (- (* +nan.0 (pow (/ 1 (/ 1 x)) 1/4))) (pow (/ 1 x) 2)) (+ (* (- (* +nan.0 (pow (/ 1 (/ 1 x)) 1/4))) (/ 1 x)) (- (* +nan.0 (pow (/ 1 (/ 1 x)) 1/4))))) into (- (+ (* +nan.0 (pow (/ 1 (pow x 3)) 1/4)) (- (+ (* +nan.0 (pow (/ 1 (pow x 7)) 1/4)) (- (* +nan.0 (pow x 1/4)))))))
2.262 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (sqrt (/ 1 (- x))))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x))))
2.262 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x)))) in (x) around 0
2.262 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x)))) in x
2.262 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
2.262 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
2.262 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
2.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.262 * [taylor]: Taking taylor expansion of x in x
2.262 * [backup-simplify]: Simplify 0 into 0
2.262 * [backup-simplify]: Simplify 1 into 1
2.262 * [backup-simplify]: Simplify (/ 1 1) into 1
2.263 * [taylor]: Taking taylor expansion of 1 in x
2.263 * [backup-simplify]: Simplify 1 into 1
2.263 * [backup-simplify]: Simplify (+ 1 0) into 1
2.263 * [backup-simplify]: Simplify (- 1) into -1
2.264 * [backup-simplify]: Simplify (sqrt 0) into 0
2.264 * [backup-simplify]: Simplify (- 1) into -1
2.266 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.266 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.266 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.266 * [taylor]: Taking taylor expansion of -1 in x
2.266 * [backup-simplify]: Simplify -1 into -1
2.266 * [taylor]: Taking taylor expansion of x in x
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify 1 into 1
2.267 * [backup-simplify]: Simplify (/ -1 1) into -1
2.267 * [backup-simplify]: Simplify (sqrt 0) into 0
2.268 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.269 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.273 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.274 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.274 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x)))) in x
2.274 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
2.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
2.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
2.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.275 * [taylor]: Taking taylor expansion of x in x
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify 1 into 1
2.275 * [backup-simplify]: Simplify (/ 1 1) into 1
2.275 * [taylor]: Taking taylor expansion of 1 in x
2.275 * [backup-simplify]: Simplify 1 into 1
2.276 * [backup-simplify]: Simplify (+ 1 0) into 1
2.276 * [backup-simplify]: Simplify (- 1) into -1
2.276 * [backup-simplify]: Simplify (sqrt 0) into 0
2.277 * [backup-simplify]: Simplify (- 1) into -1
2.278 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.278 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.278 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.278 * [taylor]: Taking taylor expansion of -1 in x
2.278 * [backup-simplify]: Simplify -1 into -1
2.278 * [taylor]: Taking taylor expansion of x in x
2.278 * [backup-simplify]: Simplify 0 into 0
2.278 * [backup-simplify]: Simplify 1 into 1
2.279 * [backup-simplify]: Simplify (/ -1 1) into -1
2.279 * [backup-simplify]: Simplify (sqrt 0) into 0
2.280 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.281 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.290 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.292 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.293 * [backup-simplify]: Simplify (* 0 (sqrt +nan.0)) into 0
2.293 * [backup-simplify]: Simplify 0 into 0
2.295 * [backup-simplify]: Simplify (+ (* 0 (/ +nan.0 (sqrt +nan.0))) (* +nan.0 (sqrt +nan.0))) into (- (* +nan.0 (sqrt +nan.0)))
2.297 * [backup-simplify]: Simplify (- (* +nan.0 (sqrt +nan.0))) into (- (* +nan.0 (sqrt +nan.0)))
2.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.303 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.308 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
2.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.309 * [backup-simplify]: Simplify (+ 0 1) into 1
2.309 * [backup-simplify]: Simplify (- 1) into -1
2.313 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.321 * [backup-simplify]: Simplify (+ (* 0 (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))) (+ (* +nan.0 (/ +nan.0 (sqrt +nan.0))) (* +nan.0 (sqrt +nan.0)))) into (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ 1 (sqrt +nan.0))))))
2.325 * [backup-simplify]: Simplify (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) into (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0)))))
2.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.329 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.340 * [backup-simplify]: Simplify (/ (- +nan.0 (+ (* 2 (* (/ +nan.0 (sqrt +nan.0)) (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))))))) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 4))) (- +nan.0)))) (sqrt +nan.0)))
2.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.341 * [backup-simplify]: Simplify (+ 0 0) into 0
2.341 * [backup-simplify]: Simplify (- 0) into 0
2.344 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.359 * [backup-simplify]: Simplify (+ (* 0 (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 4))) (- +nan.0)))) (sqrt +nan.0)))) (+ (* +nan.0 (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))) (+ (* +nan.0 (/ +nan.0 (sqrt +nan.0))) (* +nan.0 (sqrt +nan.0))))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ 1 (sqrt +nan.0))))))))
2.372 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0)))))))
2.391 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0))))))) (pow (/ 1 (- x)) 2)) (+ (* (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0))))) (/ 1 (- x))) (- (* +nan.0 (sqrt +nan.0))))) into (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ (sqrt +nan.0) (pow x 2))) (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ (sqrt +nan.0) x)))))))))))))
2.391 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.391 * [backup-simplify]: Simplify (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) into (sqrt (* x (- x 1)))
2.391 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
2.391 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
2.391 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
2.392 * [taylor]: Taking taylor expansion of x in x
2.392 * [backup-simplify]: Simplify 0 into 0
2.392 * [backup-simplify]: Simplify 1 into 1
2.392 * [taylor]: Taking taylor expansion of (- x 1) in x
2.392 * [taylor]: Taking taylor expansion of x in x
2.392 * [backup-simplify]: Simplify 0 into 0
2.392 * [backup-simplify]: Simplify 1 into 1
2.392 * [taylor]: Taking taylor expansion of 1 in x
2.392 * [backup-simplify]: Simplify 1 into 1
2.392 * [backup-simplify]: Simplify (- 1) into -1
2.393 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.393 * [backup-simplify]: Simplify (* 0 -1) into 0
2.393 * [backup-simplify]: Simplify (- 0) into 0
2.394 * [backup-simplify]: Simplify (+ 1 0) into 1
2.394 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
2.395 * [backup-simplify]: Simplify (sqrt 0) into 0
2.396 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.396 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
2.396 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
2.396 * [taylor]: Taking taylor expansion of x in x
2.396 * [backup-simplify]: Simplify 0 into 0
2.396 * [backup-simplify]: Simplify 1 into 1
2.396 * [taylor]: Taking taylor expansion of (- x 1) in x
2.396 * [taylor]: Taking taylor expansion of x in x
2.396 * [backup-simplify]: Simplify 0 into 0
2.396 * [backup-simplify]: Simplify 1 into 1
2.397 * [taylor]: Taking taylor expansion of 1 in x
2.397 * [backup-simplify]: Simplify 1 into 1
2.397 * [backup-simplify]: Simplify (- 1) into -1
2.397 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.398 * [backup-simplify]: Simplify (* 0 -1) into 0
2.398 * [backup-simplify]: Simplify (- 0) into 0
2.399 * [backup-simplify]: Simplify (+ 1 0) into 1
2.399 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
2.400 * [backup-simplify]: Simplify (sqrt 0) into 0
2.401 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.402 * [backup-simplify]: Simplify (- 0) into 0
2.402 * [backup-simplify]: Simplify (+ 0 0) into 0
2.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
2.406 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.406 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.407 * [backup-simplify]: Simplify (- 0) into 0
2.412 * [backup-simplify]: Simplify (+ 0 0) into 0
2.414 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
2.416 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.416 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.417 * [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)))))))
2.417 * [backup-simplify]: Simplify (* (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (/ 1 x)))) (sqrt (sqrt (/ 1 x)))) into (sqrt (/ (- (/ 1 x) 1) x))
2.417 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
2.417 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
2.417 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
2.417 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
2.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.417 * [taylor]: Taking taylor expansion of x in x
2.417 * [backup-simplify]: Simplify 0 into 0
2.417 * [backup-simplify]: Simplify 1 into 1
2.417 * [backup-simplify]: Simplify (/ 1 1) into 1
2.417 * [taylor]: Taking taylor expansion of 1 in x
2.417 * [backup-simplify]: Simplify 1 into 1
2.417 * [taylor]: Taking taylor expansion of x in x
2.417 * [backup-simplify]: Simplify 0 into 0
2.417 * [backup-simplify]: Simplify 1 into 1
2.418 * [backup-simplify]: Simplify (+ 1 0) into 1
2.418 * [backup-simplify]: Simplify (/ 1 1) into 1
2.418 * [backup-simplify]: Simplify (sqrt 1) into 1
2.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.419 * [backup-simplify]: Simplify (- 1) into -1
2.419 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.420 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
2.420 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
2.420 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
2.420 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
2.420 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
2.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.420 * [taylor]: Taking taylor expansion of x in x
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify 1 into 1
2.420 * [backup-simplify]: Simplify (/ 1 1) into 1
2.420 * [taylor]: Taking taylor expansion of 1 in x
2.420 * [backup-simplify]: Simplify 1 into 1
2.420 * [taylor]: Taking taylor expansion of x in x
2.420 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify 1 into 1
2.421 * [backup-simplify]: Simplify (+ 1 0) into 1
2.421 * [backup-simplify]: Simplify (/ 1 1) into 1
2.421 * [backup-simplify]: Simplify (sqrt 1) into 1
2.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.422 * [backup-simplify]: Simplify (- 1) into -1
2.422 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.423 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
2.423 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
2.423 * [backup-simplify]: Simplify 1 into 1
2.423 * [backup-simplify]: Simplify -1/2 into -1/2
2.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.424 * [backup-simplify]: Simplify (- 0) into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
2.426 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
2.426 * [backup-simplify]: Simplify -1/8 into -1/8
2.426 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
2.426 * [backup-simplify]: Simplify (* (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (sqrt (/ 1 (- x))))) (sqrt (sqrt (/ 1 (- x))))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
2.426 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
2.426 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
2.426 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
2.426 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
2.426 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
2.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.426 * [taylor]: Taking taylor expansion of x in x
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 1 into 1
2.427 * [backup-simplify]: Simplify (/ 1 1) into 1
2.427 * [taylor]: Taking taylor expansion of 1 in x
2.427 * [backup-simplify]: Simplify 1 into 1
2.427 * [backup-simplify]: Simplify (+ 1 0) into 1
2.427 * [backup-simplify]: Simplify (- 1) into -1
2.428 * [backup-simplify]: Simplify (sqrt 0) into 0
2.428 * [backup-simplify]: Simplify (- 1) into -1
2.429 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.429 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.429 * [taylor]: Taking taylor expansion of -1 in x
2.429 * [backup-simplify]: Simplify -1 into -1
2.429 * [taylor]: Taking taylor expansion of x in x
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify 1 into 1
2.429 * [backup-simplify]: Simplify (/ -1 1) into -1
2.429 * [backup-simplify]: Simplify (sqrt 0) into 0
2.430 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.430 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
2.430 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
2.430 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
2.430 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
2.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.430 * [taylor]: Taking taylor expansion of x in x
2.430 * [backup-simplify]: Simplify 0 into 0
2.430 * [backup-simplify]: Simplify 1 into 1
2.431 * [backup-simplify]: Simplify (/ 1 1) into 1
2.431 * [taylor]: Taking taylor expansion of 1 in x
2.431 * [backup-simplify]: Simplify 1 into 1
2.431 * [backup-simplify]: Simplify (+ 1 0) into 1
2.431 * [backup-simplify]: Simplify (- 1) into -1
2.431 * [backup-simplify]: Simplify (sqrt 0) into 0
2.432 * [backup-simplify]: Simplify (- 1) into -1
2.432 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.432 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.432 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.433 * [taylor]: Taking taylor expansion of -1 in x
2.433 * [backup-simplify]: Simplify -1 into -1
2.433 * [taylor]: Taking taylor expansion of x in x
2.433 * [backup-simplify]: Simplify 0 into 0
2.433 * [backup-simplify]: Simplify 1 into 1
2.433 * [backup-simplify]: Simplify (/ -1 1) into -1
2.433 * [backup-simplify]: Simplify (sqrt 0) into 0
2.434 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.434 * [backup-simplify]: Simplify (* 0 0) into 0
2.434 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
2.435 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.437 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.438 * [backup-simplify]: Simplify (+ 0 1) into 1
2.438 * [backup-simplify]: Simplify (- 1) into -1
2.440 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.441 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
2.441 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.444 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.445 * [backup-simplify]: Simplify (+ 0 0) into 0
2.445 * [backup-simplify]: Simplify (- 0) into 0
2.448 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.450 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
2.450 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.454 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.455 * [backup-simplify]: Simplify (+ 0 0) into 0
2.455 * [backup-simplify]: Simplify (- 0) into 0
2.458 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.461 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
2.461 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.462 * [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)))))
2.462 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.462 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
2.462 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
2.462 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.462 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.462 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.462 * [taylor]: Taking taylor expansion of 1/4 in x
2.462 * [backup-simplify]: Simplify 1/4 into 1/4
2.462 * [taylor]: Taking taylor expansion of (log x) in x
2.462 * [taylor]: Taking taylor expansion of x in x
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 1 into 1
2.462 * [backup-simplify]: Simplify (log 1) into 0
2.463 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.463 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.463 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.463 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.463 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.463 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.463 * [taylor]: Taking taylor expansion of 1/4 in x
2.463 * [backup-simplify]: Simplify 1/4 into 1/4
2.463 * [taylor]: Taking taylor expansion of (log x) in x
2.463 * [taylor]: Taking taylor expansion of x in x
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.463 * [backup-simplify]: Simplify (log 1) into 0
2.463 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.463 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.463 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.464 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
2.464 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.465 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.465 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
2.465 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.467 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.467 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.468 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
2.469 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.469 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
2.472 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.473 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
2.474 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
2.481 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.482 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
2.483 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.483 * [backup-simplify]: Simplify 0 into 0
2.492 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
2.493 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.494 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
2.496 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.496 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
2.517 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.519 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
2.523 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
2.523 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
2.523 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
2.523 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.523 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.523 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.523 * [taylor]: Taking taylor expansion of 1/4 in x
2.523 * [backup-simplify]: Simplify 1/4 into 1/4
2.523 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.523 * [taylor]: Taking taylor expansion of x in x
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [backup-simplify]: Simplify (/ 1 1) into 1
2.524 * [backup-simplify]: Simplify (log 1) into 0
2.524 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.524 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.524 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.524 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.524 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.524 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.524 * [taylor]: Taking taylor expansion of 1/4 in x
2.524 * [backup-simplify]: Simplify 1/4 into 1/4
2.524 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.524 * [taylor]: Taking taylor expansion of x in x
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (/ 1 1) into 1
2.525 * [backup-simplify]: Simplify (log 1) into 0
2.525 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.525 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.525 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.525 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
2.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.527 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.527 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.527 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
2.528 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.528 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.530 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.530 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.531 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
2.532 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.532 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.535 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
2.536 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.536 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
2.537 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.537 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.544 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
2.545 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.546 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
2.547 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.558 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
2.559 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.561 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
2.565 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.565 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.597 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
2.598 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.600 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
2.606 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
2.606 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
2.606 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
2.606 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.606 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.607 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.607 * [taylor]: Taking taylor expansion of -1 in x
2.607 * [backup-simplify]: Simplify -1 into -1
2.607 * [taylor]: Taking taylor expansion of x in x
2.607 * [backup-simplify]: Simplify 0 into 0
2.607 * [backup-simplify]: Simplify 1 into 1
2.607 * [backup-simplify]: Simplify (/ -1 1) into -1
2.607 * [backup-simplify]: Simplify (sqrt 0) into 0
2.609 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.609 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.621 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.622 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.622 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.622 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.622 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.622 * [taylor]: Taking taylor expansion of -1 in x
2.622 * [backup-simplify]: Simplify -1 into -1
2.622 * [taylor]: Taking taylor expansion of x in x
2.622 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify 1 into 1
2.623 * [backup-simplify]: Simplify (/ -1 1) into -1
2.623 * [backup-simplify]: Simplify (sqrt 0) into 0
2.625 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.625 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.629 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.630 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.631 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.632 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
2.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.642 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
2.649 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
2.655 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- x)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- x))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
2.655 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.655 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
2.655 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
2.655 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.655 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.655 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.655 * [taylor]: Taking taylor expansion of 1/4 in x
2.655 * [backup-simplify]: Simplify 1/4 into 1/4
2.655 * [taylor]: Taking taylor expansion of (log x) in x
2.655 * [taylor]: Taking taylor expansion of x in x
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 1 into 1
2.655 * [backup-simplify]: Simplify (log 1) into 0
2.656 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.656 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.656 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.656 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.656 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.656 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.656 * [taylor]: Taking taylor expansion of 1/4 in x
2.656 * [backup-simplify]: Simplify 1/4 into 1/4
2.656 * [taylor]: Taking taylor expansion of (log x) in x
2.656 * [taylor]: Taking taylor expansion of x in x
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 1 into 1
2.656 * [backup-simplify]: Simplify (log 1) into 0
2.656 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.656 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.656 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.657 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
2.657 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.658 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.658 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
2.658 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.658 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.660 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.661 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
2.662 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.662 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
2.665 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.666 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
2.667 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.667 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
2.673 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.674 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
2.675 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.675 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
2.687 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.689 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
2.693 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.693 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
2.716 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.717 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
2.721 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.721 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
2.721 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
2.721 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
2.721 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.721 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.721 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.721 * [taylor]: Taking taylor expansion of 1/4 in x
2.721 * [backup-simplify]: Simplify 1/4 into 1/4
2.721 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.721 * [taylor]: Taking taylor expansion of x in x
2.721 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify 1 into 1
2.721 * [backup-simplify]: Simplify (/ 1 1) into 1
2.722 * [backup-simplify]: Simplify (log 1) into 0
2.726 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.726 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.726 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.726 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.726 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.726 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.726 * [taylor]: Taking taylor expansion of 1/4 in x
2.726 * [backup-simplify]: Simplify 1/4 into 1/4
2.726 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.726 * [taylor]: Taking taylor expansion of x in x
2.726 * [backup-simplify]: Simplify 0 into 0
2.726 * [backup-simplify]: Simplify 1 into 1
2.727 * [backup-simplify]: Simplify (/ 1 1) into 1
2.727 * [backup-simplify]: Simplify (log 1) into 0
2.728 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.728 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.728 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.728 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
2.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.729 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.730 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.730 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
2.730 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.730 * [backup-simplify]: Simplify 0 into 0
2.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.734 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.734 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.735 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
2.736 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.736 * [backup-simplify]: Simplify 0 into 0
2.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.742 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
2.742 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.743 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
2.745 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.745 * [backup-simplify]: Simplify 0 into 0
2.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.755 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
2.756 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.758 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
2.760 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.760 * [backup-simplify]: Simplify 0 into 0
2.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.777 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
2.778 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.780 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
2.783 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.783 * [backup-simplify]: Simplify 0 into 0
2.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.812 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
2.813 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.815 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
2.821 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
2.821 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
2.821 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
2.821 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.821 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.821 * [taylor]: Taking taylor expansion of -1 in x
2.821 * [backup-simplify]: Simplify -1 into -1
2.821 * [taylor]: Taking taylor expansion of x in x
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify 1 into 1
2.822 * [backup-simplify]: Simplify (/ -1 1) into -1
2.822 * [backup-simplify]: Simplify (sqrt 0) into 0
2.823 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.824 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.827 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.829 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.829 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.829 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.829 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.829 * [taylor]: Taking taylor expansion of -1 in x
2.829 * [backup-simplify]: Simplify -1 into -1
2.829 * [taylor]: Taking taylor expansion of x in x
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (/ -1 1) into -1
2.830 * [backup-simplify]: Simplify (sqrt 0) into 0
2.831 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.831 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.835 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.837 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.837 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.838 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
2.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.842 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.847 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
2.859 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
2.866 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- x)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- x))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
2.867 * * * [progress]: simplifying candidates
2.867 * * * * [progress]: [ 1 / 124 ] simplifiying candidate #<alt (λ (x) (* (pow (* (- x 1) (sqrt x)) 1/2) (sqrt (sqrt x))))>
2.867 * * * * [progress]: [ 2 / 124 ] simplifiying candidate #<alt (λ (x) (* (pow (* (sqrt (- x 1)) (sqrt (sqrt x))) 1) (sqrt (sqrt x))))>
2.867 * * * * [progress]: [ 3 / 124 ] simplifiying candidate #<alt (λ (x) (* (pow (* (- x 1) (sqrt x)) (/ 1 2)) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 4 / 124 ] simplifiying candidate #<alt (λ (x) (* (pow (* (sqrt (- x 1)) (sqrt (sqrt x))) 1) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 5 / 124 ] simplifiying candidate #<alt (λ (x) (* (exp (+ (log (sqrt (- x 1))) (log (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 6 / 124 ] simplifiying candidate #<alt (λ (x) (* (exp (log (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 7 / 124 ] simplifiying candidate #<alt (λ (x) (* (log (exp (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 8 / 124 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 9 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (* (sqrt (- x 1)) (sqrt (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt (sqrt x))))) (cbrt (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 10 / 124 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.868 * * * * [progress]: [ 11 / 124 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (- x 1) (sqrt x))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 12 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 13 / 124 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 14 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 15 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 16 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 17 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 18 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 19 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 20 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 21 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (cbrt (sqrt x)))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 22 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 23 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 24 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt 1))) (sqrt (sqrt x))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 25 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.869 * * * * [progress]: [ 26 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 27 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 28 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) 1) (sqrt (sqrt x))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 29 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 30 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 31 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 32 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt 1) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 33 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (+ (sqrt x) (sqrt 1))) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 34 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 35 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 36 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt 1) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 37 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 38 / 124 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 39 / 124 ] simplifiying candidate #<alt (λ (x) (* (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt (sqrt x))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 40 / 124 ] simplifiying candidate #<alt (λ (x) (* (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (sqrt x))) (sqrt (+ x 1))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 41 / 124 ] simplifiying candidate #<alt (λ (x) (* (posit16->real (real->posit16 (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.870 * * * * [progress]: [ 42 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt x)) (sqrt (- x 1))) (sqrt (sqrt x))))>
2.871 * * * * [progress]: [ 43 / 124 ] simplifiying candidate #<alt (λ (x) (pow (* (* (- x 1) (sqrt x)) (sqrt x)) 1/2))>
2.871 * * * * [progress]: [ 44 / 124 ] simplifiying candidate #<alt (λ (x) (pow (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) 1))>
2.871 * * * * [progress]: [ 45 / 124 ] simplifiying candidate #<alt (λ (x) (pow (* (* (- x 1) (sqrt x)) (sqrt x)) (/ 1 2)))>
2.871 * * * * [progress]: [ 46 / 124 ] simplifiying candidate #<alt (λ (x) (pow (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) 1))>
2.871 * * * * [progress]: [ 47 / 124 ] simplifiying candidate #<alt (λ (x) (pow (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) 1))>
2.871 * * * * [progress]: [ 48 / 124 ] simplifiying candidate #<alt (λ (x) (exp (+ (+ (log (sqrt (- x 1))) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 49 / 124 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (* (sqrt (- x 1)) (sqrt (sqrt x)))) (log (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 50 / 124 ] simplifiying candidate #<alt (λ (x) (exp (log (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 51 / 124 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 52 / 124 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 53 / 124 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 54 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))) (cbrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 55 / 124 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.871 * * * * [progress]: [ 56 / 124 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (- x 1) (sqrt x)) (sqrt x))))>
2.871 * * * * [progress]: [ 57 / 124 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.872 * * * * [progress]: [ 58 / 124 ] simplifiying candidate #<alt (λ (x) (* 1 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))))>
2.872 * * * * [progress]: [ 59 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt x)))))>
2.872 * * * * [progress]: [ 60 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (cbrt (sqrt x)))))>
2.872 * * * * [progress]: [ 61 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (cbrt x)))))>
2.872 * * * * [progress]: [ 62 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))>
2.872 * * * * [progress]: [ 63 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt 1))) (sqrt (sqrt x))))>
2.872 * * * * [progress]: [ 64 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))>
2.872 * * * * [progress]: [ 65 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt 1)) (sqrt (sqrt x))))>
2.872 * * * * [progress]: [ 66 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))>
2.872 * * * * [progress]: [ 67 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) 1) (sqrt (sqrt x))))>
2.872 * * * * [progress]: [ 68 / 124 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))))>
2.872 * * * * [progress]: [ 69 / 124 ] simplifiying candidate #<alt (λ (x) (/ (* (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
2.872 * * * * [progress]: [ 70 / 124 ] simplifiying candidate #<alt (λ (x) (/ (* (* (sqrt (- (* x x) (* 1 1))) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (+ x 1))))>
2.872 * * * * [progress]: [ 71 / 124 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.872 * * * * [progress]: [ 72 / 124 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt x)) (* (sqrt (- x 1)) (sqrt (sqrt x)))))>
2.873 * * * * [progress]: [ 73 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (sqrt x) 1/2)))>
2.873 * * * * [progress]: [ 74 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 1)))>
2.873 * * * * [progress]: [ 75 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (exp (log (sqrt (sqrt x))))))>
2.873 * * * * [progress]: [ 76 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (log (exp (sqrt (sqrt x))))))>
2.873 * * * * [progress]: [ 77 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))))))>
2.873 * * * * [progress]: [ 78 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (cbrt (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
2.873 * * * * [progress]: [ 79 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))))))>
2.873 * * * * [progress]: [ 80 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))))))>
2.873 * * * * [progress]: [ 81 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))>
2.873 * * * * [progress]: [ 82 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt 1)) (sqrt (sqrt x)))))>
2.873 * * * * [progress]: [ 83 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))>
2.873 * * * * [progress]: [ 84 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt 1) (sqrt (sqrt x)))))>
2.873 * * * * [progress]: [ 85 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow x (/ 1/2 2))))>
2.873 * * * * [progress]: [ 86 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (sqrt x) (/ 1 2))))>
2.873 * * * * [progress]: [ 87 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow x (/ (/ 1 2) 2))))>
2.874 * * * * [progress]: [ 88 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))>
2.874 * * * * [progress]: [ 89 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (fabs (sqrt (sqrt x)))))>
2.874 * * * * [progress]: [ 90 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (fabs (sqrt (sqrt x)))))>
2.874 * * * * [progress]: [ 91 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* 1 (sqrt (sqrt x)))))>
2.874 * * * * [progress]: [ 92 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (posit16->real (real->posit16 (sqrt (sqrt x))))))>
2.874 * * * * [progress]: [ 93 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (sqrt x) 1/2)) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 94 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (sqrt (sqrt x)) 1)) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 95 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (exp (log (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 96 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (log (exp (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 97 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 98 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (cbrt (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 99 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 100 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 101 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 102 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.874 * * * * [progress]: [ 103 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 104 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt 1) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 105 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow x (/ 1/2 2))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 106 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (sqrt x) (/ 1 2))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 107 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow x (/ (/ 1 2) 2))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 108 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 109 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (fabs (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 110 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (fabs (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 111 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* 1 (sqrt (sqrt x)))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 112 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (posit16->real (real->posit16 (sqrt (sqrt x))))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 113 / 124 ] simplifiying candidate #<alt (λ (x) (* (+ (* 1/2 (* (pow (pow x 5) 1/4) (/ 1 (sqrt -1)))) (+ (* (pow x 1/4) (sqrt -1)) (* 1/8 (* (pow (pow x 9) 1/4) (/ 1 (sqrt -1)))))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 114 / 124 ] simplifiying candidate #<alt (λ (x) (* (- (+ (* +nan.0 (pow (/ 1 (pow x 3)) 1/4)) (- (+ (* +nan.0 (pow (/ 1 (pow x 7)) 1/4)) (- (* +nan.0 (pow x 1/4))))))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 115 / 124 ] simplifiying candidate #<alt (λ (x) (* (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ (sqrt +nan.0) (pow x 2))) (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ (sqrt +nan.0) x))))))))))))) (sqrt (sqrt x))))>
2.875 * * * * [progress]: [ 116 / 124 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
2.875 * * * * [progress]: [ 117 / 124 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
2.876 * * * * [progress]: [ 118 / 124 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
2.876 * * * * [progress]: [ 119 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow x 1/4)))>
2.876 * * * * [progress]: [ 120 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (/ 1 x) -1/4)))>
2.876 * * * * [progress]: [ 121 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))))>
2.876 * * * * [progress]: [ 122 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow x 1/4)) (sqrt (sqrt x))))>
2.876 * * * * [progress]: [ 123 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (/ 1 x) -1/4)) (sqrt (sqrt x))))>
2.876 * * * * [progress]: [ 124 / 124 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))) (sqrt (sqrt x))))>
2.878 * [simplify]: Simplifying:
  (* (- x 1) (sqrt x))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (- x 1) (sqrt x))
  (+ (log (sqrt (- x 1))) (log (sqrt (sqrt x))))
  (log (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (exp (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (sqrt (- x 1)) (sqrt (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt (sqrt x)))))
  (cbrt (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (- x 1) (sqrt x))
  (sqrt (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (sqrt (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (sqrt (- x 1)) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (sqrt (- x 1)) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt (sqrt 1)))
  (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt 1))
  (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1)) 1)
  (* (cbrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (cbrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt (sqrt x)))
  (* (sqrt (- (sqrt x) 1)) (sqrt (sqrt x)))
  (* (sqrt (- (sqrt x) 1)) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt (sqrt x)))
  (* (sqrt (- (* x x) (* 1 1))) (sqrt (sqrt x)))
  (real->posit16 (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (* (- x 1) (sqrt x)) (sqrt x))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (* (* (- x 1) (sqrt x)) (sqrt x))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (+ (+ (log (sqrt (- x 1))) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (+ (log (* (sqrt (- x 1)) (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (log (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (exp (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))))
  (cbrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (- x 1) (sqrt x)) (sqrt x))
  (sqrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt 1)))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt 1))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) 1)
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (* (* (sqrt (- (* x x) (* 1 1))) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (real->posit16 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (real->posit16 (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (real->posit16 (sqrt (sqrt x)))
  (+ (* 1/2 (* (pow (pow x 5) 1/4) (/ 1 (sqrt -1)))) (+ (* (pow x 1/4) (sqrt -1)) (* 1/8 (* (pow (pow x 9) 1/4) (/ 1 (sqrt -1))))))
  (- (+ (* +nan.0 (pow (/ 1 (pow x 3)) 1/4)) (- (+ (* +nan.0 (pow (/ 1 (pow x 7)) 1/4)) (- (* +nan.0 (pow x 1/4)))))))
  (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ (sqrt +nan.0) (pow x 2))) (- (+ (* +nan.0 (sqrt +nan.0)) (- (* +nan.0 (/ (sqrt +nan.0) x)))))))))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
  (- x (+ (* 1/8 (/ 1 x)) 1/2))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
2.882 * * [simplify]: iteration 1: (190 enodes)
2.932 * * [simplify]: iteration 2: (476 enodes)
3.084 * * [simplify]: iteration 3: (1291 enodes)
3.960 * * [simplify]: Extracting #0: cost 61 inf + 0
3.961 * * [simplify]: Extracting #1: cost 274 inf + 3
3.966 * * [simplify]: Extracting #2: cost 590 inf + 2268
3.973 * * [simplify]: Extracting #3: cost 573 inf + 25953
3.995 * * [simplify]: Extracting #4: cost 269 inf + 100743
4.032 * * [simplify]: Extracting #5: cost 125 inf + 147607
4.088 * * [simplify]: Extracting #6: cost 75 inf + 170837
4.133 * * [simplify]: Extracting #7: cost 35 inf + 192510
4.175 * * [simplify]: Extracting #8: cost 6 inf + 210300
4.217 * * [simplify]: Extracting #9: cost 0 inf + 214734
4.280 * [simplify]: Simplified to:
  (* (- x 1) (sqrt x))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (* (- x 1) (sqrt x))
  (log (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (log (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (exp (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (* (sqrt x) (* (- x 1) (sqrt (- x 1)))))
  (* (cbrt (* (sqrt (sqrt x)) (sqrt (- x 1)))) (cbrt (* (sqrt (sqrt x)) (sqrt (- x 1)))))
  (cbrt (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (* (sqrt x) (* (- x 1) (sqrt (- x 1)))))
  (* (- x 1) (sqrt x))
  (sqrt (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (sqrt (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (- x 1))))
  (* (sqrt (- x 1)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (sqrt (- x 1)) (fabs (cbrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt (fabs (cbrt x))))
  (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1))
  (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1))
  (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1))
  (* (sqrt (sqrt x)) (cbrt (sqrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (cbrt (- x 1))))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (* (sqrt (sqrt x)) (sqrt (- (sqrt x) 1)))
  (* (sqrt (sqrt x)) (sqrt (- (sqrt x) 1)))
  (* (sqrt (sqrt x)) (sqrt (- (sqrt x) 1)))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (* (sqrt (sqrt x)) (sqrt (- (* (* x x) x) 1)))
  (* (sqrt (sqrt x)) (sqrt (- (* x x) 1)))
  (real->posit16 (* (sqrt (sqrt x)) (sqrt (- x 1))))
  (* (- x 1) x)
  (* (sqrt (- x 1)) (sqrt x))
  (* (- x 1) x)
  (* (sqrt (- x 1)) (sqrt x))
  (log (* (sqrt (- x 1)) (sqrt x)))
  (log (* (sqrt (- x 1)) (sqrt x)))
  (log (* (sqrt (- x 1)) (sqrt x)))
  (exp (* (sqrt (- x 1)) (sqrt x)))
  (* (* (- x 1) (* (sqrt x) x)) (sqrt (- x 1)))
  (* (* (- x 1) (* (sqrt x) x)) (sqrt (- x 1)))
  (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x))))
  (cbrt (* (sqrt (- x 1)) (sqrt x)))
  (* (* (- x 1) (* (sqrt x) x)) (sqrt (- x 1)))
  (* (- x 1) x)
  (sqrt (* (sqrt (- x 1)) (sqrt x)))
  (sqrt (* (sqrt (- x 1)) (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (- x 1)))))
  (* (* (sqrt (- x 1)) (fabs (cbrt (sqrt x)))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt x))) (sqrt (- x 1)))
  (* (sqrt (- x 1)) (* (sqrt (sqrt x)) (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (* (sqrt (- x 1)) (* (sqrt (sqrt x)) (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (* (sqrt (- x 1)) (* (sqrt (sqrt x)) (sqrt (sqrt (sqrt x)))))
  (* (sqrt (sqrt x)) (sqrt (- x 1)))
  (sqrt x)
  (* (sqrt x) (sqrt (- (* (* x x) x) 1)))
  (* (sqrt x) (sqrt (- (* x x) 1)))
  (real->posit16 (* (sqrt (- x 1)) (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (sqrt x) (sqrt (sqrt x)))
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (fabs (cbrt x)))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (real->posit16 (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (sqrt x) (sqrt (sqrt x)))
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (fabs (cbrt x)))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (real->posit16 (sqrt (sqrt x)))
  (+ (* (sqrt -1) (pow x 1/4)) (+ (* (/ 1/2 (sqrt -1)) (pow (pow x 5) 1/4)) (* (pow (pow x 9) 1/4) (/ 1/8 (sqrt -1)))))
  (- (* +nan.0 (- (pow (/ 1 (* (* x x) x)) 1/4) (- (pow (/ 1 (pow x 7)) 1/4) (pow x 1/4)))))
  (+ (- (- (/ +nan.0 (* (sqrt +nan.0) (* +nan.0 (* x x))))) (* +nan.0 (- (/ -1 (* x (sqrt +nan.0))) (/ (/ -1 (* x (sqrt +nan.0))) x)))) (- (/ (* (sqrt +nan.0) +nan.0) (* x x)) (- (* (sqrt +nan.0) +nan.0) (/ (* (sqrt +nan.0) +nan.0) x))))
  (- (- (* x +nan.0) (* (* x x) (- (* x +nan.0) +nan.0))))
  (+ (- x 1/2) (/ -1/8 x))
  (+ (- (/ (/ +nan.0 x) x)) (- (/ +nan.0 x) +nan.0))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (- (sqrt +nan.0) (* +nan.0 (- (/ -1 (* x (sqrt +nan.0))) (/ (/ -1 (* x (sqrt +nan.0))) x)))) (/ +nan.0 (* (sqrt +nan.0) (* +nan.0 (* x x)))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (- (sqrt +nan.0) (* +nan.0 (- (/ -1 (* x (sqrt +nan.0))) (/ (/ -1 (* x (sqrt +nan.0))) x)))) (/ +nan.0 (* (sqrt +nan.0) (* +nan.0 (* x x)))))
4.285 * * * [progress]: adding candidates to table
5.314 * * [progress]: iteration 3 / 4
5.314 * * * [progress]: picking best candidate
5.317 * * * * [pick]: Picked  #<alt (λ (x) (- x (+ 1/2 (/ 1/8 x))))>
5.317 * * * [progress]: localizing error
5.325 * * * [progress]: generating rewritten candidates
5.325 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.343 * * * [progress]: generating series expansions
5.344 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.344 * [backup-simplify]: Simplify (- x (+ 1/2 (/ 1/8 x))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
5.344 * [approximate]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in (x) around 0
5.344 * [taylor]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
5.344 * [taylor]: Taking taylor expansion of x in x
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 1 into 1
5.344 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
5.344 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 x)) in x
5.344 * [taylor]: Taking taylor expansion of 1/8 in x
5.344 * [backup-simplify]: Simplify 1/8 into 1/8
5.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.344 * [taylor]: Taking taylor expansion of x in x
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 1 into 1
5.344 * [backup-simplify]: Simplify (/ 1 1) into 1
5.344 * [taylor]: Taking taylor expansion of 1/2 in x
5.345 * [backup-simplify]: Simplify 1/2 into 1/2
5.345 * [taylor]: Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
5.345 * [taylor]: Taking taylor expansion of x in x
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 1 into 1
5.345 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
5.345 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 x)) in x
5.345 * [taylor]: Taking taylor expansion of 1/8 in x
5.345 * [backup-simplify]: Simplify 1/8 into 1/8
5.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.345 * [taylor]: Taking taylor expansion of x in x
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 1 into 1
5.345 * [backup-simplify]: Simplify (/ 1 1) into 1
5.345 * [taylor]: Taking taylor expansion of 1/2 in x
5.345 * [backup-simplify]: Simplify 1/2 into 1/2
5.345 * [backup-simplify]: Simplify (* 1/8 1) into 1/8
5.346 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8
5.346 * [backup-simplify]: Simplify (- 1/8) into -1/8
5.346 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8
5.346 * [backup-simplify]: Simplify -1/8 into -1/8
5.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.347 * [backup-simplify]: Simplify (+ (* 1/8 0) (* 0 1)) into 0
5.347 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.348 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.348 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.348 * [backup-simplify]: Simplify -1/2 into -1/2
5.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.349 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
5.349 * [backup-simplify]: Simplify (+ 0 0) into 0
5.349 * [backup-simplify]: Simplify (- 0) into 0
5.350 * [backup-simplify]: Simplify (+ 1 0) into 1
5.350 * [backup-simplify]: Simplify 1 into 1
5.350 * [backup-simplify]: Simplify (+ (* 1 x) (+ -1/2 (* -1/8 (/ 1 x)))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
5.350 * [backup-simplify]: Simplify (- (/ 1 x) (+ 1/2 (/ 1/8 (/ 1 x)))) into (- (/ 1 x) (+ (* 1/8 x) 1/2))
5.350 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in (x) around 0
5.350 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
5.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.350 * [taylor]: Taking taylor expansion of x in x
5.350 * [backup-simplify]: Simplify 0 into 0
5.350 * [backup-simplify]: Simplify 1 into 1
5.350 * [backup-simplify]: Simplify (/ 1 1) into 1
5.350 * [taylor]: Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
5.350 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
5.350 * [taylor]: Taking taylor expansion of 1/8 in x
5.350 * [backup-simplify]: Simplify 1/8 into 1/8
5.350 * [taylor]: Taking taylor expansion of x in x
5.350 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 1 into 1
5.351 * [taylor]: Taking taylor expansion of 1/2 in x
5.351 * [backup-simplify]: Simplify 1/2 into 1/2
5.351 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
5.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.351 * [taylor]: Taking taylor expansion of x in x
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 1 into 1
5.351 * [backup-simplify]: Simplify (/ 1 1) into 1
5.351 * [taylor]: Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
5.351 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
5.351 * [taylor]: Taking taylor expansion of 1/8 in x
5.351 * [backup-simplify]: Simplify 1/8 into 1/8
5.351 * [taylor]: Taking taylor expansion of x in x
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 1 into 1
5.351 * [taylor]: Taking taylor expansion of 1/2 in x
5.351 * [backup-simplify]: Simplify 1/2 into 1/2
5.351 * [backup-simplify]: Simplify (+ 1 0) into 1
5.351 * [backup-simplify]: Simplify 1 into 1
5.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.352 * [backup-simplify]: Simplify (* 1/8 0) into 0
5.352 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.353 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.353 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.353 * [backup-simplify]: Simplify -1/2 into -1/2
5.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.354 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
5.354 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8
5.354 * [backup-simplify]: Simplify (- 1/8) into -1/8
5.355 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8
5.355 * [backup-simplify]: Simplify -1/8 into -1/8
5.355 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
5.355 * [backup-simplify]: Simplify (- (/ 1 (- x)) (+ 1/2 (/ 1/8 (/ 1 (- x))))) into (- (* 1/8 x) (+ (/ 1 x) 1/2))
5.355 * [approximate]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in (x) around 0
5.355 * [taylor]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
5.355 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
5.355 * [taylor]: Taking taylor expansion of 1/8 in x
5.355 * [backup-simplify]: Simplify 1/8 into 1/8
5.355 * [taylor]: Taking taylor expansion of x in x
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify 1 into 1
5.355 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x
5.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.355 * [taylor]: Taking taylor expansion of x in x
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify 1 into 1
5.355 * [backup-simplify]: Simplify (/ 1 1) into 1
5.355 * [taylor]: Taking taylor expansion of 1/2 in x
5.355 * [backup-simplify]: Simplify 1/2 into 1/2
5.356 * [taylor]: Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
5.356 * [taylor]: Taking taylor expansion of (* 1/8 x) in x
5.356 * [taylor]: Taking taylor expansion of 1/8 in x
5.356 * [backup-simplify]: Simplify 1/8 into 1/8
5.356 * [taylor]: Taking taylor expansion of x in x
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x
5.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.356 * [taylor]: Taking taylor expansion of x in x
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [backup-simplify]: Simplify (/ 1 1) into 1
5.356 * [taylor]: Taking taylor expansion of 1/2 in x
5.356 * [backup-simplify]: Simplify 1/2 into 1/2
5.356 * [backup-simplify]: Simplify (+ 1 0) into 1
5.357 * [backup-simplify]: Simplify (- 1) into -1
5.357 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.357 * [backup-simplify]: Simplify -1 into -1
5.357 * [backup-simplify]: Simplify (* 1/8 0) into 0
5.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.358 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.358 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.358 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.358 * [backup-simplify]: Simplify -1/2 into -1/2
5.359 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
5.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.360 * [backup-simplify]: Simplify (+ 0 0) into 0
5.360 * [backup-simplify]: Simplify (- 0) into 0
5.360 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8
5.360 * [backup-simplify]: Simplify 1/8 into 1/8
5.360 * [backup-simplify]: Simplify (+ (* 1/8 (/ 1 (- x))) (+ -1/2 (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
5.360 * * * [progress]: simplifying candidates
5.360 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (x) (log (/ (exp x) (* (exp 1/2) (exp (/ 1/8 x))))))>
5.360 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (x) (log (/ (exp x) (exp (+ 1/2 (/ 1/8 x))))))>
5.360 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (x) (pow (- x (+ 1/2 (/ 1/8 x))) 1))>
5.360 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (x) (exp (log (- x (+ 1/2 (/ 1/8 x))))))>
5.360 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (x) (log (exp (- x (+ 1/2 (/ 1/8 x))))))>
5.361 * * * * [progress]: [ 6 / 21 ] 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))))))>
5.361 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- x (+ 1/2 (/ 1/8 x))) (- x (+ 1/2 (/ 1/8 x)))) (- x (+ 1/2 (/ 1/8 x))))))>
5.361 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x (+ 1/2 (/ 1/8 x)))) (sqrt (- x (+ 1/2 (/ 1/8 x))))))>
5.361 * * * * [progress]: [ 9 / 21 ] 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)))))))>
5.361 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (x) (+ x (- (+ 1/2 (/ 1/8 x)))))>
5.361 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (x) (* 1 (- x (+ 1/2 (/ 1/8 x)))))>
5.361 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (x) (/ (- (* x x) (* (+ 1/2 (/ 1/8 x)) (+ 1/2 (/ 1/8 x)))) (+ x (+ 1/2 (/ 1/8 x)))))>
5.361 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt x) (sqrt (+ 1/2 (/ 1/8 x)))) (- (sqrt x) (sqrt (+ 1/2 (/ 1/8 x))))))>
5.361 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (x) (* 1 (- x (+ 1/2 (/ 1/8 x)))))>
5.361 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (x) (* 1 (- x (+ 1/2 (/ 1/8 x)))))>
5.361 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (x) (- (- x 1/2) (/ 1/8 x)))>
5.361 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (x) (+ x (- (+ 1/2 (/ 1/8 x)))))>
5.361 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (- x (+ 1/2 (/ 1/8 x))))))>
5.361 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
5.361 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
5.361 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
5.361 * [simplify]: Simplifying:
  (/ (exp x) (* (exp 1/2) (exp (/ 1/8 x))))
  (/ (exp x) (exp (+ 1/2 (/ 1/8 x))))
  (log (- x (+ 1/2 (/ 1/8 x))))
  (exp (- x (+ 1/2 (/ 1/8 x))))
  (* (cbrt (- x (+ 1/2 (/ 1/8 x)))) (cbrt (- x (+ 1/2 (/ 1/8 x)))))
  (cbrt (- x (+ 1/2 (/ 1/8 x))))
  (* (* (- x (+ 1/2 (/ 1/8 x))) (- x (+ 1/2 (/ 1/8 x)))) (- x (+ 1/2 (/ 1/8 x))))
  (sqrt (- x (+ 1/2 (/ 1/8 x))))
  (sqrt (- x (+ 1/2 (/ 1/8 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)))))
  (- (+ 1/2 (/ 1/8 x)))
  (- (* x x) (* (+ 1/2 (/ 1/8 x)) (+ 1/2 (/ 1/8 x))))
  (+ x (+ 1/2 (/ 1/8 x)))
  (+ (sqrt x) (sqrt (+ 1/2 (/ 1/8 x))))
  (- (sqrt x) (sqrt (+ 1/2 (/ 1/8 x))))
  (- x (+ 1/2 (/ 1/8 x)))
  (- x (+ 1/2 (/ 1/8 x)))
  (- x 1/2)
  (- (+ 1/2 (/ 1/8 x)))
  (real->posit16 (- x (+ 1/2 (/ 1/8 x))))
  (- x (+ (* 1/8 (/ 1 x)) 1/2))
  (- x (+ (* 1/8 (/ 1 x)) 1/2))
  (- x (+ (* 1/8 (/ 1 x)) 1/2))
5.362 * * [simplify]: iteration 1: (43 enodes)
5.371 * * [simplify]: iteration 2: (105 enodes)
5.394 * * [simplify]: iteration 3: (358 enodes)
5.651 * * [simplify]: iteration 4: (1316 enodes)
8.504 * * [simplify]: Extracting #0: cost 16 inf + 0
8.505 * * [simplify]: Extracting #1: cost 240 inf + 0
8.517 * * [simplify]: Extracting #2: cost 900 inf + 4350
8.548 * * [simplify]: Extracting #3: cost 596 inf + 68684
8.603 * * [simplify]: Extracting #4: cost 73 inf + 170333
8.674 * * [simplify]: Extracting #5: cost 5 inf + 193833
8.739 * * [simplify]: Extracting #6: cost 0 inf + 195375
8.800 * [simplify]: Simplified to:
  (exp (- x (+ (/ 1/8 x) 1/2)))
  (exp (- x (+ (/ 1/8 x) 1/2)))
  (log (- x (+ (/ 1/8 x) 1/2)))
  (exp (- x (+ (/ 1/8 x) 1/2)))
  (* (cbrt (- x (+ (/ 1/8 x) 1/2))) (cbrt (- x (+ (/ 1/8 x) 1/2))))
  (cbrt (- x (+ (/ 1/8 x) 1/2)))
  (* (- x (+ (/ 1/8 x) 1/2)) (* (- x (+ (/ 1/8 x) 1/2)) (- x (+ (/ 1/8 x) 1/2))))
  (sqrt (- x (+ (/ 1/8 x) 1/2)))
  (sqrt (- x (+ (/ 1/8 x) 1/2)))
  (- (* x (* x x)) (* (+ (/ 1/8 x) 1/2) (* (+ (/ 1/8 x) 1/2) (+ (/ 1/8 x) 1/2))))
  (+ 1/8 (+ (* (+ (/ 1/8 x) 1/2) (+ (/ 1/8 x) 1/2)) (* (+ x 1/2) x)))
  (+ (/ -1/8 x) -1/2)
  (- (* x x) (* (+ (/ 1/8 x) 1/2) (+ (/ 1/8 x) 1/2)))
  (+ (+ x 1/2) (/ 1/8 x))
  (+ (sqrt (+ (/ 1/8 x) 1/2)) (sqrt x))
  (- (sqrt x) (sqrt (+ (/ 1/8 x) 1/2)))
  (- x (+ (/ 1/8 x) 1/2))
  (- x (+ (/ 1/8 x) 1/2))
  (- x 1/2)
  (+ (/ -1/8 x) -1/2)
  (real->posit16 (- x (+ (/ 1/8 x) 1/2)))
  (- x (+ (/ 1/8 x) 1/2))
  (- x (+ (/ 1/8 x) 1/2))
  (- x (+ (/ 1/8 x) 1/2))
8.801 * * * [progress]: adding candidates to table
8.912 * * [progress]: iteration 4 / 4
8.912 * * * [progress]: picking best candidate
8.916 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (* (- x 1) x)))>
8.916 * * * [progress]: localizing error
8.932 * * * [progress]: generating rewritten candidates
8.932 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.941 * * * [progress]: generating series expansions
8.941 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.942 * [backup-simplify]: Simplify (sqrt (* (- x 1) x)) into (sqrt (* x (- x 1)))
8.942 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
8.942 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
8.942 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
8.942 * [taylor]: Taking taylor expansion of x in x
8.942 * [backup-simplify]: Simplify 0 into 0
8.942 * [backup-simplify]: Simplify 1 into 1
8.942 * [taylor]: Taking taylor expansion of (- x 1) in x
8.942 * [taylor]: Taking taylor expansion of x in x
8.942 * [backup-simplify]: Simplify 0 into 0
8.942 * [backup-simplify]: Simplify 1 into 1
8.942 * [taylor]: Taking taylor expansion of 1 in x
8.942 * [backup-simplify]: Simplify 1 into 1
8.942 * [backup-simplify]: Simplify (- 1) into -1
8.943 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.943 * [backup-simplify]: Simplify (* 0 -1) into 0
8.943 * [backup-simplify]: Simplify (- 0) into 0
8.944 * [backup-simplify]: Simplify (+ 1 0) into 1
8.944 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
8.944 * [backup-simplify]: Simplify (sqrt 0) into 0
8.945 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
8.945 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
8.945 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
8.945 * [taylor]: Taking taylor expansion of x in x
8.945 * [backup-simplify]: Simplify 0 into 0
8.945 * [backup-simplify]: Simplify 1 into 1
8.945 * [taylor]: Taking taylor expansion of (- x 1) in x
8.945 * [taylor]: Taking taylor expansion of x in x
8.945 * [backup-simplify]: Simplify 0 into 0
8.945 * [backup-simplify]: Simplify 1 into 1
8.946 * [taylor]: Taking taylor expansion of 1 in x
8.946 * [backup-simplify]: Simplify 1 into 1
8.946 * [backup-simplify]: Simplify (- 1) into -1
8.946 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.946 * [backup-simplify]: Simplify (* 0 -1) into 0
8.947 * [backup-simplify]: Simplify (- 0) into 0
8.947 * [backup-simplify]: Simplify (+ 1 0) into 1
8.947 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
8.948 * [backup-simplify]: Simplify (sqrt 0) into 0
8.948 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify +nan.0 into +nan.0
8.949 * [backup-simplify]: Simplify (- 0) into 0
8.949 * [backup-simplify]: Simplify (+ 0 0) into 0
8.950 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
8.952 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
8.952 * [backup-simplify]: Simplify +nan.0 into +nan.0
8.952 * [backup-simplify]: Simplify (- 0) into 0
8.952 * [backup-simplify]: Simplify (+ 0 0) into 0
8.953 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
8.956 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
8.956 * [backup-simplify]: Simplify +nan.0 into +nan.0
8.956 * [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)))))))
8.956 * [backup-simplify]: Simplify (sqrt (* (- (/ 1 x) 1) (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
8.956 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
8.956 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
8.956 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
8.956 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
8.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.956 * [taylor]: Taking taylor expansion of x in x
8.956 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify 1 into 1
8.956 * [backup-simplify]: Simplify (/ 1 1) into 1
8.956 * [taylor]: Taking taylor expansion of 1 in x
8.956 * [backup-simplify]: Simplify 1 into 1
8.956 * [taylor]: Taking taylor expansion of x in x
8.956 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify 1 into 1
8.957 * [backup-simplify]: Simplify (+ 1 0) into 1
8.957 * [backup-simplify]: Simplify (/ 1 1) into 1
8.957 * [backup-simplify]: Simplify (sqrt 1) into 1
8.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.958 * [backup-simplify]: Simplify (- 1) into -1
8.958 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.959 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
8.959 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
8.959 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
8.959 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
8.959 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
8.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.959 * [taylor]: Taking taylor expansion of x in x
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify 1 into 1
8.960 * [backup-simplify]: Simplify (/ 1 1) into 1
8.960 * [taylor]: Taking taylor expansion of 1 in x
8.960 * [backup-simplify]: Simplify 1 into 1
8.960 * [taylor]: Taking taylor expansion of x in x
8.960 * [backup-simplify]: Simplify 0 into 0
8.960 * [backup-simplify]: Simplify 1 into 1
8.960 * [backup-simplify]: Simplify (+ 1 0) into 1
8.960 * [backup-simplify]: Simplify (/ 1 1) into 1
8.960 * [backup-simplify]: Simplify (sqrt 1) into 1
8.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.961 * [backup-simplify]: Simplify (- 1) into -1
8.961 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.962 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
8.963 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
8.963 * [backup-simplify]: Simplify 1 into 1
8.963 * [backup-simplify]: Simplify -1/2 into -1/2
8.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.963 * [backup-simplify]: Simplify (- 0) into 0
8.964 * [backup-simplify]: Simplify (+ 0 0) into 0
8.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
8.965 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
8.965 * [backup-simplify]: Simplify -1/8 into -1/8
8.965 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
8.965 * [backup-simplify]: Simplify (sqrt (* (- (/ 1 (- x)) 1) (/ 1 (- x)))) into (sqrt (/ (+ (/ 1 x) 1) x))
8.965 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in (x) around 0
8.965 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
8.965 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
8.965 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
8.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.965 * [taylor]: Taking taylor expansion of x in x
8.965 * [backup-simplify]: Simplify 0 into 0
8.965 * [backup-simplify]: Simplify 1 into 1
8.966 * [backup-simplify]: Simplify (/ 1 1) into 1
8.966 * [taylor]: Taking taylor expansion of 1 in x
8.966 * [backup-simplify]: Simplify 1 into 1
8.966 * [taylor]: Taking taylor expansion of x in x
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify 1 into 1
8.966 * [backup-simplify]: Simplify (+ 1 0) into 1
8.966 * [backup-simplify]: Simplify (/ 1 1) into 1
8.966 * [backup-simplify]: Simplify (sqrt 1) into 1
8.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.967 * [backup-simplify]: Simplify (+ 0 1) into 1
8.968 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
8.968 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
8.968 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
8.968 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
8.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
8.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.968 * [taylor]: Taking taylor expansion of x in x
8.968 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify 1 into 1
8.969 * [backup-simplify]: Simplify (/ 1 1) into 1
8.969 * [taylor]: Taking taylor expansion of 1 in x
8.969 * [backup-simplify]: Simplify 1 into 1
8.969 * [taylor]: Taking taylor expansion of x in x
8.969 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify 1 into 1
8.969 * [backup-simplify]: Simplify (+ 1 0) into 1
8.969 * [backup-simplify]: Simplify (/ 1 1) into 1
8.969 * [backup-simplify]: Simplify (sqrt 1) into 1
8.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.970 * [backup-simplify]: Simplify (+ 0 1) into 1
8.971 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
8.971 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
8.971 * [backup-simplify]: Simplify 1 into 1
8.971 * [backup-simplify]: Simplify 1/2 into 1/2
8.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.973 * [backup-simplify]: Simplify (+ 0 0) into 0
8.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
8.975 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
8.975 * [backup-simplify]: Simplify -1/8 into -1/8
8.975 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
8.975 * * * [progress]: simplifying candidates
8.975 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
8.975 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (* (- x 1) x)) 1))>
8.975 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (- x 1) x)))))>
8.975 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (* (- x 1) x)))))>
8.976 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x)))) (cbrt (sqrt (* (- x 1) x)))))>
8.976 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))))>
8.976 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
8.976 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (pow x 3) (pow 1 3)) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
8.976 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (* x x) (* 1 1)) x)) (sqrt (+ x 1))))>
8.976 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
8.976 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
8.976 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (- x 1) x))) (sqrt (sqrt (* (- x 1) x)))))>
8.976 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (* (- x 1) x))))>
8.976 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (* (- x 1) x)))))>
8.976 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
8.976 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
8.976 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
8.977 * [simplify]: Simplifying:
  (log (sqrt (* (- x 1) x)))
  (exp (sqrt (* (- x 1) x)))
  (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x))))
  (cbrt (sqrt (* (- x 1) x)))
  (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))
  (sqrt (- x 1))
  (sqrt x)
  (sqrt (* (- (pow x 3) (pow 1 3)) x))
  (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))
  (sqrt (* (- (* x x) (* 1 1)) x))
  (sqrt (+ x 1))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (- x 1) x)))
  (sqrt (sqrt (* (- x 1) x)))
  (real->posit16 (sqrt (* (- x 1) x)))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
  (- x (+ (* 1/8 (/ 1 x)) 1/2))
  (- (+ (* 1/8 (/ 1 x)) 1/2) x)
8.977 * * [simplify]: iteration 1: (51 enodes)
9.001 * * [simplify]: iteration 2: (107 enodes)
9.039 * * [simplify]: iteration 3: (226 enodes)
9.127 * * [simplify]: iteration 4: (551 enodes)
9.470 * * [simplify]: iteration 5: (1228 enodes)
11.014 * * [simplify]: Extracting #0: cost 17 inf + 0
11.015 * * [simplify]: Extracting #1: cost 104 inf + 1
11.018 * * [simplify]: Extracting #2: cost 353 inf + 1106
11.030 * * [simplify]: Extracting #3: cost 421 inf + 14216
11.056 * * [simplify]: Extracting #4: cost 184 inf + 54564
11.081 * * [simplify]: Extracting #5: cost 56 inf + 107737
11.104 * * [simplify]: Extracting #6: cost 1 inf + 137121
11.129 * * [simplify]: Extracting #7: cost 0 inf + 136519
11.164 * * [simplify]: Extracting #8: cost 0 inf + 136257
11.186 * [simplify]: Simplified to:
  (log (sqrt (- (* x x) x)))
  (exp (sqrt (- (* x x) x)))
  (* (cbrt (sqrt (- (* x x) x))) (cbrt (sqrt (- (* x x) x))))
  (cbrt (sqrt (- (* x x) x)))
  (* (sqrt (- (* x x) x)) (- (* x x) x))
  (sqrt (- x 1))
  (sqrt x)
  (sqrt (- (* (* x x) (* x x)) x))
  (sqrt (+ 1 (+ (* x x) x)))
  (sqrt (- (* (* x x) x) x))
  (sqrt (+ 1 x))
  1/2
  1/2
  (sqrt (sqrt (- (* x x) x)))
  (sqrt (sqrt (- (* x x) x)))
  (real->posit16 (sqrt (- (* x x) x)))
  (- (* (* (* x +nan.0) x) x) (+ (* (* x +nan.0) x) (* x +nan.0)))
  (+ (/ -1/8 x) (+ -1/2 x))
  (- (- 1/2 (/ -1/8 x)) x)
11.186 * * * [progress]: adding candidates to table
11.320 * [progress]: [Phase 3 of 3] Extracting.
11.321 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- x (+ 1/2 (/ 1/8 x))))> #<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>)
11.322 * * * [regime-changes]: Trying 1 branch expressions: (x)
11.322 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- x (+ 1/2 (/ 1/8 x))))> #<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>)
11.355 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
11.356 * [simplify]: Simplifying:
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))
11.356 * * [simplify]: iteration 1: (8 enodes)
11.356 * * [simplify]: iteration 2: (12 enodes)
11.356 * * [simplify]: Extracting #0: cost 1 inf + 0
11.356 * * [simplify]: Extracting #1: cost 3 inf + 0
11.357 * * [simplify]: Extracting #2: cost 5 inf + 0
11.357 * * [simplify]: Extracting #3: cost 7 inf + 0
11.357 * * [simplify]: Extracting #4: cost 7 inf + 1
11.357 * * [simplify]: Extracting #5: cost 0 inf + 692
11.357 * [simplify]: Simplified to:
  (* (sqrt (sqrt x)) (* (sqrt (- x 1)) (sqrt (sqrt x))))
15.448 * [regime-testing]: Baseline error score: 0.6645654113766105
15.454 * [regime-testing]: Oracle error score: 0.0008751093886735842
15.465 * [regime-testing]: End program error score: 0.6645654113766105