0.905 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.144 * * * [progress]: [2/2] Setting up program.
0.208 * [progress]: [Phase 2 of 3] Improving.
0.211 * [simplify]: Simplifying:
  (* (sqrt (- x 1.0)) (sqrt x))
0.213 * * [simplify]: Extracting # 0 : cost  0
0.214 * * [simplify]: Extracting # 1 : cost  0
0.214 * * [simplify]: Extracting # 2 : cost  0
0.214 * * [simplify]: Extracting # 3 : cost  0
0.214 * * [simplify]: Extracting # 4 : cost  0
0.214 * * [simplify]: Extracting # 5 : cost  0
0.214 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.224 * * [simplify]: Extracting # 0 : cost  0
0.224 * * [simplify]: Extracting # 1 : cost  0
0.224 * * [simplify]: Extracting # 2 : cost  0
0.224 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.228 * * [simplify]: Extracting # 0 : cost  0
0.228 * * [simplify]: iteration  2 :  10  enodes  (cost  7 )
0.231 * * [simplify]: Extracting # 0 : cost  0
0.231 * * [simplify]: iteration done:  10  enodes  (cost  7 )
0.232 * [simplify]: Simplified to:
  (* (sqrt (- x 1.0)) (sqrt x))
0.234 * * [progress]: iteration 1 / 4
0.234 * * * [progress]: picking best candidate
0.237 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- x 1.0)) (sqrt x)))>
0.237 * * * [progress]: localizing error
0.252 * * * [progress]: generating rewritten candidates
0.253 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.291 * * * [progress]: generating series expansions
0.291 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.296 * [backup-simplify]: Simplify (* (sqrt (- x 1.0)) (sqrt x)) into (sqrt (* (- x 1.0) x))
0.296 * [approximate]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in (x) around 0
0.296 * [taylor]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in x
0.297 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
0.297 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [taylor]: Taking taylor expansion of 1.0 in x
0.297 * [backup-simplify]: Simplify 1.0 into 1.0
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.299 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.299 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
0.299 * [backup-simplify]: Simplify (- 0) into 0
0.300 * [backup-simplify]: Simplify (+ 1 0) into 1
0.301 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
0.301 * [backup-simplify]: Simplify (sqrt 0) into 0
0.304 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 0))) into +nan.0
0.304 * [taylor]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in x
0.304 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
0.304 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.304 * [taylor]: Taking taylor expansion of x in x
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [taylor]: Taking taylor expansion of 1.0 in x
0.304 * [backup-simplify]: Simplify 1.0 into 1.0
0.304 * [taylor]: Taking taylor expansion of x in x
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.305 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.320 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
0.321 * [backup-simplify]: Simplify (- 0) into 0
0.322 * [backup-simplify]: Simplify (+ 1 0) into 1
0.324 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
0.324 * [backup-simplify]: Simplify (sqrt 0) into 0
0.326 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 0))) into +nan.0
0.327 * [backup-simplify]: Simplify 0 into 0
0.327 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.330 * [backup-simplify]: Simplify (- 0) into 0
0.330 * [backup-simplify]: Simplify (+ 0 0) into 0
0.331 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
0.337 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.337 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.337 * [backup-simplify]: Simplify (- 0) into 0
0.338 * [backup-simplify]: Simplify (+ 0 0) into 0
0.340 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
0.344 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.344 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.345 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 3)) (+ (* +nan.0 (pow x 2)) (* +nan.0 x))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
0.346 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1.0)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1.0) x))
0.346 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in (x) around 0
0.346 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in x
0.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
0.346 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify 1 into 1
0.347 * [backup-simplify]: Simplify (/ 1 1) into 1
0.347 * [taylor]: Taking taylor expansion of 1.0 in x
0.347 * [backup-simplify]: Simplify 1.0 into 1.0
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 1 into 1
0.348 * [backup-simplify]: Simplify (+ 1 0) into 1
0.349 * [backup-simplify]: Simplify (/ 1 1) into 1
0.349 * [backup-simplify]: Simplify (sqrt 1) into 1
0.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.351 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.352 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.354 * [backup-simplify]: Simplify (- (/ (- 1.0) 1) (+ (* 1 (/ 0 1)))) into (- 1.0)
0.356 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5
0.356 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in x
0.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
0.356 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 1 into 1
0.356 * [backup-simplify]: Simplify (/ 1 1) into 1
0.356 * [taylor]: Taking taylor expansion of 1.0 in x
0.356 * [backup-simplify]: Simplify 1.0 into 1.0
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 1 into 1
0.356 * [backup-simplify]: Simplify (+ 1 0) into 1
0.357 * [backup-simplify]: Simplify (/ 1 1) into 1
0.357 * [backup-simplify]: Simplify (sqrt 1) into 1
0.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.358 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.358 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.360 * [backup-simplify]: Simplify (- (/ (- 1.0) 1) (+ (* 1 (/ 0 1)))) into (- 1.0)
0.361 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5
0.361 * [backup-simplify]: Simplify 1 into 1
0.361 * [backup-simplify]: Simplify -0.5 into -0.5
0.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.362 * [backup-simplify]: Simplify (- 0) into 0
0.362 * [backup-simplify]: Simplify (+ 0 0) into 0
0.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- 1.0) (/ 0 1)))) into 0
0.365 * [backup-simplify]: Simplify (/ (- 0 (pow -0.5 2) (+)) (* 2 1)) into -0.125
0.365 * [backup-simplify]: Simplify -0.125 into -0.125
0.365 * [backup-simplify]: Simplify (+ (* -0.125 (/ 1 x)) (+ -0.5 (* 1 (/ 1 (/ 1 x))))) into (- x (+ 0.5 (* 0.125 (/ 1 x))))
0.365 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1.0)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x)))
0.365 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in (x) around 0
0.365 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in x
0.365 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
0.365 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
0.365 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.365 * [taylor]: Taking taylor expansion of 1.0 in x
0.365 * [backup-simplify]: Simplify 1.0 into 1.0
0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify 1 into 1
0.365 * [backup-simplify]: Simplify (/ 1 1) into 1
0.366 * [backup-simplify]: Simplify (+ 0 1) into 1
0.366 * [backup-simplify]: Simplify (- 1) into -1
0.366 * [backup-simplify]: Simplify (sqrt 0) into 0
0.366 * [backup-simplify]: Simplify (- 1) into -1
0.367 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.367 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.367 * [taylor]: Taking taylor expansion of -1 in x
0.367 * [backup-simplify]: Simplify -1 into -1
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify 1 into 1
0.368 * [backup-simplify]: Simplify (/ -1 1) into -1
0.368 * [backup-simplify]: Simplify (sqrt 0) into 0
0.369 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.369 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in x
0.369 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
0.369 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
0.369 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.369 * [taylor]: Taking taylor expansion of 1.0 in x
0.369 * [backup-simplify]: Simplify 1.0 into 1.0
0.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.369 * [backup-simplify]: Simplify 0 into 0
0.369 * [backup-simplify]: Simplify 1 into 1
0.369 * [backup-simplify]: Simplify (/ 1 1) into 1
0.369 * [backup-simplify]: Simplify (+ 0 1) into 1
0.370 * [backup-simplify]: Simplify (- 1) into -1
0.370 * [backup-simplify]: Simplify (sqrt 0) into 0
0.370 * [backup-simplify]: Simplify (- 1) into -1
0.371 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.371 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.371 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.371 * [taylor]: Taking taylor expansion of -1 in x
0.371 * [backup-simplify]: Simplify -1 into -1
0.371 * [taylor]: Taking taylor expansion of x in x
0.371 * [backup-simplify]: Simplify 0 into 0
0.371 * [backup-simplify]: Simplify 1 into 1
0.371 * [backup-simplify]: Simplify (/ -1 1) into -1
0.372 * [backup-simplify]: Simplify (sqrt 0) into 0
0.372 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
0.373 * [backup-simplify]: Simplify (* 0 0) into 0
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
0.373 * [backup-simplify]: Simplify 0 into 0
0.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.376 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.377 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.377 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.379 * [backup-simplify]: Simplify (/ (- (- 1.0) (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.381 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
0.381 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.384 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.385 * [backup-simplify]: Simplify (+ 0 0) into 0
0.385 * [backup-simplify]: Simplify (- 0) into 0
0.387 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.390 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
0.390 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.395 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.395 * [backup-simplify]: Simplify (+ 0 0) into 0
0.396 * [backup-simplify]: Simplify (- 0) into 0
0.398 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
0.402 * [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.402 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.403 * [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.403 * * * [progress]: simplifying candidates
0.404 * [simplify]: Simplifying:
  (* (- x 1.0) x)
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (- x 1.0) x)
  (+ (log (sqrt (- x 1.0))) (log (sqrt x)))
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (exp (* (sqrt (- x 1.0)) (sqrt x)))
  (* (* (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (sqrt (- x 1.0))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt x))) (cbrt (* (sqrt (- x 1.0)) (sqrt x))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (* (* (sqrt (- x 1.0)) (sqrt x)) (* (sqrt (- x 1.0)) (sqrt x))) (* (sqrt (- x 1.0)) (sqrt x)))
  (* (- x 1.0) x)
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt (* (cbrt x) (cbrt x))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt 1))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) 1)
  (* (cbrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (cbrt (- x 1.0))) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt x))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt x))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.405 * * [simplify]: Extracting # 0 : cost  0
0.405 * * [simplify]: Extracting # 1 : cost  0
0.405 * * [simplify]: Extracting # 2 : cost  0
0.405 * * [simplify]: Extracting # 3 : cost  0
0.405 * * [simplify]: Extracting # 4 : cost  0
0.405 * * [simplify]: Extracting # 5 : cost  0
0.405 * * [simplify]: Extracting # 6 : cost  0
0.406 * * [simplify]: Extracting # 7 : cost  0
0.406 * * [simplify]: Extracting # 8 : cost  0
0.406 * * [simplify]: iteration  0 :  83  enodes  (cost  387 )
0.435 * * [simplify]: Extracting # 0 : cost  0
0.436 * * [simplify]: Extracting # 1 : cost  0
0.436 * * [simplify]: Extracting # 2 : cost  0
0.436 * * [simplify]: Extracting # 3 : cost  0
0.436 * * [simplify]: Extracting # 4 : cost  0
0.437 * * [simplify]: iteration  1 :  190  enodes  (cost  360 )
0.509 * * [simplify]: Extracting # 0 : cost  0
0.512 * * [simplify]: Extracting # 1 : cost  0
0.519 * * [simplify]: Extracting # 2 : cost  0
0.553 * * [simplify]: Extracting # 3 : cost  0
0.555 * * [simplify]: Extracting # 4 : cost  0
0.556 * * [simplify]: iteration  2 :  673  enodes  (cost  340 )
1.546 * * [simplify]: Extracting # 0 : cost  0
1.549 * * [simplify]: Extracting # 1 : cost  0
1.554 * * [simplify]: Extracting # 2 : cost  0
1.558 * * [simplify]: Extracting # 3 : cost  0
1.564 * * [simplify]: Extracting # 4 : cost  0
1.572 * * [simplify]: iteration  3 :  3653  enodes  (cost  337 )
3.643 * * [simplify]: Extracting # 0 : cost  0
3.670 * * [simplify]: Extracting # 1 : cost  0
3.679 * * [simplify]: Extracting # 2 : cost  0
3.687 * * [simplify]: Extracting # 3 : cost  0
3.700 * * [simplify]: Extracting # 4 : cost  0
3.708 * * [simplify]: iteration done:  5001  enodes  (cost  335 )
3.709 * [simplify]: Simplified to:
  (* (- x 1.0) x)
  (* (sqrt x) (sqrt (- x 1.0)))
  (* (- x 1.0) x)
  (log (* (sqrt x) (sqrt (- x 1.0))))
  (log (* (sqrt x) (sqrt (- x 1.0))))
  (exp (* (sqrt (- x 1.0)) (sqrt x)))
  (pow (* (sqrt x) (sqrt (- x 1.0))) 3)
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt x))) (cbrt (* (sqrt (- x 1.0)) (sqrt x))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt x)))
  (pow (* (sqrt x) (sqrt (- x 1.0))) 3)
  (* (- x 1.0) x)
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (fabs (cbrt x)) (sqrt (- x 1.0)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (sqrt (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (sqrt (- x 1.0))
  (* (cbrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (cbrt (- x 1.0))) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt x) (sqrt (- x 1.0)))
  (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x))
  (* (sqrt x) (sqrt (- x 1.0)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt x) (sqrt (- x 1.0)))
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt x))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt x))
  (* +nan.0 (+ (- (pow x 3) x) (- (* x x))))
  (- x (+ 0.5 (/ 0.125 x)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (* x x)))
3.710 * * * [progress]: adding candidates to table
3.838 * * [progress]: iteration 2 / 4
3.838 * * * [progress]: picking best candidate
3.841 * * * * [pick]: Picked  #<alt (λ (x) (- x (+ 0.5 (/ 0.125 x))))>
3.841 * * * [progress]: localizing error
3.847 * * * [progress]: generating rewritten candidates
3.847 * * * [progress]: generating series expansions
3.847 * * * [progress]: simplifying candidates
3.847 * [simplify]: Simplifying:
  
3.847 * * [simplify]: Extracting # 0 : cost  0
3.847 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
3.847 * * [simplify]: Extracting # 0 : cost  0
3.847 * * [simplify]: iteration done:  0  enodes  (cost  0 )
3.847 * [simplify]: Simplified to:
  
3.847 * * * [progress]: adding candidates to table
3.847 * * [progress]: iteration 3 / 4
3.847 * * * [progress]: picking best candidate
3.849 * * * * [pick]: Picked  #<alt (λ (x) (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
3.849 * * * [progress]: localizing error
3.859 * * * [progress]: generating rewritten candidates
3.859 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.896 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.961 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.964 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.969 * * * [progress]: generating series expansions
3.970 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.970 * [backup-simplify]: Simplify (* (sqrt (- x 1.0)) (sqrt (sqrt x))) into (* (sqrt (- x 1.0)) (pow x 1/4))
3.970 * [approximate]: Taking taylor expansion of (* (sqrt (- x 1.0)) (pow x 1/4)) in (x) around 0
3.970 * [taylor]: Taking taylor expansion of (* (sqrt (- x 1.0)) (pow x 1/4)) in x
3.970 * [taylor]: Taking taylor expansion of (sqrt (- x 1.0)) in x
3.970 * [taylor]: Taking taylor expansion of (- x 1.0) in x
3.970 * [taylor]: Taking taylor expansion of x in x
3.970 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify 1 into 1
3.970 * [taylor]: Taking taylor expansion of 1.0 in x
3.970 * [backup-simplify]: Simplify 1.0 into 1.0
3.971 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.971 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.972 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0))
3.972 * [backup-simplify]: Simplify (- 0) into 0
3.972 * [backup-simplify]: Simplify (+ 1 0) into 1
3.973 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (- 1.0)))) into (/ 1/2 (sqrt (- 1.0)))
3.974 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.974 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.974 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.974 * [taylor]: Taking taylor expansion of 1/4 in x
3.974 * [backup-simplify]: Simplify 1/4 into 1/4
3.974 * [taylor]: Taking taylor expansion of (log x) in x
3.974 * [taylor]: Taking taylor expansion of x in x
3.974 * [backup-simplify]: Simplify 0 into 0
3.974 * [backup-simplify]: Simplify 1 into 1
3.974 * [backup-simplify]: Simplify (log 1) into 0
3.974 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.974 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
3.975 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
3.975 * [taylor]: Taking taylor expansion of (* (sqrt (- x 1.0)) (pow x 1/4)) in x
3.975 * [taylor]: Taking taylor expansion of (sqrt (- x 1.0)) in x
3.975 * [taylor]: Taking taylor expansion of (- x 1.0) in x
3.975 * [taylor]: Taking taylor expansion of x in x
3.975 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify 1 into 1
3.975 * [taylor]: Taking taylor expansion of 1.0 in x
3.975 * [backup-simplify]: Simplify 1.0 into 1.0
3.975 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.975 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.976 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0))
3.976 * [backup-simplify]: Simplify (- 0) into 0
3.976 * [backup-simplify]: Simplify (+ 1 0) into 1
3.978 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (- 1.0)))) into (/ 1/2 (sqrt (- 1.0)))
3.978 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.978 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.978 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.978 * [taylor]: Taking taylor expansion of 1/4 in x
3.978 * [backup-simplify]: Simplify 1/4 into 1/4
3.978 * [taylor]: Taking taylor expansion of (log x) in x
3.978 * [taylor]: Taking taylor expansion of x in x
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify 1 into 1
3.978 * [backup-simplify]: Simplify (log 1) into 0
3.979 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.979 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
3.979 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
3.979 * [backup-simplify]: Simplify (* (sqrt (- 1.0)) (pow x 1/4)) into (* (pow x 1/4) (sqrt (- 1.0)))
3.980 * [backup-simplify]: Simplify (* (pow x 1/4) (sqrt (- 1.0))) into (* (pow x 1/4) (sqrt (- 1.0)))
3.981 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
3.982 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.982 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
3.983 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.984 * [backup-simplify]: Simplify (+ (* (sqrt (- 1.0)) 0) (* (/ 1/2 (sqrt (- 1.0))) (pow x 1/4))) into (* 1/2 (* (pow x 1/4) (/ 1 (sqrt (- 1.0)))))
3.985 * [backup-simplify]: Simplify (* 1/2 (* (pow x 1/4) (/ 1 (sqrt (- 1.0))))) into (* 1/2 (* (pow x 1/4) (/ 1 (sqrt (- 1.0)))))
3.987 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
3.988 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
3.988 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
3.989 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.989 * [backup-simplify]: Simplify (- 0) into 0
3.989 * [backup-simplify]: Simplify (+ 0 0) into 0
3.993 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt (- 1.0))) 2) (+)) (* 2 (sqrt (- 1.0)))) into (/ -1/8 (pow (sqrt (- 1.0)) 3))
3.996 * [backup-simplify]: Simplify (+ (* (sqrt (- 1.0)) 0) (+ (* (/ 1/2 (sqrt (- 1.0))) 0) (* (/ -1/8 (pow (sqrt (- 1.0)) 3)) (pow x 1/4)))) into (- (* 1/8 (* (pow x 1/4) (/ 1 (pow (sqrt (- 1.0)) 3)))))
3.998 * [backup-simplify]: Simplify (- (* 1/8 (* (pow x 1/4) (/ 1 (pow (sqrt (- 1.0)) 3))))) into (- (* 1/8 (* (pow x 1/4) (/ 1 (pow (sqrt (- 1.0)) 3)))))
4.005 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (* (pow x 1/4) (/ 1 (pow (sqrt (- 1.0)) 3))))) (pow x 2)) (+ (* (* 1/2 (* (pow x 1/4) (/ 1 (sqrt (- 1.0))))) x) (* (pow x 1/4) (sqrt (- 1.0))))) into (- (+ (* (pow x 1/4) (sqrt (- 1.0))) (* 1/2 (* (pow (pow x 5) 1/4) (/ 1 (sqrt (- 1.0)))))) (* 1/8 (* (pow (pow x 9) 1/4) (/ 1 (pow (sqrt (- 1.0)) 3)))))
4.006 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1.0)) (sqrt (sqrt (/ 1 x)))) into (* (sqrt (- (/ 1 x) 1.0)) (pow (/ 1 x) 1/4))
4.006 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1.0)) (pow (/ 1 x) 1/4)) in (x) around 0
4.006 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1.0)) (pow (/ 1 x) 1/4)) in x
4.006 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1.0)) in x
4.006 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.006 * [taylor]: Taking taylor expansion of x in x
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 1 into 1
4.007 * [backup-simplify]: Simplify (/ 1 1) into 1
4.007 * [taylor]: Taking taylor expansion of 1.0 in x
4.007 * [backup-simplify]: Simplify 1.0 into 1.0
4.007 * [backup-simplify]: Simplify (+ 1 0) into 1
4.007 * [backup-simplify]: Simplify (sqrt 0) into 0
4.009 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.009 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.009 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.009 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.009 * [taylor]: Taking taylor expansion of 1/4 in x
4.009 * [backup-simplify]: Simplify 1/4 into 1/4
4.009 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.009 * [taylor]: Taking taylor expansion of x in x
4.009 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify 1 into 1
4.010 * [backup-simplify]: Simplify (/ 1 1) into 1
4.010 * [backup-simplify]: Simplify (log 1) into 0
4.011 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.011 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
4.011 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
4.011 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) 1.0)) (pow (/ 1 x) 1/4)) in x
4.011 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1.0)) in x
4.011 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.011 * [taylor]: Taking taylor expansion of x in x
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 1 into 1
4.011 * [backup-simplify]: Simplify (/ 1 1) into 1
4.012 * [taylor]: Taking taylor expansion of 1.0 in x
4.012 * [backup-simplify]: Simplify 1.0 into 1.0
4.012 * [backup-simplify]: Simplify (+ 1 0) into 1
4.012 * [backup-simplify]: Simplify (sqrt 0) into 0
4.014 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.014 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.014 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.014 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.014 * [taylor]: Taking taylor expansion of 1/4 in x
4.014 * [backup-simplify]: Simplify 1/4 into 1/4
4.014 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.014 * [taylor]: Taking taylor expansion of x in x
4.014 * [backup-simplify]: Simplify 0 into 0
4.014 * [backup-simplify]: Simplify 1 into 1
4.014 * [backup-simplify]: Simplify (/ 1 1) into 1
4.015 * [backup-simplify]: Simplify (log 1) into 0
4.015 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.015 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
4.016 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
4.016 * [backup-simplify]: Simplify (* 0 (pow x -1/4)) into 0
4.016 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.018 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.018 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.019 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
4.020 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.020 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (pow x -1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
4.021 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
4.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.024 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.025 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.026 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
4.027 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.028 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.029 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.033 * [backup-simplify]: Simplify (/ (- (- 1.0) (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (pow x -1/4)))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
4.034 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
4.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.041 * [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
4.041 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.042 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
4.044 * [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
4.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.046 * [backup-simplify]: Simplify (- 0) into 0
4.046 * [backup-simplify]: Simplify (+ 0 0) into 0
4.050 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.051 * [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)))
4.052 * [backup-simplify]: Simplify (- (* +nan.0 (pow (/ 1 x) 1/4))) into (- (* +nan.0 (pow (/ 1 x) 1/4)))
4.053 * [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 x 1/4)) (- (+ (* +nan.0 (pow (/ 1 (pow x 7)) 1/4)) (- (* +nan.0 (pow (/ 1 (pow x 3)) 1/4)))))))
4.053 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1.0)) (sqrt (sqrt (/ 1 (- x))))) into (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (sqrt (/ -1 x))))
4.053 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (sqrt (/ -1 x)))) in (x) around 0
4.053 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (sqrt (/ -1 x)))) in x
4.053 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
4.053 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
4.053 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
4.053 * [taylor]: Taking taylor expansion of 1.0 in x
4.053 * [backup-simplify]: Simplify 1.0 into 1.0
4.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.053 * [taylor]: Taking taylor expansion of x in x
4.053 * [backup-simplify]: Simplify 0 into 0
4.053 * [backup-simplify]: Simplify 1 into 1
4.054 * [backup-simplify]: Simplify (/ 1 1) into 1
4.054 * [backup-simplify]: Simplify (+ 0 1) into 1
4.055 * [backup-simplify]: Simplify (- 1) into -1
4.055 * [backup-simplify]: Simplify (sqrt 0) into 0
4.055 * [backup-simplify]: Simplify (- 1) into -1
4.057 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.057 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.057 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.057 * [taylor]: Taking taylor expansion of -1 in x
4.057 * [backup-simplify]: Simplify -1 into -1
4.057 * [taylor]: Taking taylor expansion of x in x
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify 1 into 1
4.058 * [backup-simplify]: Simplify (/ -1 1) into -1
4.058 * [backup-simplify]: Simplify (sqrt 0) into 0
4.059 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.060 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.070 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.072 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
4.072 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (sqrt (/ -1 x)))) in x
4.072 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
4.072 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
4.073 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
4.073 * [taylor]: Taking taylor expansion of 1.0 in x
4.073 * [backup-simplify]: Simplify 1.0 into 1.0
4.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.073 * [taylor]: Taking taylor expansion of x in x
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [backup-simplify]: Simplify 1 into 1
4.073 * [backup-simplify]: Simplify (/ 1 1) into 1
4.074 * [backup-simplify]: Simplify (+ 0 1) into 1
4.074 * [backup-simplify]: Simplify (- 1) into -1
4.074 * [backup-simplify]: Simplify (sqrt 0) into 0
4.075 * [backup-simplify]: Simplify (- 1) into -1
4.076 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.076 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.076 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.076 * [taylor]: Taking taylor expansion of -1 in x
4.076 * [backup-simplify]: Simplify -1 into -1
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.077 * [backup-simplify]: Simplify (/ -1 1) into -1
4.077 * [backup-simplify]: Simplify (sqrt 0) into 0
4.078 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.079 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.083 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.084 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
4.085 * [backup-simplify]: Simplify (* 0 (sqrt +nan.0)) into 0
4.085 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify (+ (* 0 (/ +nan.0 (sqrt +nan.0))) (* +nan.0 (sqrt +nan.0))) into (- (* +nan.0 (sqrt +nan.0)))
4.089 * [backup-simplify]: Simplify (- (* +nan.0 (sqrt +nan.0))) into (- (* +nan.0 (sqrt +nan.0)))
4.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.094 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.098 * [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)))
4.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.099 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.100 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.104 * [backup-simplify]: Simplify (/ (- (- 1.0) (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.111 * [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 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0)))))
4.116 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0))))) into (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (* +nan.0 (sqrt +nan.0)))))
4.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.120 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.132 * [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)))
4.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.133 * [backup-simplify]: Simplify (+ 0 0) into 0
4.133 * [backup-simplify]: Simplify (- 0) into 0
4.135 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.149 * [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 (sqrt +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (sqrt +nan.0)))))))
4.161 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (sqrt +nan.0))))))) into (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (sqrt +nan.0)))))))
4.181 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (sqrt +nan.0))) (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +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 (/ (sqrt +nan.0) x)) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (sqrt +nan.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (sqrt +nan.0)))))))))))))
4.181 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.181 * [backup-simplify]: Simplify (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))) into (sqrt (* (- x 1.0) x))
4.181 * [approximate]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in (x) around 0
4.181 * [taylor]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in x
4.181 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
4.181 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.181 * [taylor]: Taking taylor expansion of x in x
4.181 * [backup-simplify]: Simplify 0 into 0
4.181 * [backup-simplify]: Simplify 1 into 1
4.181 * [taylor]: Taking taylor expansion of 1.0 in x
4.181 * [backup-simplify]: Simplify 1.0 into 1.0
4.181 * [taylor]: Taking taylor expansion of x in x
4.181 * [backup-simplify]: Simplify 0 into 0
4.181 * [backup-simplify]: Simplify 1 into 1
4.182 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.183 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.183 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
4.183 * [backup-simplify]: Simplify (- 0) into 0
4.184 * [backup-simplify]: Simplify (+ 1 0) into 1
4.186 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
4.186 * [backup-simplify]: Simplify (sqrt 0) into 0
4.198 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 0))) into +nan.0
4.199 * [taylor]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in x
4.199 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
4.199 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.199 * [taylor]: Taking taylor expansion of x in x
4.199 * [backup-simplify]: Simplify 0 into 0
4.199 * [backup-simplify]: Simplify 1 into 1
4.199 * [taylor]: Taking taylor expansion of 1.0 in x
4.199 * [backup-simplify]: Simplify 1.0 into 1.0
4.199 * [taylor]: Taking taylor expansion of x in x
4.199 * [backup-simplify]: Simplify 0 into 0
4.199 * [backup-simplify]: Simplify 1 into 1
4.199 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.201 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.201 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
4.202 * [backup-simplify]: Simplify (- 0) into 0
4.202 * [backup-simplify]: Simplify (+ 1 0) into 1
4.204 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
4.205 * [backup-simplify]: Simplify (sqrt 0) into 0
4.206 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 0))) into +nan.0
4.207 * [backup-simplify]: Simplify 0 into 0
4.207 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.207 * [backup-simplify]: Simplify (- 0) into 0
4.207 * [backup-simplify]: Simplify (+ 0 0) into 0
4.208 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
4.212 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.212 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.212 * [backup-simplify]: Simplify (- 0) into 0
4.212 * [backup-simplify]: Simplify (+ 0 0) into 0
4.214 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
4.218 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.218 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.219 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 3)) (+ (* +nan.0 (pow x 2)) (* +nan.0 x))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
4.219 * [backup-simplify]: Simplify (* (* (sqrt (- (/ 1 x) 1.0)) (sqrt (sqrt (/ 1 x)))) (sqrt (sqrt (/ 1 x)))) into (sqrt (/ (- (/ 1 x) 1.0) x))
4.219 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in (x) around 0
4.219 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in x
4.219 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
4.219 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.219 * [taylor]: Taking taylor expansion of x in x
4.219 * [backup-simplify]: Simplify 0 into 0
4.219 * [backup-simplify]: Simplify 1 into 1
4.220 * [backup-simplify]: Simplify (/ 1 1) into 1
4.220 * [taylor]: Taking taylor expansion of 1.0 in x
4.220 * [backup-simplify]: Simplify 1.0 into 1.0
4.220 * [taylor]: Taking taylor expansion of x in x
4.220 * [backup-simplify]: Simplify 0 into 0
4.220 * [backup-simplify]: Simplify 1 into 1
4.220 * [backup-simplify]: Simplify (+ 1 0) into 1
4.221 * [backup-simplify]: Simplify (/ 1 1) into 1
4.221 * [backup-simplify]: Simplify (sqrt 1) into 1
4.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.222 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.223 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.225 * [backup-simplify]: Simplify (- (/ (- 1.0) 1) (+ (* 1 (/ 0 1)))) into (- 1.0)
4.227 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5
4.227 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in x
4.228 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
4.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.228 * [taylor]: Taking taylor expansion of x in x
4.228 * [backup-simplify]: Simplify 0 into 0
4.228 * [backup-simplify]: Simplify 1 into 1
4.228 * [backup-simplify]: Simplify (/ 1 1) into 1
4.228 * [taylor]: Taking taylor expansion of 1.0 in x
4.228 * [backup-simplify]: Simplify 1.0 into 1.0
4.228 * [taylor]: Taking taylor expansion of x in x
4.228 * [backup-simplify]: Simplify 0 into 0
4.228 * [backup-simplify]: Simplify 1 into 1
4.229 * [backup-simplify]: Simplify (+ 1 0) into 1
4.229 * [backup-simplify]: Simplify (/ 1 1) into 1
4.229 * [backup-simplify]: Simplify (sqrt 1) into 1
4.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.230 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.231 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.234 * [backup-simplify]: Simplify (- (/ (- 1.0) 1) (+ (* 1 (/ 0 1)))) into (- 1.0)
4.235 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5
4.235 * [backup-simplify]: Simplify 1 into 1
4.235 * [backup-simplify]: Simplify -0.5 into -0.5
4.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.237 * [backup-simplify]: Simplify (- 0) into 0
4.237 * [backup-simplify]: Simplify (+ 0 0) into 0
4.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- 1.0) (/ 0 1)))) into 0
4.241 * [backup-simplify]: Simplify (/ (- 0 (pow -0.5 2) (+)) (* 2 1)) into -0.125
4.241 * [backup-simplify]: Simplify -0.125 into -0.125
4.241 * [backup-simplify]: Simplify (+ (* -0.125 (/ 1 x)) (+ -0.5 (* 1 (/ 1 (/ 1 x))))) into (- x (+ 0.5 (* 0.125 (/ 1 x))))
4.242 * [backup-simplify]: Simplify (* (* (sqrt (- (/ 1 (- x)) 1.0)) (sqrt (sqrt (/ 1 (- x))))) (sqrt (sqrt (/ 1 (- x))))) into (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x)))
4.242 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in (x) around 0
4.242 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in x
4.242 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
4.242 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
4.242 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
4.242 * [taylor]: Taking taylor expansion of 1.0 in x
4.242 * [backup-simplify]: Simplify 1.0 into 1.0
4.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.242 * [taylor]: Taking taylor expansion of x in x
4.242 * [backup-simplify]: Simplify 0 into 0
4.242 * [backup-simplify]: Simplify 1 into 1
4.242 * [backup-simplify]: Simplify (/ 1 1) into 1
4.243 * [backup-simplify]: Simplify (+ 0 1) into 1
4.243 * [backup-simplify]: Simplify (- 1) into -1
4.244 * [backup-simplify]: Simplify (sqrt 0) into 0
4.244 * [backup-simplify]: Simplify (- 1) into -1
4.245 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.245 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.245 * [taylor]: Taking taylor expansion of -1 in x
4.245 * [backup-simplify]: Simplify -1 into -1
4.245 * [taylor]: Taking taylor expansion of x in x
4.246 * [backup-simplify]: Simplify 0 into 0
4.246 * [backup-simplify]: Simplify 1 into 1
4.246 * [backup-simplify]: Simplify (/ -1 1) into -1
4.246 * [backup-simplify]: Simplify (sqrt 0) into 0
4.248 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.248 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in x
4.248 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
4.248 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
4.248 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
4.248 * [taylor]: Taking taylor expansion of 1.0 in x
4.248 * [backup-simplify]: Simplify 1.0 into 1.0
4.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.248 * [taylor]: Taking taylor expansion of x in x
4.248 * [backup-simplify]: Simplify 0 into 0
4.248 * [backup-simplify]: Simplify 1 into 1
4.248 * [backup-simplify]: Simplify (/ 1 1) into 1
4.249 * [backup-simplify]: Simplify (+ 0 1) into 1
4.249 * [backup-simplify]: Simplify (- 1) into -1
4.250 * [backup-simplify]: Simplify (sqrt 0) into 0
4.250 * [backup-simplify]: Simplify (- 1) into -1
4.251 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.251 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.251 * [taylor]: Taking taylor expansion of -1 in x
4.252 * [backup-simplify]: Simplify -1 into -1
4.252 * [taylor]: Taking taylor expansion of x in x
4.252 * [backup-simplify]: Simplify 0 into 0
4.252 * [backup-simplify]: Simplify 1 into 1
4.252 * [backup-simplify]: Simplify (/ -1 1) into -1
4.252 * [backup-simplify]: Simplify (sqrt 0) into 0
4.254 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.254 * [backup-simplify]: Simplify (* 0 0) into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.259 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.261 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.261 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.265 * [backup-simplify]: Simplify (/ (- (- 1.0) (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.268 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
4.268 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.273 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.275 * [backup-simplify]: Simplify (+ 0 0) into 0
4.275 * [backup-simplify]: Simplify (- 0) into 0
4.279 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.283 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
4.283 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.290 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.291 * [backup-simplify]: Simplify (+ 0 0) into 0
4.292 * [backup-simplify]: Simplify (- 0) into 0
4.296 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.302 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
4.302 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.304 * [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)))))
4.304 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.304 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
4.304 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
4.304 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.304 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.304 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.304 * [taylor]: Taking taylor expansion of 1/4 in x
4.304 * [backup-simplify]: Simplify 1/4 into 1/4
4.304 * [taylor]: Taking taylor expansion of (log x) in x
4.304 * [taylor]: Taking taylor expansion of x in x
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify 1 into 1
4.305 * [backup-simplify]: Simplify (log 1) into 0
4.305 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.305 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
4.305 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
4.305 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.305 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.305 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.305 * [taylor]: Taking taylor expansion of 1/4 in x
4.305 * [backup-simplify]: Simplify 1/4 into 1/4
4.305 * [taylor]: Taking taylor expansion of (log x) in x
4.305 * [taylor]: Taking taylor expansion of x in x
4.305 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify 1 into 1
4.306 * [backup-simplify]: Simplify (log 1) into 0
4.306 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.306 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
4.307 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
4.307 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
4.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.309 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.309 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
4.310 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.310 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.314 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.315 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
4.316 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.316 * [backup-simplify]: Simplify 0 into 0
4.322 * [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
4.322 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.324 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
4.325 * [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
4.325 * [backup-simplify]: Simplify 0 into 0
4.337 * [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
4.337 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.339 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
4.342 * [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
4.342 * [backup-simplify]: Simplify 0 into 0
4.361 * [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
4.362 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.363 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
4.365 * [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
4.366 * [backup-simplify]: Simplify 0 into 0
4.383 * [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
4.384 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.385 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
4.390 * [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
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
4.391 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
4.391 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
4.391 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.391 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.391 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.391 * [taylor]: Taking taylor expansion of 1/4 in x
4.391 * [backup-simplify]: Simplify 1/4 into 1/4
4.391 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.391 * [taylor]: Taking taylor expansion of x in x
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify 1 into 1
4.392 * [backup-simplify]: Simplify (/ 1 1) into 1
4.392 * [backup-simplify]: Simplify (log 1) into 0
4.393 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.393 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
4.393 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
4.393 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.393 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.393 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.393 * [taylor]: Taking taylor expansion of 1/4 in x
4.394 * [backup-simplify]: Simplify 1/4 into 1/4
4.394 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.394 * [taylor]: Taking taylor expansion of x in x
4.394 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify 1 into 1
4.394 * [backup-simplify]: Simplify (/ 1 1) into 1
4.394 * [backup-simplify]: Simplify (log 1) into 0
4.395 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.395 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
4.395 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
4.395 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
4.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.398 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.398 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.399 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
4.400 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.400 * [backup-simplify]: Simplify 0 into 0
4.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.404 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.404 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.405 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
4.407 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.407 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.413 * [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
4.414 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.415 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
4.416 * [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
4.416 * [backup-simplify]: Simplify 0 into 0
4.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.423 * [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
4.423 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.424 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
4.426 * [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
4.426 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.437 * [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
4.437 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.438 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
4.441 * [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
4.441 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.467 * [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
4.468 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.469 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
4.473 * [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
4.473 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
4.473 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
4.473 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
4.473 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.473 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.473 * [taylor]: Taking taylor expansion of -1 in x
4.473 * [backup-simplify]: Simplify -1 into -1
4.473 * [taylor]: Taking taylor expansion of x in x
4.473 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify 1 into 1
4.474 * [backup-simplify]: Simplify (/ -1 1) into -1
4.474 * [backup-simplify]: Simplify (sqrt 0) into 0
4.475 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.475 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.478 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.479 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
4.479 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.479 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.479 * [taylor]: Taking taylor expansion of -1 in x
4.479 * [backup-simplify]: Simplify -1 into -1
4.479 * [taylor]: Taking taylor expansion of x in x
4.479 * [backup-simplify]: Simplify 0 into 0
4.479 * [backup-simplify]: Simplify 1 into 1
4.479 * [backup-simplify]: Simplify (/ -1 1) into -1
4.479 * [backup-simplify]: Simplify (sqrt 0) into 0
4.480 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.481 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.483 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.484 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
4.485 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.486 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
4.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.490 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.495 * [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)))
4.503 * [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)))
4.508 * [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 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
4.508 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
4.508 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
4.508 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
4.509 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.509 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.509 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.509 * [taylor]: Taking taylor expansion of 1/4 in x
4.509 * [backup-simplify]: Simplify 1/4 into 1/4
4.509 * [taylor]: Taking taylor expansion of (log x) in x
4.509 * [taylor]: Taking taylor expansion of x in x
4.509 * [backup-simplify]: Simplify 0 into 0
4.509 * [backup-simplify]: Simplify 1 into 1
4.509 * [backup-simplify]: Simplify (log 1) into 0
4.509 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.509 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
4.509 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
4.509 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.509 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.509 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.509 * [taylor]: Taking taylor expansion of 1/4 in x
4.509 * [backup-simplify]: Simplify 1/4 into 1/4
4.509 * [taylor]: Taking taylor expansion of (log x) in x
4.509 * [taylor]: Taking taylor expansion of x in x
4.509 * [backup-simplify]: Simplify 0 into 0
4.509 * [backup-simplify]: Simplify 1 into 1
4.510 * [backup-simplify]: Simplify (log 1) into 0
4.510 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.510 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
4.510 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
4.510 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
4.511 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.511 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.512 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
4.512 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.512 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.514 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.515 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
4.515 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.519 * [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
4.519 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.520 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
4.521 * [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
4.521 * [backup-simplify]: Simplify 0 into 0
4.528 * [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
4.528 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.529 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
4.531 * [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
4.531 * [backup-simplify]: Simplify 0 into 0
4.540 * [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
4.541 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.542 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
4.544 * [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
4.544 * [backup-simplify]: Simplify 0 into 0
4.568 * [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
4.569 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.570 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
4.576 * [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
4.576 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
4.577 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
4.577 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
4.577 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.577 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.577 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.577 * [taylor]: Taking taylor expansion of 1/4 in x
4.577 * [backup-simplify]: Simplify 1/4 into 1/4
4.577 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.577 * [taylor]: Taking taylor expansion of x in x
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 1 into 1
4.578 * [backup-simplify]: Simplify (/ 1 1) into 1
4.579 * [backup-simplify]: Simplify (log 1) into 0
4.579 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.579 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
4.579 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
4.579 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.579 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.579 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.579 * [taylor]: Taking taylor expansion of 1/4 in x
4.580 * [backup-simplify]: Simplify 1/4 into 1/4
4.580 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.580 * [taylor]: Taking taylor expansion of x in x
4.580 * [backup-simplify]: Simplify 0 into 0
4.580 * [backup-simplify]: Simplify 1 into 1
4.580 * [backup-simplify]: Simplify (/ 1 1) into 1
4.581 * [backup-simplify]: Simplify (log 1) into 0
4.581 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.581 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
4.581 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
4.582 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
4.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.584 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.585 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
4.586 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.586 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.590 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.590 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.591 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
4.593 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.593 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.599 * [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
4.600 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.601 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
4.603 * [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
4.603 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.609 * [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
4.610 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.611 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
4.612 * [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
4.612 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.623 * [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
4.623 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.624 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
4.626 * [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
4.626 * [backup-simplify]: Simplify 0 into 0
4.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.656 * [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
4.656 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.659 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
4.662 * [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
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
4.662 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
4.662 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
4.662 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.662 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.662 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.662 * [taylor]: Taking taylor expansion of -1 in x
4.662 * [backup-simplify]: Simplify -1 into -1
4.662 * [taylor]: Taking taylor expansion of x in x
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (/ -1 1) into -1
4.663 * [backup-simplify]: Simplify (sqrt 0) into 0
4.664 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.664 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.666 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.667 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
4.667 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.667 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.667 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.667 * [taylor]: Taking taylor expansion of -1 in x
4.667 * [backup-simplify]: Simplify -1 into -1
4.667 * [taylor]: Taking taylor expansion of x in x
4.668 * [backup-simplify]: Simplify 0 into 0
4.668 * [backup-simplify]: Simplify 1 into 1
4.668 * [backup-simplify]: Simplify (/ -1 1) into -1
4.668 * [backup-simplify]: Simplify (sqrt 0) into 0
4.669 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.669 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.671 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.672 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
4.672 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
4.673 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
4.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.676 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.678 * [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)))
4.691 * [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)))
4.700 * [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 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
4.700 * * * [progress]: simplifying candidates
4.703 * [simplify]: Simplifying:
  (* (- x 1.0) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (- x 1.0) (sqrt x))
  (+ (log (sqrt (- x 1.0))) (log (sqrt (sqrt x))))
  (log (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (exp (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (* (* (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (sqrt (- x 1.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt (sqrt x)))) (cbrt (* (sqrt (- x 1.0)) (sqrt (sqrt x)))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (* (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (* (sqrt (- x 1.0)) (sqrt (sqrt x)))) (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (* (- x 1.0) (sqrt x))
  (sqrt (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (sqrt (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (sqrt (- x 1.0)) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt 1)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt 1))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) 1)
  (* (cbrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (cbrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt (sqrt x)))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (sqrt x)))
  (* (* (- x 1.0) (sqrt x)) (sqrt x))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (* (* (- x 1.0) (sqrt x)) (sqrt x))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (+ (+ (log (sqrt (- x 1.0))) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (+ (log (* (sqrt (- x 1.0)) (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (log (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (exp (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (sqrt (- x 1.0))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (* (sqrt (- x 1.0)) (sqrt (sqrt x)))) (* (sqrt (- x 1.0)) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x)))))
  (cbrt (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (- x 1.0) (sqrt x)) (sqrt x))
  (sqrt (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt 1)))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt 1))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) 1)
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (* (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (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)))
  (- (+ (* (pow x 1/4) (sqrt (- 1.0))) (* 1/2 (* (pow (pow x 5) 1/4) (/ 1 (sqrt (- 1.0)))))) (* 1/8 (* (pow (pow x 9) 1/4) (/ 1 (pow (sqrt (- 1.0)) 3)))))
  (- (+ (* +nan.0 (pow x 1/4)) (- (+ (* +nan.0 (pow (/ 1 (pow x 7)) 1/4)) (- (* +nan.0 (pow (/ 1 (pow x 3)) 1/4)))))))
  (- (+ (* +nan.0 (/ (sqrt +nan.0) x)) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (sqrt +nan.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (sqrt +nan.0)))))))))))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- (+ (* +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 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
4.708 * * [simplify]: Extracting # 0 : cost  0
4.708 * * [simplify]: Extracting # 1 : cost  0
4.708 * * [simplify]: Extracting # 2 : cost  0
4.708 * * [simplify]: Extracting # 3 : cost  0
4.709 * * [simplify]: Extracting # 4 : cost  0
4.709 * * [simplify]: Extracting # 5 : cost  0
4.710 * * [simplify]: Extracting # 6 : cost  0
4.710 * * [simplify]: Extracting # 7 : cost  0
4.710 * * [simplify]: Extracting # 8 : cost  0
4.711 * * [simplify]: Extracting # 9 : cost  0
4.711 * * [simplify]: Extracting # 10 : cost  0
4.712 * * [simplify]: Extracting # 11 : cost  0
4.712 * * [simplify]: Extracting # 12 : cost  0
4.713 * * [simplify]: Extracting # 13 : cost  0
4.713 * * [simplify]: Extracting # 14 : cost  0
4.713 * * [simplify]: Extracting # 15 : cost  0
4.714 * * [simplify]: Extracting # 16 : cost  0
4.714 * * [simplify]: Extracting # 17 : cost  0
4.715 * * [simplify]: Extracting # 18 : cost  0
4.715 * * [simplify]: iteration  0 :  190  enodes  (cost  1362 )
4.799 * * [simplify]: Extracting # 0 : cost  0
4.800 * * [simplify]: Extracting # 1 : cost  0
4.801 * * [simplify]: Extracting # 2 : cost  0
4.802 * * [simplify]: Extracting # 3 : cost  0
4.803 * * [simplify]: Extracting # 4 : cost  0
4.804 * * [simplify]: iteration  1 :  486  enodes  (cost  1138 )
5.169 * * [simplify]: Extracting # 0 : cost  0
5.174 * * [simplify]: Extracting # 1 : cost  0
5.179 * * [simplify]: Extracting # 2 : cost  0
5.184 * * [simplify]: Extracting # 3 : cost  0
5.192 * * [simplify]: Extracting # 4 : cost  0
5.194 * * [simplify]: iteration  2 :  2082  enodes  (cost  1039 )
5.999 * * [simplify]: Extracting # 0 : cost  0
6.025 * * [simplify]: Extracting # 1 : cost  0
6.037 * * [simplify]: Extracting # 2 : cost  0
6.049 * * [simplify]: Extracting # 3 : cost  0
6.061 * * [simplify]: Extracting # 4 : cost  0
6.072 * * [simplify]: iteration done:  5001  enodes  (cost  1025 )
6.074 * [simplify]: Simplified to:
  (* (sqrt x) (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt x) (- x 1.0))
  (log (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (log (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (exp (* (sqrt (sqrt x)) (sqrt (- x 1.0))))
  (pow (* (sqrt (sqrt x)) (sqrt (- x 1.0))) 3)
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt (sqrt x)))) (cbrt (* (sqrt (- x 1.0)) (sqrt (sqrt x)))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (pow (* (sqrt (sqrt x)) (sqrt (- x 1.0))) 3)
  (* (sqrt x) (- x 1.0))
  (sqrt (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (sqrt (* (sqrt (- x 1.0)) (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (sqrt (- x 1.0)) (fabs (cbrt (sqrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (- x 1.0)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt (sqrt (sqrt x))))
  (sqrt (- x 1.0))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (cbrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt (sqrt x)))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (sqrt x)))
  (* x (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* x (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt x))
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (exp (* (sqrt (- x 1.0)) (sqrt x)))
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 3)
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 3)
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt x))) (cbrt (* (sqrt (- x 1.0)) (sqrt x))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt x)))
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 3)
  (* x (- x 1.0))
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* (sqrt (sqrt x)) (sqrt (- x 1.0))) (fabs (cbrt (sqrt x))))
  (* (sqrt (fabs (cbrt x))) (* (sqrt (sqrt x)) (sqrt (- x 1.0))))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (sqrt x)
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt x))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt x))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (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)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (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)))
  (+ (+ (* (/ (pow (pow x 5) 1/4) (sqrt (- 1.0))) 1/2) (* (/ (pow (pow x 9) 1/4) (pow (sqrt (- 1.0)) 3)) -1/8)) (* (pow x 1/4) (sqrt (- 1.0))))
  (* +nan.0 (+ (- (pow (/ 1 (pow x 7)) 1/4) (pow (/ 1 (pow x 3)) 1/4)) (- (pow x 1/4))))
  (- (+ (* +nan.0 (+ (/ (sqrt +nan.0) x) (/ -1 (* x (sqrt +nan.0))))) (+ (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (* +nan.0 (+ (- (/ 1 (* (sqrt +nan.0) (pow x 2))) (sqrt +nan.0)) (- (/ (sqrt +nan.0) (pow x 2))))))))
  (* +nan.0 (+ (- (pow x 3) x) (- (* x x))))
  (- x (+ (/ 0.125 x) 0.5))
  (+ (- (/ +nan.0 (* x x))) (- (/ +nan.0 x) +nan.0))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))
6.075 * * * [progress]: adding candidates to table
6.386 * [progress]: [Phase 3 of 3] Extracting.
6.386 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))> #<alt (λ (x) (* (sqrt (- x 1.0)) (sqrt x)))> #<alt (λ (x) (- x (+ 0.5 (/ 0.125 x))))>)
6.387 * * * [regime-changes]: Trying 2 branch expressions: ((* (sqrt (- x 1.0)) (sqrt x)) x)
6.387 * * * * [regimes]: Trying to branch on (* (sqrt (- x 1.0)) (sqrt x)) from (#<alt (λ (x) (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))> #<alt (λ (x) (* (sqrt (- x 1.0)) (sqrt x)))> #<alt (λ (x) (- x (+ 0.5 (/ 0.125 x))))>)
6.419 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* (sqrt (- x 1.0)) (sqrt (sqrt x))) (sqrt (sqrt x))))> #<alt (λ (x) (* (sqrt (- x 1.0)) (sqrt x)))> #<alt (λ (x) (- x (+ 0.5 (/ 0.125 x))))>)
6.435 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
6.436 * [simplify]: Simplifying:
  (- x (+ 0.5 (/ 0.125 x)))
6.436 * * [simplify]: Extracting # 0 : cost  0
6.436 * * [simplify]: Extracting # 1 : cost  0
6.436 * * [simplify]: Extracting # 2 : cost  0
6.437 * * [simplify]: Extracting # 3 : cost  0
6.437 * * [simplify]: Extracting # 4 : cost  0
6.437 * * [simplify]: Extracting # 5 : cost  0
6.437 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
6.437 * * [simplify]: Extracting # 0 : cost  0
6.437 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
6.438 * * [simplify]: Extracting # 0 : cost  0
6.438 * * [simplify]: iteration done:  7  enodes  (cost  7 )
6.438 * [simplify]: Simplified to:
  (- x (+ 0.5 (/ 0.125 x)))
9.840 * [regime-testing]: Baseline error score: 0.30292052479761106
9.842 * [regime-testing]: Oracle error score: 0.004375546943367921
9.851 * [regime-testing]: End program error score: 0.30292052479761106