0.679 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.136 * * * [progress]: [2/2] Setting up program.
0.140 * [progress]: [Phase 2 of 3] Improving.
0.141 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
0.142 * [simplify]: Simplifying:
  (* (sqrt (- x 1)) (sqrt x))
0.143 * * [simplify]: iteration 1: (6 enodes)
0.178 * * [simplify]: iteration 2: (12 enodes)
0.179 * * [simplify]: iteration 3: (13 enodes)
0.181 * * [simplify]: Extracting #0: cost 1 inf + 0
0.181 * * [simplify]: Extracting #1: cost 3 inf + 0
0.181 * * [simplify]: Extracting #2: cost 5 inf + 0
0.182 * * [simplify]: Extracting #3: cost 6 inf + 1
0.182 * * [simplify]: Extracting #4: cost 0 inf + 330
0.182 * [simplify]: Simplified to:
  (* (sqrt (- x 1)) (sqrt x))
0.186 * * [progress]: iteration 1 / 4
0.186 * * * [progress]: picking best candidate
0.190 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
0.190 * * * [progress]: localizing error
0.202 * * * [progress]: generating rewritten candidates
0.202 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.222 * * * [progress]: generating series expansions
0.222 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.226 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
0.226 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
0.227 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
0.227 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of (- x 1) in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of 1 in x
0.227 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (- 1) into -1
0.228 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.228 * [backup-simplify]: Simplify (* 0 -1) into 0
0.229 * [backup-simplify]: Simplify (- 0) into 0
0.229 * [backup-simplify]: Simplify (+ 1 0) into 1
0.229 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.230 * [backup-simplify]: Simplify (sqrt 0) into 0
0.231 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.231 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
0.231 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [taylor]: Taking taylor expansion of (- x 1) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [taylor]: Taking taylor expansion of 1 in x
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [backup-simplify]: Simplify (- 1) into -1
0.231 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.232 * [backup-simplify]: Simplify (* 0 -1) into 0
0.232 * [backup-simplify]: Simplify (- 0) into 0
0.232 * [backup-simplify]: Simplify (+ 1 0) into 1
0.233 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
0.233 * [backup-simplify]: Simplify (sqrt 0) into 0
0.234 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.235 * [backup-simplify]: Simplify (- 0) into 0
0.235 * [backup-simplify]: Simplify (+ 0 0) into 0
0.236 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
0.238 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.238 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.239 * [backup-simplify]: Simplify (- 0) into 0
0.239 * [backup-simplify]: Simplify (+ 0 0) into 0
0.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
0.242 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.242 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.243 * [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.243 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
0.243 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
0.243 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
0.243 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (/ 1 1) into 1
0.244 * [taylor]: Taking taylor expansion of 1 in x
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [taylor]: Taking taylor expansion of x in x
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (+ 1 0) into 1
0.245 * [backup-simplify]: Simplify (/ 1 1) into 1
0.245 * [backup-simplify]: Simplify (sqrt 1) into 1
0.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify (- 1) into -1
0.246 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.247 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
0.255 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
0.255 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
0.255 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 1 into 1
0.256 * [backup-simplify]: Simplify (/ 1 1) into 1
0.256 * [taylor]: Taking taylor expansion of 1 in x
0.256 * [backup-simplify]: Simplify 1 into 1
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 * [backup-simplify]: Simplify (+ 1 0) into 1
0.256 * [backup-simplify]: Simplify (/ 1 1) into 1
0.257 * [backup-simplify]: Simplify (sqrt 1) into 1
0.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.257 * [backup-simplify]: Simplify (- 1) into -1
0.258 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.258 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
0.259 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [backup-simplify]: Simplify -1/2 into -1/2
0.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.260 * [backup-simplify]: Simplify (- 0) into 0
0.260 * [backup-simplify]: Simplify (+ 0 0) into 0
0.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
0.261 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
0.261 * [backup-simplify]: Simplify -1/8 into -1/8
0.261 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
0.262 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
0.262 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
0.262 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
0.262 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify 1 into 1
0.262 * [backup-simplify]: Simplify (/ 1 1) into 1
0.262 * [taylor]: Taking taylor expansion of 1 in x
0.262 * [backup-simplify]: Simplify 1 into 1
0.262 * [backup-simplify]: Simplify (+ 1 0) into 1
0.263 * [backup-simplify]: Simplify (- 1) into -1
0.263 * [backup-simplify]: Simplify (sqrt 0) into 0
0.263 * [backup-simplify]: Simplify (- 1) into -1
0.264 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.264 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.264 * [taylor]: Taking taylor expansion of -1 in x
0.264 * [backup-simplify]: Simplify -1 into -1
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify 1 into 1
0.264 * [backup-simplify]: Simplify (/ -1 1) into -1
0.265 * [backup-simplify]: Simplify (sqrt 0) into 0
0.265 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.265 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
0.266 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
0.266 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify 1 into 1
0.266 * [backup-simplify]: Simplify (/ 1 1) into 1
0.266 * [taylor]: Taking taylor expansion of 1 in x
0.266 * [backup-simplify]: Simplify 1 into 1
0.266 * [backup-simplify]: Simplify (+ 1 0) into 1
0.266 * [backup-simplify]: Simplify (- 1) into -1
0.267 * [backup-simplify]: Simplify (sqrt 0) into 0
0.267 * [backup-simplify]: Simplify (- 1) into -1
0.268 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.268 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.268 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.268 * [taylor]: Taking taylor expansion of -1 in x
0.268 * [backup-simplify]: Simplify -1 into -1
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify 1 into 1
0.268 * [backup-simplify]: Simplify (/ -1 1) into -1
0.268 * [backup-simplify]: Simplify (sqrt 0) into 0
0.269 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.269 * [backup-simplify]: Simplify (* 0 0) into 0
0.269 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.272 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.273 * [backup-simplify]: Simplify (+ 0 1) into 1
0.273 * [backup-simplify]: Simplify (- 1) into -1
0.275 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.276 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
0.277 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.280 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.280 * [backup-simplify]: Simplify (+ 0 0) into 0
0.281 * [backup-simplify]: Simplify (- 0) into 0
0.283 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.285 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
0.286 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.289 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.290 * [backup-simplify]: Simplify (+ 0 0) into 0
0.290 * [backup-simplify]: Simplify (- 0) into 0
0.293 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.296 * [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.297 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.297 * [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.298 * * * [progress]: simplifying candidates
0.298 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
0.298 * * * * [progress]: [ 4 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
0.298 * * * * [progress]: [ 5 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
0.298 * * * * [progress]: [ 6 / 42 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
0.298 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
0.298 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 9 / 42 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 10 / 42 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
0.298 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 13 / 42 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
0.298 * * * * [progress]: [ 14 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
0.298 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
0.298 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.298 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.298 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.298 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))))>
0.298 * * * * [progress]: [ 20 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
0.299 * * * * [progress]: [ 21 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))))>
0.299 * * * * [progress]: [ 22 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
0.299 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x)))>
0.299 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
0.299 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
0.299 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
0.299 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
0.299 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
0.299 * * * * [progress]: [ 29 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
0.299 * * * * [progress]: [ 30 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) (sqrt 1))) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x))))>
0.299 * * * * [progress]: [ 31 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))>
0.299 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x))))>
0.299 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
0.299 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
0.299 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
0.299 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
0.299 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
0.299 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (sqrt (- x 1)) (sqrt x)))))>
0.299 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
0.299 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
0.299 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
0.299 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
0.300 * [simplify]: Simplifying:
  (expm1 (* (sqrt (- x 1)) (sqrt x)))
  (log1p (* (sqrt (- x 1)) (sqrt x)))
  (* (- 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.302 * * [simplify]: iteration 1: (87 enodes)
0.323 * * [simplify]: iteration 2: (194 enodes)
0.384 * * [simplify]: iteration 3: (443 enodes)
0.584 * * [simplify]: iteration 4: (1040 enodes)
2.214 * * [simplify]: Extracting #0: cost 25 inf + 0
2.215 * * [simplify]: Extracting #1: cost 158 inf + 0
2.217 * * [simplify]: Extracting #2: cost 357 inf + 1793
2.223 * * [simplify]: Extracting #3: cost 225 inf + 22190
2.237 * * [simplify]: Extracting #4: cost 57 inf + 54613
2.253 * * [simplify]: Extracting #5: cost 4 inf + 72066
2.277 * * [simplify]: Extracting #6: cost 0 inf + 73708
2.313 * [simplify]: Simplified to:
  (expm1 (* (sqrt x) (sqrt (+ x -1))))
  (log1p (* (sqrt x) (sqrt (+ x -1))))
  (* x (+ x -1))
  (* (sqrt x) (sqrt (+ x -1)))
  (* x (+ x -1))
  (log (* (sqrt x) (sqrt (+ x -1))))
  (log (* (sqrt x) (sqrt (+ x -1))))
  (exp (* (sqrt x) (sqrt (+ x -1))))
  (* (* (+ x -1) (sqrt (+ x -1))) (* (sqrt x) x))
  (* (cbrt (* (sqrt x) (sqrt (+ x -1)))) (cbrt (* (sqrt x) (sqrt (+ x -1)))))
  (cbrt (* (sqrt x) (sqrt (+ x -1))))
  (* (* (+ x -1) (sqrt (+ x -1))) (* (sqrt x) x))
  (* x (+ x -1))
  (sqrt (* (sqrt x) (sqrt (+ x -1))))
  (sqrt (* (sqrt x) (sqrt (+ x -1))))
  (* (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)))
  (* (* (cbrt (sqrt x)) (sqrt (+ x -1))) (cbrt (sqrt x)))
  (* (fabs (cbrt x)) (sqrt (+ x -1)))
  (* (sqrt (+ x -1)) (sqrt (sqrt x)))
  (sqrt (+ x -1))
  (* (sqrt (+ x -1)) (sqrt (sqrt x)))
  (sqrt (+ x -1))
  (* (cbrt (sqrt (+ x -1))) (sqrt x))
  (* (sqrt x) (sqrt (cbrt (+ x -1))))
  (* (sqrt x) (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 (fma (* x x) x -1)) (sqrt x))
  (* (sqrt x) (sqrt (fma x x -1)))
  (real->posit16 (* (sqrt x) (sqrt (+ x -1))))
  (* +nan.0 (- (- x) (fma (* x x) (- x) (* x x))))
  (- (+ (/ -1/8 x) x) 1/2)
  (- (- (/ +nan.0 x) +nan.0) (/ (/ +nan.0 x) x))
2.316 * * * [progress]: adding candidates to table
2.626 * * [progress]: iteration 2 / 4
2.626 * * * [progress]: picking best candidate
2.637 * * * * [pick]: Picked  #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
2.637 * * * [progress]: localizing error
2.672 * * * [progress]: generating rewritten candidates
2.672 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.797 * * * [progress]: generating series expansions
2.797 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.797 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt (sqrt x))) into (* (pow x 1/4) (sqrt (- x 1)))
2.797 * [approximate]: Taking taylor expansion of (* (pow x 1/4) (sqrt (- x 1))) in (x) around 0
2.797 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (sqrt (- x 1))) in x
2.797 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.797 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.797 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.797 * [taylor]: Taking taylor expansion of 1/4 in x
2.797 * [backup-simplify]: Simplify 1/4 into 1/4
2.797 * [taylor]: Taking taylor expansion of (log x) in x
2.797 * [taylor]: Taking taylor expansion of x in x
2.797 * [backup-simplify]: Simplify 0 into 0
2.797 * [backup-simplify]: Simplify 1 into 1
2.798 * [backup-simplify]: Simplify (log 1) into 0
2.798 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.798 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.799 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.799 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
2.799 * [taylor]: Taking taylor expansion of (- x 1) in x
2.799 * [taylor]: Taking taylor expansion of x in x
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify 1 into 1
2.799 * [taylor]: Taking taylor expansion of 1 in x
2.799 * [backup-simplify]: Simplify 1 into 1
2.799 * [backup-simplify]: Simplify (- 1) into -1
2.799 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.800 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.800 * [backup-simplify]: Simplify (- 0) into 0
2.800 * [backup-simplify]: Simplify (+ 1 0) into 1
2.801 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
2.801 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (sqrt (- x 1))) in x
2.801 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
2.801 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
2.801 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
2.801 * [taylor]: Taking taylor expansion of 1/4 in x
2.801 * [backup-simplify]: Simplify 1/4 into 1/4
2.801 * [taylor]: Taking taylor expansion of (log x) in x
2.801 * [taylor]: Taking taylor expansion of x in x
2.801 * [backup-simplify]: Simplify 0 into 0
2.801 * [backup-simplify]: Simplify 1 into 1
2.801 * [backup-simplify]: Simplify (log 1) into 0
2.802 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.802 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
2.802 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
2.802 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
2.802 * [taylor]: Taking taylor expansion of (- x 1) in x
2.802 * [taylor]: Taking taylor expansion of x in x
2.802 * [backup-simplify]: Simplify 0 into 0
2.802 * [backup-simplify]: Simplify 1 into 1
2.802 * [taylor]: Taking taylor expansion of 1 in x
2.802 * [backup-simplify]: Simplify 1 into 1
2.802 * [backup-simplify]: Simplify (- 1) into -1
2.802 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.803 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.803 * [backup-simplify]: Simplify (- 0) into 0
2.803 * [backup-simplify]: Simplify (+ 1 0) into 1
2.804 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
2.805 * [backup-simplify]: Simplify (* (pow x 1/4) (sqrt -1)) into (* (pow x 1/4) (sqrt -1))
2.805 * [backup-simplify]: Simplify (* (pow x 1/4) (sqrt -1)) into (* (pow x 1/4) (sqrt -1))
2.806 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.806 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.807 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
2.807 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.808 * [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.809 * [backup-simplify]: Simplify (* 1/2 (* (pow x 1/4) (/ 1 (sqrt -1)))) into (* 1/2 (* (pow x 1/4) (/ 1 (sqrt -1))))
2.809 * [backup-simplify]: Simplify (- 0) into 0
2.810 * [backup-simplify]: Simplify (+ 0 0) into 0
2.812 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
2.814 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.815 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
2.815 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
2.816 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.817 * [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.818 * [backup-simplify]: Simplify (* 1/8 (* (pow x 1/4) (/ 1 (sqrt -1)))) into (* 1/8 (* (pow x 1/4) (/ 1 (sqrt -1))))
2.820 * [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.820 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (/ 1 x)))) into (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4))
2.820 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4)) in (x) around 0
2.820 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4)) in x
2.820 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
2.820 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
2.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.820 * [taylor]: Taking taylor expansion of x in x
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify (/ 1 1) into 1
2.820 * [taylor]: Taking taylor expansion of 1 in x
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify (+ 1 0) into 1
2.821 * [backup-simplify]: Simplify (sqrt 0) into 0
2.822 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.822 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.822 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.822 * [taylor]: Taking taylor expansion of 1/4 in x
2.822 * [backup-simplify]: Simplify 1/4 into 1/4
2.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.822 * [taylor]: Taking taylor expansion of x in x
2.822 * [backup-simplify]: Simplify 0 into 0
2.822 * [backup-simplify]: Simplify 1 into 1
2.822 * [backup-simplify]: Simplify (/ 1 1) into 1
2.822 * [backup-simplify]: Simplify (log 1) into 0
2.823 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.823 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.823 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.823 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1)) (pow (/ 1 x) 1/4)) in x
2.823 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
2.823 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.823 * [taylor]: Taking taylor expansion of x in x
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify 1 into 1
2.823 * [backup-simplify]: Simplify (/ 1 1) into 1
2.823 * [taylor]: Taking taylor expansion of 1 in x
2.823 * [backup-simplify]: Simplify 1 into 1
2.823 * [backup-simplify]: Simplify (+ 1 0) into 1
2.824 * [backup-simplify]: Simplify (sqrt 0) into 0
2.824 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.825 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
2.825 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
2.825 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
2.825 * [taylor]: Taking taylor expansion of 1/4 in x
2.825 * [backup-simplify]: Simplify 1/4 into 1/4
2.825 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.825 * [taylor]: Taking taylor expansion of x in x
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [backup-simplify]: Simplify 1 into 1
2.825 * [backup-simplify]: Simplify (/ 1 1) into 1
2.825 * [backup-simplify]: Simplify (log 1) into 0
2.825 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.825 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
2.826 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
2.826 * [backup-simplify]: Simplify (* 0 (pow x -1/4)) into 0
2.826 * [backup-simplify]: Simplify 0 into 0
2.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.828 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
2.828 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.829 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
2.830 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.830 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (pow x -1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.830 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.834 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
2.835 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.836 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
2.837 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.838 * [backup-simplify]: Simplify (- 1) into -1
2.839 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.842 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.843 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (pow x -1/4)))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.843 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.849 * [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.850 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
2.851 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
2.853 * [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.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.854 * [backup-simplify]: Simplify (- 0) into 0
2.855 * [backup-simplify]: Simplify (+ 0 0) into 0
2.858 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.860 * [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.860 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
2.861 * [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.861 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (sqrt (/ 1 (- x))))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x))))
2.861 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x)))) in (x) around 0
2.861 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x)))) in x
2.861 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
2.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
2.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.861 * [taylor]: Taking taylor expansion of x in x
2.861 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify 1 into 1
2.862 * [backup-simplify]: Simplify (/ 1 1) into 1
2.862 * [taylor]: Taking taylor expansion of 1 in x
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [backup-simplify]: Simplify (+ 1 0) into 1
2.863 * [backup-simplify]: Simplify (- 1) into -1
2.863 * [backup-simplify]: Simplify (sqrt 0) into 0
2.864 * [backup-simplify]: Simplify (- 1) into -1
2.865 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.865 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.865 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.866 * [taylor]: Taking taylor expansion of -1 in x
2.866 * [backup-simplify]: Simplify -1 into -1
2.866 * [taylor]: Taking taylor expansion of x in x
2.866 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify 1 into 1
2.866 * [backup-simplify]: Simplify (/ -1 1) into -1
2.866 * [backup-simplify]: Simplify (sqrt 0) into 0
2.868 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.868 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.872 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.874 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.874 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (sqrt (/ -1 x)))) in x
2.874 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
2.874 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
2.874 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
2.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.874 * [taylor]: Taking taylor expansion of x in x
2.874 * [backup-simplify]: Simplify 0 into 0
2.874 * [backup-simplify]: Simplify 1 into 1
2.874 * [backup-simplify]: Simplify (/ 1 1) into 1
2.874 * [taylor]: Taking taylor expansion of 1 in x
2.874 * [backup-simplify]: Simplify 1 into 1
2.875 * [backup-simplify]: Simplify (+ 1 0) into 1
2.875 * [backup-simplify]: Simplify (- 1) into -1
2.875 * [backup-simplify]: Simplify (sqrt 0) into 0
2.876 * [backup-simplify]: Simplify (- 1) into -1
2.877 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.877 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
2.877 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.877 * [taylor]: Taking taylor expansion of -1 in x
2.877 * [backup-simplify]: Simplify -1 into -1
2.877 * [taylor]: Taking taylor expansion of x in x
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify 1 into 1
2.878 * [backup-simplify]: Simplify (/ -1 1) into -1
2.878 * [backup-simplify]: Simplify (sqrt 0) into 0
2.880 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.880 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
2.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.889 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.891 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
2.891 * [backup-simplify]: Simplify (* 0 (sqrt +nan.0)) into 0
2.891 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify (+ (* 0 (/ +nan.0 (sqrt +nan.0))) (* +nan.0 (sqrt +nan.0))) into (- (* +nan.0 (sqrt +nan.0)))
2.895 * [backup-simplify]: Simplify (- (* +nan.0 (sqrt +nan.0))) into (- (* +nan.0 (sqrt +nan.0)))
2.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.900 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.905 * [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.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.907 * [backup-simplify]: Simplify (+ 0 1) into 1
2.907 * [backup-simplify]: Simplify (- 1) into -1
2.910 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
2.919 * [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.924 * [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.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.930 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.951 * [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.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.953 * [backup-simplify]: Simplify (+ 0 0) into 0
2.953 * [backup-simplify]: Simplify (- 0) into 0
2.957 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
2.978 * [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.985 * [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.997 * [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.997 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.998 * [backup-simplify]: Simplify (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) into (sqrt (* x (- x 1)))
2.998 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
2.998 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
2.998 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
2.998 * [taylor]: Taking taylor expansion of x in x
2.998 * [backup-simplify]: Simplify 0 into 0
2.998 * [backup-simplify]: Simplify 1 into 1
2.998 * [taylor]: Taking taylor expansion of (- x 1) in x
2.998 * [taylor]: Taking taylor expansion of x in x
2.998 * [backup-simplify]: Simplify 0 into 0
2.998 * [backup-simplify]: Simplify 1 into 1
2.998 * [taylor]: Taking taylor expansion of 1 in x
2.998 * [backup-simplify]: Simplify 1 into 1
2.998 * [backup-simplify]: Simplify (- 1) into -1
2.999 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.999 * [backup-simplify]: Simplify (* 0 -1) into 0
3.000 * [backup-simplify]: Simplify (- 0) into 0
3.000 * [backup-simplify]: Simplify (+ 1 0) into 1
3.001 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
3.001 * [backup-simplify]: Simplify (sqrt 0) into 0
3.003 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.003 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
3.003 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
3.003 * [taylor]: Taking taylor expansion of x in x
3.003 * [backup-simplify]: Simplify 0 into 0
3.003 * [backup-simplify]: Simplify 1 into 1
3.003 * [taylor]: Taking taylor expansion of (- x 1) in x
3.003 * [taylor]: Taking taylor expansion of x in x
3.003 * [backup-simplify]: Simplify 0 into 0
3.003 * [backup-simplify]: Simplify 1 into 1
3.003 * [taylor]: Taking taylor expansion of 1 in x
3.003 * [backup-simplify]: Simplify 1 into 1
3.003 * [backup-simplify]: Simplify (- 1) into -1
3.004 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.004 * [backup-simplify]: Simplify (* 0 -1) into 0
3.004 * [backup-simplify]: Simplify (- 0) into 0
3.005 * [backup-simplify]: Simplify (+ 1 0) into 1
3.005 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
3.006 * [backup-simplify]: Simplify (sqrt 0) into 0
3.007 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.007 * [backup-simplify]: Simplify 0 into 0
3.007 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.008 * [backup-simplify]: Simplify (- 0) into 0
3.008 * [backup-simplify]: Simplify (+ 0 0) into 0
3.009 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
3.012 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.012 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.012 * [backup-simplify]: Simplify (- 0) into 0
3.012 * [backup-simplify]: Simplify (+ 0 0) into 0
3.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
3.023 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.024 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.024 * [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)))))))
3.025 * [backup-simplify]: Simplify (* (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (/ 1 x)))) (sqrt (sqrt (/ 1 x)))) into (sqrt (/ (- (/ 1 x) 1) x))
3.025 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
3.025 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
3.025 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
3.025 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.025 * [taylor]: Taking taylor expansion of x in x
3.025 * [backup-simplify]: Simplify 0 into 0
3.025 * [backup-simplify]: Simplify 1 into 1
3.025 * [backup-simplify]: Simplify (/ 1 1) into 1
3.025 * [taylor]: Taking taylor expansion of 1 in x
3.026 * [backup-simplify]: Simplify 1 into 1
3.026 * [taylor]: Taking taylor expansion of x in x
3.026 * [backup-simplify]: Simplify 0 into 0
3.026 * [backup-simplify]: Simplify 1 into 1
3.026 * [backup-simplify]: Simplify (+ 1 0) into 1
3.027 * [backup-simplify]: Simplify (/ 1 1) into 1
3.027 * [backup-simplify]: Simplify (sqrt 1) into 1
3.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.028 * [backup-simplify]: Simplify (- 1) into -1
3.029 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.030 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
3.031 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
3.031 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
3.031 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
3.031 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.031 * [taylor]: Taking taylor expansion of x in x
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 1 into 1
3.031 * [backup-simplify]: Simplify (/ 1 1) into 1
3.031 * [taylor]: Taking taylor expansion of 1 in x
3.031 * [backup-simplify]: Simplify 1 into 1
3.031 * [taylor]: Taking taylor expansion of x in x
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 1 into 1
3.032 * [backup-simplify]: Simplify (+ 1 0) into 1
3.032 * [backup-simplify]: Simplify (/ 1 1) into 1
3.033 * [backup-simplify]: Simplify (sqrt 1) into 1
3.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.034 * [backup-simplify]: Simplify (- 1) into -1
3.034 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.035 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
3.036 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
3.036 * [backup-simplify]: Simplify 1 into 1
3.036 * [backup-simplify]: Simplify -1/2 into -1/2
3.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.038 * [backup-simplify]: Simplify (- 0) into 0
3.038 * [backup-simplify]: Simplify (+ 0 0) into 0
3.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
3.041 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
3.041 * [backup-simplify]: Simplify -1/8 into -1/8
3.041 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
3.041 * [backup-simplify]: Simplify (* (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (sqrt (/ 1 (- x))))) (sqrt (sqrt (/ 1 (- x))))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
3.041 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
3.041 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
3.041 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.041 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.041 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.041 * [taylor]: Taking taylor expansion of x in x
3.041 * [backup-simplify]: Simplify 0 into 0
3.041 * [backup-simplify]: Simplify 1 into 1
3.042 * [backup-simplify]: Simplify (/ 1 1) into 1
3.042 * [taylor]: Taking taylor expansion of 1 in x
3.042 * [backup-simplify]: Simplify 1 into 1
3.042 * [backup-simplify]: Simplify (+ 1 0) into 1
3.043 * [backup-simplify]: Simplify (- 1) into -1
3.043 * [backup-simplify]: Simplify (sqrt 0) into 0
3.044 * [backup-simplify]: Simplify (- 1) into -1
3.045 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.045 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.045 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.045 * [taylor]: Taking taylor expansion of -1 in x
3.045 * [backup-simplify]: Simplify -1 into -1
3.045 * [taylor]: Taking taylor expansion of x in x
3.045 * [backup-simplify]: Simplify 0 into 0
3.045 * [backup-simplify]: Simplify 1 into 1
3.046 * [backup-simplify]: Simplify (/ -1 1) into -1
3.046 * [backup-simplify]: Simplify (sqrt 0) into 0
3.048 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.048 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
3.048 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.048 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.048 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.048 * [taylor]: Taking taylor expansion of x in x
3.048 * [backup-simplify]: Simplify 0 into 0
3.048 * [backup-simplify]: Simplify 1 into 1
3.048 * [backup-simplify]: Simplify (/ 1 1) into 1
3.048 * [taylor]: Taking taylor expansion of 1 in x
3.048 * [backup-simplify]: Simplify 1 into 1
3.049 * [backup-simplify]: Simplify (+ 1 0) into 1
3.049 * [backup-simplify]: Simplify (- 1) into -1
3.050 * [backup-simplify]: Simplify (sqrt 0) into 0
3.050 * [backup-simplify]: Simplify (- 1) into -1
3.052 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.052 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.052 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.052 * [taylor]: Taking taylor expansion of -1 in x
3.052 * [backup-simplify]: Simplify -1 into -1
3.052 * [taylor]: Taking taylor expansion of x in x
3.052 * [backup-simplify]: Simplify 0 into 0
3.052 * [backup-simplify]: Simplify 1 into 1
3.052 * [backup-simplify]: Simplify (/ -1 1) into -1
3.053 * [backup-simplify]: Simplify (sqrt 0) into 0
3.054 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.055 * [backup-simplify]: Simplify (* 0 0) into 0
3.055 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
3.055 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.060 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.061 * [backup-simplify]: Simplify (+ 0 1) into 1
3.062 * [backup-simplify]: Simplify (- 1) into -1
3.065 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.068 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
3.068 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.073 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.075 * [backup-simplify]: Simplify (+ 0 0) into 0
3.075 * [backup-simplify]: Simplify (- 0) into 0
3.079 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.081 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
3.081 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.085 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.086 * [backup-simplify]: Simplify (+ 0 0) into 0
3.086 * [backup-simplify]: Simplify (- 0) into 0
3.089 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.092 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
3.092 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.093 * [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)))))
3.093 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.094 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
3.094 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
3.094 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.094 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.094 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.094 * [taylor]: Taking taylor expansion of 1/4 in x
3.094 * [backup-simplify]: Simplify 1/4 into 1/4
3.094 * [taylor]: Taking taylor expansion of (log x) in x
3.094 * [taylor]: Taking taylor expansion of x in x
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 1 into 1
3.094 * [backup-simplify]: Simplify (log 1) into 0
3.094 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.094 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
3.094 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
3.094 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.094 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.094 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.094 * [taylor]: Taking taylor expansion of 1/4 in x
3.094 * [backup-simplify]: Simplify 1/4 into 1/4
3.094 * [taylor]: Taking taylor expansion of (log x) in x
3.095 * [taylor]: Taking taylor expansion of x in x
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 1 into 1
3.095 * [backup-simplify]: Simplify (log 1) into 0
3.095 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.095 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
3.095 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
3.095 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
3.096 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.096 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.097 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
3.097 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.099 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
3.099 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.100 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
3.100 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.100 * [backup-simplify]: Simplify 0 into 0
3.103 * [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
3.103 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.104 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
3.105 * [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
3.105 * [backup-simplify]: Simplify 0 into 0
3.111 * [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
3.111 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.112 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
3.114 * [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
3.114 * [backup-simplify]: Simplify 0 into 0
3.123 * [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
3.123 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.125 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
3.127 * [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
3.127 * [backup-simplify]: Simplify 0 into 0
3.157 * [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
3.158 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.160 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
3.166 * [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
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
3.167 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
3.167 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
3.167 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.167 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.167 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.167 * [taylor]: Taking taylor expansion of 1/4 in x
3.167 * [backup-simplify]: Simplify 1/4 into 1/4
3.167 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.167 * [taylor]: Taking taylor expansion of x in x
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 1 into 1
3.167 * [backup-simplify]: Simplify (/ 1 1) into 1
3.168 * [backup-simplify]: Simplify (log 1) into 0
3.168 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.169 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
3.169 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
3.169 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.169 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.169 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.169 * [taylor]: Taking taylor expansion of 1/4 in x
3.169 * [backup-simplify]: Simplify 1/4 into 1/4
3.169 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.169 * [taylor]: Taking taylor expansion of x in x
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 1 into 1
3.169 * [backup-simplify]: Simplify (/ 1 1) into 1
3.170 * [backup-simplify]: Simplify (log 1) into 0
3.170 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.170 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
3.170 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
3.171 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
3.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.173 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.174 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.174 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
3.175 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.175 * [backup-simplify]: Simplify 0 into 0
3.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.179 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
3.180 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.181 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
3.182 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.182 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.189 * [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
3.189 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.191 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
3.193 * [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
3.193 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.205 * [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
3.205 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.207 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
3.210 * [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
3.210 * [backup-simplify]: Simplify 0 into 0
3.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.228 * [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
3.229 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.231 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
3.235 * [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
3.235 * [backup-simplify]: Simplify 0 into 0
3.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.267 * [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
3.268 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.271 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
3.277 * [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
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
3.277 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
3.277 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
3.277 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.277 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.277 * [taylor]: Taking taylor expansion of -1 in x
3.277 * [backup-simplify]: Simplify -1 into -1
3.277 * [taylor]: Taking taylor expansion of x in x
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.278 * [backup-simplify]: Simplify (/ -1 1) into -1
3.278 * [backup-simplify]: Simplify (sqrt 0) into 0
3.280 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.280 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
3.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.284 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.286 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
3.286 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.286 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.286 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.286 * [taylor]: Taking taylor expansion of -1 in x
3.286 * [backup-simplify]: Simplify -1 into -1
3.286 * [taylor]: Taking taylor expansion of x in x
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify 1 into 1
3.287 * [backup-simplify]: Simplify (/ -1 1) into -1
3.287 * [backup-simplify]: Simplify (sqrt 0) into 0
3.288 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.289 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
3.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.299 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.301 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
3.301 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
3.302 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
3.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.306 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.310 * [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)))
3.317 * [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)))
3.326 * [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)))))))))
3.326 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.326 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
3.326 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
3.326 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.326 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.326 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.326 * [taylor]: Taking taylor expansion of 1/4 in x
3.326 * [backup-simplify]: Simplify 1/4 into 1/4
3.326 * [taylor]: Taking taylor expansion of (log x) in x
3.326 * [taylor]: Taking taylor expansion of x in x
3.326 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify 1 into 1
3.326 * [backup-simplify]: Simplify (log 1) into 0
3.327 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.327 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
3.327 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
3.327 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.327 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.327 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.327 * [taylor]: Taking taylor expansion of 1/4 in x
3.327 * [backup-simplify]: Simplify 1/4 into 1/4
3.327 * [taylor]: Taking taylor expansion of (log x) in x
3.327 * [taylor]: Taking taylor expansion of x in x
3.327 * [backup-simplify]: Simplify 0 into 0
3.327 * [backup-simplify]: Simplify 1 into 1
3.328 * [backup-simplify]: Simplify (log 1) into 0
3.328 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.328 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
3.328 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
3.328 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
3.330 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.330 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.330 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
3.331 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.331 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
3.334 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.335 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
3.336 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.336 * [backup-simplify]: Simplify 0 into 0
3.338 * [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
3.339 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.340 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
3.341 * [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
3.341 * [backup-simplify]: Simplify 0 into 0
3.346 * [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
3.347 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.348 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
3.349 * [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
3.349 * [backup-simplify]: Simplify 0 into 0
3.358 * [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
3.359 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.360 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
3.362 * [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
3.362 * [backup-simplify]: Simplify 0 into 0
3.379 * [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
3.380 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.381 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
3.384 * [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
3.385 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
3.385 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
3.385 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
3.385 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.385 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.385 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.385 * [taylor]: Taking taylor expansion of 1/4 in x
3.385 * [backup-simplify]: Simplify 1/4 into 1/4
3.385 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.385 * [taylor]: Taking taylor expansion of x in x
3.385 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify 1 into 1
3.385 * [backup-simplify]: Simplify (/ 1 1) into 1
3.385 * [backup-simplify]: Simplify (log 1) into 0
3.386 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.386 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
3.386 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
3.386 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.386 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.386 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.386 * [taylor]: Taking taylor expansion of 1/4 in x
3.386 * [backup-simplify]: Simplify 1/4 into 1/4
3.386 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.386 * [taylor]: Taking taylor expansion of x in x
3.386 * [backup-simplify]: Simplify 0 into 0
3.386 * [backup-simplify]: Simplify 1 into 1
3.386 * [backup-simplify]: Simplify (/ 1 1) into 1
3.387 * [backup-simplify]: Simplify (log 1) into 0
3.387 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.387 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
3.387 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
3.387 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
3.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.388 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.389 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.389 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
3.390 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.390 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.392 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
3.392 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.392 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
3.397 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.397 * [backup-simplify]: Simplify 0 into 0
3.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.402 * [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
3.403 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.404 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
3.405 * [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
3.405 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.412 * [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
3.412 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.413 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
3.415 * [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
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.424 * [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
3.425 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.426 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
3.428 * [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
3.428 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.446 * [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
3.446 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
3.448 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
3.451 * [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
3.451 * [backup-simplify]: Simplify 0 into 0
3.451 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
3.451 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
3.451 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
3.451 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.452 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.452 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.452 * [taylor]: Taking taylor expansion of -1 in x
3.452 * [backup-simplify]: Simplify -1 into -1
3.452 * [taylor]: Taking taylor expansion of x in x
3.452 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify 1 into 1
3.452 * [backup-simplify]: Simplify (/ -1 1) into -1
3.452 * [backup-simplify]: Simplify (sqrt 0) into 0
3.453 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.453 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
3.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.456 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.457 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
3.457 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.457 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.457 * [taylor]: Taking taylor expansion of -1 in x
3.457 * [backup-simplify]: Simplify -1 into -1
3.457 * [taylor]: Taking taylor expansion of x in x
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify 1 into 1
3.458 * [backup-simplify]: Simplify (/ -1 1) into -1
3.458 * [backup-simplify]: Simplify (sqrt 0) into 0
3.459 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.459 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
3.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.461 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.462 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
3.463 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
3.463 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
3.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.466 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.469 * [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)))
3.473 * [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)))
3.481 * [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)))))))))
3.481 * * * [progress]: simplifying candidates
3.481 * * * * [progress]: [ 1 / 132 ] simplifiying candidate #<alt (λ (x) (* (log1p (expm1 (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 2 / 132 ] simplifiying candidate #<alt (λ (x) (* (expm1 (log1p (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 3 / 132 ] simplifiying candidate #<alt (λ (x) (* (pow (* (- x 1) (sqrt x)) 1/2) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 4 / 132 ] simplifiying candidate #<alt (λ (x) (* (pow (* (sqrt (- x 1)) (sqrt (sqrt x))) 1) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 5 / 132 ] simplifiying candidate #<alt (λ (x) (* (pow (* (- x 1) (sqrt x)) (/ 1 2)) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 6 / 132 ] simplifiying candidate #<alt (λ (x) (* (pow (* (sqrt (- x 1)) (sqrt (sqrt x))) 1) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 7 / 132 ] simplifiying candidate #<alt (λ (x) (* (exp (+ (log (sqrt (- x 1))) (log (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 8 / 132 ] simplifiying candidate #<alt (λ (x) (* (exp (log (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 9 / 132 ] simplifiying candidate #<alt (λ (x) (* (log (exp (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.481 * * * * [progress]: [ 10 / 132 ] 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))))>
3.482 * * * * [progress]: [ 11 / 132 ] 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))))>
3.482 * * * * [progress]: [ 12 / 132 ] 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))))>
3.482 * * * * [progress]: [ 13 / 132 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (- x 1) (sqrt x))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 14 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 15 / 132 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 16 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 17 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 18 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 19 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 20 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 21 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 22 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 23 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (cbrt (sqrt x)))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 24 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 25 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.482 * * * * [progress]: [ 26 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt 1))) (sqrt (sqrt x))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 27 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 28 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 29 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 30 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) 1) (sqrt (sqrt x))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 31 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 32 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 33 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 34 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt 1) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 35 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (+ (sqrt x) (sqrt 1))) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 36 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 37 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 38 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt 1) (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 39 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 40 / 132 ] simplifiying candidate #<alt (λ (x) (* (* 1 (* (sqrt (- x 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.483 * * * * [progress]: [ 41 / 132 ] simplifiying candidate #<alt (λ (x) (* (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt (sqrt x))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) (sqrt (sqrt x))))>
3.484 * * * * [progress]: [ 42 / 132 ] simplifiying candidate #<alt (λ (x) (* (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (sqrt x))) (sqrt (+ x 1))) (sqrt (sqrt x))))>
3.484 * * * * [progress]: [ 43 / 132 ] simplifiying candidate #<alt (λ (x) (* (posit16->real (real->posit16 (* (sqrt (- x 1)) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.484 * * * * [progress]: [ 44 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt x)) (sqrt (- x 1))) (sqrt (sqrt x))))>
3.484 * * * * [progress]: [ 45 / 132 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.484 * * * * [progress]: [ 46 / 132 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.484 * * * * [progress]: [ 47 / 132 ] simplifiying candidate #<alt (λ (x) (pow (* (* (- x 1) (sqrt x)) (sqrt x)) 1/2))>
3.484 * * * * [progress]: [ 48 / 132 ] simplifiying candidate #<alt (λ (x) (pow (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) 1))>
3.484 * * * * [progress]: [ 49 / 132 ] simplifiying candidate #<alt (λ (x) (pow (* (* (- x 1) (sqrt x)) (sqrt x)) (/ 1 2)))>
3.484 * * * * [progress]: [ 50 / 132 ] simplifiying candidate #<alt (λ (x) (pow (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) 1))>
3.484 * * * * [progress]: [ 51 / 132 ] simplifiying candidate #<alt (λ (x) (pow (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))) 1))>
3.484 * * * * [progress]: [ 52 / 132 ] simplifiying candidate #<alt (λ (x) (exp (+ (+ (log (sqrt (- x 1))) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x))))))>
3.484 * * * * [progress]: [ 53 / 132 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (* (sqrt (- x 1)) (sqrt (sqrt x)))) (log (sqrt (sqrt x))))))>
3.484 * * * * [progress]: [ 54 / 132 ] simplifiying candidate #<alt (λ (x) (exp (log (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.484 * * * * [progress]: [ 55 / 132 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.484 * * * * [progress]: [ 56 / 132 ] 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))))))>
3.484 * * * * [progress]: [ 57 / 132 ] 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))))))>
3.484 * * * * [progress]: [ 58 / 132 ] 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))))))>
3.485 * * * * [progress]: [ 59 / 132 ] 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))))))>
3.485 * * * * [progress]: [ 60 / 132 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (- x 1) (sqrt x)) (sqrt x))))>
3.485 * * * * [progress]: [ 61 / 132 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.485 * * * * [progress]: [ 62 / 132 ] simplifiying candidate #<alt (λ (x) (* 1 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))))>
3.485 * * * * [progress]: [ 63 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt x)))))>
3.485 * * * * [progress]: [ 64 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (cbrt (sqrt x)))))>
3.485 * * * * [progress]: [ 65 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (cbrt x)))))>
3.485 * * * * [progress]: [ 66 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))>
3.485 * * * * [progress]: [ 67 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt 1))) (sqrt (sqrt x))))>
3.485 * * * * [progress]: [ 68 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))>
3.485 * * * * [progress]: [ 69 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt 1)) (sqrt (sqrt x))))>
3.485 * * * * [progress]: [ 70 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))>
3.485 * * * * [progress]: [ 71 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (* (sqrt (- x 1)) (sqrt (sqrt x))) 1) (sqrt (sqrt x))))>
3.485 * * * * [progress]: [ 72 / 132 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))))>
3.485 * * * * [progress]: [ 73 / 132 ] simplifiying candidate #<alt (λ (x) (/ (* (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
3.485 * * * * [progress]: [ 74 / 132 ] simplifiying candidate #<alt (λ (x) (/ (* (* (sqrt (- (* x x) (* 1 1))) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (+ x 1))))>
3.485 * * * * [progress]: [ 75 / 132 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 76 / 132 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt x)) (* (sqrt (- x 1)) (sqrt (sqrt x)))))>
3.486 * * * * [progress]: [ 77 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (log1p (expm1 (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 78 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (expm1 (log1p (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 79 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (sqrt x) 1/2)))>
3.486 * * * * [progress]: [ 80 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 1)))>
3.486 * * * * [progress]: [ 81 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (exp (log (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 82 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (log (exp (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 83 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 84 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (cbrt (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 85 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))))))>
3.486 * * * * [progress]: [ 86 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))))))>
3.486 * * * * [progress]: [ 87 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 88 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt 1)) (sqrt (sqrt x)))))>
3.486 * * * * [progress]: [ 89 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))>
3.486 * * * * [progress]: [ 90 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt 1) (sqrt (sqrt x)))))>
3.486 * * * * [progress]: [ 91 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow x (/ 1/2 2))))>
3.486 * * * * [progress]: [ 92 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (sqrt x) (/ 1 2))))>
3.487 * * * * [progress]: [ 93 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow x (/ (/ 1 2) 2))))>
3.487 * * * * [progress]: [ 94 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))))>
3.487 * * * * [progress]: [ 95 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (fabs (sqrt (sqrt x)))))>
3.487 * * * * [progress]: [ 96 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (fabs (sqrt (sqrt x)))))>
3.487 * * * * [progress]: [ 97 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* 1 (sqrt (sqrt x)))))>
3.487 * * * * [progress]: [ 98 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (posit16->real (real->posit16 (sqrt (sqrt x))))))>
3.487 * * * * [progress]: [ 99 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (log1p (expm1 (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 100 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (expm1 (log1p (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 101 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (sqrt x) 1/2)) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 102 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (sqrt (sqrt x)) 1)) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 103 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (exp (log (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 104 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (log (exp (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 105 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 106 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (cbrt (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 107 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 108 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))))) (sqrt (sqrt x))))>
3.487 * * * * [progress]: [ 109 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 110 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt 1)) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 111 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 112 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt 1) (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 113 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow x (/ 1/2 2))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 114 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (sqrt x) (/ 1 2))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 115 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow x (/ (/ 1 2) 2))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 116 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 117 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (fabs (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 118 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (fabs (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 119 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* 1 (sqrt (sqrt x)))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 120 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (posit16->real (real->posit16 (sqrt (sqrt x))))) (sqrt (sqrt x))))>
3.488 * * * * [progress]: [ 121 / 132 ] 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))))>
3.488 * * * * [progress]: [ 122 / 132 ] 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))))>
3.488 * * * * [progress]: [ 123 / 132 ] 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))))>
3.488 * * * * [progress]: [ 124 / 132 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
3.488 * * * * [progress]: [ 125 / 132 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
3.489 * * * * [progress]: [ 126 / 132 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
3.489 * * * * [progress]: [ 127 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow x 1/4)))>
3.489 * * * * [progress]: [ 128 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (pow (/ 1 x) -1/4)))>
3.489 * * * * [progress]: [ 129 / 132 ] 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)))))))))))>
3.489 * * * * [progress]: [ 130 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow x 1/4)) (sqrt (sqrt x))))>
3.489 * * * * [progress]: [ 131 / 132 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (pow (/ 1 x) -1/4)) (sqrt (sqrt x))))>
3.489 * * * * [progress]: [ 132 / 132 ] 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))))>
3.497 * [simplify]: Simplifying:
  (expm1 (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (log1p (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (- 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))))
  (expm1 (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (log1p (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (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))))
  (expm1 (sqrt (sqrt x)))
  (log1p (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)))
  (expm1 (sqrt (sqrt x)))
  (log1p (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)))))))))
3.501 * * [simplify]: iteration 1: (196 enodes)
3.553 * * [simplify]: iteration 2: (499 enodes)
3.755 * * [simplify]: iteration 3: (1419 enodes)
4.691 * * [simplify]: Extracting #0: cost 67 inf + 0
4.693 * * [simplify]: Extracting #1: cost 315 inf + 3
4.698 * * [simplify]: Extracting #2: cost 658 inf + 636
4.719 * * [simplify]: Extracting #3: cost 606 inf + 30655
4.745 * * [simplify]: Extracting #4: cost 283 inf + 105194
4.795 * * [simplify]: Extracting #5: cost 110 inf + 158927
4.856 * * [simplify]: Extracting #6: cost 51 inf + 187911
4.901 * * [simplify]: Extracting #7: cost 31 inf + 198145
4.960 * * [simplify]: Extracting #8: cost 2 inf + 218159
5.020 * * [simplify]: Extracting #9: cost 0 inf + 219280
5.060 * * [simplify]: Extracting #10: cost 0 inf + 219265
5.098 * [simplify]: Simplified to:
  (expm1 (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (log1p (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (- x 1) (sqrt x))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (- x 1) (sqrt x))
  (log (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (log (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (exp (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (* (sqrt (sqrt x)) (* (* (sqrt (- x 1)) (- x 1)) (sqrt 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)) (* (* (sqrt (- x 1)) (- x 1)) (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)) (fabs (cbrt (sqrt x))))
  (* (sqrt (fabs (cbrt 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 (- x 1)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1))
  (* (cbrt (sqrt (- x 1))) (sqrt (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt (cbrt (- x 1))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt (- (sqrt x) 1)))
  (* (sqrt (sqrt x)) (sqrt (- (sqrt x) 1)))
  (* (sqrt (sqrt x)) (sqrt (- (sqrt x) 1)))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt (sqrt (- x 1))))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (fma (* x x) x -1)) (sqrt (sqrt x)))
  (* (sqrt (fma x x -1)) (sqrt (sqrt x)))
  (real->posit16 (* (sqrt (- x 1)) (sqrt (sqrt x))))
  (expm1 (* (sqrt x) (sqrt (- x 1))))
  (log1p (* (sqrt x) (sqrt (- x 1))))
  (* (- x 1) x)
  (* (sqrt x) (sqrt (- x 1)))
  (* (- x 1) x)
  (* (sqrt x) (sqrt (- x 1)))
  (log (* (sqrt x) (sqrt (- x 1))))
  (log (* (sqrt x) (sqrt (- x 1))))
  (log (* (sqrt x) (sqrt (- x 1))))
  (exp (* (sqrt x) (sqrt (- x 1))))
  (* (* (* x (sqrt x)) (sqrt (- x 1))) (- x 1))
  (* (* (* x (sqrt x)) (sqrt (- x 1))) (- x 1))
  (* (cbrt (* (sqrt x) (sqrt (- x 1)))) (cbrt (* (sqrt x) (sqrt (- x 1)))))
  (cbrt (* (sqrt x) (sqrt (- x 1))))
  (* (* (* x (sqrt x)) (sqrt (- x 1))) (- x 1))
  (* (- x 1) x)
  (sqrt (* (sqrt x) (sqrt (- x 1))))
  (sqrt (* (sqrt x) (sqrt (- x 1))))
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* (sqrt (- x 1)) (fabs (cbrt (sqrt x)))) (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (fabs (cbrt x)))) (sqrt (- x 1)))
  (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (* (sqrt (- x 1)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (sqrt (- x 1)) (sqrt (sqrt x)))
  (sqrt x)
  (* (sqrt (fma (* x x) x -1)) (sqrt x))
  (* (sqrt (fma x x -1)) (sqrt x))
  (real->posit16 (* (sqrt x) (sqrt (- x 1))))
  (expm1 (sqrt (sqrt x)))
  (log1p (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)))
  (expm1 (sqrt (sqrt x)))
  (log1p (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)))
  (fma (/ 1/8 (sqrt -1)) (pow (pow x 9) 1/4) (fma 1/2 (/ (pow (pow x 5) 1/4) (sqrt -1)) (* (sqrt -1) (pow x 1/4))))
  (- (* +nan.0 (- (pow (/ (/ 1 (* x x)) x) 1/4) (- (pow (/ 1 (pow x 7)) 1/4) (pow x 1/4)))))
  (+ (fma (/ -1 (* (* x x) (* (sqrt +nan.0) +nan.0))) +nan.0 (- (/ (/ +nan.0 (sqrt +nan.0)) x) (/ (/ +nan.0 (sqrt +nan.0)) (* x x)))) (+ (- (/ (* (sqrt +nan.0) +nan.0) (* x x)) (* (sqrt +nan.0) +nan.0)) (/ (* (sqrt +nan.0) +nan.0) x)))
  (+ (* (* x x) (- (* x +nan.0) +nan.0)) (- (* x +nan.0)))
  (- (- x 1/2) (/ 1/8 x))
  (- (fma (/ +nan.0 x) (/ 1 x) (- +nan.0 (/ +nan.0 x))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (fma (/ (/ +nan.0 (sqrt +nan.0)) +nan.0) (/ 1 (* x x)) (/ (/ +nan.0 (sqrt +nan.0)) (* x x)))) (/ (/ +nan.0 (sqrt +nan.0)) x))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (fma (/ (/ +nan.0 (sqrt +nan.0)) +nan.0) (/ 1 (* x x)) (/ (/ +nan.0 (sqrt +nan.0)) (* x x)))) (/ (/ +nan.0 (sqrt +nan.0)) x))
5.104 * * * [progress]: adding candidates to table
6.570 * * [progress]: iteration 3 / 4
6.570 * * * [progress]: picking best candidate
6.576 * * * * [pick]: Picked  #<alt (λ (x) (- (- x 1/2) (/ 1/8 x)))>
6.576 * * * [progress]: localizing error
6.593 * * * [progress]: generating rewritten candidates
6.593 * * * [progress]: generating series expansions
6.593 * * * [progress]: simplifying candidates
6.594 * [simplify]: Simplifying:
  
6.594 * * [simplify]: iteration 1: (0 enodes)
6.594 * * [simplify]: Extracting #0: cost 0 inf + 0
6.594 * [simplify]: Simplified to:
  
6.594 * * * [progress]: adding candidates to table
6.595 * * [progress]: iteration 4 / 4
6.595 * * * [progress]: picking best candidate
6.598 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (* (- x 1) x)))>
6.598 * * * [progress]: localizing error
6.612 * * * [progress]: generating rewritten candidates
6.612 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.620 * * * [progress]: generating series expansions
6.620 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.620 * [backup-simplify]: Simplify (sqrt (* (- x 1) x)) into (sqrt (* x (- x 1)))
6.620 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
6.620 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
6.620 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
6.620 * [taylor]: Taking taylor expansion of x in x
6.620 * [backup-simplify]: Simplify 0 into 0
6.620 * [backup-simplify]: Simplify 1 into 1
6.620 * [taylor]: Taking taylor expansion of (- x 1) in x
6.620 * [taylor]: Taking taylor expansion of x in x
6.620 * [backup-simplify]: Simplify 0 into 0
6.620 * [backup-simplify]: Simplify 1 into 1
6.620 * [taylor]: Taking taylor expansion of 1 in x
6.620 * [backup-simplify]: Simplify 1 into 1
6.621 * [backup-simplify]: Simplify (- 1) into -1
6.621 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.621 * [backup-simplify]: Simplify (* 0 -1) into 0
6.622 * [backup-simplify]: Simplify (- 0) into 0
6.622 * [backup-simplify]: Simplify (+ 1 0) into 1
6.622 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
6.623 * [backup-simplify]: Simplify (sqrt 0) into 0
6.628 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.628 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x
6.628 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x
6.628 * [taylor]: Taking taylor expansion of x in x
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.628 * [taylor]: Taking taylor expansion of (- x 1) in x
6.628 * [taylor]: Taking taylor expansion of x in x
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.628 * [taylor]: Taking taylor expansion of 1 in x
6.628 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (- 1) into -1
6.629 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.629 * [backup-simplify]: Simplify (* 0 -1) into 0
6.629 * [backup-simplify]: Simplify (- 0) into 0
6.630 * [backup-simplify]: Simplify (+ 1 0) into 1
6.630 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
6.630 * [backup-simplify]: Simplify (sqrt 0) into 0
6.631 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.631 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.631 * [backup-simplify]: Simplify (- 0) into 0
6.632 * [backup-simplify]: Simplify (+ 0 0) into 0
6.632 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
6.634 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
6.634 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.634 * [backup-simplify]: Simplify (- 0) into 0
6.635 * [backup-simplify]: Simplify (+ 0 0) into 0
6.635 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
6.638 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
6.638 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.638 * [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)))))))
6.638 * [backup-simplify]: Simplify (sqrt (* (- (/ 1 x) 1) (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
6.638 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
6.638 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
6.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
6.638 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
6.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.638 * [taylor]: Taking taylor expansion of x in x
6.638 * [backup-simplify]: Simplify 0 into 0
6.638 * [backup-simplify]: Simplify 1 into 1
6.639 * [backup-simplify]: Simplify (/ 1 1) into 1
6.639 * [taylor]: Taking taylor expansion of 1 in x
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [taylor]: Taking taylor expansion of x in x
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [backup-simplify]: Simplify (+ 1 0) into 1
6.639 * [backup-simplify]: Simplify (/ 1 1) into 1
6.639 * [backup-simplify]: Simplify (sqrt 1) into 1
6.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.640 * [backup-simplify]: Simplify (- 1) into -1
6.640 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.641 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
6.641 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
6.641 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
6.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
6.641 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
6.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.641 * [taylor]: Taking taylor expansion of x in x
6.641 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify 1 into 1
6.642 * [backup-simplify]: Simplify (/ 1 1) into 1
6.642 * [taylor]: Taking taylor expansion of 1 in x
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [taylor]: Taking taylor expansion of x in x
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [backup-simplify]: Simplify (+ 1 0) into 1
6.642 * [backup-simplify]: Simplify (/ 1 1) into 1
6.642 * [backup-simplify]: Simplify (sqrt 1) into 1
6.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.643 * [backup-simplify]: Simplify (- 1) into -1
6.643 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.644 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
6.644 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
6.644 * [backup-simplify]: Simplify 1 into 1
6.644 * [backup-simplify]: Simplify -1/2 into -1/2
6.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.645 * [backup-simplify]: Simplify (- 0) into 0
6.645 * [backup-simplify]: Simplify (+ 0 0) into 0
6.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
6.648 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
6.648 * [backup-simplify]: Simplify -1/8 into -1/8
6.648 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
6.648 * [backup-simplify]: Simplify (sqrt (* (- (/ 1 (- x)) 1) (/ 1 (- x)))) into (sqrt (/ (+ (/ 1 x) 1) x))
6.648 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in (x) around 0
6.648 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
6.648 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
6.648 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
6.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.648 * [taylor]: Taking taylor expansion of x in x
6.648 * [backup-simplify]: Simplify 0 into 0
6.648 * [backup-simplify]: Simplify 1 into 1
6.649 * [backup-simplify]: Simplify (/ 1 1) into 1
6.649 * [taylor]: Taking taylor expansion of 1 in x
6.649 * [backup-simplify]: Simplify 1 into 1
6.649 * [taylor]: Taking taylor expansion of x in x
6.649 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify 1 into 1
6.650 * [backup-simplify]: Simplify (+ 1 0) into 1
6.650 * [backup-simplify]: Simplify (/ 1 1) into 1
6.650 * [backup-simplify]: Simplify (sqrt 1) into 1
6.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.652 * [backup-simplify]: Simplify (+ 0 1) into 1
6.652 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
6.653 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
6.653 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
6.653 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
6.653 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
6.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.653 * [taylor]: Taking taylor expansion of x in x
6.653 * [backup-simplify]: Simplify 0 into 0
6.653 * [backup-simplify]: Simplify 1 into 1
6.654 * [backup-simplify]: Simplify (/ 1 1) into 1
6.654 * [taylor]: Taking taylor expansion of 1 in x
6.654 * [backup-simplify]: Simplify 1 into 1
6.654 * [taylor]: Taking taylor expansion of x in x
6.654 * [backup-simplify]: Simplify 0 into 0
6.654 * [backup-simplify]: Simplify 1 into 1
6.654 * [backup-simplify]: Simplify (+ 1 0) into 1
6.655 * [backup-simplify]: Simplify (/ 1 1) into 1
6.655 * [backup-simplify]: Simplify (sqrt 1) into 1
6.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.656 * [backup-simplify]: Simplify (+ 0 1) into 1
6.657 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
6.658 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
6.658 * [backup-simplify]: Simplify 1 into 1
6.658 * [backup-simplify]: Simplify 1/2 into 1/2
6.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.659 * [backup-simplify]: Simplify (+ 0 0) into 0
6.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
6.661 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
6.661 * [backup-simplify]: Simplify -1/8 into -1/8
6.662 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
6.662 * * * [progress]: simplifying candidates
6.662 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (* (- x 1) x)))))>
6.662 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (* (- x 1) x)))))>
6.662 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
6.662 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (* (- x 1) x)) 1))>
6.662 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (- x 1) x)))))>
6.662 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (* (- x 1) x)))))>
6.662 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x)))) (cbrt (sqrt (* (- x 1) x)))))>
6.662 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))))>
6.662 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
6.662 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (pow x 3) (pow 1 3)) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
6.662 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (* x x) (* 1 1)) x)) (sqrt (+ x 1))))>
6.662 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
6.662 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) (/ 1 2)))>
6.663 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (- x 1) x))) (sqrt (sqrt (* (- x 1) x)))))>
6.663 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (* (- x 1) x))))>
6.663 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (* (- x 1) x)))))>
6.663 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
6.663 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
6.663 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
6.663 * [simplify]: Simplifying:
  (expm1 (sqrt (* (- x 1) x)))
  (log1p (sqrt (* (- x 1) x)))
  (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)
6.664 * * [simplify]: iteration 1: (53 enodes)
6.690 * * [simplify]: iteration 2: (115 enodes)
6.743 * * [simplify]: iteration 3: (251 enodes)
6.827 * * [simplify]: iteration 4: (622 enodes)
7.611 * * [simplify]: iteration 5: (1527 enodes)
11.835 * * [simplify]: Extracting #0: cost 19 inf + 0
11.836 * * [simplify]: Extracting #1: cost 139 inf + 1
11.842 * * [simplify]: Extracting #2: cost 368 inf + 1579
11.865 * * [simplify]: Extracting #3: cost 268 inf + 20358
11.893 * * [simplify]: Extracting #4: cost 118 inf + 67084
11.918 * * [simplify]: Extracting #5: cost 10 inf + 113972
11.957 * * [simplify]: Extracting #6: cost 0 inf + 118727
11.992 * * [simplify]: Extracting #7: cost 0 inf + 118622
12.025 * [simplify]: Simplified to:
  (expm1 (sqrt (- (* x x) x)))
  (log1p (sqrt (- (* x x) x)))
  (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 (fma x x x)))
  (sqrt (* (fma x x -1) 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 (/ 1/8 x)) 1/2)
  (+ (- (/ 1/8 x) x) 1/2)
12.025 * * * [progress]: adding candidates to table
12.160 * [progress]: [Phase 3 of 3] Extracting.
12.160 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))> #<alt (λ (x) (- (- x 1/2) (/ 1/8 x)))>)
12.162 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.162 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))> #<alt (λ (x) (- (- x 1/2) (/ 1/8 x)))>)
12.193 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
12.194 * [simplify]: Simplifying:
  (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))
12.194 * * [simplify]: iteration 1: (8 enodes)
12.194 * * [simplify]: iteration 2: (12 enodes)
12.195 * * [simplify]: Extracting #0: cost 1 inf + 0
12.195 * * [simplify]: Extracting #1: cost 3 inf + 0
12.195 * * [simplify]: Extracting #2: cost 5 inf + 0
12.195 * * [simplify]: Extracting #3: cost 7 inf + 0
12.195 * * [simplify]: Extracting #4: cost 7 inf + 1
12.195 * * [simplify]: Extracting #5: cost 0 inf + 692
12.195 * [simplify]: Simplified to:
  (* (sqrt (sqrt x)) (* (sqrt (- x 1)) (sqrt (sqrt x))))
16.481 * [regime-testing]: Baseline error score: 0.6645654113766105
16.486 * [regime-testing]: Oracle error score: 0.0008751093886735842
16.496 * [regime-testing]: End program error score: 0.6645654113766105