10.965 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.219 * * * [progress]: [2/2] Setting up program.
0.222 * [progress]: [Phase 2 of 3] Improving.
0.222 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.259 * * [simplify]: iteration  0 :  4978  enodes  (cost  13 )
0.259 * * [simplify]: iteration  1 :  4978  enodes  (cost  13 )
0.260 * [simplify]: Simplified to:
   (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.260 * * [progress]: iteration 1 / 4
0.260 * * * [progress]: picking best candidate
0.263 * * * * [pick]: Picked  #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))>
0.263 * * * [progress]: localizing error
0.271 * * * [progress]: generating rewritten candidates
0.271 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.282 * * * [progress]: generating series expansions
0.282 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.282 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in (x n) around 0
0.282 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n
0.282 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n
0.282 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in n
0.282 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in n
0.282 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
0.282 * [taylor]: Taking taylor expansion of 1.0 in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in n
0.282 * [taylor]: Taking taylor expansion of (+ x 1.0) in n
0.282 * [taylor]: Taking taylor expansion of x in n
0.282 * [taylor]: Taking taylor expansion of 1.0 in n
0.283 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
0.283 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in n
0.283 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in n
0.283 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
0.283 * [taylor]: Taking taylor expansion of 1.0 in n
0.283 * [taylor]: Taking taylor expansion of n in n
0.283 * [taylor]: Taking taylor expansion of (log x) in n
0.283 * [taylor]: Taking taylor expansion of x in n
0.283 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x
0.283 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x
0.283 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x
0.283 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x
0.283 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
0.283 * [taylor]: Taking taylor expansion of 1.0 in x
0.283 * [taylor]: Taking taylor expansion of n in x
0.283 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.283 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.283 * [taylor]: Taking taylor expansion of 1.0 in x
0.283 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x
0.283 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x
0.283 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x
0.283 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
0.283 * [taylor]: Taking taylor expansion of 1.0 in x
0.283 * [taylor]: Taking taylor expansion of n in x
0.283 * [taylor]: Taking taylor expansion of (log x) in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x
0.284 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x
0.284 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x
0.284 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x
0.284 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
0.284 * [taylor]: Taking taylor expansion of 1.0 in x
0.284 * [taylor]: Taking taylor expansion of n in x
0.284 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.284 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of 1.0 in x
0.284 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x
0.284 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x
0.284 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x
0.284 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
0.284 * [taylor]: Taking taylor expansion of 1.0 in x
0.284 * [taylor]: Taking taylor expansion of n in x
0.284 * [taylor]: Taking taylor expansion of (log x) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.285 * [taylor]: Taking taylor expansion of (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) in n
0.285 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.285 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.285 * [taylor]: Taking taylor expansion of 1.0 in n
0.285 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.285 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.285 * [taylor]: Taking taylor expansion of 1.0 in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.285 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n
0.285 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n
0.285 * [taylor]: Taking taylor expansion of 1.0 in n
0.285 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n
0.285 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n
0.285 * [taylor]: Taking taylor expansion of (log 1) in n
0.285 * [taylor]: Taking taylor expansion of 1 in n
0.285 * [taylor]: Taking taylor expansion of (log x) in n
0.285 * [taylor]: Taking taylor expansion of x in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.287 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp (* 1.0 (/ (log 1.0) n))) n)) in n
0.287 * [taylor]: Taking taylor expansion of 1.0 in n
0.287 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) n) in n
0.287 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.287 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.287 * [taylor]: Taking taylor expansion of 1.0 in n
0.287 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.287 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.287 * [taylor]: Taking taylor expansion of 1.0 in n
0.287 * [taylor]: Taking taylor expansion of n in n
0.287 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))))) in n
0.290 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) in n
0.290 * [taylor]: Taking taylor expansion of 0.5 in n
0.290 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2)) in n
0.290 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.290 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.290 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2)))) in n
0.290 * [taylor]: Taking taylor expansion of 0.5 in n
0.290 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))) in n
0.290 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.290 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.290 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.294 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))))) in n
0.294 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)))) in n
0.294 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) in n
0.294 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n
0.294 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))) in n
0.294 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.294 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.294 * [taylor]: Taking taylor expansion of 1.0 in n
0.294 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.294 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.294 * [taylor]: Taking taylor expansion of 1.0 in n
0.294 * [taylor]: Taking taylor expansion of n in n
0.294 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n
0.294 * [taylor]: Taking taylor expansion of n in n
0.294 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n
0.294 * [taylor]: Taking taylor expansion of 1.0 in n
0.294 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) in n
0.294 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n
0.294 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)) in n
0.294 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.294 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.294 * [taylor]: Taking taylor expansion of 1.0 in n
0.294 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.294 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.295 * [taylor]: Taking taylor expansion of 1.0 in n
0.295 * [taylor]: Taking taylor expansion of n in n
0.295 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.295 * [taylor]: Taking taylor expansion of n in n
0.295 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2)))) in n
0.295 * [taylor]: Taking taylor expansion of 0.5 in n
0.295 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))) in n
0.295 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
0.295 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
0.295 * [taylor]: Taking taylor expansion of 1.0 in n
0.295 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
0.295 * [taylor]: Taking taylor expansion of (log 1.0) in n
0.295 * [taylor]: Taking taylor expansion of 1.0 in n
0.295 * [taylor]: Taking taylor expansion of n in n
0.295 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n
0.295 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.295 * [taylor]: Taking taylor expansion of n in n
0.295 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n
0.295 * [taylor]: Taking taylor expansion of 1.0 in n
0.297 * [approximate]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in (x n) around 0
0.297 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n
0.297 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) (* 1.0 n)) in n
0.297 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ (/ 1 x) 1.0)))) in n
0.297 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ (/ 1 x) 1.0))) in n
0.297 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.297 * [taylor]: Taking taylor expansion of 1.0 in n
0.297 * [taylor]: Taking taylor expansion of n in n
0.297 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in n
0.297 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in n
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.297 * [taylor]: Taking taylor expansion of x in n
0.297 * [taylor]: Taking taylor expansion of 1.0 in n
0.297 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
0.297 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in n
0.297 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in n
0.297 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.297 * [taylor]: Taking taylor expansion of 1.0 in n
0.297 * [taylor]: Taking taylor expansion of n in n
0.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in n
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.298 * [taylor]: Taking taylor expansion of x in n
0.298 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x
0.298 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) (* 1.0 n)) in x
0.298 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ (/ 1 x) 1.0)))) in x
0.298 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ (/ 1 x) 1.0))) in x
0.298 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
0.298 * [taylor]: Taking taylor expansion of 1.0 in x
0.298 * [taylor]: Taking taylor expansion of n in x
0.298 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
0.298 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of 1.0 in x
0.298 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x
0.298 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x
0.298 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x
0.298 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
0.298 * [taylor]: Taking taylor expansion of 1.0 in x
0.298 * [taylor]: Taking taylor expansion of n in x
0.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x
0.299 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) (* 1.0 n)) in x
0.299 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ (/ 1 x) 1.0)))) in x
0.299 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ (/ 1 x) 1.0))) in x
0.299 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
0.299 * [taylor]: Taking taylor expansion of 1.0 in x
0.299 * [taylor]: Taking taylor expansion of n in x
0.299 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
0.299 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of 1.0 in x
0.299 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x
0.299 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x
0.299 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x
0.299 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
0.299 * [taylor]: Taking taylor expansion of 1.0 in x
0.299 * [taylor]: Taking taylor expansion of n in x
0.299 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of 0 in n
0.301 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n
0.301 * [taylor]: Taking taylor expansion of 1.0 in n
0.301 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n
0.301 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
0.301 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
0.301 * [taylor]: Taking taylor expansion of 1.0 in n
0.301 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
0.301 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
0.301 * [taylor]: Taking taylor expansion of (log 1) in n
0.301 * [taylor]: Taking taylor expansion of 1 in n
0.301 * [taylor]: Taking taylor expansion of (log x) in n
0.301 * [taylor]: Taking taylor expansion of x in n
0.301 * [taylor]: Taking taylor expansion of n in n
0.301 * [taylor]: Taking taylor expansion of n in n
0.303 * [taylor]: Taking taylor expansion of (- (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n
0.303 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n
0.303 * [taylor]: Taking taylor expansion of 0.5 in n
0.303 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n
0.303 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
0.303 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
0.303 * [taylor]: Taking taylor expansion of 1.0 in n
0.303 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
0.303 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
0.303 * [taylor]: Taking taylor expansion of (log 1) in n
0.303 * [taylor]: Taking taylor expansion of 1 in n
0.303 * [taylor]: Taking taylor expansion of (log x) in n
0.303 * [taylor]: Taking taylor expansion of x in n
0.303 * [taylor]: Taking taylor expansion of n in n
0.303 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.303 * [taylor]: Taking taylor expansion of n in n
0.303 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n
0.304 * [taylor]: Taking taylor expansion of 0.5 in n
0.304 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n
0.304 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
0.304 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
0.304 * [taylor]: Taking taylor expansion of 1.0 in n
0.304 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
0.304 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
0.304 * [taylor]: Taking taylor expansion of (log 1) in n
0.304 * [taylor]: Taking taylor expansion of 1 in n
0.304 * [taylor]: Taking taylor expansion of (log x) in n
0.304 * [taylor]: Taking taylor expansion of x in n
0.304 * [taylor]: Taking taylor expansion of n in n
0.304 * [taylor]: Taking taylor expansion of n in n
0.307 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)))) in n
0.307 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n
0.307 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) in n
0.307 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n
0.307 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3)) in n
0.307 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
0.307 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
0.307 * [taylor]: Taking taylor expansion of 1.0 in n
0.307 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
0.307 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
0.307 * [taylor]: Taking taylor expansion of (log 1) in n
0.307 * [taylor]: Taking taylor expansion of 1 in n
0.307 * [taylor]: Taking taylor expansion of (log x) in n
0.307 * [taylor]: Taking taylor expansion of x in n
0.307 * [taylor]: Taking taylor expansion of n in n
0.307 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.307 * [taylor]: Taking taylor expansion of n in n
0.307 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n
0.307 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n
0.307 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n
0.307 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
0.307 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
0.307 * [taylor]: Taking taylor expansion of 1.0 in n
0.307 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
0.307 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
0.308 * [taylor]: Taking taylor expansion of (log 1) in n
0.308 * [taylor]: Taking taylor expansion of 1 in n
0.308 * [taylor]: Taking taylor expansion of (log x) in n
0.308 * [taylor]: Taking taylor expansion of x in n
0.308 * [taylor]: Taking taylor expansion of n in n
0.308 * [taylor]: Taking taylor expansion of n in n
0.308 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n
0.308 * [taylor]: Taking taylor expansion of 0.5 in n
0.308 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n
0.308 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
0.308 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
0.308 * [taylor]: Taking taylor expansion of 1.0 in n
0.308 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
0.308 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
0.308 * [taylor]: Taking taylor expansion of (log 1) in n
0.308 * [taylor]: Taking taylor expansion of 1 in n
0.308 * [taylor]: Taking taylor expansion of (log x) in n
0.308 * [taylor]: Taking taylor expansion of x in n
0.308 * [taylor]: Taking taylor expansion of n in n
0.309 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.309 * [taylor]: Taking taylor expansion of n in n
0.311 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in (x n) around 0
0.311 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n
0.311 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n
0.311 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in n
0.311 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in n
0.311 * [taylor]: Taking taylor expansion of (* -1.0 n) in n
0.311 * [taylor]: Taking taylor expansion of -1.0 in n
0.311 * [taylor]: Taking taylor expansion of n in n
0.311 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in n
0.311 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in n
0.311 * [taylor]: Taking taylor expansion of 1.0 in n
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.311 * [taylor]: Taking taylor expansion of x in n
0.312 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
0.312 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in n
0.312 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in n
0.312 * [taylor]: Taking taylor expansion of (* -1.0 n) in n
0.312 * [taylor]: Taking taylor expansion of -1.0 in n
0.312 * [taylor]: Taking taylor expansion of n in n
0.312 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in n
0.312 * [taylor]: Taking taylor expansion of (/ -1 x) in n
0.312 * [taylor]: Taking taylor expansion of -1 in n
0.312 * [taylor]: Taking taylor expansion of x in n
0.312 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x
0.312 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x
0.312 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x
0.312 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x
0.312 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
0.312 * [taylor]: Taking taylor expansion of -1.0 in x
0.312 * [taylor]: Taking taylor expansion of n in x
0.312 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.312 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.312 * [taylor]: Taking taylor expansion of 1.0 in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.312 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x
0.313 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x
0.313 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x
0.313 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
0.313 * [taylor]: Taking taylor expansion of -1.0 in x
0.313 * [taylor]: Taking taylor expansion of n in x
0.313 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.313 * [taylor]: Taking taylor expansion of -1 in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x
0.313 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x
0.313 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x
0.313 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x
0.313 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
0.313 * [taylor]: Taking taylor expansion of -1.0 in x
0.313 * [taylor]: Taking taylor expansion of n in x
0.313 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.313 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.313 * [taylor]: Taking taylor expansion of 1.0 in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x
0.313 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x
0.313 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x
0.313 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
0.314 * [taylor]: Taking taylor expansion of -1.0 in x
0.314 * [taylor]: Taking taylor expansion of n in x
0.314 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
0.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.314 * [taylor]: Taking taylor expansion of -1 in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.314 * [taylor]: Taking taylor expansion of (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* (- (log -1) (log x)) n)))) in n
0.314 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
0.314 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
0.314 * [taylor]: Taking taylor expansion of -1.0 in n
0.314 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
0.314 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
0.314 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
0.314 * [taylor]: Taking taylor expansion of (neg 1) in n
0.314 * [taylor]: Taking taylor expansion of 1 in n
0.314 * [taylor]: Taking taylor expansion of (log x) in n
0.314 * [taylor]: Taking taylor expansion of x in n
0.314 * [taylor]: Taking taylor expansion of n in n
0.315 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log -1) (log x)) n))) in n
0.315 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log -1) (log x)) n)) in n
0.315 * [taylor]: Taking taylor expansion of -1.0 in n
0.315 * [taylor]: Taking taylor expansion of (* (- (log -1) (log x)) n) in n
0.315 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n
0.315 * [taylor]: Taking taylor expansion of (log -1) in n
0.315 * [taylor]: Taking taylor expansion of -1 in n
0.315 * [taylor]: Taking taylor expansion of (log x) in n
0.315 * [taylor]: Taking taylor expansion of x in n
0.315 * [taylor]: Taking taylor expansion of n in n
0.316 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n
0.316 * [taylor]: Taking taylor expansion of 1.0 in n
0.316 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n
0.316 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
0.316 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
0.316 * [taylor]: Taking taylor expansion of -1.0 in n
0.316 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
0.316 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
0.316 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
0.316 * [taylor]: Taking taylor expansion of (neg 1) in n
0.317 * [taylor]: Taking taylor expansion of 1 in n
0.317 * [taylor]: Taking taylor expansion of (log x) in n
0.317 * [taylor]: Taking taylor expansion of x in n
0.317 * [taylor]: Taking taylor expansion of n in n
0.317 * [taylor]: Taking taylor expansion of n in n
0.319 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2)))) in n
0.319 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n
0.319 * [taylor]: Taking taylor expansion of 0.5 in n
0.319 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n
0.319 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
0.319 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
0.319 * [taylor]: Taking taylor expansion of -1.0 in n
0.319 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
0.319 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
0.319 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
0.319 * [taylor]: Taking taylor expansion of (neg 1) in n
0.319 * [taylor]: Taking taylor expansion of 1 in n
0.320 * [taylor]: Taking taylor expansion of (log x) in n
0.320 * [taylor]: Taking taylor expansion of x in n
0.320 * [taylor]: Taking taylor expansion of n in n
0.320 * [taylor]: Taking taylor expansion of n in n
0.320 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) in n
0.320 * [taylor]: Taking taylor expansion of 0.5 in n
0.320 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2)) in n
0.320 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
0.320 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
0.320 * [taylor]: Taking taylor expansion of -1.0 in n
0.320 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
0.320 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
0.320 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
0.320 * [taylor]: Taking taylor expansion of (neg 1) in n
0.320 * [taylor]: Taking taylor expansion of 1 in n
0.320 * [taylor]: Taking taylor expansion of (log x) in n
0.321 * [taylor]: Taking taylor expansion of x in n
0.321 * [taylor]: Taking taylor expansion of n in n
0.321 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.321 * [taylor]: Taking taylor expansion of n in n
0.325 * * * [progress]: simplifying candidates
0.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n))))
  (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
  (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (* (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))
  (+ (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (* (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
  (neg (pow x (/ 1.0 n)))
  (- (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))))
  (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2)))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2)))
  (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))
  (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
  (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2)))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2)))
  (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n)))
  (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))
  (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2)))
  (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (neg (pow x (/ 1.0 n)))
  (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n))))
  (- (+ (* 1.0 (/ 1 (* x n))) (* 1.0 (/ (log 1) (* x (pow n 2))))) (+ (* 1.0 (/ (log (/ 1 x)) (* x (pow n 2)))) (* 0.5 (/ 1 (* (pow x 2) n)))))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 0.5 (/ (pow (log (neg 1)) 2) (pow n 2))) (+ (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (* 1.0 (/ (log (neg 1)) n))))) (+ (* 1.0 (/ (log -1) n)) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (* (log (neg 1)) (log (/ -1 x))) (pow n 2))))))
0.377 * * [simplify]: iteration  0 :  4941  enodes  (cost  590 )
0.377 * * [simplify]: iteration  1 :  4941  enodes  (cost  590 )
0.379 * [simplify]: Simplified to:
   (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
  (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)
  (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))
  (+ (pow (+ x 1.0) (* (/ 1.0 n) 2)) (* (pow x (/ 1.0 n)) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
  (neg (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (* (/ 1.0 n) 2)) (pow x (* (/ 1.0 n) 2)))
  (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2)))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2)))
  (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n))))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))
  (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n))))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
  (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n))))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2)))
  (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2)))
  (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n)))
  (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2)))
  (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2)))
  (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (neg (pow x (/ 1.0 n)))
  (- (pow (exp 1.0) (/ (log 1.0) n)) (pow (exp 1.0) (/ (+ (log 1) (log x)) n)))
  (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n)))))
  (/ 1.0 (* x n))
0.379 * * * [progress]: adding candidates to table
0.442 * * [progress]: iteration 2 / 4
0.442 * * * [progress]: picking best candidate
0.449 * * * * [pick]: Picked  #<alt (λ (x n) (/ 1.0 (* x n)))>
0.449 * * * [progress]: localizing error
0.453 * * * [progress]: generating rewritten candidates
0.453 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.458 * * * [progress]: generating series expansions
0.458 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.458 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0
0.458 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n
0.458 * [taylor]: Taking taylor expansion of 1.0 in n
0.458 * [taylor]: Taking taylor expansion of (* x n) in n
0.458 * [taylor]: Taking taylor expansion of x in n
0.458 * [taylor]: Taking taylor expansion of n in n
0.458 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
0.458 * [taylor]: Taking taylor expansion of 1.0 in x
0.459 * [taylor]: Taking taylor expansion of (* x n) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of n in x
0.459 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
0.459 * [taylor]: Taking taylor expansion of 1.0 in x
0.459 * [taylor]: Taking taylor expansion of (* x n) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of n in x
0.459 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
0.459 * [taylor]: Taking taylor expansion of 1.0 in n
0.459 * [taylor]: Taking taylor expansion of n in n
0.459 * [taylor]: Taking taylor expansion of 0 in n
0.459 * [taylor]: Taking taylor expansion of 0 in n
0.459 * [taylor]: Taking taylor expansion of 0 in n
0.460 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
0.460 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
0.460 * [taylor]: Taking taylor expansion of 1.0 in n
0.460 * [taylor]: Taking taylor expansion of (* x n) in n
0.460 * [taylor]: Taking taylor expansion of x in n
0.460 * [taylor]: Taking taylor expansion of n in n
0.460 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.460 * [taylor]: Taking taylor expansion of 1.0 in x
0.460 * [taylor]: Taking taylor expansion of (* x n) in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of n in x
0.460 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.460 * [taylor]: Taking taylor expansion of 1.0 in x
0.460 * [taylor]: Taking taylor expansion of (* x n) in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of n in x
0.460 * [taylor]: Taking taylor expansion of 0 in n
0.460 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.460 * [taylor]: Taking taylor expansion of 1.0 in n
0.460 * [taylor]: Taking taylor expansion of n in n
0.460 * [taylor]: Taking taylor expansion of 0 in n
0.460 * [taylor]: Taking taylor expansion of 0 in n
0.461 * [taylor]: Taking taylor expansion of 0 in n
0.461 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
0.461 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
0.461 * [taylor]: Taking taylor expansion of 1.0 in n
0.461 * [taylor]: Taking taylor expansion of (* x n) in n
0.461 * [taylor]: Taking taylor expansion of x in n
0.461 * [taylor]: Taking taylor expansion of n in n
0.461 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.461 * [taylor]: Taking taylor expansion of 1.0 in x
0.461 * [taylor]: Taking taylor expansion of (* x n) in x
0.461 * [taylor]: Taking taylor expansion of x in x
0.461 * [taylor]: Taking taylor expansion of n in x
0.461 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.461 * [taylor]: Taking taylor expansion of 1.0 in x
0.461 * [taylor]: Taking taylor expansion of (* x n) in x
0.461 * [taylor]: Taking taylor expansion of x in x
0.461 * [taylor]: Taking taylor expansion of n in x
0.461 * [taylor]: Taking taylor expansion of 0 in n
0.461 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.461 * [taylor]: Taking taylor expansion of 1.0 in n
0.461 * [taylor]: Taking taylor expansion of n in n
0.461 * [taylor]: Taking taylor expansion of 0 in n
0.461 * [taylor]: Taking taylor expansion of 0 in n
0.462 * [taylor]: Taking taylor expansion of 0 in n
0.462 * * * [progress]: simplifying candidates
0.462 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log 1.0) (+ (log x) (log n)))
  (- (log 1.0) (log (* x n)))
  (log (/ 1.0 (* x n)))
  (exp (/ 1.0 (* x n)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* n n) n)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* x n) (* x n)) (* x n)))
  (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n))))
  (cbrt (/ 1.0 (* x n)))
  (* (* (/ 1.0 (* x n)) (/ 1.0 (* x n))) (/ 1.0 (* x n)))
  (sqrt (/ 1.0 (* x n)))
  (sqrt (/ 1.0 (* x n)))
  (neg 1.0)
  (neg (* x n))
  (/ (* (cbrt 1.0) (cbrt 1.0)) x)
  (/ (cbrt 1.0) n)
  (/ (sqrt 1.0) x)
  (/ (sqrt 1.0) n)
  (/ 1 x)
  (/ 1.0 n)
  (/ 1 (* x n))
  (/ (* x n) 1.0)
  (/ 1.0 x)
  (/ (* x n) (cbrt 1.0))
  (/ (* x n) (sqrt 1.0))
  (/ (* x n) 1.0)
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
0.524 * * [simplify]: iteration  0 :  4989  enodes  (cost  152 )
0.524 * * [simplify]: iteration  1 :  4989  enodes  (cost  152 )
0.525 * [simplify]: Simplified to:
   (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (exp (/ 1.0 (* x n)))
  (pow (/ 1.0 (* x n)) 3)
  (pow (/ 1.0 (* x n)) 3)
  (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n))))
  (cbrt (/ 1.0 (* x n)))
  (pow (/ 1.0 (* x n)) 3)
  (sqrt (/ 1.0 (* x n)))
  (sqrt (/ 1.0 (* x n)))
  (neg 1.0)
  (* x (neg n))
  (* (cbrt 1.0) (/ (cbrt 1.0) x))
  (/ (cbrt 1.0) n)
  (/ (sqrt 1.0) x)
  (/ (sqrt 1.0) n)
  (/ 1 x)
  (/ 1.0 n)
  (/ 1 (* x n))
  (* x (/ n 1.0))
  (/ 1.0 x)
  (* x (/ n (cbrt 1.0)))
  (* x (/ n (sqrt 1.0)))
  (* x (/ n 1.0))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
0.525 * * * [progress]: adding candidates to table
0.551 * * [progress]: iteration 3 / 4
0.551 * * * [progress]: picking best candidate
0.571 * * * * [pick]: Picked  #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))>
0.571 * * * [progress]: localizing error
0.578 * * * [progress]: generating rewritten candidates
0.578 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.591 * * * [progress]: generating series expansions
0.591 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.592 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0
0.592 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n
0.592 * [taylor]: Taking taylor expansion of 1.0 in n
0.592 * [taylor]: Taking taylor expansion of (* x n) in n
0.592 * [taylor]: Taking taylor expansion of x in n
0.592 * [taylor]: Taking taylor expansion of n in n
0.592 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
0.592 * [taylor]: Taking taylor expansion of 1.0 in x
0.592 * [taylor]: Taking taylor expansion of (* x n) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of n in x
0.592 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
0.592 * [taylor]: Taking taylor expansion of 1.0 in x
0.592 * [taylor]: Taking taylor expansion of (* x n) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of n in x
0.592 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
0.592 * [taylor]: Taking taylor expansion of 1.0 in n
0.592 * [taylor]: Taking taylor expansion of n in n
0.592 * [taylor]: Taking taylor expansion of 0 in n
0.593 * [taylor]: Taking taylor expansion of 0 in n
0.593 * [taylor]: Taking taylor expansion of 0 in n
0.593 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
0.593 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
0.593 * [taylor]: Taking taylor expansion of 1.0 in n
0.593 * [taylor]: Taking taylor expansion of (* x n) in n
0.593 * [taylor]: Taking taylor expansion of x in n
0.593 * [taylor]: Taking taylor expansion of n in n
0.593 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.593 * [taylor]: Taking taylor expansion of 1.0 in x
0.593 * [taylor]: Taking taylor expansion of (* x n) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of n in x
0.593 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.593 * [taylor]: Taking taylor expansion of 1.0 in x
0.593 * [taylor]: Taking taylor expansion of (* x n) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of n in x
0.593 * [taylor]: Taking taylor expansion of 0 in n
0.593 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.593 * [taylor]: Taking taylor expansion of 1.0 in n
0.593 * [taylor]: Taking taylor expansion of n in n
0.594 * [taylor]: Taking taylor expansion of 0 in n
0.594 * [taylor]: Taking taylor expansion of 0 in n
0.594 * [taylor]: Taking taylor expansion of 0 in n
0.594 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
0.594 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
0.594 * [taylor]: Taking taylor expansion of 1.0 in n
0.594 * [taylor]: Taking taylor expansion of (* x n) in n
0.594 * [taylor]: Taking taylor expansion of x in n
0.594 * [taylor]: Taking taylor expansion of n in n
0.594 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.594 * [taylor]: Taking taylor expansion of 1.0 in x
0.594 * [taylor]: Taking taylor expansion of (* x n) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.594 * [taylor]: Taking taylor expansion of n in x
0.594 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.594 * [taylor]: Taking taylor expansion of 1.0 in x
0.594 * [taylor]: Taking taylor expansion of (* x n) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.594 * [taylor]: Taking taylor expansion of n in x
0.594 * [taylor]: Taking taylor expansion of 0 in n
0.595 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.595 * [taylor]: Taking taylor expansion of 1.0 in n
0.595 * [taylor]: Taking taylor expansion of n in n
0.595 * [taylor]: Taking taylor expansion of 0 in n
0.595 * [taylor]: Taking taylor expansion of 0 in n
0.595 * [taylor]: Taking taylor expansion of 0 in n
0.595 * * * [progress]: simplifying candidates
0.596 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1 x) (/ 1.0 n))
  (+ (neg (log x)) (- (log 1.0) (log n)))
  (+ (neg (log x)) (log (/ 1.0 n)))
  (+ (- 0 (log x)) (- (log 1.0) (log n)))
  (+ (- 0 (log x)) (log (/ 1.0 n)))
  (+ (- (log 1) (log x)) (- (log 1.0) (log n)))
  (+ (- (log 1) (log x)) (log (/ 1.0 n)))
  (+ (log (/ 1 x)) (- (log 1.0) (log n)))
  (+ (log (/ 1 x)) (log (/ 1.0 n)))
  (log (* (/ 1 x) (/ 1.0 n)))
  (exp (* (/ 1 x) (/ 1.0 n)))
  (* (/ (* (* 1 1) 1) (* (* x x) x)) (/ (* (* 1.0 1.0) 1.0) (* (* n n) n)))
  (* (/ (* (* 1 1) 1) (* (* x x) x)) (* (* (/ 1.0 n) (/ 1.0 n)) (/ 1.0 n)))
  (* (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) (/ (* (* 1.0 1.0) 1.0) (* (* n n) n)))
  (* (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) (* (* (/ 1.0 n) (/ 1.0 n)) (/ 1.0 n)))
  (* (cbrt (* (/ 1 x) (/ 1.0 n))) (cbrt (* (/ 1 x) (/ 1.0 n))))
  (cbrt (* (/ 1 x) (/ 1.0 n)))
  (* (* (* (/ 1 x) (/ 1.0 n)) (* (/ 1 x) (/ 1.0 n))) (* (/ 1 x) (/ 1.0 n)))
  (sqrt (* (/ 1 x) (/ 1.0 n)))
  (sqrt (* (/ 1 x) (/ 1.0 n)))
  (* 1 1.0)
  (* x n)
  (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n)))
  (* (/ (sqrt 1) (sqrt x)) (sqrt (/ 1.0 n)))
  (* (/ (sqrt 1) (sqrt x)) (sqrt (/ 1.0 n)))
  (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1.0) (sqrt n)))
  (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1.0) (sqrt n)))
  (* (/ 1 (sqrt x)) (sqrt (/ 1.0 n)))
  (* (/ 1 (sqrt x)) (sqrt (/ 1.0 n)))
  (* (/ 1 (sqrt x)) (/ (sqrt 1.0) (sqrt n)))
  (* (/ 1 (sqrt x)) (/ (sqrt 1.0) (sqrt n)))
  (* (/ 1 x) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (* (/ 1 x) (sqrt (/ 1.0 n)))
  (* (/ 1 x) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (* (/ 1 x) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (* (/ 1 x) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (* (/ 1 x) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (* (/ 1 x) (/ (sqrt 1.0) (sqrt n)))
  (* (/ 1 x) (/ (sqrt 1.0) 1))
  (* (/ 1 x) (/ 1 (* (cbrt n) (cbrt n))))
  (* (/ 1 x) (/ 1 (sqrt n)))
  (* (/ 1 x) (/ 1 1))
  (* (/ 1 x) 1)
  (* (/ 1 x) 1.0)
  (* (cbrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (/ (cbrt 1) (cbrt x)) (/ 1.0 n))
  (* (/ (cbrt 1) (sqrt x)) (/ 1.0 n))
  (* (/ (cbrt 1) x) (/ 1.0 n))
  (* (/ (sqrt 1) (cbrt x)) (/ 1.0 n))
  (* (/ (sqrt 1) (sqrt x)) (/ 1.0 n))
  (* (/ (sqrt 1) x) (/ 1.0 n))
  (* (/ 1 (cbrt x)) (/ 1.0 n))
  (* (/ 1 (sqrt x)) (/ 1.0 n))
  (* (/ 1 x) (/ 1.0 n))
  (* (/ 1 x) (/ 1.0 n))
  (* (/ 1 x) (/ 1.0 n))
  (* (/ 1 x) 1.0)
  (* 1 (/ 1.0 n))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
0.655 * * [simplify]: iteration  0 :  5583  enodes  (cost  432 )
0.657 * [simplify]: Simplified to:
   (/ 1.0 (* x n))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (log (/ 1.0 (* x n)))
  (exp (/ 1.0 (* x n)))
  (pow (/ 1.0 (* x n)) 3)
  (pow (/ 1.0 (* x n)) 3)
  (pow (/ 1.0 (* x n)) 3)
  (pow (/ 1.0 (* x n)) 3)
  (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n))))
  (cbrt (/ 1.0 (* x n)))
  (pow (/ 1.0 (* x n)) 3)
  (sqrt (/ 1.0 (* x n)))
  (sqrt (/ 1.0 (* x n)))
  1.0
  (* x n)
  (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n)))
  (/ (sqrt (/ 1.0 n)) (sqrt x))
  (/ (sqrt (/ 1.0 n)) (sqrt x))
  (/ (sqrt 1.0) (* (sqrt n) (sqrt x)))
  (/ (sqrt 1.0) (* (sqrt n) (sqrt x)))
  (/ (sqrt (/ 1.0 n)) (sqrt x))
  (/ (sqrt (/ 1.0 n)) (sqrt x))
  (/ (sqrt 1.0) (* (sqrt n) (sqrt x)))
  (/ (sqrt 1.0) (* (sqrt n) (sqrt x)))
  (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x))
  (/ (sqrt (/ 1.0 n)) x)
  (* (cbrt 1.0) (/ (/ (cbrt 1.0) x) (* (cbrt n) (cbrt n))))
  (* (cbrt 1.0) (/ (/ (cbrt 1.0) x) (sqrt n)))
  (* (cbrt 1.0) (/ (cbrt 1.0) x))
  (/ (sqrt 1.0) (* x (* (cbrt n) (cbrt n))))
  (/ (sqrt 1.0) (* x (sqrt n)))
  (/ (sqrt 1.0) x)
  (/ 1 (* x (* (cbrt n) (cbrt n))))
  (/ 1 (* x (sqrt n)))
  (/ 1 x)
  (/ 1 x)
  (/ 1.0 x)
  (* 1.0 (/ (cbrt (/ 1 x)) n))
  (* 1.0 (/ (sqrt (/ 1 x)) n))
  (* 1.0 (/ (/ (cbrt 1) (cbrt x)) n))
  (* 1.0 (/ (/ (cbrt 1) (sqrt x)) n))
  (* 1.0 (/ (/ (cbrt 1) x) n))
  (/ 1.0 (* n (cbrt x)))
  (/ 1.0 (* n (sqrt x)))
  (/ 1.0 (* x n))
  (/ 1.0 (* n (cbrt x)))
  (/ 1.0 (* n (sqrt x)))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (/ 1.0 x)
  (/ 1.0 n)
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
0.658 * * * [progress]: adding candidates to table
0.715 * * [progress]: iteration 4 / 4
0.715 * * * [progress]: picking best candidate
0.746 * * * * [pick]: Picked  #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))>
0.746 * * * [progress]: localizing error
0.753 * * * [progress]: generating rewritten candidates
0.753 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.759 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.763 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.778 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.791 * * * [progress]: generating series expansions
0.791 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.792 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in (n x) around 0
0.792 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in x
0.792 * [taylor]: Taking taylor expansion of 1.0 in x
0.792 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in x
0.792 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.792 * [taylor]: Taking taylor expansion of x in x
0.792 * [taylor]: Taking taylor expansion of (/ 1 n) in x
0.792 * [taylor]: Taking taylor expansion of n in x
0.792 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in n
0.792 * [taylor]: Taking taylor expansion of 1.0 in n
0.792 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in n
0.792 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in n
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.792 * [taylor]: Taking taylor expansion of x in n
0.792 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.792 * [taylor]: Taking taylor expansion of n in n
0.792 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in n
0.792 * [taylor]: Taking taylor expansion of 1.0 in n
0.792 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in n
0.792 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in n
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.792 * [taylor]: Taking taylor expansion of x in n
0.792 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.792 * [taylor]: Taking taylor expansion of n in n
0.793 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 x))) in x
0.793 * [taylor]: Taking taylor expansion of 1.0 in x
0.793 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.793 * [taylor]: Taking taylor expansion of x in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.793 * [taylor]: Taking taylor expansion of 0 in x
0.794 * [taylor]: Taking taylor expansion of 0 in x
0.795 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in (n x) around 0
0.795 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in x
0.795 * [taylor]: Taking taylor expansion of 1.0 in x
0.795 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in x
0.795 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.795 * [taylor]: Taking taylor expansion of x in x
0.795 * [taylor]: Taking taylor expansion of n in x
0.795 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in n
0.795 * [taylor]: Taking taylor expansion of 1.0 in n
0.795 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in n
0.795 * [taylor]: Taking taylor expansion of (sqrt x) in n
0.795 * [taylor]: Taking taylor expansion of x in n
0.795 * [taylor]: Taking taylor expansion of n in n
0.795 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in n
0.795 * [taylor]: Taking taylor expansion of 1.0 in n
0.795 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in n
0.795 * [taylor]: Taking taylor expansion of (sqrt x) in n
0.795 * [taylor]: Taking taylor expansion of x in n
0.795 * [taylor]: Taking taylor expansion of n in n
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.796 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt x)) in x
0.796 * [taylor]: Taking taylor expansion of 1.0 in x
0.796 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.796 * [taylor]: Taking taylor expansion of x in x
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.796 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of 0 in x
0.798 * [approximate]: Taking taylor expansion of (* -1.0 (/ n (sqrt (/ -1 x)))) in (n x) around 0
0.798 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (sqrt (/ -1 x)))) in x
0.798 * [taylor]: Taking taylor expansion of -1.0 in x
0.798 * [taylor]: Taking taylor expansion of (/ n (sqrt (/ -1 x))) in x
0.798 * [taylor]: Taking taylor expansion of n in x
0.798 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.798 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.798 * [taylor]: Taking taylor expansion of -1 in x
0.798 * [taylor]: Taking taylor expansion of x in x
0.798 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (sqrt (/ -1 x)))) in n
0.798 * [taylor]: Taking taylor expansion of -1.0 in n
0.798 * [taylor]: Taking taylor expansion of (/ n (sqrt (/ -1 x))) in n
0.798 * [taylor]: Taking taylor expansion of n in n
0.798 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in n
0.798 * [taylor]: Taking taylor expansion of (/ -1 x) in n
0.798 * [taylor]: Taking taylor expansion of -1 in n
0.798 * [taylor]: Taking taylor expansion of x in n
0.798 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (sqrt (/ -1 x)))) in n
0.798 * [taylor]: Taking taylor expansion of -1.0 in n
0.798 * [taylor]: Taking taylor expansion of (/ n (sqrt (/ -1 x))) in n
0.798 * [taylor]: Taking taylor expansion of n in n
0.798 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in n
0.798 * [taylor]: Taking taylor expansion of (/ -1 x) in n
0.798 * [taylor]: Taking taylor expansion of -1 in n
0.798 * [taylor]: Taking taylor expansion of x in n
0.799 * [taylor]: Taking taylor expansion of (/ -1.0 (sqrt (/ -1 x))) in x
0.799 * [taylor]: Taking taylor expansion of -1.0 in x
0.799 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.799 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.799 * [taylor]: Taking taylor expansion of -1 in x
0.799 * [taylor]: Taking taylor expansion of x in x
0.799 * [taylor]: Taking taylor expansion of 0 in x
0.800 * [taylor]: Taking taylor expansion of 0 in x
0.800 * [taylor]: Taking taylor expansion of 0 in x
0.801 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.801 * [approximate]: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
0.801 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.801 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.802 * [approximate]: Taking taylor expansion of (sqrt x) in (x) around 0
0.802 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.802 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.802 * [approximate]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in (x) around 0
0.802 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
0.802 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.802 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.802 * [taylor]: Taking taylor expansion of -1 in x
0.803 * [taylor]: Taking taylor expansion of x in x
0.803 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
0.803 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.803 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.803 * [taylor]: Taking taylor expansion of -1 in x
0.803 * [taylor]: Taking taylor expansion of x in x
0.808 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.808 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0
0.808 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n
0.808 * [taylor]: Taking taylor expansion of 1.0 in n
0.808 * [taylor]: Taking taylor expansion of (* x n) in n
0.808 * [taylor]: Taking taylor expansion of x in n
0.808 * [taylor]: Taking taylor expansion of n in n
0.808 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
0.808 * [taylor]: Taking taylor expansion of 1.0 in x
0.808 * [taylor]: Taking taylor expansion of (* x n) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of n in x
0.808 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
0.808 * [taylor]: Taking taylor expansion of 1.0 in x
0.809 * [taylor]: Taking taylor expansion of (* x n) in x
0.809 * [taylor]: Taking taylor expansion of x in x
0.809 * [taylor]: Taking taylor expansion of n in x
0.809 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
0.809 * [taylor]: Taking taylor expansion of 1.0 in n
0.809 * [taylor]: Taking taylor expansion of n in n
0.809 * [taylor]: Taking taylor expansion of 0 in n
0.809 * [taylor]: Taking taylor expansion of 0 in n
0.809 * [taylor]: Taking taylor expansion of 0 in n
0.810 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
0.810 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
0.810 * [taylor]: Taking taylor expansion of 1.0 in n
0.810 * [taylor]: Taking taylor expansion of (* x n) in n
0.810 * [taylor]: Taking taylor expansion of x in n
0.810 * [taylor]: Taking taylor expansion of n in n
0.810 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.810 * [taylor]: Taking taylor expansion of 1.0 in x
0.810 * [taylor]: Taking taylor expansion of (* x n) in x
0.810 * [taylor]: Taking taylor expansion of x in x
0.810 * [taylor]: Taking taylor expansion of n in x
0.810 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
0.810 * [taylor]: Taking taylor expansion of 1.0 in x
0.810 * [taylor]: Taking taylor expansion of (* x n) in x
0.810 * [taylor]: Taking taylor expansion of x in x
0.810 * [taylor]: Taking taylor expansion of n in x
0.810 * [taylor]: Taking taylor expansion of 0 in n
0.810 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
0.810 * [taylor]: Taking taylor expansion of 1.0 in n
0.810 * [taylor]: Taking taylor expansion of n in n
0.810 * [taylor]: Taking taylor expansion of 0 in n
0.810 * [taylor]: Taking taylor expansion of 0 in n
0.811 * [taylor]: Taking taylor expansion of 0 in n
0.811 * [approximate]: Taking taylor expansion of (* -1.0 (/ n (pow (sqrt (/ -1 x)) 2))) in (x n) around 0
0.811 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (pow (sqrt (/ -1 x)) 2))) in n
0.811 * [taylor]: Taking taylor expansion of -1.0 in n
0.811 * [taylor]: Taking taylor expansion of (/ n (pow (sqrt (/ -1 x)) 2)) in n
0.811 * [taylor]: Taking taylor expansion of n in n
0.811 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in n
0.811 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in n
0.811 * [taylor]: Taking taylor expansion of (/ -1 x) in n
0.811 * [taylor]: Taking taylor expansion of -1 in n
0.811 * [taylor]: Taking taylor expansion of x in n
0.811 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (pow (sqrt (/ -1 x)) 2))) in x
0.811 * [taylor]: Taking taylor expansion of -1.0 in x
0.811 * [taylor]: Taking taylor expansion of (/ n (pow (sqrt (/ -1 x)) 2)) in x
0.811 * [taylor]: Taking taylor expansion of n in x
0.811 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.811 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.811 * [taylor]: Taking taylor expansion of -1 in x
0.811 * [taylor]: Taking taylor expansion of x in x
0.811 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (pow (sqrt (/ -1 x)) 2))) in x
0.811 * [taylor]: Taking taylor expansion of -1.0 in x
0.811 * [taylor]: Taking taylor expansion of (/ n (pow (sqrt (/ -1 x)) 2)) in x
0.812 * [taylor]: Taking taylor expansion of n in x
0.812 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.812 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.812 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.812 * [taylor]: Taking taylor expansion of -1 in x
0.812 * [taylor]: Taking taylor expansion of x in x
0.812 * [taylor]: Taking taylor expansion of (* -1.0 (/ n (pow NAN 2))) in n
0.812 * [taylor]: Taking taylor expansion of -1.0 in n
0.812 * [taylor]: Taking taylor expansion of (/ n (pow NAN 2)) in n
0.812 * [taylor]: Taking taylor expansion of n in n
0.812 * [taylor]: Taking taylor expansion of (pow NAN 2) in n
0.812 * [taylor]: Taking taylor expansion of NAN in n
0.813 * [taylor]: Taking taylor expansion of (* 2.0 n) in n
0.813 * [taylor]: Taking taylor expansion of 2.0 in n
0.813 * [taylor]: Taking taylor expansion of n in n
0.814 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* (pow NAN 2) n))) in n
0.814 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 2) n)) in n
0.814 * [taylor]: Taking taylor expansion of 1.0 in n
0.814 * [taylor]: Taking taylor expansion of (* (pow NAN 2) n) in n
0.814 * [taylor]: Taking taylor expansion of (pow NAN 2) in n
0.814 * [taylor]: Taking taylor expansion of NAN in n
0.814 * [taylor]: Taking taylor expansion of n in n
0.815 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.815 * [approximate]: Taking taylor expansion of (* (sqrt x) n) in (n x) around 0
0.815 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in x
0.815 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.815 * [taylor]: Taking taylor expansion of n in x
0.815 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in n
0.815 * [taylor]: Taking taylor expansion of (sqrt x) in n
0.815 * [taylor]: Taking taylor expansion of x in n
0.815 * [taylor]: Taking taylor expansion of n in n
0.815 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in n
0.815 * [taylor]: Taking taylor expansion of (sqrt x) in n
0.815 * [taylor]: Taking taylor expansion of x in n
0.815 * [taylor]: Taking taylor expansion of n in n
0.815 * [taylor]: Taking taylor expansion of 0 in x
0.816 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of 0 in x
0.816 * [taylor]: Taking taylor expansion of 0 in x
0.816 * [taylor]: Taking taylor expansion of 0 in x
0.817 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in (n x) around 0
0.817 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in x
0.817 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.817 * [taylor]: Taking taylor expansion of x in x
0.817 * [taylor]: Taking taylor expansion of (/ 1 n) in x
0.817 * [taylor]: Taking taylor expansion of n in x
0.817 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in n
0.817 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in n
0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.817 * [taylor]: Taking taylor expansion of x in n
0.817 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.817 * [taylor]: Taking taylor expansion of n in n
0.817 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in n
0.817 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in n
0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in n
0.817 * [taylor]: Taking taylor expansion of x in n
0.818 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.818 * [taylor]: Taking taylor expansion of n in n
0.818 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.818 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of 0 in x
0.818 * [taylor]: Taking taylor expansion of 0 in x
0.819 * [taylor]: Taking taylor expansion of 0 in x
0.819 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) n)) in (n x) around 0
0.819 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) n)) in x
0.819 * [taylor]: Taking taylor expansion of -1 in x
0.819 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) n) in x
0.819 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.819 * [taylor]: Taking taylor expansion of -1 in x
0.819 * [taylor]: Taking taylor expansion of x in x
0.819 * [taylor]: Taking taylor expansion of n in x
0.819 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) n)) in n
0.819 * [taylor]: Taking taylor expansion of -1 in n
0.820 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) n) in n
0.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in n
0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in n
0.820 * [taylor]: Taking taylor expansion of -1 in n
0.820 * [taylor]: Taking taylor expansion of x in n
0.820 * [taylor]: Taking taylor expansion of n in n
0.820 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) n)) in n
0.820 * [taylor]: Taking taylor expansion of -1 in n
0.820 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) n) in n
0.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in n
0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in n
0.820 * [taylor]: Taking taylor expansion of -1 in n
0.820 * [taylor]: Taking taylor expansion of x in n
0.820 * [taylor]: Taking taylor expansion of n in n
0.820 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
0.820 * [taylor]: Taking taylor expansion of -1 in x
0.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.820 * [taylor]: Taking taylor expansion of -1 in x
0.820 * [taylor]: Taking taylor expansion of x in x
0.820 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in x
0.822 * * * [progress]: simplifying candidates
0.824 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log 1.0) (+ (log n) (log (sqrt x))))
  (- (log 1.0) (log (* n (sqrt x))))
  (log (/ 1.0 (* n (sqrt x))))
  (exp (/ 1.0 (* n (sqrt x))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* n n) n) (* (* (sqrt x) (sqrt x)) (sqrt x))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* n (sqrt x)) (* n (sqrt x))) (* n (sqrt x))))
  (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x)))))
  (cbrt (/ 1.0 (* n (sqrt x))))
  (* (* (/ 1.0 (* n (sqrt x))) (/ 1.0 (* n (sqrt x)))) (/ 1.0 (* n (sqrt x))))
  (sqrt (/ 1.0 (* n (sqrt x))))
  (sqrt (/ 1.0 (* n (sqrt x))))
  (neg 1.0)
  (neg (* n (sqrt x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) n)
  (/ (cbrt 1.0) (sqrt x))
  (/ (sqrt 1.0) n)
  (/ (sqrt 1.0) (sqrt x))
  (/ 1 n)
  (/ 1.0 (sqrt x))
  (/ 1 (* n (sqrt x)))
  (/ (* n (sqrt x)) 1.0)
  (/ 1.0 n)
  (/ (* n (sqrt x)) (cbrt 1.0))
  (/ (* n (sqrt x)) (sqrt 1.0))
  (/ (* n (sqrt x)) 1.0)
  (neg 1/2)
  (neg 1)
  (neg (/ 1 2))
  (neg (log (sqrt x)))
  (- 0 (log (sqrt x)))
  (- (log 1) (log (sqrt x)))
  (log (/ 1 (sqrt x)))
  (exp (/ 1 (sqrt x)))
  (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (cbrt (/ 1 (sqrt x)))
  (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (neg 1)
  (neg (sqrt x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ (cbrt 1) (cbrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (sqrt (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x)))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))
  (/ (cbrt 1) (sqrt x))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x)))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sqrt x))
  (/ (sqrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ (sqrt 1) (cbrt (sqrt x)))
  (/ (sqrt 1) (sqrt (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (sqrt (cbrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (sqrt (* (cbrt x) (cbrt x))))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 1)
  (/ 1 (sqrt x))
  (/ 1 (sqrt x))
  (/ (sqrt x) 1)
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (sqrt (* (cbrt x) (cbrt x))))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 1)
  (/ (sqrt x) (cbrt 1))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) 1)
  (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (+ (neg (log (sqrt x))) (- (log 1.0) (+ (log n) (log (sqrt x)))))
  (+ (neg (log (sqrt x))) (- (log 1.0) (log (* n (sqrt x)))))
  (+ (neg (log (sqrt x))) (log (/ 1.0 (* n (sqrt x)))))
  (+ (- 0 (log (sqrt x))) (- (log 1.0) (+ (log n) (log (sqrt x)))))
  (+ (- 0 (log (sqrt x))) (- (log 1.0) (log (* n (sqrt x)))))
  (+ (- 0 (log (sqrt x))) (log (/ 1.0 (* n (sqrt x)))))
  (+ (- (log 1) (log (sqrt x))) (- (log 1.0) (+ (log n) (log (sqrt x)))))
  (+ (- (log 1) (log (sqrt x))) (- (log 1.0) (log (* n (sqrt x)))))
  (+ (- (log 1) (log (sqrt x))) (log (/ 1.0 (* n (sqrt x)))))
  (+ (log (/ 1 (sqrt x))) (- (log 1.0) (+ (log n) (log (sqrt x)))))
  (+ (log (/ 1 (sqrt x))) (- (log 1.0) (log (* n (sqrt x)))))
  (+ (log (/ 1 (sqrt x))) (log (/ 1.0 (* n (sqrt x)))))
  (log (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))
  (exp (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x))) (/ (* (* 1.0 1.0) 1.0) (* (* (* n n) n) (* (* (sqrt x) (sqrt x)) (sqrt x)))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x))) (/ (* (* 1.0 1.0) 1.0) (* (* (* n (sqrt x)) (* n (sqrt x))) (* n (sqrt x)))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (/ 1.0 (* n (sqrt x))) (/ 1.0 (* n (sqrt x)))) (/ 1.0 (* n (sqrt x)))))
  (* (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x))) (/ (* (* 1.0 1.0) 1.0) (* (* (* n n) n) (* (* (sqrt x) (sqrt x)) (sqrt x)))))
  (* (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x))) (/ (* (* 1.0 1.0) 1.0) (* (* (* n (sqrt x)) (* n (sqrt x))) (* n (sqrt x)))))
  (* (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x))) (* (* (/ 1.0 (* n (sqrt x))) (/ 1.0 (* n (sqrt x)))) (/ 1.0 (* n (sqrt x)))))
  (* (cbrt (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))) (cbrt (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))))
  (cbrt (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))
  (* (* (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))) (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))) (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))
  (sqrt (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))
  (sqrt (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x)))))
  (* 1 1.0)
  (* (sqrt x) (* n (sqrt x)))
  (* (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ (sqrt 1) (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ (sqrt 1) (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ (sqrt 1) (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ (sqrt 1) (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ 1 (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ 1 (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ 1 (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ 1 (sqrt (sqrt x))) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ 1 (sqrt x)) (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))))
  (* (/ 1 (sqrt x)) (sqrt (/ 1.0 (* n (sqrt x)))))
  (* (/ 1 (sqrt x)) (/ (* (cbrt 1.0) (cbrt 1.0)) n))
  (* (/ 1 (sqrt x)) (/ (sqrt 1.0) n))
  (* (/ 1 (sqrt x)) (/ 1 n))
  (* (/ 1 (sqrt x)) 1)
  (* (/ 1 (sqrt x)) 1.0)
  (* (cbrt (/ 1 (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (sqrt (/ 1 (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (cbrt 1) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (cbrt 1) (sqrt (cbrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (cbrt 1) (sqrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (cbrt 1) (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ (cbrt 1) (sqrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (cbrt 1) (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ (sqrt 1) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (sqrt 1) (sqrt (cbrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (sqrt 1) (sqrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (sqrt 1) (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ (sqrt 1) (sqrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ (sqrt 1) (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt (cbrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt (sqrt x))) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt x)) (/ 1.0 (* n (sqrt x))))
  (* (/ 1 (sqrt x)) 1.0)
  (* 1 (/ 1.0 (* n (sqrt x))))
  (* n (sqrt x))
  (+ (log n) (log (sqrt x)))
  (log (* n (sqrt x)))
  (exp (* n (sqrt x)))
  (* (* (* n n) n) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x))))
  (cbrt (* n (sqrt x)))
  (* (* (* n (sqrt x)) (* n (sqrt x))) (* n (sqrt x)))
  (sqrt (* n (sqrt x)))
  (sqrt (* n (sqrt x)))
  (* (sqrt n) (sqrt (sqrt x)))
  (* (sqrt n) (sqrt (sqrt x)))
  (* (sqrt n) (sqrt (sqrt x)))
  (* (sqrt n) (sqrt (sqrt x)))
  (* n (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* n (sqrt (* (cbrt x) (cbrt x))))
  (* n (sqrt (sqrt x)))
  (* n (sqrt 1))
  (* n (sqrt (sqrt x)))
  (* n 1)
  (* (cbrt n) (sqrt x))
  (* (sqrt n) (sqrt x))
  (* n (sqrt x))
  (+ (* 1.0 (/ (* x (pow NAN 3)) n)) (+ (* 1.0 (/ (* (pow x 2) (pow NAN 5)) n)) (* 1.0 (/ NAN n))))
  (+ (* 1.0 (/ NAN (* x n))) (+ (* 1.0 (/ (pow NAN 3) (* (pow x 2) n))) (* 1.0 (/ (pow NAN 5) (* (pow x 3) n)))))
  (+ (* 1.0 (/ NAN (* x n))) (* 1.0 (/ 1 (* NAN n))))
  (+ NAN (+ (* x (pow NAN 3)) (* (pow x 2) (pow NAN 5))))
  (+ (/ (pow NAN 3) (pow x 2)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3))))
  (+ (/ 1 NAN) (/ NAN x))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (+ (* 1.0 (/ 1 (* (pow NAN 2) n))) (+ (* 2.0 (/ 1 (* x n))) (* 1.0 (/ (pow NAN 2) (* (pow x 2) n)))))
  (+ (* x (* NAN n)) (+ (* (pow x 2) (* (pow NAN 3) n)) (* (pow x 3) (* (pow NAN 5) n))))
  (+ (* NAN n) (+ (/ (* (pow NAN 5) n) (pow x 2)) (/ (* (pow NAN 3) n) x)))
  (- (+ (* NAN n) (/ (* (pow NAN 5) n) (pow x 2))) (/ (* (pow NAN 3) n) x))
0.862 * * [simplify]: iteration  0 :  5116  enodes  (cost  1308 )
0.868 * [simplify]: Simplified to:
   (log (/ 1.0 (* n (sqrt x))))
  (log (/ 1.0 (* n (sqrt x))))
  (log (/ 1.0 (* n (sqrt x))))
  (exp (/ 1.0 (* n (sqrt x))))
  (pow (/ 1.0 (* n (sqrt x))) 3)
  (pow (/ 1.0 (* n (sqrt x))) 3)
  (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x)))))
  (cbrt (/ 1.0 (* n (sqrt x))))
  (pow (/ 1.0 (* n (sqrt x))) 3)
  (sqrt (/ 1.0 (* n (sqrt x))))
  (sqrt (/ 1.0 (* n (sqrt x))))
  (neg 1.0)
  (* n (neg (sqrt x)))
  (* (cbrt 1.0) (/ (cbrt 1.0) n))
  (/ (cbrt 1.0) (sqrt x))
  (/ (sqrt 1.0) n)
  (/ (sqrt 1.0) (sqrt x))
  (/ 1 n)
  (/ 1.0 (sqrt x))
  (/ 1 (* n (sqrt x)))
  (* n (/ (sqrt x) 1.0))
  (/ 1.0 n)
  (* (/ n (cbrt 1.0)) (sqrt x))
  (* (/ n (sqrt 1.0)) (sqrt x))
  (* n (/ (sqrt x) 1.0))
  -1/2
  -1
  -1/2
  (neg (log (sqrt x)))
  (neg (log (sqrt x)))
  (neg (log (sqrt x)))
  (neg (log (sqrt x)))
  (exp (/ 1 (sqrt x)))
  (/ 1 (pow x 3/2))
  (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (cbrt (/ 1 (sqrt x)))
  (/ 1 (pow x 3/2))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  -1
  (neg (sqrt x))
  (* (/ (cbrt 1) (cbrt (sqrt x))) (/ (cbrt 1) (cbrt (sqrt x))))
  (/ (cbrt 1) (cbrt (sqrt x)))
  (* (/ (cbrt 1) (fabs (cbrt x))) (cbrt 1))
  (/ (cbrt 1) (sqrt (cbrt x)))
  (* (/ (cbrt 1) (sqrt (sqrt x))) (cbrt 1))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (sqrt x))
  (* (/ (cbrt 1) (sqrt (sqrt x))) (cbrt 1))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt x))
  (sqrt x)
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt (sqrt x)))
  1
  (/ (sqrt x) (cbrt 1))
  (sqrt x)
  (sqrt x)
  (/ 1.0 (* n x))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (log (/ 1.0 (* n x)))
  (exp (/ 1.0 (* n x)))
  (pow (/ 1.0 (* n x)) 3)
  (pow (/ 1.0 (* n x)) 3)
  (pow (/ 1.0 (* n x)) 3)
  (pow (/ 1.0 (* n x)) 3)
  (pow (/ 1.0 (* n x)) 3)
  (pow (/ 1.0 (* n x)) 3)
  (* (cbrt (/ 1.0 (* n x))) (cbrt (/ 1.0 (* n x))))
  (cbrt (/ 1.0 (* n x)))
  (pow (/ 1.0 (* n x)) 3)
  (sqrt (/ 1.0 (* n x)))
  (sqrt (/ 1.0 (* n x)))
  1.0
  (* n x)
  (* (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (/ 1 (sqrt x))))
  (* (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (/ 1 (sqrt x))))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt (sqrt x)))
  (* (cbrt (/ 1.0 (* n (sqrt x)))) (/ (cbrt (/ 1.0 (* n (sqrt x)))) (sqrt x)))
  (/ (sqrt (/ 1.0 (* n (sqrt x)))) (sqrt x))
  (/ (cbrt 1.0) (* (sqrt x) (/ n (cbrt 1.0))))
  (/ (sqrt 1.0) (* n (sqrt x)))
  (/ 1 (* n (sqrt x)))
  (/ 1 (sqrt x))
  (/ 1.0 (sqrt x))
  (* (/ 1.0 (* n (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (* (/ 1.0 (* n (sqrt x))) (sqrt (/ 1 (sqrt x))))
  (* (/ 1.0 (* n (sqrt x))) (/ (cbrt 1) (cbrt (sqrt x))))
  (* (/ 1.0 (* n (sqrt x))) (/ (cbrt 1) (sqrt (cbrt x))))
  (* (/ 1.0 (* n (sqrt x))) (/ (cbrt 1) (sqrt (sqrt x))))
  (* (/ (cbrt 1) x) (/ 1.0 n))
  (* (/ 1.0 (* n (sqrt x))) (/ (cbrt 1) (sqrt (sqrt x))))
  (* (/ (cbrt 1) x) (/ 1.0 n))
  (/ 1.0 (* (cbrt (sqrt x)) (* n (sqrt x))))
  (/ 1.0 (* (sqrt (cbrt x)) (* n (sqrt x))))
  (/ 1.0 (* (sqrt (sqrt x)) (* n (sqrt x))))
  (/ 1.0 (* n x))
  (/ 1.0 (* (sqrt (sqrt x)) (* n (sqrt x))))
  (/ 1.0 (* n x))
  (/ 1.0 (* (cbrt (sqrt x)) (* n (sqrt x))))
  (/ 1.0 (* (sqrt (cbrt x)) (* n (sqrt x))))
  (/ 1.0 (* (sqrt (sqrt x)) (* n (sqrt x))))
  (/ 1.0 (* n x))
  (/ 1.0 (* (sqrt (sqrt x)) (* n (sqrt x))))
  (/ 1.0 (* n x))
  (/ 1.0 (* n x))
  (/ 1.0 (* n x))
  (/ 1.0 (sqrt x))
  (/ 1.0 (* n (sqrt x)))
  (* n (sqrt x))
  (log (* n (sqrt x)))
  (log (* n (sqrt x)))
  (pow (exp n) (sqrt x))
  (pow (* n (sqrt x)) 3)
  (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x))))
  (cbrt (* n (sqrt x)))
  (pow (* n (sqrt x)) 3)
  (sqrt (* n (sqrt x)))
  (sqrt (* n (sqrt x)))
  (* (sqrt (sqrt x)) (sqrt n))
  (* (sqrt (sqrt x)) (sqrt n))
  (* (sqrt (sqrt x)) (sqrt n))
  (* (sqrt (sqrt x)) (sqrt n))
  (* n (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* n (fabs (cbrt x)))
  (* n (sqrt (sqrt x)))
  n
  (* n (sqrt (sqrt x)))
  n
  (* (sqrt x) (cbrt n))
  (* (sqrt x) (sqrt n))
  (* n (sqrt x))
  (* (/ 1.0 n) (+ NAN (* x (+ (pow NAN 3) (* x (pow NAN 5))))))
  (* (/ 1.0 n) (+ (/ (pow NAN 3) (* x x)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3)))))
  (* (/ 1.0 n) (+ (/ NAN x) (/ 1 NAN)))
  (+ NAN (* x (+ (pow NAN 3) (* x (pow NAN 5)))))
  (+ (/ (pow NAN 3) (* x x)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3))))
  (+ (/ NAN x) (/ 1 NAN))
  (/ 1.0 (* n x))
  (/ 1.0 (* n x))
  (+ (/ 2.0 (* n x)) (* (/ 1.0 n) (+ (/ 1 (* NAN NAN)) (* (/ NAN x) (/ NAN x)))))
  (* n (* x (+ NAN (* x (+ (pow NAN 3) (* x (pow NAN 5)))))))
  (+ (* n NAN) (* (/ n x) (+ (/ (pow NAN 5) x) (pow NAN 3))))
  (+ (* n NAN) (* (/ n x) (- (/ (pow NAN 5) x) (pow NAN 3))))
0.868 * * * [progress]: adding candidates to table
1.015 * [progress]: [Phase 3 of 3] Extracting.
1.015 * * [regime]: Finding splitpoints for: (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.018 * * * [regime-changes]: Trying 4 branch expressions: ((/ 1.0 n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) n x)
1.018 * * * * [regimes]: Trying to branch on (/ 1.0 n) from (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.131 * * * * [regimes]: Trying to branch on (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) from (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.217 * * * * [regimes]: Trying to branch on n from (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.326 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.435 * * * [regime]: Found split indices: #<option (#s(si 11 53) #s(si 12 235) #s(si 11 255))>
1.436 * [binary-search]: Only using regimes for bounds on (/ 1.0 n) and (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.436 * [regimes]: Found splitpoints: (#s(sp 11 (/ 1.0 n) -18.090779061275043) #s(sp 12 (/ 1.0 n) 0.0011783091176425717) #s(sp 11 (/ 1.0 n) +nan.0)) , with alts (#<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (exp (log (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* 1.0 (/ (cbrt (/ 1 x)) n))))> #<alt (λ (x n) (* (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (log (exp (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (exp (log (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (exp (neg (log (sqrt x)))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1.0 (* n (sqrt x)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* n (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (cbrt (pow (/ 1.0 (* n (sqrt x))) 3))))> #<alt (λ (x n) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (- (/ (log 1) x) (/ (neg (log x)) x))) (/ 0.5 (* x (* x n))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (* (* (cbrt (/ 1.0 (* n (sqrt x)))) (cbrt (/ 1.0 (* n (sqrt x))))) (cbrt (/ 1.0 (* n (sqrt x)))))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (cbrt (pow (* n (sqrt x)) 3)))))> #<alt (λ (x n) (* (/ 1 (sqrt x)) (/ 1.0 (* (* (cbrt (* n (sqrt x))) (cbrt (* n (sqrt x)))) (cbrt (* n (sqrt x)))))))>)
1.436 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ 1.0 n) -18.090779061275043) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (if (<= (/ 1.0 n) 0.0011783091176425717) (* (/ 1 x) (/ 1.0 n)) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
1.437 * * [simplify]: iteration  0 :  23  enodes  (cost  33 )
1.437 * * [simplify]: iteration  1 :  23  enodes  (cost  33 )
1.437 * [simplify]: Simplified to:
   (if (or (<= (/ 1.0 n) -18.090779061275043) (not (<= (/ 1.0 n) 0.0011783091176425717))) (- (pow (+ 1.0 x) (/ 1.0 n)) (pow x (/ 1.0 n))) (* (/ 1.0 n) (/ 1 x)))
10.142 * [regime-testing]: End program error score: 23.401870016078853