91.683 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.142 * * * [progress]: [2/2] Setting up program.
0.148 * [progress]: [Phase 2 of 3] Improving.
0.148 * [simplify]: Simplifying:
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
0.148 * * [simplify]: Extracting # 0 : cost  0
0.148 * * [simplify]: Extracting # 1 : cost  0
0.148 * * [simplify]: Extracting # 2 : cost  0
0.148 * * [simplify]: Extracting # 3 : cost  0
0.148 * * [simplify]: Extracting # 4 : cost  0
0.148 * * [simplify]: Extracting # 5 : cost  0
0.149 * * [simplify]: Extracting # 6 : cost  0
0.149 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
0.151 * * [simplify]: Extracting # 0 : cost  0
0.151 * * [simplify]: Extracting # 1 : cost  0
0.151 * * [simplify]: Extracting # 2 : cost  0
0.151 * * [simplify]: iteration  1 :  12  enodes  (cost  13 )
0.154 * * [simplify]: Extracting # 0 : cost  0
0.157 * * [simplify]: Extracting # 1 : cost  0
0.157 * * [simplify]: Extracting # 2 : cost  0
0.157 * * [simplify]: iteration  2 :  16  enodes  (cost  13 )
0.161 * * [simplify]: Extracting # 0 : cost  0
0.161 * * [simplify]: iteration done:  16  enodes  (cost  13 )
0.161 * [simplify]: Simplified to:
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
0.161 * * [progress]: iteration 1 / 4
0.161 * * * [progress]: picking best candidate
0.166 * * * * [pick]: Picked  #<alt (λ (x) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))>
0.166 * * * [progress]: localizing error
0.195 * * * [progress]: generating rewritten candidates
0.195 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.271 * * * [progress]: generating series expansions
0.272 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.272 * [backup-simplify]: Simplify (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) into (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))
0.272 * [approximate]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in (x) around 0
0.272 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
0.272 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
0.272 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
0.272 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.272 * [taylor]: Taking taylor expansion of 1.0 in x
0.272 * [backup-simplify]: Simplify 1.0 into 1.0
0.272 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.274 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.274 * [backup-simplify]: Simplify (+ 0 0) into 0
0.275 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.275 * [backup-simplify]: Simplify (/ 1 1) into 1
0.275 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of 1.0 in x
0.275 * [backup-simplify]: Simplify 1.0 into 1.0
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.276 * [backup-simplify]: Simplify (/ 1 1) into 1
0.276 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
0.276 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
0.276 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
0.276 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.276 * [taylor]: Taking taylor expansion of 1.0 in x
0.276 * [backup-simplify]: Simplify 1.0 into 1.0
0.276 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.276 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.277 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.277 * [backup-simplify]: Simplify (+ 0 0) into 0
0.278 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 1 into 1
0.278 * [backup-simplify]: Simplify (/ 1 1) into 1
0.278 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of 1.0 in x
0.279 * [backup-simplify]: Simplify 1.0 into 1.0
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 1 into 1
0.279 * [backup-simplify]: Simplify (/ 1 1) into 1
0.280 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
0.280 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
0.281 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
0.282 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.283 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (* 0 1)) into 0
0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.285 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
0.285 * [backup-simplify]: Simplify (+ 0 0) into 0
0.285 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.287 * [backup-simplify]: Simplify (* 1 1) into 1
0.287 * [backup-simplify]: Simplify (- 1) into -1
0.287 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.290 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
0.294 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (* (/ -1/2 (sqrt 1.0)) 1))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.296 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
0.299 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (sqrt 1.0)))) 0) into (- (* 1/2 (/ 1 (sqrt 1.0))))
0.301 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt 1.0)))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.303 * [backup-simplify]: Simplify (- 0) into 0
0.303 * [backup-simplify]: Simplify (+ 0 0) into 0
0.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
0.306 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt 1.0)) 0) (* 0 1)))) into 0
0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.308 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.308 * [backup-simplify]: Simplify (+ 0 0) into 0
0.308 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.310 * [backup-simplify]: Simplify (- 0) into 0
0.311 * [backup-simplify]: Simplify (+ 0 0) into 0
0.316 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
0.332 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt 1.0)) 0) (+ (* 0 0) (* (/ -1/8 (pow (sqrt 1.0) 3)) 1))))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
0.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.335 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.340 * [backup-simplify]: Simplify (+ (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 0) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
0.343 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
0.351 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (pow x 3)) (+ (* (- (* 1/2 (/ 1 (sqrt 1.0)))) x) (* (+ (sqrt 1.0) 1.0) (/ 1 x)))) into (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
0.351 * [backup-simplify]: Simplify (+ (/ 1.0 (/ 1 x)) (/ (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))
0.351 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in (x) around 0
0.351 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
0.352 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 1 into 1
0.352 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.352 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.352 * [taylor]: Taking taylor expansion of 1.0 in x
0.352 * [backup-simplify]: Simplify 1.0 into 1.0
0.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 1 into 1
0.352 * [backup-simplify]: Simplify (* 1 1) into 1
0.353 * [backup-simplify]: Simplify (/ 1 1) into 1
0.353 * [backup-simplify]: Simplify (- 1) into -1
0.353 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.354 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.355 * [backup-simplify]: Simplify (- 0) into 0
0.356 * [backup-simplify]: Simplify (+ 0 0) into 0
0.356 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.356 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
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 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
0.356 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [backup-simplify]: Simplify 0 into 0
0.357 * [backup-simplify]: Simplify 1 into 1
0.357 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.357 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.357 * [taylor]: Taking taylor expansion of 1.0 in x
0.357 * [backup-simplify]: Simplify 1.0 into 1.0
0.357 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.357 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [backup-simplify]: Simplify 0 into 0
0.357 * [backup-simplify]: Simplify 1 into 1
0.357 * [backup-simplify]: Simplify (* 1 1) into 1
0.357 * [backup-simplify]: Simplify (/ 1 1) into 1
0.358 * [backup-simplify]: Simplify (- 1) into -1
0.358 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.359 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.360 * [backup-simplify]: Simplify (- 0) into 0
0.361 * [backup-simplify]: Simplify (+ 0 0) into 0
0.361 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.361 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.361 * [taylor]: Taking taylor expansion of 1.0 in x
0.361 * [backup-simplify]: Simplify 1.0 into 1.0
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify 1 into 1
0.362 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
0.362 * [backup-simplify]: Simplify (+ 0 0) into 0
0.362 * [backup-simplify]: Simplify 0 into 0
0.364 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
0.365 * [backup-simplify]: Simplify (* 1.0 0) into 0
0.365 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
0.366 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.368 * [backup-simplify]: Simplify (- 0) into 0
0.368 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.371 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
0.373 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
0.374 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
0.375 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.375 * [backup-simplify]: Simplify 1.0 into 1.0
0.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.377 * [backup-simplify]: Simplify (- 0) into 0
0.377 * [backup-simplify]: Simplify (+ 0 0) into 0
0.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
0.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
0.385 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
0.387 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
0.389 * [backup-simplify]: Simplify (* 0.5 (/ 1 (sqrt -1))) into (/ 0.5 (sqrt -1))
0.390 * [backup-simplify]: Simplify (+ (* (/ 0.5 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1.0 (/ 1 x)) (sqrt -1))) into (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x))))
0.391 * [backup-simplify]: Simplify (+ (/ 1.0 (/ 1 (- x))) (/ (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))
0.391 * [approximate]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0
0.391 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
0.391 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
0.391 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
0.391 * [taylor]: Taking taylor expansion of x in x
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 1 into 1
0.391 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.391 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.391 * [taylor]: Taking taylor expansion of 1.0 in x
0.391 * [backup-simplify]: Simplify 1.0 into 1.0
0.391 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.391 * [taylor]: Taking taylor expansion of x in x
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 1 into 1
0.391 * [backup-simplify]: Simplify (* 1 1) into 1
0.392 * [backup-simplify]: Simplify (/ 1 1) into 1
0.392 * [backup-simplify]: Simplify (- 1) into -1
0.392 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.393 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.394 * [backup-simplify]: Simplify (- 0) into 0
0.395 * [backup-simplify]: Simplify (+ 0 0) into 0
0.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.395 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.395 * [taylor]: Taking taylor expansion of 1.0 in x
0.395 * [backup-simplify]: Simplify 1.0 into 1.0
0.396 * [taylor]: Taking taylor expansion of x in x
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify 1 into 1
0.396 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
0.396 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
0.396 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify 1 into 1
0.396 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.396 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.396 * [taylor]: Taking taylor expansion of 1.0 in x
0.396 * [backup-simplify]: Simplify 1.0 into 1.0
0.396 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.396 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify 1 into 1
0.396 * [backup-simplify]: Simplify (* 1 1) into 1
0.397 * [backup-simplify]: Simplify (/ 1 1) into 1
0.397 * [backup-simplify]: Simplify (- 1) into -1
0.397 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.398 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.399 * [backup-simplify]: Simplify (- 0) into 0
0.400 * [backup-simplify]: Simplify (+ 0 0) into 0
0.400 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.400 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.400 * [taylor]: Taking taylor expansion of 1.0 in x
0.400 * [backup-simplify]: Simplify 1.0 into 1.0
0.400 * [taylor]: Taking taylor expansion of x in x
0.400 * [backup-simplify]: Simplify 0 into 0
0.400 * [backup-simplify]: Simplify 1 into 1
0.401 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
0.401 * [backup-simplify]: Simplify (+ 0 0) into 0
0.402 * [backup-simplify]: Simplify (- 0) into 0
0.402 * [backup-simplify]: Simplify 0 into 0
0.403 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
0.404 * [backup-simplify]: Simplify (* 1.0 0) into 0
0.409 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
0.410 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
0.411 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
0.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.413 * [backup-simplify]: Simplify (- 0) into 0
0.413 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.416 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
0.418 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
0.419 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
0.419 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.420 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.420 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.422 * [backup-simplify]: Simplify (- 0) into 0
0.422 * [backup-simplify]: Simplify (+ 0 0) into 0
0.424 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
0.429 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
0.430 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
0.432 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
0.434 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
0.436 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
0.440 * [backup-simplify]: Simplify (+ (* (- (* 0.5 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* (- 1.0) (/ 1 (- x))) (- (sqrt -1)))) into (- (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))
0.440 * * * [progress]: simplifying candidates
0.441 * [simplify]: Simplifying:
  (* (exp (/ 1.0 x)) (exp (/ (sqrt (- 1.0 (* x x))) x)))
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (* (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))
  (* x x)
  (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))
  (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))
  (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))
  (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ 1.0 (sqrt (- 1.0 (* x x))))
  (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
  (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x))))
  (- (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))
0.442 * * [simplify]: Extracting # 0 : cost  0
0.442 * * [simplify]: Extracting # 1 : cost  0
0.442 * * [simplify]: Extracting # 2 : cost  0
0.443 * * [simplify]: Extracting # 3 : cost  0
0.443 * * [simplify]: Extracting # 4 : cost  0
0.443 * * [simplify]: Extracting # 5 : cost  0
0.443 * * [simplify]: Extracting # 6 : cost  0
0.443 * * [simplify]: Extracting # 7 : cost  0
0.443 * * [simplify]: Extracting # 8 : cost  0
0.444 * * [simplify]: Extracting # 9 : cost  0
0.444 * * [simplify]: Extracting # 10 : cost  0
0.444 * * [simplify]: iteration  0 :  69  enodes  (cost  376 )
0.470 * * [simplify]: Extracting # 0 : cost  0
0.471 * * [simplify]: Extracting # 1 : cost  0
0.471 * * [simplify]: Extracting # 2 : cost  0
0.471 * * [simplify]: Extracting # 3 : cost  0
0.472 * * [simplify]: iteration  1 :  177  enodes  (cost  366 )
0.593 * * [simplify]: Extracting # 0 : cost  0
0.594 * * [simplify]: Extracting # 1 : cost  0
0.596 * * [simplify]: Extracting # 2 : cost  0
0.597 * * [simplify]: Extracting # 3 : cost  0
0.598 * * [simplify]: Extracting # 4 : cost  0
0.600 * * [simplify]: iteration  2 :  655  enodes  (cost  330 )
1.256 * * [simplify]: Extracting # 0 : cost  0
1.272 * * [simplify]: Extracting # 1 : cost  0
1.286 * * [simplify]: Extracting # 2 : cost  0
1.297 * * [simplify]: Extracting # 3 : cost  0
1.308 * * [simplify]: Extracting # 4 : cost  0
1.326 * * [simplify]: iteration done:  5000  enodes  (cost  319 )
1.327 * [simplify]: Simplified to:
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (pow (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) 3)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* x (+ (sqrt (- 1.0 (* x x))) 1.0))
  (* x x)
  (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))
  (+ (* (/ 1.0 x) (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (/ (- 1.0 (* x x)) (* x x)))
  (- (* (/ 1.0 x) (/ 1.0 x)) (/ (- 1.0 (* x x)) (* x x)))
  (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))
  (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ 1.0 (sqrt (- 1.0 (* x x))))
  (+ (- (/ 1.0 x) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (/ (sqrt 1.0) x))
  (+ (+ (sqrt -1) (/ 1.0 x)) (/ 0.5 (* (pow x 2) (sqrt -1))))
  (- (/ 1.0 x) (+ (sqrt -1) (/ 0.5 (* (pow x 2) (sqrt -1)))))
1.327 * * * [progress]: adding candidates to table
1.473 * * [progress]: iteration 2 / 4
1.473 * * * [progress]: picking best candidate
1.479 * * * * [pick]: Picked  #<alt (λ (x) (log (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))>
1.479 * * * [progress]: localizing error
1.517 * * * [progress]: generating rewritten candidates
1.517 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.005 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.236 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
2.312 * * * [progress]: generating series expansions
2.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.313 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) into (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))
2.313 * [approximate]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in (x) around 0
2.313 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
2.313 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
2.313 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
2.313 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
2.313 * [taylor]: Taking taylor expansion of 1.0 in x
2.313 * [backup-simplify]: Simplify 1.0 into 1.0
2.313 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.313 * [taylor]: Taking taylor expansion of x in x
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 1 into 1
2.314 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.314 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
2.315 * [backup-simplify]: Simplify (+ 0 0) into 0
2.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
2.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.315 * [taylor]: Taking taylor expansion of x in x
2.315 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 1 into 1
2.316 * [backup-simplify]: Simplify (/ 1 1) into 1
2.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.316 * [taylor]: Taking taylor expansion of 1.0 in x
2.316 * [backup-simplify]: Simplify 1.0 into 1.0
2.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.316 * [taylor]: Taking taylor expansion of x in x
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 1 into 1
2.316 * [backup-simplify]: Simplify (/ 1 1) into 1
2.317 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
2.317 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
2.317 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
2.317 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
2.317 * [taylor]: Taking taylor expansion of 1.0 in x
2.317 * [backup-simplify]: Simplify 1.0 into 1.0
2.317 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.317 * [taylor]: Taking taylor expansion of x in x
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [backup-simplify]: Simplify 1 into 1
2.317 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.318 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
2.318 * [backup-simplify]: Simplify (+ 0 0) into 0
2.319 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
2.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.319 * [taylor]: Taking taylor expansion of x in x
2.319 * [backup-simplify]: Simplify 0 into 0
2.319 * [backup-simplify]: Simplify 1 into 1
2.319 * [backup-simplify]: Simplify (/ 1 1) into 1
2.319 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.319 * [taylor]: Taking taylor expansion of 1.0 in x
2.319 * [backup-simplify]: Simplify 1.0 into 1.0
2.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.319 * [taylor]: Taking taylor expansion of x in x
2.319 * [backup-simplify]: Simplify 0 into 0
2.319 * [backup-simplify]: Simplify 1 into 1
2.320 * [backup-simplify]: Simplify (/ 1 1) into 1
2.321 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
2.321 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.322 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
2.322 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
2.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.324 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (* 0 1)) into 0
2.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.325 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.326 * [backup-simplify]: Simplify (+ 0 0) into 0
2.326 * [backup-simplify]: Simplify 0 into 0
2.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.327 * [backup-simplify]: Simplify (* 1 1) into 1
2.327 * [backup-simplify]: Simplify (- 1) into -1
2.328 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.330 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
2.334 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (* (/ -1/2 (sqrt 1.0)) 1))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.336 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.339 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (sqrt 1.0)))) 0) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.341 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt 1.0)))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.343 * [backup-simplify]: Simplify (- 0) into 0
2.344 * [backup-simplify]: Simplify (+ 0 0) into 0
2.345 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
2.346 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt 1.0)) 0) (* 0 1)))) into 0
2.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.348 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.349 * [backup-simplify]: Simplify (+ 0 0) into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.351 * [backup-simplify]: Simplify (- 0) into 0
2.352 * [backup-simplify]: Simplify (+ 0 0) into 0
2.358 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
2.369 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt 1.0)) 0) (+ (* 0 0) (* (/ -1/8 (pow (sqrt 1.0) 3)) 1))))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
2.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.371 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.376 * [backup-simplify]: Simplify (+ (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 0) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
2.380 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
2.387 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (pow x 3)) (+ (* (- (* 1/2 (/ 1 (sqrt 1.0)))) x) (* (+ (sqrt 1.0) 1.0) (/ 1 x)))) into (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
2.388 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1.0 (/ 1 x)) (/ (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) (sqrt (+ (/ 1.0 (/ 1 x)) (/ (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) (/ 1 x))))) into (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))
2.388 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in (x) around 0
2.388 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.388 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.388 * [taylor]: Taking taylor expansion of x in x
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify 1 into 1
2.388 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.388 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.388 * [taylor]: Taking taylor expansion of 1.0 in x
2.388 * [backup-simplify]: Simplify 1.0 into 1.0
2.388 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.388 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.388 * [taylor]: Taking taylor expansion of x in x
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify 1 into 1
2.389 * [backup-simplify]: Simplify (* 1 1) into 1
2.389 * [backup-simplify]: Simplify (/ 1 1) into 1
2.390 * [backup-simplify]: Simplify (- 1) into -1
2.390 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.390 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.391 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.392 * [backup-simplify]: Simplify (- 0) into 0
2.392 * [backup-simplify]: Simplify (+ 0 0) into 0
2.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.393 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.393 * [taylor]: Taking taylor expansion of 1.0 in x
2.393 * [backup-simplify]: Simplify 1.0 into 1.0
2.393 * [taylor]: Taking taylor expansion of x in x
2.393 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify 1 into 1
2.393 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.393 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.393 * [taylor]: Taking taylor expansion of x in x
2.393 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify 1 into 1
2.393 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.393 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.393 * [taylor]: Taking taylor expansion of 1.0 in x
2.393 * [backup-simplify]: Simplify 1.0 into 1.0
2.393 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.393 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.393 * [taylor]: Taking taylor expansion of x in x
2.393 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify 1 into 1
2.394 * [backup-simplify]: Simplify (* 1 1) into 1
2.394 * [backup-simplify]: Simplify (/ 1 1) into 1
2.394 * [backup-simplify]: Simplify (- 1) into -1
2.395 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.395 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.397 * [backup-simplify]: Simplify (- 0) into 0
2.397 * [backup-simplify]: Simplify (+ 0 0) into 0
2.398 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.398 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.398 * [taylor]: Taking taylor expansion of 1.0 in x
2.398 * [backup-simplify]: Simplify 1.0 into 1.0
2.398 * [taylor]: Taking taylor expansion of x in x
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.399 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.399 * [backup-simplify]: Simplify (+ 0 0) into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.401 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.401 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.402 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.402 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.404 * [backup-simplify]: Simplify (- 0) into 0
2.405 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.408 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.409 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.411 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.411 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.411 * [backup-simplify]: Simplify 1.0 into 1.0
2.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.414 * [backup-simplify]: Simplify (- 0) into 0
2.414 * [backup-simplify]: Simplify (+ 0 0) into 0
2.416 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
2.421 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
2.422 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.424 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
2.426 * [backup-simplify]: Simplify (* 0.5 (/ 1 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.433 * [backup-simplify]: Simplify (+ (* (/ 0.5 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1.0 (/ 1 x)) (sqrt -1))) into (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x))))
2.434 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1.0 (/ 1 (- x))) (/ (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) (sqrt (+ (/ 1.0 (/ 1 (- x))) (/ (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))))) into (pow (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) 2)
2.434 * [approximate]: Taking taylor expansion of (pow (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) 2) in (x) around 0
2.434 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) 2) in x
2.434 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x
2.434 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
2.434 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.434 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.434 * [taylor]: Taking taylor expansion of x in x
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify 1 into 1
2.434 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.434 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.434 * [taylor]: Taking taylor expansion of 1.0 in x
2.434 * [backup-simplify]: Simplify 1.0 into 1.0
2.434 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.434 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.434 * [taylor]: Taking taylor expansion of x in x
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify 1 into 1
2.435 * [backup-simplify]: Simplify (* 1 1) into 1
2.435 * [backup-simplify]: Simplify (/ 1 1) into 1
2.436 * [backup-simplify]: Simplify (- 1) into -1
2.436 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.437 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.438 * [backup-simplify]: Simplify (- 0) into 0
2.438 * [backup-simplify]: Simplify (+ 0 0) into 0
2.439 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.439 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.439 * [taylor]: Taking taylor expansion of 1.0 in x
2.439 * [backup-simplify]: Simplify 1.0 into 1.0
2.439 * [taylor]: Taking taylor expansion of x in x
2.439 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify 1 into 1
2.440 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.440 * [backup-simplify]: Simplify (+ 0 0) into 0
2.440 * [backup-simplify]: Simplify (- 0) into 0
2.442 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.443 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.443 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.444 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.445 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.446 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
2.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.448 * [backup-simplify]: Simplify (- 0) into 0
2.448 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.451 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.452 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.454 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.454 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.455 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.455 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.458 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- (sqrt -1))))) into (/ -0.5 (sqrt (- (sqrt -1))))
2.458 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) 2) in x
2.458 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x
2.458 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
2.458 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.458 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.458 * [taylor]: Taking taylor expansion of x in x
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.459 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.459 * [taylor]: Taking taylor expansion of 1.0 in x
2.459 * [backup-simplify]: Simplify 1.0 into 1.0
2.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [backup-simplify]: Simplify (* 1 1) into 1
2.459 * [backup-simplify]: Simplify (/ 1 1) into 1
2.460 * [backup-simplify]: Simplify (- 1) into -1
2.460 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.460 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.461 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.462 * [backup-simplify]: Simplify (- 0) into 0
2.462 * [backup-simplify]: Simplify (+ 0 0) into 0
2.463 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.463 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.463 * [taylor]: Taking taylor expansion of 1.0 in x
2.463 * [backup-simplify]: Simplify 1.0 into 1.0
2.463 * [taylor]: Taking taylor expansion of x in x
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.464 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.464 * [backup-simplify]: Simplify (+ 0 0) into 0
2.464 * [backup-simplify]: Simplify (- 0) into 0
2.466 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.467 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.469 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.470 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.472 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.474 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
2.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.476 * [backup-simplify]: Simplify (- 0) into 0
2.476 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.480 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.481 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.482 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.483 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.483 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.484 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.487 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- (sqrt -1))))) into (/ -0.5 (sqrt (- (sqrt -1))))
2.490 * [backup-simplify]: Simplify (* (sqrt (- (sqrt -1))) (sqrt (- (sqrt -1)))) into (pow (sqrt (- (sqrt -1))) 2)
2.492 * [backup-simplify]: Simplify (pow (sqrt (- (sqrt -1))) 2) into (pow (sqrt (- (sqrt -1))) 2)
2.500 * [backup-simplify]: Simplify (+ (* (sqrt (- (sqrt -1))) (/ -0.5 (sqrt (- (sqrt -1))))) (* (/ -0.5 (sqrt (- (sqrt -1)))) (sqrt (- (sqrt -1))))) into (- 1.0)
2.500 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.502 * [backup-simplify]: Simplify (- 0) into 0
2.503 * [backup-simplify]: Simplify (+ 0 0) into 0
2.504 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
2.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
2.510 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.512 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
2.514 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
2.525 * [backup-simplify]: Simplify (/ (- (- (* 0.5 (/ 1 (sqrt -1)))) (pow (/ -0.5 (sqrt (- (sqrt -1)))) 2) (+)) (* 2 (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1)))))
2.577 * [backup-simplify]: Simplify (+ (* (sqrt (- (sqrt -1))) (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1)))))) (+ (* (/ -0.5 (sqrt (- (sqrt -1)))) (/ -0.5 (sqrt (- (sqrt -1))))) (* (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1)))))) into (- (* 0.5 (/ 1 (sqrt -1))))
2.579 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
2.584 * [backup-simplify]: Simplify (+ (* (- (* 0.5 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* (- 1.0) (/ 1 (- x))) (pow (sqrt (- (sqrt -1))) 2))) into (- (+ (* 1.0 (/ 1 x)) (pow (sqrt (- (sqrt -1))) 2)) (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))))
2.584 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.585 * [backup-simplify]: Simplify (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) into (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))))
2.585 * [approximate]: Taking taylor expansion of (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in (x) around 0
2.585 * [taylor]: Taking taylor expansion of (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x
2.585 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
2.585 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
2.585 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
2.585 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
2.585 * [taylor]: Taking taylor expansion of 1.0 in x
2.585 * [backup-simplify]: Simplify 1.0 into 1.0
2.585 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.585 * [taylor]: Taking taylor expansion of x in x
2.585 * [backup-simplify]: Simplify 0 into 0
2.585 * [backup-simplify]: Simplify 1 into 1
2.585 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.586 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
2.586 * [backup-simplify]: Simplify (+ 0 0) into 0
2.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
2.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.587 * [taylor]: Taking taylor expansion of x in x
2.587 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify 1 into 1
2.587 * [backup-simplify]: Simplify (/ 1 1) into 1
2.587 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.587 * [taylor]: Taking taylor expansion of 1.0 in x
2.587 * [backup-simplify]: Simplify 1.0 into 1.0
2.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.587 * [taylor]: Taking taylor expansion of x in x
2.587 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [backup-simplify]: Simplify (/ 1 1) into 1
2.589 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
2.589 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.590 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
2.591 * [backup-simplify]: Simplify (sqrt 0) into 0
2.593 * [backup-simplify]: Simplify (/ (+ (sqrt 1.0) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ (sqrt 1.0) 1.0))
2.593 * [taylor]: Taking taylor expansion of (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x
2.594 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
2.594 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
2.594 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
2.594 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
2.594 * [taylor]: Taking taylor expansion of 1.0 in x
2.594 * [backup-simplify]: Simplify 1.0 into 1.0
2.594 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.594 * [taylor]: Taking taylor expansion of x in x
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 1 into 1
2.594 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.595 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
2.595 * [backup-simplify]: Simplify (+ 0 0) into 0
2.596 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
2.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.596 * [taylor]: Taking taylor expansion of x in x
2.596 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify 1 into 1
2.596 * [backup-simplify]: Simplify (/ 1 1) into 1
2.596 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.596 * [taylor]: Taking taylor expansion of 1.0 in x
2.596 * [backup-simplify]: Simplify 1.0 into 1.0
2.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.596 * [taylor]: Taking taylor expansion of x in x
2.596 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify 1 into 1
2.597 * [backup-simplify]: Simplify (/ 1 1) into 1
2.597 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
2.598 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.599 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
2.599 * [backup-simplify]: Simplify (sqrt 0) into 0
2.601 * [backup-simplify]: Simplify (/ (+ (sqrt 1.0) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ (sqrt 1.0) 1.0))
2.601 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify (* +nan.0 (+ (sqrt 1.0) 1.0)) into (* +nan.0 (+ (sqrt 1.0) 1.0))
2.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.604 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (* 0 1)) into 0
2.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.606 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.606 * [backup-simplify]: Simplify (+ 0 0) into 0
2.612 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ (sqrt 1.0) 1.0)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))
2.620 * [backup-simplify]: Simplify (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))) into (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))
2.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.621 * [backup-simplify]: Simplify (* 1 1) into 1
2.622 * [backup-simplify]: Simplify (- 1) into -1
2.622 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.625 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
2.629 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (* (/ -1/2 (sqrt 1.0)) 1))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.631 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.634 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (sqrt 1.0)))) 0) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.659 * [backup-simplify]: Simplify (/ (- (- (* 1/2 (/ 1 (sqrt 1.0)))) (+ (* 2 (* (* +nan.0 (+ (sqrt 1.0) 1.0)) (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* 1/2 (/ 1 (sqrt 1.0))) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))))))
2.681 * [backup-simplify]: Simplify (* +nan.0 (+ (* 1/2 (/ 1 (sqrt 1.0))) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))))))) into (* +nan.0 (- (* 1/2 (/ 1 (sqrt 1.0))) (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))))))
2.714 * [backup-simplify]: Simplify (+ (* (* +nan.0 (- (* 1/2 (/ 1 (sqrt 1.0))) (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))))) (pow x 2)) (+ (* (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))) x) (* +nan.0 (+ (sqrt 1.0) 1.0)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (sqrt 1.0))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (pow (sqrt 1.0) 2))) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (- +nan.0)))))))))))))))))))
2.715 * [backup-simplify]: Simplify (sqrt (+ (/ 1.0 (/ 1 x)) (/ (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))
2.715 * [approximate]: Taking taylor expansion of (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0
2.715 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
2.715 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.715 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.715 * [taylor]: Taking taylor expansion of x in x
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify 1 into 1
2.715 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.715 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.715 * [taylor]: Taking taylor expansion of 1.0 in x
2.715 * [backup-simplify]: Simplify 1.0 into 1.0
2.715 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.715 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.715 * [taylor]: Taking taylor expansion of x in x
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify 1 into 1
2.715 * [backup-simplify]: Simplify (* 1 1) into 1
2.716 * [backup-simplify]: Simplify (/ 1 1) into 1
2.716 * [backup-simplify]: Simplify (- 1) into -1
2.717 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.717 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.718 * [backup-simplify]: Simplify (- 0) into 0
2.719 * [backup-simplify]: Simplify (+ 0 0) into 0
2.719 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.719 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.720 * [taylor]: Taking taylor expansion of 1.0 in x
2.720 * [backup-simplify]: Simplify 1.0 into 1.0
2.720 * [taylor]: Taking taylor expansion of x in x
2.720 * [backup-simplify]: Simplify 0 into 0
2.720 * [backup-simplify]: Simplify 1 into 1
2.720 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.721 * [backup-simplify]: Simplify (+ 0 0) into 0
2.722 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.723 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.724 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.724 * [backup-simplify]: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1))
2.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.726 * [backup-simplify]: Simplify (- 0) into 0
2.727 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.730 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.731 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.732 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.733 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.735 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (sqrt -1)))) into (* 0.5 (sqrt (/ 1 (sqrt -1))))
2.735 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
2.735 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.735 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.735 * [taylor]: Taking taylor expansion of x in x
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify 1 into 1
2.735 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.735 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.735 * [taylor]: Taking taylor expansion of 1.0 in x
2.735 * [backup-simplify]: Simplify 1.0 into 1.0
2.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.735 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.735 * [taylor]: Taking taylor expansion of x in x
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify 1 into 1
2.736 * [backup-simplify]: Simplify (* 1 1) into 1
2.736 * [backup-simplify]: Simplify (/ 1 1) into 1
2.736 * [backup-simplify]: Simplify (- 1) into -1
2.737 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.737 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.738 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.739 * [backup-simplify]: Simplify (- 0) into 0
2.739 * [backup-simplify]: Simplify (+ 0 0) into 0
2.740 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.740 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.740 * [taylor]: Taking taylor expansion of 1.0 in x
2.740 * [backup-simplify]: Simplify 1.0 into 1.0
2.740 * [taylor]: Taking taylor expansion of x in x
2.740 * [backup-simplify]: Simplify 0 into 0
2.740 * [backup-simplify]: Simplify 1 into 1
2.741 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.741 * [backup-simplify]: Simplify (+ 0 0) into 0
2.743 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.743 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.744 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.745 * [backup-simplify]: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1))
2.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.747 * [backup-simplify]: Simplify (- 0) into 0
2.748 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.751 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.753 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.754 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.755 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.757 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (sqrt -1)))) into (* 0.5 (sqrt (/ 1 (sqrt -1))))
2.758 * [backup-simplify]: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1))
2.760 * [backup-simplify]: Simplify (* 0.5 (sqrt (/ 1 (sqrt -1)))) into (* 0.5 (sqrt (/ 1 (sqrt -1))))
2.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.762 * [backup-simplify]: Simplify (- 0) into 0
2.763 * [backup-simplify]: Simplify (+ 0 0) into 0
2.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
2.769 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
2.770 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.773 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
2.783 * [backup-simplify]: Simplify (/ (- (* 0.5 (/ 1 (sqrt -1))) (pow (* 0.5 (sqrt (/ 1 (sqrt -1)))) 2) (+)) (* 2 (sqrt (sqrt -1)))) into (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3))))
2.786 * [backup-simplify]: Simplify (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3)))) into (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3))))
2.793 * [backup-simplify]: Simplify (+ (* (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 x) 2)) (+ (* (* 0.5 (sqrt (/ 1 (sqrt -1)))) (/ 1 x)) (sqrt (sqrt -1)))) into (+ (* 0.125 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (* 0.5 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))) (sqrt (sqrt -1))))
2.794 * [backup-simplify]: Simplify (sqrt (+ (/ 1.0 (/ 1 (- x))) (/ (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))))
2.794 * [approximate]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in (x) around 0
2.794 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x
2.794 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
2.794 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.794 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.794 * [taylor]: Taking taylor expansion of x in x
2.794 * [backup-simplify]: Simplify 0 into 0
2.794 * [backup-simplify]: Simplify 1 into 1
2.794 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.794 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.794 * [taylor]: Taking taylor expansion of 1.0 in x
2.794 * [backup-simplify]: Simplify 1.0 into 1.0
2.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.794 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.794 * [taylor]: Taking taylor expansion of x in x
2.794 * [backup-simplify]: Simplify 0 into 0
2.794 * [backup-simplify]: Simplify 1 into 1
2.795 * [backup-simplify]: Simplify (* 1 1) into 1
2.795 * [backup-simplify]: Simplify (/ 1 1) into 1
2.795 * [backup-simplify]: Simplify (- 1) into -1
2.796 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.796 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.797 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.798 * [backup-simplify]: Simplify (- 0) into 0
2.798 * [backup-simplify]: Simplify (+ 0 0) into 0
2.798 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.799 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.799 * [taylor]: Taking taylor expansion of 1.0 in x
2.799 * [backup-simplify]: Simplify 1.0 into 1.0
2.799 * [taylor]: Taking taylor expansion of x in x
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify 1 into 1
2.799 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.799 * [backup-simplify]: Simplify (+ 0 0) into 0
2.800 * [backup-simplify]: Simplify (- 0) into 0
2.802 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.802 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.803 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.804 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.805 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.806 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
2.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.808 * [backup-simplify]: Simplify (- 0) into 0
2.808 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.811 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.812 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.813 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.814 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.814 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.815 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.818 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- (sqrt -1))))) into (/ -0.5 (sqrt (- (sqrt -1))))
2.818 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x
2.818 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
2.818 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
2.818 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
2.818 * [taylor]: Taking taylor expansion of x in x
2.818 * [backup-simplify]: Simplify 0 into 0
2.818 * [backup-simplify]: Simplify 1 into 1
2.818 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
2.818 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
2.818 * [taylor]: Taking taylor expansion of 1.0 in x
2.818 * [backup-simplify]: Simplify 1.0 into 1.0
2.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.818 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.818 * [taylor]: Taking taylor expansion of x in x
2.818 * [backup-simplify]: Simplify 0 into 0
2.818 * [backup-simplify]: Simplify 1 into 1
2.819 * [backup-simplify]: Simplify (* 1 1) into 1
2.819 * [backup-simplify]: Simplify (/ 1 1) into 1
2.819 * [backup-simplify]: Simplify (- 1) into -1
2.820 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.820 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
2.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.822 * [backup-simplify]: Simplify (- 0) into 0
2.822 * [backup-simplify]: Simplify (+ 0 0) into 0
2.823 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
2.823 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.823 * [taylor]: Taking taylor expansion of 1.0 in x
2.823 * [backup-simplify]: Simplify 1.0 into 1.0
2.823 * [taylor]: Taking taylor expansion of x in x
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify 1 into 1
2.824 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
2.824 * [backup-simplify]: Simplify (+ 0 0) into 0
2.824 * [backup-simplify]: Simplify (- 0) into 0
2.827 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
2.827 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.828 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
2.829 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.830 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.831 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
2.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.839 * [backup-simplify]: Simplify (- 0) into 0
2.840 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.844 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
2.846 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
2.847 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.848 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.849 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.850 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
2.853 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- (sqrt -1))))) into (/ -0.5 (sqrt (- (sqrt -1))))
2.855 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
2.860 * [backup-simplify]: Simplify (/ -0.5 (sqrt (- (sqrt -1)))) into (/ -0.5 (sqrt (- (sqrt -1))))
2.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.865 * [backup-simplify]: Simplify (- 0) into 0
2.866 * [backup-simplify]: Simplify (+ 0 0) into 0
2.868 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
2.874 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
2.875 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.877 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
2.879 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
2.890 * [backup-simplify]: Simplify (/ (- (- (* 0.5 (/ 1 (sqrt -1)))) (pow (/ -0.5 (sqrt (- (sqrt -1)))) 2) (+)) (* 2 (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1)))))
2.903 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1)))))
2.919 * [backup-simplify]: Simplify (+ (* (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) (pow (/ 1 (- x)) 2)) (+ (* (/ -0.5 (sqrt (- (sqrt -1)))) (/ 1 (- x))) (sqrt (- (sqrt -1))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt (- (sqrt -1)))))) (sqrt (- (sqrt -1)))) (+ (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- (sqrt -1))) 3)))) (* 0.25 (/ 1 (* (pow x 2) (* (sqrt -1) (sqrt (- (sqrt -1)))))))))
2.919 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.919 * [backup-simplify]: Simplify (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) into (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))))
2.919 * [approximate]: Taking taylor expansion of (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in (x) around 0
2.919 * [taylor]: Taking taylor expansion of (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x
2.919 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
2.919 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
2.919 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
2.919 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
2.919 * [taylor]: Taking taylor expansion of 1.0 in x
2.919 * [backup-simplify]: Simplify 1.0 into 1.0
2.919 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.919 * [taylor]: Taking taylor expansion of x in x
2.919 * [backup-simplify]: Simplify 0 into 0
2.919 * [backup-simplify]: Simplify 1 into 1
2.920 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.920 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
2.921 * [backup-simplify]: Simplify (+ 0 0) into 0
2.921 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
2.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.921 * [taylor]: Taking taylor expansion of x in x
2.921 * [backup-simplify]: Simplify 0 into 0
2.921 * [backup-simplify]: Simplify 1 into 1
2.922 * [backup-simplify]: Simplify (/ 1 1) into 1
2.922 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.922 * [taylor]: Taking taylor expansion of 1.0 in x
2.922 * [backup-simplify]: Simplify 1.0 into 1.0
2.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.922 * [taylor]: Taking taylor expansion of x in x
2.922 * [backup-simplify]: Simplify 0 into 0
2.922 * [backup-simplify]: Simplify 1 into 1
2.922 * [backup-simplify]: Simplify (/ 1 1) into 1
2.923 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
2.924 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.924 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
2.925 * [backup-simplify]: Simplify (sqrt 0) into 0
2.927 * [backup-simplify]: Simplify (/ (+ (sqrt 1.0) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ (sqrt 1.0) 1.0))
2.927 * [taylor]: Taking taylor expansion of (sqrt (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x
2.927 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
2.927 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
2.927 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
2.927 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
2.927 * [taylor]: Taking taylor expansion of 1.0 in x
2.927 * [backup-simplify]: Simplify 1.0 into 1.0
2.927 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [backup-simplify]: Simplify 0 into 0
2.928 * [backup-simplify]: Simplify 1 into 1
2.928 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.928 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
2.929 * [backup-simplify]: Simplify (+ 0 0) into 0
2.929 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
2.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.929 * [taylor]: Taking taylor expansion of x in x
2.929 * [backup-simplify]: Simplify 0 into 0
2.929 * [backup-simplify]: Simplify 1 into 1
2.930 * [backup-simplify]: Simplify (/ 1 1) into 1
2.930 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.930 * [taylor]: Taking taylor expansion of 1.0 in x
2.930 * [backup-simplify]: Simplify 1.0 into 1.0
2.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.930 * [taylor]: Taking taylor expansion of x in x
2.930 * [backup-simplify]: Simplify 0 into 0
2.930 * [backup-simplify]: Simplify 1 into 1
2.930 * [backup-simplify]: Simplify (/ 1 1) into 1
2.931 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
2.932 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.932 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
2.933 * [backup-simplify]: Simplify (sqrt 0) into 0
2.935 * [backup-simplify]: Simplify (/ (+ (sqrt 1.0) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ (sqrt 1.0) 1.0))
2.935 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify (* +nan.0 (+ (sqrt 1.0) 1.0)) into (* +nan.0 (+ (sqrt 1.0) 1.0))
2.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.938 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (* 0 1)) into 0
2.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.939 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.939 * [backup-simplify]: Simplify (+ 0 0) into 0
2.945 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ (sqrt 1.0) 1.0)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))
2.952 * [backup-simplify]: Simplify (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))) into (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))
2.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.953 * [backup-simplify]: Simplify (* 1 1) into 1
2.953 * [backup-simplify]: Simplify (- 1) into -1
2.954 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.956 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
2.960 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (* (/ -1/2 (sqrt 1.0)) 1))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.962 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.965 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (sqrt 1.0)))) 0) into (- (* 1/2 (/ 1 (sqrt 1.0))))
2.995 * [backup-simplify]: Simplify (/ (- (- (* 1/2 (/ 1 (sqrt 1.0)))) (+ (* 2 (* (* +nan.0 (+ (sqrt 1.0) 1.0)) (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* 1/2 (/ 1 (sqrt 1.0))) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))))))
3.018 * [backup-simplify]: Simplify (* +nan.0 (+ (* 1/2 (/ 1 (sqrt 1.0))) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))))))) into (* +nan.0 (- (* 1/2 (/ 1 (sqrt 1.0))) (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))))))
3.049 * [backup-simplify]: Simplify (+ (* (* +nan.0 (- (* 1/2 (/ 1 (sqrt 1.0))) (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 3)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0)))))))) (pow x 2)) (+ (* (* +nan.0 (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (pow (sqrt 1.0) 2)) (- +nan.0))))) x) (* +nan.0 (+ (sqrt 1.0) 1.0)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (sqrt 1.0))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (pow (sqrt 1.0) 2))) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (- +nan.0)))))))))))))))))))
3.050 * [backup-simplify]: Simplify (sqrt (+ (/ 1.0 (/ 1 x)) (/ (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))
3.050 * [approximate]: Taking taylor expansion of (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0
3.050 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
3.050 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.050 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.050 * [taylor]: Taking taylor expansion of x in x
3.050 * [backup-simplify]: Simplify 0 into 0
3.050 * [backup-simplify]: Simplify 1 into 1
3.050 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.050 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.050 * [taylor]: Taking taylor expansion of 1.0 in x
3.050 * [backup-simplify]: Simplify 1.0 into 1.0
3.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.050 * [taylor]: Taking taylor expansion of x in x
3.050 * [backup-simplify]: Simplify 0 into 0
3.050 * [backup-simplify]: Simplify 1 into 1
3.051 * [backup-simplify]: Simplify (* 1 1) into 1
3.051 * [backup-simplify]: Simplify (/ 1 1) into 1
3.052 * [backup-simplify]: Simplify (- 1) into -1
3.052 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.052 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.054 * [backup-simplify]: Simplify (- 0) into 0
3.054 * [backup-simplify]: Simplify (+ 0 0) into 0
3.055 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.055 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.055 * [taylor]: Taking taylor expansion of 1.0 in x
3.055 * [backup-simplify]: Simplify 1.0 into 1.0
3.055 * [taylor]: Taking taylor expansion of x in x
3.055 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify 1 into 1
3.056 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
3.056 * [backup-simplify]: Simplify (+ 0 0) into 0
3.058 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
3.058 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.059 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
3.060 * [backup-simplify]: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1))
3.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.062 * [backup-simplify]: Simplify (- 0) into 0
3.062 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.065 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.066 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
3.068 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.068 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.070 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (sqrt -1)))) into (* 0.5 (sqrt (/ 1 (sqrt -1))))
3.070 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
3.070 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.070 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.071 * [taylor]: Taking taylor expansion of x in x
3.071 * [backup-simplify]: Simplify 0 into 0
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.071 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.071 * [taylor]: Taking taylor expansion of 1.0 in x
3.071 * [backup-simplify]: Simplify 1.0 into 1.0
3.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.071 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.071 * [taylor]: Taking taylor expansion of x in x
3.071 * [backup-simplify]: Simplify 0 into 0
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [backup-simplify]: Simplify (* 1 1) into 1
3.072 * [backup-simplify]: Simplify (/ 1 1) into 1
3.072 * [backup-simplify]: Simplify (- 1) into -1
3.072 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.073 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.074 * [backup-simplify]: Simplify (- 0) into 0
3.075 * [backup-simplify]: Simplify (+ 0 0) into 0
3.075 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.075 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.075 * [taylor]: Taking taylor expansion of 1.0 in x
3.075 * [backup-simplify]: Simplify 1.0 into 1.0
3.075 * [taylor]: Taking taylor expansion of x in x
3.075 * [backup-simplify]: Simplify 0 into 0
3.075 * [backup-simplify]: Simplify 1 into 1
3.076 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
3.076 * [backup-simplify]: Simplify (+ 0 0) into 0
3.078 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
3.078 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.079 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
3.080 * [backup-simplify]: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1))
3.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.082 * [backup-simplify]: Simplify (- 0) into 0
3.082 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.085 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.087 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
3.088 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.088 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.090 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (sqrt -1)))) into (* 0.5 (sqrt (/ 1 (sqrt -1))))
3.092 * [backup-simplify]: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1))
3.094 * [backup-simplify]: Simplify (* 0.5 (sqrt (/ 1 (sqrt -1)))) into (* 0.5 (sqrt (/ 1 (sqrt -1))))
3.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.096 * [backup-simplify]: Simplify (- 0) into 0
3.096 * [backup-simplify]: Simplify (+ 0 0) into 0
3.097 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.102 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
3.103 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.106 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
3.120 * [backup-simplify]: Simplify (/ (- (* 0.5 (/ 1 (sqrt -1))) (pow (* 0.5 (sqrt (/ 1 (sqrt -1)))) 2) (+)) (* 2 (sqrt (sqrt -1)))) into (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3))))
3.123 * [backup-simplify]: Simplify (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3)))) into (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3))))
3.129 * [backup-simplify]: Simplify (+ (* (* 0.125 (sqrt (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 x) 2)) (+ (* (* 0.5 (sqrt (/ 1 (sqrt -1)))) (/ 1 x)) (sqrt (sqrt -1)))) into (+ (* 0.125 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (* 0.5 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))) (sqrt (sqrt -1))))
3.130 * [backup-simplify]: Simplify (sqrt (+ (/ 1.0 (/ 1 (- x))) (/ (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))))
3.130 * [approximate]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in (x) around 0
3.130 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x
3.130 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
3.130 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.130 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.130 * [taylor]: Taking taylor expansion of x in x
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 1 into 1
3.130 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.130 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.130 * [taylor]: Taking taylor expansion of 1.0 in x
3.130 * [backup-simplify]: Simplify 1.0 into 1.0
3.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.130 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.130 * [taylor]: Taking taylor expansion of x in x
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 1 into 1
3.131 * [backup-simplify]: Simplify (* 1 1) into 1
3.131 * [backup-simplify]: Simplify (/ 1 1) into 1
3.132 * [backup-simplify]: Simplify (- 1) into -1
3.132 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.132 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.134 * [backup-simplify]: Simplify (- 0) into 0
3.134 * [backup-simplify]: Simplify (+ 0 0) into 0
3.135 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.135 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.135 * [taylor]: Taking taylor expansion of 1.0 in x
3.135 * [backup-simplify]: Simplify 1.0 into 1.0
3.135 * [taylor]: Taking taylor expansion of x in x
3.135 * [backup-simplify]: Simplify 0 into 0
3.135 * [backup-simplify]: Simplify 1 into 1
3.135 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
3.136 * [backup-simplify]: Simplify (+ 0 0) into 0
3.136 * [backup-simplify]: Simplify (- 0) into 0
3.138 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
3.138 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.139 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
3.140 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.140 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.142 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
3.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.144 * [backup-simplify]: Simplify (- 0) into 0
3.144 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.147 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.149 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
3.150 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.150 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.151 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.151 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.154 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- (sqrt -1))))) into (/ -0.5 (sqrt (- (sqrt -1))))
3.154 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x
3.154 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
3.155 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.155 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.155 * [taylor]: Taking taylor expansion of x in x
3.155 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify 1 into 1
3.155 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.155 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.155 * [taylor]: Taking taylor expansion of 1.0 in x
3.155 * [backup-simplify]: Simplify 1.0 into 1.0
3.155 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.155 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.155 * [taylor]: Taking taylor expansion of x in x
3.155 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify 1 into 1
3.155 * [backup-simplify]: Simplify (* 1 1) into 1
3.156 * [backup-simplify]: Simplify (/ 1 1) into 1
3.156 * [backup-simplify]: Simplify (- 1) into -1
3.156 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.157 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.157 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.158 * [backup-simplify]: Simplify (- 0) into 0
3.158 * [backup-simplify]: Simplify (+ 0 0) into 0
3.159 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.159 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.159 * [taylor]: Taking taylor expansion of 1.0 in x
3.159 * [backup-simplify]: Simplify 1.0 into 1.0
3.159 * [taylor]: Taking taylor expansion of x in x
3.159 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify 1 into 1
3.160 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
3.160 * [backup-simplify]: Simplify (+ 0 0) into 0
3.160 * [backup-simplify]: Simplify (- 0) into 0
3.162 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
3.163 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.163 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
3.164 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.165 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.166 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
3.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.168 * [backup-simplify]: Simplify (- 0) into 0
3.168 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.171 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.172 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
3.173 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.174 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.174 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.175 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.178 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- (sqrt -1))))) into (/ -0.5 (sqrt (- (sqrt -1))))
3.179 * [backup-simplify]: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1)))
3.181 * [backup-simplify]: Simplify (/ -0.5 (sqrt (- (sqrt -1)))) into (/ -0.5 (sqrt (- (sqrt -1))))
3.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.183 * [backup-simplify]: Simplify (- 0) into 0
3.183 * [backup-simplify]: Simplify (+ 0 0) into 0
3.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.189 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
3.191 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.193 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
3.195 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
3.206 * [backup-simplify]: Simplify (/ (- (- (* 0.5 (/ 1 (sqrt -1)))) (pow (/ -0.5 (sqrt (- (sqrt -1)))) 2) (+)) (* 2 (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1)))))
3.221 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1)))))
3.236 * [backup-simplify]: Simplify (+ (* (* -1/2 (/ (+ (* 0.25 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 0.5 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) (pow (/ 1 (- x)) 2)) (+ (* (/ -0.5 (sqrt (- (sqrt -1)))) (/ 1 (- x))) (sqrt (- (sqrt -1))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt (- (sqrt -1)))))) (sqrt (- (sqrt -1)))) (+ (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- (sqrt -1))) 3)))) (* 0.25 (/ 1 (* (pow x 2) (* (sqrt -1) (sqrt (- (sqrt -1)))))))))
3.236 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
3.237 * [backup-simplify]: Simplify (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) into (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))
3.237 * [approximate]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in (x) around 0
3.237 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
3.237 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
3.237 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.237 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.237 * [taylor]: Taking taylor expansion of 1.0 in x
3.237 * [backup-simplify]: Simplify 1.0 into 1.0
3.237 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.237 * [taylor]: Taking taylor expansion of x in x
3.237 * [backup-simplify]: Simplify 0 into 0
3.237 * [backup-simplify]: Simplify 1 into 1
3.238 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.238 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.241 * [backup-simplify]: Simplify (+ 0 0) into 0
3.242 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.242 * [taylor]: Taking taylor expansion of x in x
3.242 * [backup-simplify]: Simplify 0 into 0
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.243 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
3.243 * [taylor]: Taking taylor expansion of 1.0 in x
3.243 * [backup-simplify]: Simplify 1.0 into 1.0
3.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.243 * [taylor]: Taking taylor expansion of x in x
3.243 * [backup-simplify]: Simplify 0 into 0
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.243 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x
3.243 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x
3.243 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.244 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.244 * [taylor]: Taking taylor expansion of 1.0 in x
3.244 * [backup-simplify]: Simplify 1.0 into 1.0
3.244 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [backup-simplify]: Simplify 0 into 0
3.244 * [backup-simplify]: Simplify 1 into 1
3.244 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.244 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.245 * [backup-simplify]: Simplify (+ 0 0) into 0
3.245 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify 1 into 1
3.246 * [backup-simplify]: Simplify (/ 1 1) into 1
3.246 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
3.246 * [taylor]: Taking taylor expansion of 1.0 in x
3.246 * [backup-simplify]: Simplify 1.0 into 1.0
3.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.246 * [taylor]: Taking taylor expansion of x in x
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify 1 into 1
3.246 * [backup-simplify]: Simplify (/ 1 1) into 1
3.247 * [backup-simplify]: Simplify (* (sqrt 1.0) 1) into (sqrt 1.0)
3.248 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.248 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
3.249 * [backup-simplify]: Simplify (+ (sqrt 1.0) 1.0) into (+ (sqrt 1.0) 1.0)
3.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.250 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (* 0 1)) into 0
3.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.252 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.252 * [backup-simplify]: Simplify (+ 0 0) into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.253 * [backup-simplify]: Simplify (* 1 1) into 1
3.254 * [backup-simplify]: Simplify (- 1) into -1
3.254 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.257 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
3.261 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (* (/ -1/2 (sqrt 1.0)) 1))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
3.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.262 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.265 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (sqrt 1.0)))) 0) into (- (* 1/2 (/ 1 (sqrt 1.0))))
3.267 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt 1.0)))) into (- (* 1/2 (/ 1 (sqrt 1.0))))
3.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.269 * [backup-simplify]: Simplify (- 0) into 0
3.269 * [backup-simplify]: Simplify (+ 0 0) into 0
3.271 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
3.272 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt 1.0)) 0) (* 0 1)))) into 0
3.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.274 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.274 * [backup-simplify]: Simplify (+ 0 0) into 0
3.274 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.276 * [backup-simplify]: Simplify (- 0) into 0
3.277 * [backup-simplify]: Simplify (+ 0 0) into 0
3.282 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.298 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 0) (+ (* (/ -1/2 (sqrt 1.0)) 0) (+ (* 0 0) (* (/ -1/8 (pow (sqrt 1.0) 3)) 1))))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
3.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.301 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.305 * [backup-simplify]: Simplify (+ (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 0) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
3.309 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))
3.316 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (pow x 3)) (+ (* (- (* 1/2 (/ 1 (sqrt 1.0)))) x) (* (+ (sqrt 1.0) 1.0) (/ 1 x)))) into (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
3.316 * [backup-simplify]: Simplify (+ (/ 1.0 (/ 1 x)) (/ (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))
3.316 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in (x) around 0
3.316 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.316 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.316 * [taylor]: Taking taylor expansion of x in x
3.316 * [backup-simplify]: Simplify 0 into 0
3.316 * [backup-simplify]: Simplify 1 into 1
3.316 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.316 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.316 * [taylor]: Taking taylor expansion of 1.0 in x
3.316 * [backup-simplify]: Simplify 1.0 into 1.0
3.316 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.316 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.316 * [taylor]: Taking taylor expansion of x in x
3.316 * [backup-simplify]: Simplify 0 into 0
3.316 * [backup-simplify]: Simplify 1 into 1
3.317 * [backup-simplify]: Simplify (* 1 1) into 1
3.317 * [backup-simplify]: Simplify (/ 1 1) into 1
3.318 * [backup-simplify]: Simplify (- 1) into -1
3.318 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.318 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.319 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.320 * [backup-simplify]: Simplify (- 0) into 0
3.320 * [backup-simplify]: Simplify (+ 0 0) into 0
3.321 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.321 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.321 * [taylor]: Taking taylor expansion of 1.0 in x
3.321 * [backup-simplify]: Simplify 1.0 into 1.0
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.321 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.321 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.321 * [taylor]: Taking taylor expansion of 1.0 in x
3.321 * [backup-simplify]: Simplify 1.0 into 1.0
3.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.321 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.322 * [backup-simplify]: Simplify (* 1 1) into 1
3.322 * [backup-simplify]: Simplify (/ 1 1) into 1
3.322 * [backup-simplify]: Simplify (- 1) into -1
3.323 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.323 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.324 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.324 * [backup-simplify]: Simplify (- 0) into 0
3.325 * [backup-simplify]: Simplify (+ 0 0) into 0
3.325 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.325 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.325 * [taylor]: Taking taylor expansion of 1.0 in x
3.325 * [backup-simplify]: Simplify 1.0 into 1.0
3.326 * [taylor]: Taking taylor expansion of x in x
3.326 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify 1 into 1
3.326 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
3.326 * [backup-simplify]: Simplify (+ 0 0) into 0
3.326 * [backup-simplify]: Simplify 0 into 0
3.328 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
3.329 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.329 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
3.330 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.332 * [backup-simplify]: Simplify (- 0) into 0
3.332 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.335 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.336 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
3.338 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.338 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.338 * [backup-simplify]: Simplify 1.0 into 1.0
3.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.340 * [backup-simplify]: Simplify (- 0) into 0
3.340 * [backup-simplify]: Simplify (+ 0 0) into 0
3.342 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.347 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
3.348 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.350 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
3.352 * [backup-simplify]: Simplify (* 0.5 (/ 1 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.353 * [backup-simplify]: Simplify (+ (* (/ 0.5 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1.0 (/ 1 x)) (sqrt -1))) into (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x))))
3.354 * [backup-simplify]: Simplify (+ (/ 1.0 (/ 1 (- x))) (/ (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))
3.354 * [approximate]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0
3.354 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
3.354 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.354 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.354 * [taylor]: Taking taylor expansion of x in x
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 1 into 1
3.354 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.354 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.354 * [taylor]: Taking taylor expansion of 1.0 in x
3.354 * [backup-simplify]: Simplify 1.0 into 1.0
3.354 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.354 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.354 * [taylor]: Taking taylor expansion of x in x
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 1 into 1
3.355 * [backup-simplify]: Simplify (* 1 1) into 1
3.355 * [backup-simplify]: Simplify (/ 1 1) into 1
3.355 * [backup-simplify]: Simplify (- 1) into -1
3.356 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.356 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.357 * [backup-simplify]: Simplify (- 0) into 0
3.358 * [backup-simplify]: Simplify (+ 0 0) into 0
3.358 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.358 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.358 * [taylor]: Taking taylor expansion of 1.0 in x
3.359 * [backup-simplify]: Simplify 1.0 into 1.0
3.359 * [taylor]: Taking taylor expansion of x in x
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify 1 into 1
3.359 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x
3.359 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x
3.359 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.359 * [taylor]: Taking taylor expansion of x in x
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify 1 into 1
3.359 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.359 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.359 * [taylor]: Taking taylor expansion of 1.0 in x
3.359 * [backup-simplify]: Simplify 1.0 into 1.0
3.359 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.359 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.359 * [taylor]: Taking taylor expansion of x in x
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify 1 into 1
3.359 * [backup-simplify]: Simplify (* 1 1) into 1
3.360 * [backup-simplify]: Simplify (/ 1 1) into 1
3.360 * [backup-simplify]: Simplify (- 1) into -1
3.360 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.361 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.362 * [backup-simplify]: Simplify (- 0) into 0
3.363 * [backup-simplify]: Simplify (+ 0 0) into 0
3.363 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.363 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.363 * [taylor]: Taking taylor expansion of 1.0 in x
3.363 * [backup-simplify]: Simplify 1.0 into 1.0
3.363 * [taylor]: Taking taylor expansion of x in x
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify 1 into 1
3.364 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0
3.364 * [backup-simplify]: Simplify (+ 0 0) into 0
3.365 * [backup-simplify]: Simplify (- 0) into 0
3.365 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
3.367 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.368 * [backup-simplify]: Simplify (+ (sqrt -1) 0) into (sqrt -1)
3.368 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.369 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1))
3.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.375 * [backup-simplify]: Simplify (- 0) into 0
3.375 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.378 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.380 * [backup-simplify]: Simplify (+ (* 0 (/ 0.5 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
3.381 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.382 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.382 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.382 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.385 * [backup-simplify]: Simplify (- 0) into 0
3.385 * [backup-simplify]: Simplify (+ 0 0) into 0
3.386 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 0.5 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 0.5 (/ 1 (sqrt -1)))
3.392 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.395 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (sqrt -1))) 0) into (* 0.5 (/ 1 (sqrt -1)))
3.397 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
3.399 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (sqrt -1)))) into (- (* 0.5 (/ 1 (sqrt -1))))
3.403 * [backup-simplify]: Simplify (+ (* (- (* 0.5 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* (- 1.0) (/ 1 (- x))) (- (sqrt -1)))) into (- (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))
3.403 * * * [progress]: simplifying candidates
3.408 * [simplify]: Simplifying:
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (+ 1 1)
  (+ (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (log (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (exp (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (* (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (* (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (cbrt (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (cbrt (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (cbrt (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (* (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (sqrt (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))) (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (* x x)) (sqrt (* x x)))
  (* (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (* x x)) (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))) (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (* x x)) (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))) (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (sqrt (* x x)))
  (* (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))) (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (* x x)))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (sqrt (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))))
  (* (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))) (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))))
  (* (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt x))))
  (* (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))) (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (/ 1 x)) (sqrt (/ 1 x)))
  (* (sqrt (+ 1.0 (sqrt (- 1.0 (* x x))))) (sqrt (+ 1.0 (sqrt (- 1.0 (* x x))))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* 1 1)
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt 1))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 (sqrt x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 1)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt 1))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 x)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 1)
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ 1.0 (sqrt (- 1.0 (* x x))))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (exp (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt 1)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 (* (cbrt x) (cbrt x))))
  (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x))))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x))))
  (sqrt (/ 1 1))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt 1)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 x))
  (sqrt (+ 1.0 (sqrt (- 1.0 (* x x)))))
  (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x))))))
  (sqrt (* x x))
  (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3)))
  (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (/ 1 2)
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (exp (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt 1)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 (* (cbrt x) (cbrt x))))
  (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x))))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x))))
  (sqrt (/ 1 1))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt 1)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 x))
  (sqrt (+ 1.0 (sqrt (- 1.0 (* x x)))))
  (sqrt (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x))))))
  (sqrt (* x x))
  (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3)))
  (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (/ 1 2)
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (exp (/ 1.0 x)) (exp (/ (sqrt (- 1.0 (* x x))) x)))
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (* (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))
  (* x x)
  (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))
  (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))
  (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))
  (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ 1.0 (sqrt (- 1.0 (* x x))))
  (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
  (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x))))
  (- (+ (* 1.0 (/ 1 x)) (pow (sqrt (- (sqrt -1))) 2)) (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (sqrt 1.0))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (pow (sqrt 1.0) 2))) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (- +nan.0)))))))))))))))))))
  (+ (* 0.125 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (* 0.5 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))) (sqrt (sqrt -1))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt (- (sqrt -1)))))) (sqrt (- (sqrt -1)))) (+ (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- (sqrt -1))) 3)))) (* 0.25 (/ 1 (* (pow x 2) (* (sqrt -1) (sqrt (- (sqrt -1)))))))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (sqrt 1.0)) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (/ (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (sqrt 1.0))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* (pow x 2) (sqrt 1.0))) (- (+ (* +nan.0 (* x (pow (sqrt 1.0) 2))) (- (+ (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (- +nan.0)))))))))))))))))))
  (+ (* 0.125 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (* 0.5 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))) (sqrt (sqrt -1))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt (- (sqrt -1)))))) (sqrt (- (sqrt -1)))) (+ (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- (sqrt -1))) 3)))) (* 0.25 (/ 1 (* (pow x 2) (* (sqrt -1) (sqrt (- (sqrt -1)))))))))
  (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
  (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x))))
  (- (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))
3.420 * * [simplify]: Extracting # 0 : cost  0
3.421 * * [simplify]: Extracting # 1 : cost  0
3.421 * * [simplify]: Extracting # 2 : cost  0
3.421 * * [simplify]: Extracting # 3 : cost  0
3.422 * * [simplify]: Extracting # 4 : cost  0
3.422 * * [simplify]: Extracting # 5 : cost  0
3.423 * * [simplify]: Extracting # 6 : cost  0
3.423 * * [simplify]: Extracting # 7 : cost  0
3.424 * * [simplify]: Extracting # 8 : cost  0
3.424 * * [simplify]: Extracting # 9 : cost  0
3.425 * * [simplify]: Extracting # 10 : cost  0
3.425 * * [simplify]: Extracting # 11 : cost  0
3.426 * * [simplify]: Extracting # 12 : cost  0
3.426 * * [simplify]: Extracting # 13 : cost  0
3.427 * * [simplify]: Extracting # 14 : cost  0
3.427 * * [simplify]: Extracting # 15 : cost  0
3.428 * * [simplify]: Extracting # 16 : cost  0
3.428 * * [simplify]: Extracting # 17 : cost  0
3.429 * * [simplify]: Extracting # 18 : cost  0
3.429 * * [simplify]: Extracting # 19 : cost  0
3.430 * * [simplify]: Extracting # 20 : cost  0
3.430 * * [simplify]: Extracting # 21 : cost  0
3.431 * * [simplify]: Extracting # 22 : cost  0
3.431 * * [simplify]: Extracting # 23 : cost  0
3.432 * * [simplify]: Extracting # 24 : cost  0
3.432 * * [simplify]: Extracting # 25 : cost  0
3.433 * * [simplify]: Extracting # 26 : cost  0
3.433 * * [simplify]: Extracting # 27 : cost  0
3.434 * * [simplify]: Extracting # 28 : cost  0
3.435 * * [simplify]: Extracting # 29 : cost  0
3.435 * * [simplify]: iteration  0 :  236  enodes  (cost  4553 )
3.553 * * [simplify]: Extracting # 0 : cost  0
3.554 * * [simplify]: Extracting # 1 : cost  0
3.555 * * [simplify]: Extracting # 2 : cost  0
3.556 * * [simplify]: Extracting # 3 : cost  0
3.558 * * [simplify]: Extracting # 4 : cost  0
3.559 * * [simplify]: Extracting # 5 : cost  0
3.560 * * [simplify]: Extracting # 6 : cost  0
3.561 * * [simplify]: iteration  1 :  554  enodes  (cost  3442 )
3.995 * * [simplify]: Extracting # 0 : cost  0
4.005 * * [simplify]: Extracting # 1 : cost  0
4.010 * * [simplify]: Extracting # 2 : cost  0
4.015 * * [simplify]: Extracting # 3 : cost  0
4.021 * * [simplify]: Extracting # 4 : cost  0
4.026 * * [simplify]: Extracting # 5 : cost  0
4.034 * * [simplify]: iteration  2 :  2577  enodes  (cost  3177 )
5.604 * * [simplify]: Extracting # 0 : cost  0
5.622 * * [simplify]: Extracting # 1 : cost  0
5.633 * * [simplify]: Extracting # 2 : cost  0
5.644 * * [simplify]: Extracting # 3 : cost  0
5.654 * * [simplify]: Extracting # 4 : cost  0
5.665 * * [simplify]: Extracting # 5 : cost  0
5.679 * * [simplify]: iteration done:  5001  enodes  (cost  3040 )
5.682 * [simplify]: Simplified to:
  1
  1
  2
  1
  1
  (pow (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ 3 1))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (pow (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ 3 1))
  2
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (pow (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) 3)
  (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (pow (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) 3)
  (pow (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ 3 1))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))
  (* x x)
  (* (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x)))) (fabs x))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))) (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (fabs x))
  (* (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x)))) (fabs x))
  (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))
  (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x)))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x)))) (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))) (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (fabs x))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x)))) (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))
  (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (pow (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (+ 3 1))
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  1
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (/ 1 (* (cbrt x) (cbrt x)))
  (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))
  (/ 1 (sqrt x))
  (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))
  1
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  1
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  1
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (/ 1 x)
  (+ 1.0 (sqrt (- 1.0 (* x x))))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1
  2
  1
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (pow (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (+ 3 1)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (fabs (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (pow (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) 3)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 (sqrt x))))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (/ 1 x)))
  (pow (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) 3)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (pow (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (+ 3 1))
  (* (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (pow (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) 3)
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (* (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (* (sqrt (+ 1.0 (sqrt (- 1.0 (* x x))))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (pow (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) 3)
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))))
  (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))))
  (* (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (exp (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (pow (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 3)
  (fabs (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  1
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 (* (cbrt x) (cbrt x))))
  (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x))))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x))))
  1
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 x))
  (sqrt (+ 1.0 (sqrt (- 1.0 (* x x)))))
  (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x))))))
  (fabs x)
  (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3)))
  (sqrt (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x))))
  (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x)))
  (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1/2
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (exp (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (* (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
  (cbrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (pow (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 3)
  (fabs (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  1
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 (* (cbrt x) (cbrt x))))
  (sqrt (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x))))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x))))
  1
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (/ 1 x))
  (sqrt (+ 1.0 (sqrt (- 1.0 (* x x)))))
  (sqrt (* x (+ 1.0 (sqrt (- 1.0 (* x x))))))
  (fabs x)
  (sqrt (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3)))
  (sqrt (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x))))
  (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x)))
  (sqrt (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  1/2
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (sqrt (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
  (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (pow (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) 3)
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
  (* x (+ 1.0 (sqrt (- 1.0 (* x x)))))
  (* x x)
  (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))
  (+ (* (/ (sqrt (- 1.0 (* x x))) x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x)))
  (- (* (/ 1.0 x) (/ 1.0 x)) (/ (/ (- 1.0 (* x x)) x) x))
  (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))
  (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))
  (+ 1.0 (sqrt (- 1.0 (* x x))))
  (- (+ (/ (sqrt 1.0) x) (/ 1.0 x)) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
  (+ (/ 1.0 x) (+ (/ 0.5 (* (pow x 2) (sqrt -1))) (sqrt -1)))
  (- (- (/ 1.0 x) (/ 0.5 (* (pow x 2) (sqrt -1)))) (sqrt -1))
  (+ (- (* +nan.0 (sqrt 1.0)) (+ (- (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 (/ (pow x 2) (sqrt 1.0)))) (- (* +nan.0 (* x (sqrt 1.0))) (- (* +nan.0 x) (+ (- (* +nan.0 (* (pow x 2) (sqrt 1.0))) (* (* +nan.0 x) 1.0)) (- (* (* +nan.0 (pow x 2)) 1.0) +nan.0)))))) (- (* +nan.0 (pow x 2))))
  (+ (+ (* (/ (sqrt (/ 1 (sqrt -1))) x) 0.5) (/ (* (sqrt (/ -1 (sqrt -1))) 0.125) (* x x))) (sqrt (sqrt -1)))
  (- (- (+ (/ 0.5 (* x (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1)))) (/ 0.125 (* (pow x 2) (pow (sqrt (- (sqrt -1))) 3)))) (/ 0.25 (* (pow x 2) (* (sqrt -1) (sqrt (- (sqrt -1)))))))
  (+ (- (* +nan.0 (sqrt 1.0)) (+ (- (* +nan.0 (* (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 (/ (pow x 2) (sqrt 1.0)))) (- (* +nan.0 (* x (sqrt 1.0))) (- (* +nan.0 x) (+ (- (* +nan.0 (* (pow x 2) (sqrt 1.0))) (* (* +nan.0 x) 1.0)) (- (* (* +nan.0 (pow x 2)) 1.0) +nan.0)))))) (- (* +nan.0 (pow x 2))))
  (+ (+ (* (/ (sqrt (/ 1 (sqrt -1))) x) 0.5) (/ (* (sqrt (/ -1 (sqrt -1))) 0.125) (* x x))) (sqrt (sqrt -1)))
  (- (- (+ (/ 0.5 (* x (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1)))) (/ 0.125 (* (pow x 2) (pow (sqrt (- (sqrt -1))) 3)))) (/ 0.25 (* (pow x 2) (* (sqrt -1) (sqrt (- (sqrt -1)))))))
  (- (+ (/ (sqrt 1.0) x) (/ 1.0 x)) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
  (+ (/ 1.0 x) (+ (/ 0.5 (* (pow x 2) (sqrt -1))) (sqrt -1)))
  (- (- (/ 1.0 x) (/ 0.5 (* (pow x 2) (sqrt -1)))) (sqrt -1))
5.684 * * * [progress]: adding candidates to table
6.597 * [progress]: [Phase 3 of 3] Extracting.
6.603 * [simplify]: Simplifying:
  (log (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
6.604 * * [simplify]: Extracting # 0 : cost  0
6.604 * * [simplify]: Extracting # 1 : cost  0
6.604 * * [simplify]: Extracting # 2 : cost  0
6.604 * * [simplify]: Extracting # 3 : cost  0
6.604 * * [simplify]: Extracting # 4 : cost  0
6.604 * * [simplify]: Extracting # 5 : cost  0
6.604 * * [simplify]: Extracting # 6 : cost  0
6.604 * * [simplify]: Extracting # 7 : cost  0
6.604 * * [simplify]: Extracting # 8 : cost  0
6.604 * * [simplify]: iteration  0 :  11  enodes  (cost  28 )
6.605 * * [simplify]: Extracting # 0 : cost  0
6.605 * * [simplify]: iteration  1 :  12  enodes  (cost  28 )
6.606 * * [simplify]: Extracting # 0 : cost  0
6.606 * * [simplify]: iteration done:  12  enodes  (cost  28 )
6.606 * [simplify]: Simplified to:
  (log (* (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))))
11.461 * [regime-testing]: Baseline error score: 0.06126045353332022
11.465 * [regime-testing]: Oracle error score: 0.06126045353332022
11.465 * [regime-testing]: End program error score: 0.06126045353332022