16.163 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.214 * * * [progress]: [2/2] Setting up program.
0.217 * [progress]: [Phase 2 of 3] Improving.
0.217 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.218 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.219 * * [simplify]: iteration  1 :  17  enodes  (cost  13 )
0.221 * * [simplify]: iteration  2 :  34  enodes  (cost  13 )
0.226 * * [simplify]: iteration  3 :  81  enodes  (cost  13 )
0.244 * * [simplify]: iteration  4 :  209  enodes  (cost  13 )
0.314 * * [simplify]: iteration  5 :  656  enodes  (cost  13 )
0.892 * * [simplify]: iteration  6 :  3057  enodes  (cost  13 )
2.252 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
2.252 * [simplify]: Simplified to:
   (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.252 * * [progress]: iteration 1 / 4
2.252 * * * [progress]: picking best candidate
2.255 * * * * [pick]: Picked  #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))>
2.255 * * * [progress]: localizing error
2.267 * * * [progress]: generating rewritten candidates
2.267 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.277 * * * [progress]: generating series expansions
2.277 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.278 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in (x n) around 0
2.278 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n
2.278 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n
2.278 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in n
2.278 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in n
2.278 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
2.278 * [taylor]: Taking taylor expansion of 1.0 in n
2.278 * [taylor]: Taking taylor expansion of n in n
2.278 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in n
2.278 * [taylor]: Taking taylor expansion of (+ x 1.0) in n
2.278 * [taylor]: Taking taylor expansion of x in n
2.278 * [taylor]: Taking taylor expansion of 1.0 in n
2.278 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
2.279 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in n
2.279 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in n
2.279 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
2.279 * [taylor]: Taking taylor expansion of 1.0 in n
2.279 * [taylor]: Taking taylor expansion of n in n
2.279 * [taylor]: Taking taylor expansion of (log x) in n
2.279 * [taylor]: Taking taylor expansion of x in n
2.279 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x
2.279 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x
2.279 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x
2.279 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x
2.279 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
2.279 * [taylor]: Taking taylor expansion of 1.0 in x
2.279 * [taylor]: Taking taylor expansion of n in x
2.279 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.279 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.279 * [taylor]: Taking taylor expansion of x in x
2.279 * [taylor]: Taking taylor expansion of 1.0 in x
2.279 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x
2.279 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x
2.279 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x
2.279 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
2.279 * [taylor]: Taking taylor expansion of 1.0 in x
2.279 * [taylor]: Taking taylor expansion of n in x
2.279 * [taylor]: Taking taylor expansion of (log x) in x
2.279 * [taylor]: Taking taylor expansion of x in x
2.280 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x
2.280 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x
2.280 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x
2.280 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x
2.280 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
2.280 * [taylor]: Taking taylor expansion of 1.0 in x
2.280 * [taylor]: Taking taylor expansion of n in x
2.280 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.280 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.280 * [taylor]: Taking taylor expansion of x in x
2.280 * [taylor]: Taking taylor expansion of 1.0 in x
2.280 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x
2.280 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x
2.280 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x
2.280 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x
2.280 * [taylor]: Taking taylor expansion of 1.0 in x
2.280 * [taylor]: Taking taylor expansion of n in x
2.280 * [taylor]: Taking taylor expansion of (log x) in x
2.280 * [taylor]: Taking taylor expansion of x in x
2.280 * [taylor]: Taking taylor expansion of (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) in n
2.280 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.280 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.281 * [taylor]: Taking taylor expansion of 1.0 in n
2.281 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.281 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.281 * [taylor]: Taking taylor expansion of 1.0 in n
2.281 * [taylor]: Taking taylor expansion of n in n
2.281 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n
2.281 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n
2.281 * [taylor]: Taking taylor expansion of 1.0 in n
2.281 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n
2.281 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n
2.281 * [taylor]: Taking taylor expansion of (log 1) in n
2.281 * [taylor]: Taking taylor expansion of 1 in n
2.281 * [taylor]: Taking taylor expansion of (log x) in n
2.281 * [taylor]: Taking taylor expansion of x in n
2.281 * [taylor]: Taking taylor expansion of n in n
2.282 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp (* 1.0 (/ (log 1.0) n))) n)) in n
2.282 * [taylor]: Taking taylor expansion of 1.0 in n
2.282 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) n) in n
2.282 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.282 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.282 * [taylor]: Taking taylor expansion of 1.0 in n
2.283 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.283 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.283 * [taylor]: Taking taylor expansion of 1.0 in n
2.283 * [taylor]: Taking taylor expansion of n in n
2.283 * [taylor]: Taking taylor expansion of n in n
2.285 * [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
2.285 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) in n
2.285 * [taylor]: Taking taylor expansion of 0.5 in n
2.285 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2)) in n
2.285 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.285 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.285 * [taylor]: Taking taylor expansion of 1.0 in n
2.285 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.285 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.285 * [taylor]: Taking taylor expansion of 1.0 in n
2.285 * [taylor]: Taking taylor expansion of n in n
2.285 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.285 * [taylor]: Taking taylor expansion of n in n
2.285 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2)))) in n
2.285 * [taylor]: Taking taylor expansion of 0.5 in n
2.285 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))) in n
2.285 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.285 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.285 * [taylor]: Taking taylor expansion of 1.0 in n
2.285 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.285 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.285 * [taylor]: Taking taylor expansion of 1.0 in n
2.285 * [taylor]: Taking taylor expansion of n in n
2.285 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n
2.285 * [taylor]: Taking taylor expansion of n in n
2.285 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n
2.285 * [taylor]: Taking taylor expansion of 1.0 in n
2.288 * [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
2.288 * [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
2.288 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) in n
2.289 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n
2.289 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))) in n
2.289 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.289 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.289 * [taylor]: Taking taylor expansion of 1.0 in n
2.289 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.289 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.289 * [taylor]: Taking taylor expansion of 1.0 in n
2.289 * [taylor]: Taking taylor expansion of n in n
2.289 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n
2.289 * [taylor]: Taking taylor expansion of n in n
2.289 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n
2.289 * [taylor]: Taking taylor expansion of 1.0 in n
2.289 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) in n
2.289 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n
2.289 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)) in n
2.289 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.289 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.289 * [taylor]: Taking taylor expansion of 1.0 in n
2.289 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.289 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.289 * [taylor]: Taking taylor expansion of 1.0 in n
2.289 * [taylor]: Taking taylor expansion of n in n
2.289 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.289 * [taylor]: Taking taylor expansion of n in n
2.289 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2)))) in n
2.289 * [taylor]: Taking taylor expansion of 0.5 in n
2.289 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))) in n
2.289 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n
2.289 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n
2.290 * [taylor]: Taking taylor expansion of 1.0 in n
2.290 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n
2.290 * [taylor]: Taking taylor expansion of (log 1.0) in n
2.290 * [taylor]: Taking taylor expansion of 1.0 in n
2.290 * [taylor]: Taking taylor expansion of n in n
2.290 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n
2.290 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.290 * [taylor]: Taking taylor expansion of n in n
2.290 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n
2.290 * [taylor]: Taking taylor expansion of 1.0 in n
2.291 * [approximate]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in (x n) around 0
2.291 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n
2.291 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) (* 1.0 n)) in n
2.291 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ (/ 1 x) 1.0)))) in n
2.291 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ (/ 1 x) 1.0))) in n
2.291 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
2.291 * [taylor]: Taking taylor expansion of 1.0 in n
2.291 * [taylor]: Taking taylor expansion of n in n
2.291 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in n
2.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in n
2.292 * [taylor]: Taking taylor expansion of (/ 1 x) in n
2.292 * [taylor]: Taking taylor expansion of x in n
2.292 * [taylor]: Taking taylor expansion of 1.0 in n
2.292 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
2.292 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in n
2.292 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in n
2.292 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
2.292 * [taylor]: Taking taylor expansion of 1.0 in n
2.292 * [taylor]: Taking taylor expansion of n in n
2.292 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in n
2.292 * [taylor]: Taking taylor expansion of (/ 1 x) in n
2.292 * [taylor]: Taking taylor expansion of x in n
2.292 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x
2.292 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) (* 1.0 n)) in x
2.292 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ (/ 1 x) 1.0)))) in x
2.292 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ (/ 1 x) 1.0))) in x
2.293 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
2.293 * [taylor]: Taking taylor expansion of 1.0 in x
2.293 * [taylor]: Taking taylor expansion of n in x
2.293 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
2.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
2.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.293 * [taylor]: Taking taylor expansion of x in x
2.293 * [taylor]: Taking taylor expansion of 1.0 in x
2.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x
2.293 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x
2.293 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x
2.293 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
2.293 * [taylor]: Taking taylor expansion of 1.0 in x
2.293 * [taylor]: Taking taylor expansion of n in x
2.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.293 * [taylor]: Taking taylor expansion of x in x
2.293 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x
2.293 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) (* 1.0 n)) in x
2.293 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ (/ 1 x) 1.0)))) in x
2.293 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ (/ 1 x) 1.0))) in x
2.293 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
2.293 * [taylor]: Taking taylor expansion of 1.0 in x
2.293 * [taylor]: Taking taylor expansion of n in x
2.293 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
2.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
2.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.293 * [taylor]: Taking taylor expansion of x in x
2.293 * [taylor]: Taking taylor expansion of 1.0 in x
2.294 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x
2.294 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x
2.294 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x
2.294 * [taylor]: Taking taylor expansion of (* 1.0 n) in x
2.294 * [taylor]: Taking taylor expansion of 1.0 in x
2.294 * [taylor]: Taking taylor expansion of n in x
2.294 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.294 * [taylor]: Taking taylor expansion of x in x
2.294 * [taylor]: Taking taylor expansion of 0 in n
2.295 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n
2.295 * [taylor]: Taking taylor expansion of 1.0 in n
2.295 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n
2.295 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
2.295 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
2.295 * [taylor]: Taking taylor expansion of 1.0 in n
2.295 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
2.295 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
2.295 * [taylor]: Taking taylor expansion of (log 1) in n
2.295 * [taylor]: Taking taylor expansion of 1 in n
2.295 * [taylor]: Taking taylor expansion of (log x) in n
2.295 * [taylor]: Taking taylor expansion of x in n
2.295 * [taylor]: Taking taylor expansion of n in n
2.296 * [taylor]: Taking taylor expansion of n in n
2.297 * [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
2.297 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n
2.297 * [taylor]: Taking taylor expansion of 0.5 in n
2.297 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n
2.297 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
2.297 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
2.297 * [taylor]: Taking taylor expansion of 1.0 in n
2.297 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
2.297 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
2.297 * [taylor]: Taking taylor expansion of (log 1) in n
2.297 * [taylor]: Taking taylor expansion of 1 in n
2.297 * [taylor]: Taking taylor expansion of (log x) in n
2.297 * [taylor]: Taking taylor expansion of x in n
2.297 * [taylor]: Taking taylor expansion of n in n
2.298 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.298 * [taylor]: Taking taylor expansion of n in n
2.298 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n
2.298 * [taylor]: Taking taylor expansion of 0.5 in n
2.298 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n
2.298 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
2.298 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
2.298 * [taylor]: Taking taylor expansion of 1.0 in n
2.298 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
2.298 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
2.298 * [taylor]: Taking taylor expansion of (log 1) in n
2.298 * [taylor]: Taking taylor expansion of 1 in n
2.298 * [taylor]: Taking taylor expansion of (log x) in n
2.298 * [taylor]: Taking taylor expansion of x in n
2.298 * [taylor]: Taking taylor expansion of n in n
2.298 * [taylor]: Taking taylor expansion of n in n
2.301 * [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
2.301 * [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
2.301 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) in n
2.301 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n
2.301 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3)) in n
2.301 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
2.301 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
2.301 * [taylor]: Taking taylor expansion of 1.0 in n
2.301 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
2.301 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
2.301 * [taylor]: Taking taylor expansion of (log 1) in n
2.301 * [taylor]: Taking taylor expansion of 1 in n
2.301 * [taylor]: Taking taylor expansion of (log x) in n
2.301 * [taylor]: Taking taylor expansion of x in n
2.301 * [taylor]: Taking taylor expansion of n in n
2.301 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.301 * [taylor]: Taking taylor expansion of n in n
2.302 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n
2.302 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n
2.302 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n
2.302 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
2.302 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
2.302 * [taylor]: Taking taylor expansion of 1.0 in n
2.302 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
2.302 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
2.302 * [taylor]: Taking taylor expansion of (log 1) in n
2.302 * [taylor]: Taking taylor expansion of 1 in n
2.302 * [taylor]: Taking taylor expansion of (log x) in n
2.302 * [taylor]: Taking taylor expansion of x in n
2.302 * [taylor]: Taking taylor expansion of n in n
2.302 * [taylor]: Taking taylor expansion of n in n
2.302 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n
2.302 * [taylor]: Taking taylor expansion of 0.5 in n
2.302 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n
2.302 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n
2.302 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n
2.302 * [taylor]: Taking taylor expansion of 1.0 in n
2.302 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n
2.302 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n
2.302 * [taylor]: Taking taylor expansion of (log 1) in n
2.302 * [taylor]: Taking taylor expansion of 1 in n
2.302 * [taylor]: Taking taylor expansion of (log x) in n
2.302 * [taylor]: Taking taylor expansion of x in n
2.302 * [taylor]: Taking taylor expansion of n in n
2.303 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.303 * [taylor]: Taking taylor expansion of n in n
2.305 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in (x n) around 0
2.305 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n
2.305 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n
2.305 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in n
2.305 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in n
2.305 * [taylor]: Taking taylor expansion of (* -1.0 n) in n
2.305 * [taylor]: Taking taylor expansion of -1.0 in n
2.305 * [taylor]: Taking taylor expansion of n in n
2.305 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in n
2.305 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in n
2.305 * [taylor]: Taking taylor expansion of 1.0 in n
2.305 * [taylor]: Taking taylor expansion of (/ 1 x) in n
2.305 * [taylor]: Taking taylor expansion of x in n
2.306 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
2.306 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in n
2.306 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in n
2.306 * [taylor]: Taking taylor expansion of (* -1.0 n) in n
2.306 * [taylor]: Taking taylor expansion of -1.0 in n
2.306 * [taylor]: Taking taylor expansion of n in n
2.306 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in n
2.306 * [taylor]: Taking taylor expansion of (/ -1 x) in n
2.306 * [taylor]: Taking taylor expansion of -1 in n
2.306 * [taylor]: Taking taylor expansion of x in n
2.306 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x
2.306 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x
2.306 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x
2.306 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x
2.306 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
2.306 * [taylor]: Taking taylor expansion of -1.0 in x
2.306 * [taylor]: Taking taylor expansion of n in x
2.306 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.306 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.306 * [taylor]: Taking taylor expansion of 1.0 in x
2.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.306 * [taylor]: Taking taylor expansion of x in x
2.307 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x
2.307 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x
2.307 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x
2.307 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
2.307 * [taylor]: Taking taylor expansion of -1.0 in x
2.307 * [taylor]: Taking taylor expansion of n in x
2.307 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
2.307 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.307 * [taylor]: Taking taylor expansion of -1 in x
2.307 * [taylor]: Taking taylor expansion of x in x
2.307 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x
2.307 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x
2.307 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x
2.307 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x
2.307 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
2.307 * [taylor]: Taking taylor expansion of -1.0 in x
2.307 * [taylor]: Taking taylor expansion of n in x
2.307 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.307 * [taylor]: Taking taylor expansion of 1.0 in x
2.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.307 * [taylor]: Taking taylor expansion of x in x
2.308 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x
2.308 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x
2.308 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x
2.308 * [taylor]: Taking taylor expansion of (* -1.0 n) in x
2.308 * [taylor]: Taking taylor expansion of -1.0 in x
2.308 * [taylor]: Taking taylor expansion of n in x
2.308 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
2.308 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.308 * [taylor]: Taking taylor expansion of -1 in x
2.308 * [taylor]: Taking taylor expansion of x in x
2.308 * [taylor]: Taking taylor expansion of (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* (- (log -1) (log x)) n)))) in n
2.308 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
2.308 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
2.308 * [taylor]: Taking taylor expansion of -1.0 in n
2.308 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
2.308 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
2.308 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
2.308 * [taylor]: Taking taylor expansion of (neg 1) in n
2.308 * [taylor]: Taking taylor expansion of 1 in n
2.308 * [taylor]: Taking taylor expansion of (log x) in n
2.308 * [taylor]: Taking taylor expansion of x in n
2.309 * [taylor]: Taking taylor expansion of n in n
2.309 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log -1) (log x)) n))) in n
2.309 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log -1) (log x)) n)) in n
2.309 * [taylor]: Taking taylor expansion of -1.0 in n
2.309 * [taylor]: Taking taylor expansion of (* (- (log -1) (log x)) n) in n
2.309 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n
2.309 * [taylor]: Taking taylor expansion of (log -1) in n
2.309 * [taylor]: Taking taylor expansion of -1 in n
2.309 * [taylor]: Taking taylor expansion of (log x) in n
2.309 * [taylor]: Taking taylor expansion of x in n
2.309 * [taylor]: Taking taylor expansion of n in n
2.310 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n
2.311 * [taylor]: Taking taylor expansion of 1.0 in n
2.311 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n
2.311 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
2.311 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
2.311 * [taylor]: Taking taylor expansion of -1.0 in n
2.311 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
2.311 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
2.311 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
2.311 * [taylor]: Taking taylor expansion of (neg 1) in n
2.311 * [taylor]: Taking taylor expansion of 1 in n
2.311 * [taylor]: Taking taylor expansion of (log x) in n
2.311 * [taylor]: Taking taylor expansion of x in n
2.311 * [taylor]: Taking taylor expansion of n in n
2.311 * [taylor]: Taking taylor expansion of n in n
2.313 * [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
2.313 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n
2.313 * [taylor]: Taking taylor expansion of 0.5 in n
2.313 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n
2.313 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
2.313 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
2.313 * [taylor]: Taking taylor expansion of -1.0 in n
2.313 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
2.313 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
2.313 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
2.313 * [taylor]: Taking taylor expansion of (neg 1) in n
2.313 * [taylor]: Taking taylor expansion of 1 in n
2.313 * [taylor]: Taking taylor expansion of (log x) in n
2.313 * [taylor]: Taking taylor expansion of x in n
2.313 * [taylor]: Taking taylor expansion of n in n
2.314 * [taylor]: Taking taylor expansion of n in n
2.314 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) in n
2.314 * [taylor]: Taking taylor expansion of 0.5 in n
2.314 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2)) in n
2.314 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n
2.314 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n
2.314 * [taylor]: Taking taylor expansion of -1.0 in n
2.314 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n
2.314 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n
2.314 * [taylor]: Taking taylor expansion of (log (neg 1)) in n
2.314 * [taylor]: Taking taylor expansion of (neg 1) in n
2.314 * [taylor]: Taking taylor expansion of 1 in n
2.314 * [taylor]: Taking taylor expansion of (log x) in n
2.314 * [taylor]: Taking taylor expansion of x in n
2.314 * [taylor]: Taking taylor expansion of n in n
2.315 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.315 * [taylor]: Taking taylor expansion of n in n
2.319 * * * [progress]: simplifying candidates
2.319 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (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))))))
2.323 * * [simplify]: iteration  0 :  117  enodes  (cost  719 )
2.343 * * [simplify]: iteration  1 :  283  enodes  (cost  684 )
2.406 * * [simplify]: iteration  2 :  751  enodes  (cost  644 )
2.633 * * [simplify]: iteration  3 :  2543  enodes  (cost  580 )
3.376 * * [simplify]: iteration  done :  5001  enodes  (cost  580 )
3.377 * [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) (* 2 (/ 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) (* 2 (/ 1.0 n))) (pow x (* 2 (/ 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 x) n))))
  (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n)))
  (/ 1.0 (* x n))
3.377 * * * [progress]: adding candidates to table
3.443 * * [progress]: iteration 2 / 4
3.443 * * * [progress]: picking best candidate
3.449 * * * * [pick]: Picked  #<alt (λ (x n) (/ 1.0 (* x n)))>
3.449 * * * [progress]: localizing error
3.452 * * * [progress]: generating rewritten candidates
3.452 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.457 * * * [progress]: generating series expansions
3.457 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.458 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0
3.458 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n
3.458 * [taylor]: Taking taylor expansion of 1.0 in n
3.458 * [taylor]: Taking taylor expansion of (* x n) in n
3.458 * [taylor]: Taking taylor expansion of x in n
3.458 * [taylor]: Taking taylor expansion of n in n
3.458 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
3.458 * [taylor]: Taking taylor expansion of 1.0 in x
3.458 * [taylor]: Taking taylor expansion of (* x n) in x
3.458 * [taylor]: Taking taylor expansion of x in x
3.458 * [taylor]: Taking taylor expansion of n in x
3.458 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
3.458 * [taylor]: Taking taylor expansion of 1.0 in x
3.458 * [taylor]: Taking taylor expansion of (* x n) in x
3.458 * [taylor]: Taking taylor expansion of x in x
3.458 * [taylor]: Taking taylor expansion of n in x
3.458 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
3.458 * [taylor]: Taking taylor expansion of 1.0 in n
3.458 * [taylor]: Taking taylor expansion of n in n
3.458 * [taylor]: Taking taylor expansion of 0 in n
3.458 * [taylor]: Taking taylor expansion of 0 in n
3.459 * [taylor]: Taking taylor expansion of 0 in n
3.459 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
3.459 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
3.459 * [taylor]: Taking taylor expansion of 1.0 in n
3.459 * [taylor]: Taking taylor expansion of (* x n) in n
3.459 * [taylor]: Taking taylor expansion of x in n
3.459 * [taylor]: Taking taylor expansion of n in n
3.459 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
3.459 * [taylor]: Taking taylor expansion of 1.0 in x
3.459 * [taylor]: Taking taylor expansion of (* x n) in x
3.459 * [taylor]: Taking taylor expansion of x in x
3.459 * [taylor]: Taking taylor expansion of n in x
3.459 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
3.459 * [taylor]: Taking taylor expansion of 1.0 in x
3.459 * [taylor]: Taking taylor expansion of (* x n) in x
3.459 * [taylor]: Taking taylor expansion of x in x
3.459 * [taylor]: Taking taylor expansion of n in x
3.459 * [taylor]: Taking taylor expansion of 0 in n
3.459 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
3.459 * [taylor]: Taking taylor expansion of 1.0 in n
3.459 * [taylor]: Taking taylor expansion of n in n
3.459 * [taylor]: Taking taylor expansion of 0 in n
3.460 * [taylor]: Taking taylor expansion of 0 in n
3.460 * [taylor]: Taking taylor expansion of 0 in n
3.460 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
3.460 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
3.460 * [taylor]: Taking taylor expansion of 1.0 in n
3.460 * [taylor]: Taking taylor expansion of (* x n) in n
3.460 * [taylor]: Taking taylor expansion of x in n
3.460 * [taylor]: Taking taylor expansion of n in n
3.460 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
3.460 * [taylor]: Taking taylor expansion of 1.0 in x
3.460 * [taylor]: Taking taylor expansion of (* x n) in x
3.460 * [taylor]: Taking taylor expansion of x in x
3.460 * [taylor]: Taking taylor expansion of n in x
3.460 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
3.460 * [taylor]: Taking taylor expansion of 1.0 in x
3.460 * [taylor]: Taking taylor expansion of (* x n) in x
3.460 * [taylor]: Taking taylor expansion of x in x
3.460 * [taylor]: Taking taylor expansion of n in x
3.460 * [taylor]: Taking taylor expansion of 0 in n
3.460 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
3.460 * [taylor]: Taking taylor expansion of 1.0 in n
3.460 * [taylor]: Taking taylor expansion of n in n
3.460 * [taylor]: Taking taylor expansion of 0 in n
3.461 * [taylor]: Taking taylor expansion of 0 in n
3.461 * [taylor]: Taking taylor expansion of 0 in n
3.461 * * * [progress]: simplifying candidates
3.461 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (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))
3.463 * * [simplify]: iteration  0 :  47  enodes  (cost  185 )
3.469 * * [simplify]: iteration  1 :  104  enodes  (cost  182 )
3.491 * * [simplify]: iteration  2 :  334  enodes  (cost  152 )
3.706 * * [simplify]: iteration  3 :  1211  enodes  (cost  152 )
5.827 * * [simplify]: iteration  4 :  3183  enodes  (cost  152 )
9.950 * * [simplify]: iteration  done :  5001  enodes  (cost  152 )
9.950 * [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)
  (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))
9.950 * * * [progress]: adding candidates to table
9.979 * * [progress]: iteration 3 / 4
9.979 * * * [progress]: picking best candidate
9.999 * * * * [pick]: Picked  #<alt (λ (x n) (* (/ 1 x) (/ 1.0 n)))>
10.000 * * * [progress]: localizing error
10.005 * * * [progress]: generating rewritten candidates
10.005 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
10.018 * * * [progress]: generating series expansions
10.018 * * * * [progress]: [ 1 / 1 ] generating series at (2)
10.018 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0
10.018 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n
10.018 * [taylor]: Taking taylor expansion of 1.0 in n
10.018 * [taylor]: Taking taylor expansion of (* x n) in n
10.018 * [taylor]: Taking taylor expansion of x in n
10.018 * [taylor]: Taking taylor expansion of n in n
10.018 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
10.018 * [taylor]: Taking taylor expansion of 1.0 in x
10.018 * [taylor]: Taking taylor expansion of (* x n) in x
10.018 * [taylor]: Taking taylor expansion of x in x
10.018 * [taylor]: Taking taylor expansion of n in x
10.018 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
10.018 * [taylor]: Taking taylor expansion of 1.0 in x
10.018 * [taylor]: Taking taylor expansion of (* x n) in x
10.018 * [taylor]: Taking taylor expansion of x in x
10.018 * [taylor]: Taking taylor expansion of n in x
10.018 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
10.018 * [taylor]: Taking taylor expansion of 1.0 in n
10.018 * [taylor]: Taking taylor expansion of n in n
10.019 * [taylor]: Taking taylor expansion of 0 in n
10.019 * [taylor]: Taking taylor expansion of 0 in n
10.019 * [taylor]: Taking taylor expansion of 0 in n
10.019 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
10.019 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
10.019 * [taylor]: Taking taylor expansion of 1.0 in n
10.019 * [taylor]: Taking taylor expansion of (* x n) in n
10.019 * [taylor]: Taking taylor expansion of x in n
10.019 * [taylor]: Taking taylor expansion of n in n
10.019 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
10.019 * [taylor]: Taking taylor expansion of 1.0 in x
10.019 * [taylor]: Taking taylor expansion of (* x n) in x
10.019 * [taylor]: Taking taylor expansion of x in x
10.019 * [taylor]: Taking taylor expansion of n in x
10.019 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
10.019 * [taylor]: Taking taylor expansion of 1.0 in x
10.019 * [taylor]: Taking taylor expansion of (* x n) in x
10.019 * [taylor]: Taking taylor expansion of x in x
10.019 * [taylor]: Taking taylor expansion of n in x
10.020 * [taylor]: Taking taylor expansion of 0 in n
10.020 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
10.020 * [taylor]: Taking taylor expansion of 1.0 in n
10.020 * [taylor]: Taking taylor expansion of n in n
10.020 * [taylor]: Taking taylor expansion of 0 in n
10.020 * [taylor]: Taking taylor expansion of 0 in n
10.020 * [taylor]: Taking taylor expansion of 0 in n
10.020 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
10.020 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
10.020 * [taylor]: Taking taylor expansion of 1.0 in n
10.020 * [taylor]: Taking taylor expansion of (* x n) in n
10.020 * [taylor]: Taking taylor expansion of x in n
10.020 * [taylor]: Taking taylor expansion of n in n
10.020 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
10.020 * [taylor]: Taking taylor expansion of 1.0 in x
10.020 * [taylor]: Taking taylor expansion of (* x n) in x
10.020 * [taylor]: Taking taylor expansion of x in x
10.020 * [taylor]: Taking taylor expansion of n in x
10.020 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
10.021 * [taylor]: Taking taylor expansion of 1.0 in x
10.021 * [taylor]: Taking taylor expansion of (* x n) in x
10.021 * [taylor]: Taking taylor expansion of x in x
10.021 * [taylor]: Taking taylor expansion of n in x
10.021 * [taylor]: Taking taylor expansion of 0 in n
10.021 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
10.021 * [taylor]: Taking taylor expansion of 1.0 in n
10.021 * [taylor]: Taking taylor expansion of n in n
10.021 * [taylor]: Taking taylor expansion of 0 in n
10.021 * [taylor]: Taking taylor expansion of 0 in n
10.021 * [taylor]: Taking taylor expansion of 0 in n
10.021 * * * [progress]: simplifying candidates
10.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ 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))
10.025 * * [simplify]: iteration  0 :  116  enodes  (cost  633 )
10.060 * * [simplify]: iteration  1 :  330  enodes  (cost  517 )
10.150 * * [simplify]: iteration  2 :  906  enodes  (cost  423 )
11.866 * * [simplify]: iteration  3 :  3483  enodes  (cost  423 )
12.577 * * [simplify]: iteration  done :  5000  enodes  (cost  423 )
12.577 * [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 x)) (sqrt n))
  (/ (/ (sqrt 1.0) (sqrt x)) (sqrt n))
  (/ (sqrt (/ 1.0 n)) (sqrt x))
  (/ (sqrt (/ 1.0 n)) (sqrt x))
  (/ (/ (sqrt 1.0) (sqrt x)) (sqrt n))
  (/ (/ (sqrt 1.0) (sqrt x)) (sqrt n))
  (/ (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))) x)
  (/ (sqrt (/ 1.0 n)) x)
  (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))) x)
  (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)) x)
  (/ (* (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)
  (* (cbrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 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 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))
12.577 * * * [progress]: adding candidates to table
12.637 * * [progress]: iteration 4 / 4
12.637 * * * [progress]: picking best candidate
12.673 * * * * [pick]: Picked  #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))>
12.673 * * * [progress]: localizing error
12.681 * * * [progress]: generating rewritten candidates
12.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
12.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
12.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
12.711 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
12.719 * * * [progress]: generating series expansions
12.719 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
12.720 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in (x n) around 0
12.720 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in n
12.720 * [taylor]: Taking taylor expansion of 1.0 in n
12.720 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in n
12.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in n
12.720 * [taylor]: Taking taylor expansion of (/ 1 x) in n
12.720 * [taylor]: Taking taylor expansion of x in n
12.720 * [taylor]: Taking taylor expansion of (/ 1 n) in n
12.720 * [taylor]: Taking taylor expansion of n in n
12.720 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in x
12.720 * [taylor]: Taking taylor expansion of 1.0 in x
12.720 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in x
12.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
12.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.720 * [taylor]: Taking taylor expansion of x in x
12.720 * [taylor]: Taking taylor expansion of (/ 1 n) in x
12.720 * [taylor]: Taking taylor expansion of n in x
12.720 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 x)) (/ 1 n))) in x
12.720 * [taylor]: Taking taylor expansion of 1.0 in x
12.720 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 n)) in x
12.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
12.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.720 * [taylor]: Taking taylor expansion of x in x
12.720 * [taylor]: Taking taylor expansion of (/ 1 n) in x
12.720 * [taylor]: Taking taylor expansion of n in x
12.721 * [taylor]: Taking taylor expansion of 0 in n
12.721 * [taylor]: Taking taylor expansion of (* 1.0 (/ NAN n)) in n
12.721 * [taylor]: Taking taylor expansion of 1.0 in n
12.721 * [taylor]: Taking taylor expansion of (/ NAN n) in n
12.721 * [taylor]: Taking taylor expansion of NAN in n
12.721 * [taylor]: Taking taylor expansion of n in n
12.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow NAN 3) n)) in n
12.722 * [taylor]: Taking taylor expansion of 1.0 in n
12.722 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) n) in n
12.722 * [taylor]: Taking taylor expansion of (pow NAN 3) in n
12.722 * [taylor]: Taking taylor expansion of NAN in n
12.722 * [taylor]: Taking taylor expansion of n in n
12.723 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow NAN 5) n)) in n
12.723 * [taylor]: Taking taylor expansion of 1.0 in n
12.723 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) n) in n
12.723 * [taylor]: Taking taylor expansion of (pow NAN 5) in n
12.723 * [taylor]: Taking taylor expansion of NAN in n
12.723 * [taylor]: Taking taylor expansion of n in n
12.724 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in (x n) around 0
12.724 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in n
12.724 * [taylor]: Taking taylor expansion of 1.0 in n
12.724 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in n
12.724 * [taylor]: Taking taylor expansion of (sqrt x) in n
12.724 * [taylor]: Taking taylor expansion of x in n
12.724 * [taylor]: Taking taylor expansion of n in n
12.724 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in x
12.724 * [taylor]: Taking taylor expansion of 1.0 in x
12.724 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in x
12.724 * [taylor]: Taking taylor expansion of (sqrt x) in x
12.724 * [taylor]: Taking taylor expansion of x in x
12.724 * [taylor]: Taking taylor expansion of n in x
12.724 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt x) n)) in x
12.724 * [taylor]: Taking taylor expansion of 1.0 in x
12.724 * [taylor]: Taking taylor expansion of (* (sqrt x) n) in x
12.724 * [taylor]: Taking taylor expansion of (sqrt x) in x
12.724 * [taylor]: Taking taylor expansion of x in x
12.724 * [taylor]: Taking taylor expansion of n in x
12.724 * [taylor]: Taking taylor expansion of 0 in n
12.724 * [taylor]: Taking taylor expansion of (* 1.0 (* NAN n)) in n
12.724 * [taylor]: Taking taylor expansion of 1.0 in n
12.724 * [taylor]: Taking taylor expansion of (* NAN n) in n
12.724 * [taylor]: Taking taylor expansion of NAN in n
12.724 * [taylor]: Taking taylor expansion of n in n
12.725 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 3) n)) in n
12.725 * [taylor]: Taking taylor expansion of 1.0 in n
12.725 * [taylor]: Taking taylor expansion of (* (pow NAN 3) n) in n
12.725 * [taylor]: Taking taylor expansion of (pow NAN 3) in n
12.725 * [taylor]: Taking taylor expansion of NAN in n
12.725 * [taylor]: Taking taylor expansion of n in n
12.726 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 5) n)) in n
12.726 * [taylor]: Taking taylor expansion of 1.0 in n
12.726 * [taylor]: Taking taylor expansion of (* (pow NAN 5) n) in n
12.726 * [taylor]: Taking taylor expansion of (pow NAN 5) in n
12.726 * [taylor]: Taking taylor expansion of NAN in n
12.726 * [taylor]: Taking taylor expansion of n in n
12.727 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 7) n)) in n
12.727 * [taylor]: Taking taylor expansion of 1.0 in n
12.727 * [taylor]: Taking taylor expansion of (* (pow NAN 7) n) in n
12.727 * [taylor]: Taking taylor expansion of (pow NAN 7) in n
12.727 * [taylor]: Taking taylor expansion of NAN in n
12.727 * [taylor]: Taking taylor expansion of n in n
12.728 * [approximate]: Taking taylor expansion of (* -1.0 (* (sqrt (* -1 x)) n)) in (x n) around 0
12.728 * [taylor]: Taking taylor expansion of (* -1.0 (* (sqrt (* -1 x)) n)) in n
12.728 * [taylor]: Taking taylor expansion of -1.0 in n
12.728 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 x)) n) in n
12.729 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in n
12.729 * [taylor]: Taking taylor expansion of (* -1 x) in n
12.729 * [taylor]: Taking taylor expansion of -1 in n
12.729 * [taylor]: Taking taylor expansion of x in n
12.729 * [taylor]: Taking taylor expansion of n in n
12.729 * [taylor]: Taking taylor expansion of (* -1.0 (* (sqrt (* -1 x)) n)) in x
12.729 * [taylor]: Taking taylor expansion of -1.0 in x
12.729 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 x)) n) in x
12.729 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.729 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.729 * [taylor]: Taking taylor expansion of -1 in x
12.729 * [taylor]: Taking taylor expansion of x in x
12.729 * [taylor]: Taking taylor expansion of n in x
12.729 * [taylor]: Taking taylor expansion of (* -1.0 (* (sqrt (* -1 x)) n)) in x
12.729 * [taylor]: Taking taylor expansion of -1.0 in x
12.729 * [taylor]: Taking taylor expansion of (* (sqrt (* -1 x)) n) in x
12.729 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.729 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.729 * [taylor]: Taking taylor expansion of -1 in x
12.729 * [taylor]: Taking taylor expansion of x in x
12.729 * [taylor]: Taking taylor expansion of n in x
12.729 * [taylor]: Taking taylor expansion of 0 in n
12.729 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* NAN n))) in n
12.729 * [taylor]: Taking taylor expansion of (* 1.0 (* NAN n)) in n
12.729 * [taylor]: Taking taylor expansion of 1.0 in n
12.729 * [taylor]: Taking taylor expansion of (* NAN n) in n
12.729 * [taylor]: Taking taylor expansion of NAN in n
12.729 * [taylor]: Taking taylor expansion of n in n
12.730 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* (pow NAN 3) n))) in n
12.730 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 3) n)) in n
12.730 * [taylor]: Taking taylor expansion of 1.0 in n
12.730 * [taylor]: Taking taylor expansion of (* (pow NAN 3) n) in n
12.730 * [taylor]: Taking taylor expansion of (pow NAN 3) in n
12.730 * [taylor]: Taking taylor expansion of NAN in n
12.730 * [taylor]: Taking taylor expansion of n in n
12.731 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* (pow NAN 5) n))) in n
12.731 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 5) n)) in n
12.731 * [taylor]: Taking taylor expansion of 1.0 in n
12.731 * [taylor]: Taking taylor expansion of (* (pow NAN 5) n) in n
12.731 * [taylor]: Taking taylor expansion of (pow NAN 5) in n
12.731 * [taylor]: Taking taylor expansion of NAN in n
12.731 * [taylor]: Taking taylor expansion of n in n
12.732 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* (pow NAN 7) n))) in n
12.732 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow NAN 7) n)) in n
12.732 * [taylor]: Taking taylor expansion of 1.0 in n
12.732 * [taylor]: Taking taylor expansion of (* (pow NAN 7) n) in n
12.732 * [taylor]: Taking taylor expansion of (pow NAN 7) in n
12.732 * [taylor]: Taking taylor expansion of NAN in n
12.732 * [taylor]: Taking taylor expansion of n in n
12.734 * * * * [progress]: [ 2 / 4 ] generating series at (2)
12.734 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0
12.734 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n
12.734 * [taylor]: Taking taylor expansion of 1.0 in n
12.734 * [taylor]: Taking taylor expansion of (* x n) in n
12.734 * [taylor]: Taking taylor expansion of x in n
12.734 * [taylor]: Taking taylor expansion of n in n
12.734 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
12.734 * [taylor]: Taking taylor expansion of 1.0 in x
12.734 * [taylor]: Taking taylor expansion of (* x n) in x
12.734 * [taylor]: Taking taylor expansion of x in x
12.734 * [taylor]: Taking taylor expansion of n in x
12.734 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x
12.734 * [taylor]: Taking taylor expansion of 1.0 in x
12.734 * [taylor]: Taking taylor expansion of (* x n) in x
12.734 * [taylor]: Taking taylor expansion of x in x
12.734 * [taylor]: Taking taylor expansion of n in x
12.734 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n
12.734 * [taylor]: Taking taylor expansion of 1.0 in n
12.734 * [taylor]: Taking taylor expansion of n in n
12.734 * [taylor]: Taking taylor expansion of 0 in n
12.734 * [taylor]: Taking taylor expansion of 0 in n
12.735 * [taylor]: Taking taylor expansion of 0 in n
12.735 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0
12.735 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n
12.735 * [taylor]: Taking taylor expansion of 1.0 in n
12.735 * [taylor]: Taking taylor expansion of (* x n) in n
12.735 * [taylor]: Taking taylor expansion of x in n
12.735 * [taylor]: Taking taylor expansion of n in n
12.735 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
12.735 * [taylor]: Taking taylor expansion of 1.0 in x
12.735 * [taylor]: Taking taylor expansion of (* x n) in x
12.735 * [taylor]: Taking taylor expansion of x in x
12.735 * [taylor]: Taking taylor expansion of n in x
12.735 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x
12.735 * [taylor]: Taking taylor expansion of 1.0 in x
12.735 * [taylor]: Taking taylor expansion of (* x n) in x
12.735 * [taylor]: Taking taylor expansion of x in x
12.735 * [taylor]: Taking taylor expansion of n in x
12.735 * [taylor]: Taking taylor expansion of 0 in n
12.735 * [taylor]: Taking taylor expansion of (* 1.0 n) in n
12.735 * [taylor]: Taking taylor expansion of 1.0 in n
12.735 * [taylor]: Taking taylor expansion of n in n
12.736 * [taylor]: Taking taylor expansion of 0 in n
12.736 * [taylor]: Taking taylor expansion of 0 in n
12.736 * [taylor]: Taking taylor expansion of 0 in n
12.736 * [approximate]: Taking taylor expansion of (* -1.0 (* (pow (sqrt (* -1 x)) 2) n)) in (x n) around 0
12.736 * [taylor]: Taking taylor expansion of (* -1.0 (* (pow (sqrt (* -1 x)) 2) n)) in n
12.736 * [taylor]: Taking taylor expansion of -1.0 in n
12.736 * [taylor]: Taking taylor expansion of (* (pow (sqrt (* -1 x)) 2) n) in n
12.736 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 x)) 2) in n
12.736 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in n
12.736 * [taylor]: Taking taylor expansion of (* -1 x) in n
12.736 * [taylor]: Taking taylor expansion of -1 in n
12.736 * [taylor]: Taking taylor expansion of x in n
12.736 * [taylor]: Taking taylor expansion of n in n
12.736 * [taylor]: Taking taylor expansion of (* -1.0 (* (pow (sqrt (* -1 x)) 2) n)) in x
12.736 * [taylor]: Taking taylor expansion of -1.0 in x
12.736 * [taylor]: Taking taylor expansion of (* (pow (sqrt (* -1 x)) 2) n) in x
12.736 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 x)) 2) in x
12.736 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.736 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.736 * [taylor]: Taking taylor expansion of -1 in x
12.736 * [taylor]: Taking taylor expansion of x in x
12.737 * [taylor]: Taking taylor expansion of n in x
12.737 * [taylor]: Taking taylor expansion of (* -1.0 (* (pow (sqrt (* -1 x)) 2) n)) in x
12.737 * [taylor]: Taking taylor expansion of -1.0 in x
12.737 * [taylor]: Taking taylor expansion of (* (pow (sqrt (* -1 x)) 2) n) in x
12.737 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 x)) 2) in x
12.737 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.737 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.737 * [taylor]: Taking taylor expansion of -1 in x
12.737 * [taylor]: Taking taylor expansion of x in x
12.737 * [taylor]: Taking taylor expansion of n in x
12.737 * [taylor]: Taking taylor expansion of (* -1.0 (* (pow NAN 2) n)) in n
12.737 * [taylor]: Taking taylor expansion of -1.0 in n
12.737 * [taylor]: Taking taylor expansion of (* (pow NAN 2) n) in n
12.737 * [taylor]: Taking taylor expansion of (pow NAN 2) in n
12.737 * [taylor]: Taking taylor expansion of NAN in n
12.737 * [taylor]: Taking taylor expansion of n in n
12.738 * [taylor]: Taking taylor expansion of (neg (* 2.0 (* (pow NAN 4) n))) in n
12.738 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow NAN 4) n)) in n
12.738 * [taylor]: Taking taylor expansion of 2.0 in n
12.738 * [taylor]: Taking taylor expansion of (* (pow NAN 4) n) in n
12.738 * [taylor]: Taking taylor expansion of (pow NAN 4) in n
12.738 * [taylor]: Taking taylor expansion of NAN in n
12.738 * [taylor]: Taking taylor expansion of n in n
12.739 * [taylor]: Taking taylor expansion of (neg (* 3.0 (* (pow NAN 6) n))) in n
12.739 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow NAN 6) n)) in n
12.739 * [taylor]: Taking taylor expansion of 3.0 in n
12.739 * [taylor]: Taking taylor expansion of (* (pow NAN 6) n) in n
12.739 * [taylor]: Taking taylor expansion of (pow NAN 6) in n
12.739 * [taylor]: Taking taylor expansion of NAN in n
12.739 * [taylor]: Taking taylor expansion of n in n
12.742 * [taylor]: Taking taylor expansion of (neg (* 4.0 (* (pow NAN 8) n))) in n
12.742 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow NAN 8) n)) in n
12.742 * [taylor]: Taking taylor expansion of 4.0 in n
12.742 * [taylor]: Taking taylor expansion of (* (pow NAN 8) n) in n
12.742 * [taylor]: Taking taylor expansion of (pow NAN 8) in n
12.742 * [taylor]: Taking taylor expansion of NAN in n
12.742 * [taylor]: Taking taylor expansion of n in n
12.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
12.743 * [approximate]: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
12.743 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
12.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.743 * [taylor]: Taking taylor expansion of x in x
12.743 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
12.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.743 * [taylor]: Taking taylor expansion of x in x
12.744 * [approximate]: Taking taylor expansion of (sqrt x) in (x) around 0
12.744 * [taylor]: Taking taylor expansion of (sqrt x) in x
12.744 * [taylor]: Taking taylor expansion of x in x
12.744 * [taylor]: Taking taylor expansion of (sqrt x) in x
12.744 * [taylor]: Taking taylor expansion of x in x
12.745 * [approximate]: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0
12.745 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.745 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.745 * [taylor]: Taking taylor expansion of -1 in x
12.745 * [taylor]: Taking taylor expansion of x in x
12.745 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.745 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.745 * [taylor]: Taking taylor expansion of -1 in x
12.745 * [taylor]: Taking taylor expansion of x in x
12.746 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
12.746 * [approximate]: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
12.746 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
12.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.746 * [taylor]: Taking taylor expansion of x in x
12.746 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
12.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.746 * [taylor]: Taking taylor expansion of x in x
12.747 * [approximate]: Taking taylor expansion of (sqrt x) in (x) around 0
12.747 * [taylor]: Taking taylor expansion of (sqrt x) in x
12.747 * [taylor]: Taking taylor expansion of x in x
12.747 * [taylor]: Taking taylor expansion of (sqrt x) in x
12.747 * [taylor]: Taking taylor expansion of x in x
12.748 * [approximate]: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0
12.748 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.748 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.748 * [taylor]: Taking taylor expansion of -1 in x
12.748 * [taylor]: Taking taylor expansion of x in x
12.748 * [taylor]: Taking taylor expansion of (sqrt (* -1 x)) in x
12.748 * [taylor]: Taking taylor expansion of (* -1 x) in x
12.748 * [taylor]: Taking taylor expansion of -1 in x
12.748 * [taylor]: Taking taylor expansion of x in x
12.749 * * * [progress]: simplifying candidates
12.754 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (/ 1 x)) (/ 1.0 n))
  (+ (log (sqrt (/ 1 x))) (- (log 1.0) (log n)))
  (+ (log (sqrt (/ 1 x))) (log (/ 1.0 n)))
  (log (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (exp (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (/ (* (* 1.0 1.0) 1.0) (* (* n n) n)))
  (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (* (* (/ 1.0 n) (/ 1.0 n)) (/ 1.0 n)))
  (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (* (* (sqrt (/ 1 x)) (/ 1.0 n)) (* (sqrt (/ 1 x)) (/ 1.0 n))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (sqrt (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (sqrt (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt 1) 1.0)
  (* (sqrt x) n)
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ (sqrt 1) (sqrt x))) (sqrt (/ 1.0 n)))
  (* (sqrt (/ (sqrt 1) (sqrt x))) (sqrt (/ 1.0 n)))
  (* (sqrt (/ (sqrt 1) (sqrt x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ (sqrt 1) (sqrt 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)))
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (* (sqrt (/ 1 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (* (sqrt (/ 1 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) 1))
  (* (sqrt (/ 1 x)) (/ 1 (* (cbrt n) (cbrt n))))
  (* (sqrt (/ 1 x)) (/ 1 (sqrt n)))
  (* (sqrt (/ 1 x)) (/ 1 1))
  (* (sqrt (/ 1 x)) 1)
  (* (sqrt (/ 1 x)) 1.0)
  (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (cbrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (sqrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (/ (cbrt 1) (cbrt x))) (/ 1.0 n))
  (* (sqrt (/ (cbrt 1) (sqrt x))) (/ 1.0 n))
  (* (sqrt (/ (cbrt 1) x)) (/ 1.0 n))
  (* (sqrt (/ (sqrt 1) (cbrt x))) (/ 1.0 n))
  (* (sqrt (/ (sqrt 1) (sqrt x))) (/ 1.0 n))
  (* (sqrt (/ (sqrt 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))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (sqrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) 1.0)
  (* (sqrt 1) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (+ (log (sqrt (/ 1 x))) (+ (log (sqrt (/ 1 x))) (- (log 1.0) (log n))))
  (+ (log (sqrt (/ 1 x))) (+ (log (sqrt (/ 1 x))) (log (/ 1.0 n))))
  (+ (log (sqrt (/ 1 x))) (log (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (log (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (exp (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (/ (* (* 1.0 1.0) 1.0) (* (* n n) n))))
  (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (* (* (/ 1.0 n) (/ 1.0 n)) (/ 1.0 n))))
  (* (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) (* (* (* (sqrt (/ 1 x)) (/ 1.0 n)) (* (sqrt (/ 1 x)) (/ 1.0 n))) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (* (cbrt (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))))
  (cbrt (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (* (* (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))) (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))) (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (sqrt (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (sqrt (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (* (sqrt 1) (* (sqrt 1) 1.0))
  (* (sqrt x) (* (sqrt x) n))
  (* (sqrt 1) (* (sqrt (/ 1 x)) 1.0))
  (* (sqrt x) n)
  (* (sqrt 1) (* (sqrt 1) (/ 1.0 n)))
  (* (sqrt x) (sqrt x))
  (* (sqrt (/ 1 x)) (sqrt (/ 1 x)))
  (* (cbrt (sqrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (cbrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ (cbrt 1) (cbrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ (cbrt 1) (sqrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ (cbrt 1) x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ (sqrt 1) (cbrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ (sqrt 1) (sqrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ (sqrt 1) x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 (cbrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 (sqrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (* (sqrt 1) 1.0))
  (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) 1.0))
  (* (sqrt (/ 1 x)) (* (sqrt 1) (/ 1.0 n)))
  (* (sqrt 1) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (log (sqrt (/ 1 x)))
  (exp (sqrt (/ 1 x)))
  (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x))))
  (cbrt (sqrt (/ 1 x)))
  (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x)))
  (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))
  (sqrt (cbrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))
  (sqrt (/ (cbrt 1) (cbrt x)))
  (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt x)))
  (sqrt (/ (cbrt 1) (sqrt x)))
  (sqrt (/ (* (cbrt 1) (cbrt 1)) 1))
  (sqrt (/ (cbrt 1) x))
  (sqrt (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (sqrt (/ (sqrt 1) (cbrt x)))
  (sqrt (/ (sqrt 1) (sqrt x)))
  (sqrt (/ (sqrt 1) (sqrt x)))
  (sqrt (/ (sqrt 1) 1))
  (sqrt (/ (sqrt 1) x))
  (sqrt (/ 1 (* (cbrt x) (cbrt x))))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 1))
  (sqrt (/ 1 x))
  (sqrt 1)
  (sqrt (/ 1 x))
  (sqrt 1)
  (sqrt (/ 1 x))
  (sqrt 1)
  (sqrt x)
  (/ -1 2)
  (/ (neg 1) 2)
  (/ 1 2)
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (log (sqrt (/ 1 x)))
  (exp (sqrt (/ 1 x)))
  (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x))))
  (cbrt (sqrt (/ 1 x)))
  (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x)))
  (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))
  (sqrt (cbrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))
  (sqrt (/ (cbrt 1) (cbrt x)))
  (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt x)))
  (sqrt (/ (cbrt 1) (sqrt x)))
  (sqrt (/ (* (cbrt 1) (cbrt 1)) 1))
  (sqrt (/ (cbrt 1) x))
  (sqrt (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (sqrt (/ (sqrt 1) (cbrt x)))
  (sqrt (/ (sqrt 1) (sqrt x)))
  (sqrt (/ (sqrt 1) (sqrt x)))
  (sqrt (/ (sqrt 1) 1))
  (sqrt (/ (sqrt 1) x))
  (sqrt (/ 1 (* (cbrt x) (cbrt x))))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 1))
  (sqrt (/ 1 x))
  (sqrt 1)
  (sqrt (/ 1 x))
  (sqrt 1)
  (sqrt (/ 1 x))
  (sqrt 1)
  (sqrt x)
  (/ -1 2)
  (/ (neg 1) 2)
  (/ 1 2)
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 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 (/ (pow NAN 3) (* (pow x 2) n))) (+ (* 1.0 (/ NAN (* x n))) (* 1.0 (/ (pow NAN 5) (* (pow x 3) n)))))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (- (+ (* 3.0 (/ (pow NAN 6) (* (pow x 4) n))) (* 1.0 (/ (pow NAN 2) (* (pow x 2) n)))) (* 2.0 (/ (pow NAN 4) (* (pow x 3) 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))))
  (- (/ (pow NAN 3) (pow x 2)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3))))
  (+ 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))))
  (- (/ (pow NAN 3) (pow x 2)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3))))
12.761 * * [simplify]: iteration  0 :  223  enodes  (cost  1967 )
12.818 * * [simplify]: iteration  1 :  566  enodes  (cost  1598 )
12.959 * * [simplify]: iteration  2 :  1758  enodes  (cost  1466 )
13.502 * * [simplify]: iteration  done :  5001  enodes  (cost  1466 )
13.503 * [simplify]: Simplified to:
   (* (sqrt (/ 1 x)) (/ 1.0 n))
  (log (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (log (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (log (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (exp (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3)
  (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3)
  (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))
  (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3)
  (sqrt (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (sqrt (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* 1 1.0)
  (* (sqrt x) n)
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (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)) (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)) (sqrt (/ 1 (sqrt x))))
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (sqrt (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (sqrt (/ 1 x))) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n)))
  (* (sqrt (/ 1 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (* (sqrt (/ 1 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (* (* (cbrt 1.0) (cbrt 1.0)) (sqrt (/ 1 x)))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n)))
  (* (sqrt 1.0) (sqrt (/ 1 x)))
  (/ (sqrt (/ 1 x)) (* (cbrt n) (cbrt n)))
  (/ (sqrt (/ 1 x)) (sqrt n))
  (sqrt (/ 1 x))
  (sqrt (/ 1 x))
  (* (sqrt (/ 1 x)) 1.0)
  (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (cbrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (sqrt (/ 1 x))) (/ 1.0 n))
  (* (/ 1.0 n) (sqrt (/ 1 (cbrt x))))
  (* (sqrt (/ 1 (sqrt x))) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (/ 1.0 n) (sqrt (/ 1 (cbrt x))))
  (* (sqrt (/ 1 (sqrt x))) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (/ 1.0 n) (sqrt (/ 1 (cbrt x))))
  (* (sqrt (/ 1 (sqrt x))) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (sqrt (/ 1 x))) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) 1.0)
  (* (/ 1.0 n) 1)
  (* (/ 1 x) (/ 1.0 n))
  (* (/ 1 x) (/ 1.0 n))
  (log (* (/ 1 x) (/ 1.0 n)))
  (log (* (/ 1 x) (/ 1.0 n)))
  (log (* (/ 1 x) (/ 1.0 n)))
  (log (* (/ 1 x) (/ 1.0 n)))
  (exp (* (/ 1 x) (/ 1.0 n)))
  (pow (* (/ 1 x) (/ 1.0 n)) 3)
  (pow (* (/ 1 x) (/ 1.0 n)) 3)
  (pow (* (/ 1 x) (/ 1.0 n)) 3)
  (* (cbrt (* (/ 1 x) (/ 1.0 n))) (cbrt (* (/ 1 x) (/ 1.0 n))))
  (cbrt (* (/ 1 x) (/ 1.0 n)))
  (pow (* (/ 1 x) (/ 1.0 n)) 3)
  (sqrt (* (/ 1 x) (/ 1.0 n)))
  (sqrt (* (/ 1 x) (/ 1.0 n)))
  (* 1 1.0)
  (* x n)
  (* (sqrt (/ 1 x)) 1.0)
  (* (sqrt x) n)
  (* (/ 1.0 n) 1)
  x
  (/ 1 x)
  (* (cbrt (sqrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (cbrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (sqrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 (cbrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 (sqrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (/ 1 x) (/ 1.0 n))
  (* (sqrt (/ 1 (cbrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 (sqrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (/ 1 x) (/ 1.0 n))
  (* (sqrt (/ 1 (cbrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (sqrt (/ 1 (sqrt x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (/ 1 x) (/ 1.0 n))
  (* (/ 1 x) (/ 1.0 n))
  (* (/ 1 x) (/ 1.0 n))
  (* (sqrt (sqrt (/ 1 x))) (* (sqrt (/ 1 x)) (/ 1.0 n)))
  (* (/ 1 x) (/ 1.0 n))
  (* (sqrt (/ 1 x)) 1.0)
  (* (/ 1 x) 1.0)
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (* (sqrt (/ 1 x)) (/ 1.0 n))
  (log (sqrt (/ 1 x)))
  (exp (sqrt (/ 1 x)))
  (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x))))
  (cbrt (sqrt (/ 1 x)))
  (/ (sqrt (/ 1 x)) x)
  (fabs (cbrt (/ 1 x)))
  (sqrt (cbrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (fabs (/ 1 (cbrt x)))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  1
  (sqrt (/ 1 x))
  (fabs (/ 1 (cbrt x)))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  1
  (sqrt (/ 1 x))
  (fabs (/ 1 (cbrt x)))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  1
  (sqrt (/ 1 x))
  1
  (sqrt (/ 1 x))
  1
  (sqrt (/ 1 x))
  1
  (sqrt x)
  -1/2
  -1/2
  1/2
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (log (sqrt (/ 1 x)))
  (exp (sqrt (/ 1 x)))
  (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x))))
  (cbrt (sqrt (/ 1 x)))
  (/ (sqrt (/ 1 x)) x)
  (fabs (cbrt (/ 1 x)))
  (sqrt (cbrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (fabs (/ 1 (cbrt x)))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  1
  (sqrt (/ 1 x))
  (fabs (/ 1 (cbrt x)))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  1
  (sqrt (/ 1 x))
  (fabs (/ 1 (cbrt x)))
  (sqrt (/ 1 (cbrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  1
  (sqrt (/ 1 x))
  1
  (sqrt (/ 1 x))
  1
  (sqrt (/ 1 x))
  1
  (sqrt x)
  -1/2
  -1/2
  1/2
  (sqrt (sqrt (/ 1 x)))
  (sqrt (sqrt (/ 1 x)))
  (* 1.0 (+ (/ (* x (pow NAN 3)) n) (+ (/ (* (pow x 2) (pow NAN 5)) n) (/ NAN n))))
  (* 1.0 (+ (/ NAN (* x n)) (+ (/ (pow NAN 3) (* (pow x 2) n)) (/ (pow NAN 5) (* (pow x 3) n)))))
  (* 1.0 (- (/ (pow NAN 3) (* (pow x 2) n)) (+ (/ NAN (* x n)) (/ (pow NAN 5) (* (pow x 3) n)))))
  (/ 1.0 (* x n))
  (/ 1.0 (* x n))
  (- (+ (* 3.0 (/ (pow NAN 6) (* (pow x 4) n))) (* 1.0 (/ (pow NAN 2) (* (pow x 2) n)))) (* 2.0 (/ (pow NAN 4) (* (pow x 3) 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))))
  (- (/ (pow NAN 3) (pow x 2)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3))))
  (+ 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))))
  (- (/ (pow NAN 3) (pow x 2)) (+ (/ NAN x) (/ (pow NAN 5) (pow x 3))))
13.504 * * * [progress]: adding candidates to table
13.745 * [progress]: [Phase 3 of 3] Extracting.
13.745 * * [regime]: Finding splitpoints for: (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
13.748 * * * [regime-changes]: Trying 4 branch expressions: ((/ 1.0 n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) n x)
13.748 * * * * [regimes]: Trying to branch on (/ 1.0 n) from (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
13.860 * * * * [regimes]: Trying to branch on (/ 1.0 n) from (#<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 n))))> #<alt (λ (x n) (* (/ (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))) x) (cbrt (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
13.946 * * * * [regimes]: Trying to branch on (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) from (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
14.035 * * * * [regimes]: Trying to branch on n from (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
14.144 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
14.260 * * * [regime]: Found split indices: #<option (#s(si 1 53) #s(si 8 235) #s(si 1 255))>
14.261 * [binary-search]: Only using regimes for bounds on (/ 1.0 n) and (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
14.261 * [regimes]: Found splitpoints: (#s(sp 1 (/ 1.0 n) -18.090779061275043) #s(sp 8 (/ 1.0 n) 0.0011783091176425717) #s(sp 1 (/ 1.0 n) +nan.0)) , with alts (#<alt (λ (x n) (/ 1.0 (* x n)))> #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (* (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1 x)) (/ 1.0 n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (* (cbrt (sqrt (/ 1 x))) (/ 1.0 n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (exp (log (sqrt (/ 1 x)))) (/ 1.0 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) (log (exp (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))> #<alt (λ (x n) (- (* (/ 1.0 x) (- (/ 1 n) (/ (neg (log x)) (pow n 2)))) (/ 0.5 (* (pow x 2) n))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (log (exp (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (cbrt (pow (* (sqrt (/ 1 x)) (/ 1.0 n)) 3))))> #<alt (λ (x n) (* (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n)))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n)))) (cbrt (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (exp (log (* (sqrt (/ 1 x)) (/ 1.0 n))))))> #<alt (λ (x n) (* (sqrt (/ 1 x)) (* (* (sqrt (/ 1 x)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n)))))>)
14.261 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
14.262 * * [simplify]: iteration  0 :  21  enodes  (cost  52 )
14.263 * * [simplify]: iteration  1 :  28  enodes  (cost  40 )
14.263 * * [simplify]: iteration  done :  28  enodes  (cost  40 )
14.263 * [simplify]: Simplified to:
   (if (or (<= (/ 1.0 n) -18.090779061275043) (not (<= (/ 1.0 n) 0.0011783091176425717))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (* (/ (/ 1 x) (* (cbrt n) (cbrt n))) (/ 1.0 (cbrt n))))
22.910 * [regime-testing]: End program error score: 23.538153565181968