13.967 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.211 * * * [progress]: [2/2] Setting up program.
0.215 * [progress]: [Phase 2 of 3] Improving.
0.215 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.217 * * [simplify]: iteration  0 :  17  enodes  (cost  6 )
0.218 * * [simplify]: iteration  1 :  34  enodes  (cost  6 )
0.219 * * [simplify]: iteration  2 :  80  enodes  (cost  6 )
0.221 * * [simplify]: iteration  3 :  236  enodes  (cost  6 )
0.226 * * [simplify]: iteration  4 :  868  enodes  (cost  6 )
0.247 * * [simplify]: iteration  5 :  5001  enodes  (cost  6 )
0.248 * [simplify]: Simplified to:
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.248 * * [progress]: iteration 1 / 4
0.248 * * * [progress]: picking best candidate
0.255 * * * * [pick]: Picked  #<alt (λ (x n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))>
0.255 * * * [progress]: localizing error
0.263 * * * [progress]: generating rewritten candidates
0.263 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.272 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.277 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.283 * * * [progress]: generating series expansions
0.283 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.283 * [approximate]: Approximating (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in (x n) around 0
0.290 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n
0.302 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n
0.320 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n
0.365 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n
0.398 * [approximate]: Approximating (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in (x n) around 0
0.413 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n
0.422 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n
0.440 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n
0.467 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n
0.486 * [approximate]: Approximating (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in (x n) around 0
0.503 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n
0.516 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n
0.539 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n
0.582 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n
0.615 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.615 * [approximate]: Approximating (pow (+ x 1.0) (/ 1.0 n)) in (x n) around 0
0.618 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n
0.626 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n
0.645 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n
0.675 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n
0.705 * [approximate]: Approximating (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in (x n) around 0
0.711 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n
0.724 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n
0.736 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n
0.741 * [approximate]: Approximating (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in (x n) around 0
0.750 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n
0.762 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n
0.781 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n
0.796 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.797 * [approximate]: Approximating (pow x (/ 1.0 n)) in (x n) around 0
0.799 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
0.801 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
0.805 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
0.810 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
0.810 * [approximate]: Approximating (pow (/ 1 x) (* 1.0 n)) in (x n) around 0
0.815 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
0.819 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
0.824 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
0.828 * [approximate]: Approximating (pow (/ -1 x) (* -1.0 n)) in (x n) around 0
0.835 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
0.844 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
0.852 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
0.864 * * * [progress]: simplifying candidates
0.865 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n))))
  (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
  (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (* (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
  (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))
  (+ (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (* (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
  (neg (pow x (/ 1.0 n)))
  (- (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))))
  (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2)))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2)))
  (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))
  (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
  (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2)))
  (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2)))
  (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n)))
  (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))
  (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2)))
  (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
  (neg (pow x (/ 1.0 n)))
  (* (log (+ x 1.0)) (/ 1.0 n))
  (* (log (+ x 1.0)) (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (pow (+ x 1.0) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (+ x 1.0) (sqrt (/ 1.0 n)))
  (pow (+ x 1.0) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (+ x 1.0) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (+ x 1.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (+ x 1.0) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (+ x 1.0) (/ (sqrt 1.0) (sqrt n)))
  (pow (+ x 1.0) (/ (sqrt 1.0) 1))
  (pow (+ x 1.0) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (+ x 1.0) (/ 1 (sqrt n)))
  (pow (+ x 1.0) (/ 1 1))
  (pow (+ x 1.0) 1)
  (pow (+ x 1.0) 1.0)
  (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (cbrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (+ x 1.0) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (+ x 1.0) (/ 1.0 n))
  (log (pow (+ x 1.0) (/ 1.0 n)))
  (exp (pow (+ x 1.0) (/ 1.0 n)))
  (* (cbrt (pow (+ x 1.0) (/ 1.0 n))) (cbrt (pow (+ x 1.0) (/ 1.0 n))))
  (cbrt (pow (+ x 1.0) (/ 1.0 n)))
  (* (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (pow (+ x 1.0) (/ 1.0 n)))
  (sqrt (pow (+ x 1.0) (/ 1.0 n)))
  (sqrt (pow (+ x 1.0) (/ 1.0 n)))
  (pow (+ x 1.0) (/ (/ 1.0 n) 2))
  (pow (+ x 1.0) (/ (/ 1.0 n) 2))
  (* (log x) (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow x (sqrt (/ 1.0 n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow x (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow x (/ (sqrt 1.0) (sqrt n)))
  (pow x (/ (sqrt 1.0) 1))
  (pow x (/ 1 (* (cbrt n) (cbrt n))))
  (pow x (/ 1 (sqrt n)))
  (pow x (/ 1 1))
  (pow x 1)
  (pow x 1.0)
  (pow (* (cbrt x) (cbrt x)) (/ 1.0 n))
  (pow (cbrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow x (/ 1.0 n))
  (log (pow x (/ 1.0 n)))
  (exp (pow x (/ 1.0 n)))
  (* (cbrt (pow x (/ 1.0 n))) (cbrt (pow x (/ 1.0 n))))
  (cbrt (pow x (/ 1.0 n)))
  (* (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (pow x (/ (/ 1.0 n) 2))
  (pow x (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (log x) n))))
  (- (* 1.0 (/ 1 (* x n))) (+ (* 0.5 (/ 1 (* (pow x 2) n))) (* 1.0 (/ (log (/ 1 x)) (* x (pow n 2))))))
  (- (+ (* 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)))))
  (exp (* 1.0 (/ (log 1.0) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) 1) (* 1.0 (/ (log (/ 1 x)) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 1.0 (/ (log -1) n)) 1)) (* 1.0 (/ (log (/ -1 x)) n)))
  (exp (* 1.0 (/ (log x) n)))
  (- (+ 1 (* 0.5 (/ (pow (log (/ 1 x)) 2) (pow n 2)))) (* 1.0 (/ (log (/ 1 x)) n)))
  (- (+ 1 (+ (* 0.5 (/ (pow (log (/ -1 x)) 2) (pow n 2))) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (log -1) n))))) (+ (* 1.0 (/ (log (/ -1 x)) n)) (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2)))))
0.870 * * [simplify]: iteration  0 :  476  enodes  (cost  639 )
0.877 * * [simplify]: iteration  1 :  1600  enodes  (cost  623 )
0.902 * * [simplify]: iteration  2 :  5001  enodes  (cost  609 )
0.911 * [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 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))
  (neg (pow x (/ 1.0 n)))
  (+ (pow (+ x 1.0) (* 2 (/ 1.0 n))) (neg (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)))
  (* (log (+ x 1.0)) (/ 1.0 n))
  (* (log (+ x 1.0)) (/ 1.0 n))
  (/ 1.0 n)
  (pow (+ x 1.0) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (+ x 1.0) (sqrt (/ 1.0 n)))
  (pow (+ x 1.0) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (+ x 1.0) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (+ x 1.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (+ x 1.0) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (+ x 1.0) (/ (sqrt 1.0) (sqrt n)))
  (pow (+ x 1.0) (/ (sqrt 1.0) 1))
  (pow (+ x 1.0) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (+ x 1.0) (/ 1 (sqrt n)))
  (+ x 1.0)
  (+ x 1.0)
  (pow (+ x 1.0) 1.0)
  (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (cbrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  1
  (pow (+ x 1.0) (/ 1.0 n))
  1
  (pow (+ x 1.0) (/ 1.0 n))
  (* (log (+ x 1.0)) (/ 1.0 n))
  (exp (pow (+ x 1.0) (/ 1.0 n)))
  (* (cbrt (pow (+ x 1.0) (/ 1.0 n))) (cbrt (pow (+ x 1.0) (/ 1.0 n))))
  (cbrt (pow (+ x 1.0) (/ 1.0 n)))
  (pow (pow (+ x 1.0) (/ 1.0 n)) 3)
  (sqrt (pow (+ x 1.0) (/ 1.0 n)))
  (sqrt (pow (+ x 1.0) (/ 1.0 n)))
  (pow (+ x 1.0) (/ (/ 1.0 n) 2))
  (pow (+ x 1.0) (/ (/ 1.0 n) 2))
  (* (log x) (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (/ 1.0 n)
  (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow x (sqrt (/ 1.0 n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow x (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow x (/ (sqrt 1.0) (sqrt n)))
  (pow x (/ (sqrt 1.0) 1))
  (pow x (/ 1 (* (cbrt n) (cbrt n))))
  (pow x (/ 1 (sqrt n)))
  x
  x
  (pow x 1.0)
  (pow (* (cbrt x) (cbrt x)) (/ 1.0 n))
  (pow (cbrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  1
  (pow x (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (exp (pow x (/ 1.0 n)))
  (* (cbrt (pow x (/ 1.0 n))) (cbrt (pow x (/ 1.0 n))))
  (cbrt (pow x (/ 1.0 n)))
  (pow (pow x (/ 1.0 n)) 3)
  (sqrt (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (pow x (/ (/ 1.0 n) 2))
  (pow x (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (log x) n))))
  (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
  (- (* (/ 1.0 (pow n 2)) (- (/ (log -1) x) (/ (log (/ -1 x)) x))) (- (/ (/ 0.5 n) (pow x 2)) (/ (/ 1.0 n) x)))
  (exp (* 1.0 (/ (log 1.0) n)))
  (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x))
  (+ 1 (+ (* 1.0 (- (/ (log -1) n) (/ (log (/ -1 x)) n))) (/ (/ 1.0 n) x)))
  (pow x (/ 1.0 n))
  (+ (+ (* (/ (log x) n) 1.0) (* 0.5 (/ (pow (log (/ 1 x)) 2) (pow n 2)))) 1)
  (+ (* (/ 0.5 n) (+ (/ (pow (log (/ -1 x)) 2) n) (/ (pow (log -1) 2) n))) (+ (* 1.0 (- (/ (log -1) n) (+ (/ (log (/ -1 x)) n) (/ (* (log -1) (log (/ -1 x))) (pow n 2))))) 1))
0.912 * * * [progress]: adding candidates to table
1.319 * * [progress]: iteration 2 / 4
1.319 * * * [progress]: picking best candidate
1.351 * * * * [pick]: Picked  #<alt (λ (x 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))))))>
1.351 * * * [progress]: localizing error
1.363 * * * [progress]: generating rewritten candidates
1.363 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.375 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.381 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1.395 * * * [progress]: generating series expansions
1.395 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.395 * [approximate]: Approximating (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in (x n) around 0
1.412 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
1.436 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
1.487 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
1.607 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
1.706 * [approximate]: Approximating (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in (x n) around 0
1.727 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in n
1.757 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in n
1.827 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in n
1.911 * [approximate]: Approximating (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in (x n) around 0
1.939 * [taylor]: Taking taylor expansion of (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in n
1.976 * [taylor]: Taking taylor expansion of (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in n
2.196 * [taylor]: Taking taylor expansion of (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in n
2.296 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.296 * [approximate]: Approximating (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in (x n) around 0
2.306 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.321 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.367 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.469 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.567 * [approximate]: Approximating (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in (x n) around 0
2.576 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
2.595 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
2.647 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
2.679 * [approximate]: Approximating (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in (x n) around 0
2.690 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
2.713 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
2.763 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
2.797 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.797 * [approximate]: Approximating (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in (x n) around 0
2.807 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.823 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.869 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
2.971 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
3.068 * [approximate]: Approximating (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in (x n) around 0
3.081 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
3.100 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
3.152 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
3.184 * [approximate]: Approximating (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in (x n) around 0
3.195 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
3.215 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
3.268 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
3.302 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
3.302 * [approximate]: Approximating (pow x (/ 1.0 n)) in (x n) around 0
3.304 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
3.307 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
3.310 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
3.315 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
3.316 * [approximate]: Approximating (pow (/ 1 x) (* 1.0 n)) in (x n) around 0
3.321 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
3.325 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
3.330 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
3.333 * [approximate]: Approximating (pow (/ -1 x) (* -1.0 n)) in (x n) around 0
3.340 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
3.349 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
3.356 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
3.367 * * * [progress]: simplifying candidates
3.373 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (exp (sqrt (pow x (/ 1.0 n)))))
  (log (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (exp (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (* (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))))
  (cbrt (- (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)) (sqrt (pow x (/ 1.0 n))))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3))
  (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (+ (* (sqrt (pow x (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))))
  (neg (sqrt (pow x (/ 1.0 n))))
  (- (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (* (sqrt (pow x (/ 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 (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (neg (sqrt (pow x (/ 1.0 n))))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ 1 1))
  (pow (sqrt (+ x 1.0)) 1)
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (log (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ 1 1))
  (pow (sqrt (+ x 1.0)) 1)
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (log (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log x) (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow x (sqrt (/ 1.0 n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow x (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow x (/ (sqrt 1.0) (sqrt n)))
  (pow x (/ (sqrt 1.0) 1))
  (pow x (/ 1 (* (cbrt n) (cbrt n))))
  (pow x (/ 1 (sqrt n)))
  (pow x (/ 1 1))
  (pow x 1)
  (pow x 1.0)
  (pow (* (cbrt x) (cbrt x)) (/ 1.0 n))
  (pow (cbrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow x (/ 1.0 n))
  (log (pow x (/ 1.0 n)))
  (exp (pow x (/ 1.0 n)))
  (* (cbrt (pow x (/ 1.0 n))) (cbrt (pow x (/ 1.0 n))))
  (cbrt (pow x (/ 1.0 n)))
  (* (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (pow x (/ (/ 1.0 n) 2))
  (pow x (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log (sqrt 1.0)) n))) (sqrt (exp (* 1.0 (/ (log x) n)))))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 0.5 (/ (log (/ 1 x)) n)) (+ (* 0.5 (/ (pow (log NAN) 2) (pow n 2))) (* 1.0 (/ (log NAN) n))))) (+ (* 1.0 (/ (pow NAN 2) (* x n))) (* 0.125 (/ (pow (log (/ 1 x)) 2) (pow n 2)))))
  (- (+ (* 0.5 (/ (pow (log NAN) 2) (pow n 2))) (+ (* 0.5 (/ (log (/ -1 x)) n)) (+ (* 0.25 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (+ (* 1.0 (/ (log NAN) n)) (* 1.0 (/ (pow NAN 2) (* x n))))))) (+ (* 0.125 (/ (pow (log (/ -1 x)) 2) (pow n 2))) (+ (* 0.125 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1.0 (/ 1 (* x n))) (* 0.5 (/ (log -1) n))))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 1.0 (/ (log NAN) n)) 1)) (* 1.0 (/ (pow NAN 2) (* x n))))
  (- (+ (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) 1)) (* 1.0 (/ 1 (* x n))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 1.0 (/ (log NAN) n)) 1)) (* 1.0 (/ (pow NAN 2) (* x n))))
  (- (+ (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) 1)) (* 1.0 (/ 1 (* x n))))
  (exp (* 1.0 (/ (log x) n)))
  (- (+ 1 (* 0.5 (/ (pow (log (/ 1 x)) 2) (pow n 2)))) (* 1.0 (/ (log (/ 1 x)) n)))
  (- (+ 1 (+ (* 0.5 (/ (pow (log (/ -1 x)) 2) (pow n 2))) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (log -1) n))))) (+ (* 1.0 (/ (log (/ -1 x)) n)) (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2)))))
3.380 * * [simplify]: iteration  0 :  570  enodes  (cost  1199 )
3.388 * * [simplify]: iteration  1 :  1887  enodes  (cost  1156 )
3.415 * * [simplify]: iteration  2 :  5002  enodes  (cost  1145 )
3.421 * [simplify]: Simplified to:
  (exp (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (log (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (exp (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (* (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))))
  (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3)
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3))
  (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n)))
  (neg (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (* 2 (/ 1.0 n))) (neg (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (neg (sqrt (pow x (/ 1.0 n))))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/2 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (sqrt (+ x 1.0))
  (sqrt (+ x 1.0))
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (fabs (cbrt (+ x 1.0))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/2 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (sqrt (+ x 1.0))
  (sqrt (+ x 1.0))
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (fabs (cbrt (+ x 1.0))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log x) (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (/ 1.0 n)
  (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow x (sqrt (/ 1.0 n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow x (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow x (/ (sqrt 1.0) (sqrt n)))
  (pow x (/ (sqrt 1.0) 1))
  (pow x (/ 1 (* (cbrt n) (cbrt n))))
  (pow x (/ 1 (sqrt n)))
  x
  x
  (pow x 1.0)
  (pow (* (cbrt x) (cbrt x)) (/ 1.0 n))
  (pow (cbrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  1
  (pow x (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (exp (pow x (/ 1.0 n)))
  (* (cbrt (pow x (/ 1.0 n))) (cbrt (pow x (/ 1.0 n))))
  (cbrt (pow x (/ 1.0 n)))
  (pow (pow x (/ 1.0 n)) 3)
  (sqrt (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (pow x (/ (/ 1.0 n) 2))
  (pow x (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log (sqrt 1.0)) n))) (sqrt (exp (* 1.0 (/ (log x) n)))))
  (+ (+ (* 0.5 (+ (/ (log (/ 1 x)) n) (/ (pow (log NAN) 2) (pow n 2)))) (- (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) (* 0.125 (/ (pow (log (/ 1 x)) 2) (pow n 2)))))) (/ (/ 1.0 n) x))
  (- (+ (+ (* 0.5 (/ (log (/ -1 x)) n)) (* 0.25 (/ (* (log -1) (log (/ -1 x))) (pow n 2)))) (* 1.0 (+ (/ (log NAN) n) (/ (pow NAN 2) (* x n))))) (- (+ (* 0.5 (/ (log -1) n)) (+ (/ (/ 1.0 n) x) (* (/ 0.125 n) (+ (/ (pow (log (/ -1 x)) 2) n) (/ (pow (log -1) 2) n))))) (* 0.5 (/ (pow (log NAN) 2) (pow n 2)))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (+ 1 (+ (* 1.0 (/ (log NAN) n)) (* (/ 1.0 n) (- (/ 1 x) (/ (pow NAN 2) x)))))
  (+ (+ (* 1.0 (/ (log NAN) n)) 1) (* (/ 1.0 n) (- (/ (pow NAN 2) x) (/ 1 x))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (+ 1 (+ (* 1.0 (/ (log NAN) n)) (* (/ 1.0 n) (- (/ 1 x) (/ (pow NAN 2) x)))))
  (+ (+ (* 1.0 (/ (log NAN) n)) 1) (* (/ 1.0 n) (- (/ (pow NAN 2) x) (/ 1 x))))
  (pow x (/ 1.0 n))
  (+ (+ (* (/ (log x) n) 1.0) (* 0.5 (/ (pow (log (/ 1 x)) 2) (pow n 2)))) 1)
  (+ (* (/ 0.5 n) (+ (/ (pow (log (/ -1 x)) 2) n) (/ (pow (log -1) 2) n))) (+ (* 1.0 (- (/ (log -1) n) (+ (/ (log (/ -1 x)) n) (/ (* (log -1) (log (/ -1 x))) (pow n 2))))) 1))
3.422 * * * [progress]: adding candidates to table
4.319 * * [progress]: iteration 3 / 4
4.319 * * * [progress]: picking best candidate
4.355 * * * * [pick]: Picked  #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))>
4.355 * * * [progress]: localizing error
4.370 * * * [progress]: generating rewritten candidates
4.371 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
4.383 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
4.389 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
4.396 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1)
4.404 * * * [progress]: generating series expansions
4.404 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
4.404 * [approximate]: Approximating (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in (x n) around 0
4.421 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
4.440 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
4.493 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
4.603 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) in n
4.700 * [approximate]: Approximating (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in (x n) around 0
4.721 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in n
4.745 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in n
4.811 * [taylor]: Taking taylor expansion of (- (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) (sqrt (pow (/ 1 x) (* 1.0 n)))) in n
4.892 * [approximate]: Approximating (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in (x n) around 0
4.923 * [taylor]: Taking taylor expansion of (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in n
4.952 * [taylor]: Taking taylor expansion of (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in n
5.023 * [taylor]: Taking taylor expansion of (- (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) (sqrt (pow (/ -1 x) (* -1.0 n)))) in n
5.122 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
5.122 * [approximate]: Approximating (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in (x n) around 0
5.135 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.150 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.193 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.298 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.392 * [approximate]: Approximating (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in (x n) around 0
5.401 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
5.424 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
5.473 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
5.507 * [approximate]: Approximating (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in (x n) around 0
5.518 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
5.538 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
5.590 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
5.622 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
5.622 * [approximate]: Approximating (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in (x n) around 0
5.632 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.650 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.693 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.800 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
5.895 * [approximate]: Approximating (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in (x n) around 0
5.904 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
5.924 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
5.976 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
6.010 * [approximate]: Approximating (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in (x n) around 0
6.021 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
6.041 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
6.094 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
6.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1)
6.125 * [approximate]: Approximating (pow x (/ 1.0 n)) in (x n) around 0
6.127 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
6.129 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
6.132 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
6.137 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n
6.138 * [approximate]: Approximating (pow (/ 1 x) (* 1.0 n)) in (x n) around 0
6.142 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
6.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
6.154 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n
6.158 * [approximate]: Approximating (pow (/ -1 x) (* -1.0 n)) in (x n) around 0
6.165 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
6.174 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
6.181 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n
6.193 * * * [progress]: simplifying candidates
6.195 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (exp (sqrt (pow x (/ 1.0 n)))))
  (log (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (exp (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (* (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))))
  (cbrt (- (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)) (sqrt (pow x (/ 1.0 n))))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3))
  (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (+ (* (sqrt (pow x (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))))
  (neg (sqrt (pow x (/ 1.0 n))))
  (- (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (* (sqrt (pow x (/ 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 (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (neg (sqrt (pow x (/ 1.0 n))))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ 1 1))
  (pow (sqrt (+ x 1.0)) 1)
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (log (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ 1 1))
  (pow (sqrt (+ x 1.0)) 1)
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (log (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log x) (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow x (sqrt (/ 1.0 n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow x (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow x (/ (sqrt 1.0) (sqrt n)))
  (pow x (/ (sqrt 1.0) 1))
  (pow x (/ 1 (* (cbrt n) (cbrt n))))
  (pow x (/ 1 (sqrt n)))
  (pow x (/ 1 1))
  (pow x 1)
  (pow x 1.0)
  (pow (* (cbrt x) (cbrt x)) (/ 1.0 n))
  (pow (cbrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow x (/ 1.0 n))
  (log (pow x (/ 1.0 n)))
  (exp (pow x (/ 1.0 n)))
  (* (cbrt (pow x (/ 1.0 n))) (cbrt (pow x (/ 1.0 n))))
  (cbrt (pow x (/ 1.0 n)))
  (* (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (pow x (/ (/ 1.0 n) 2))
  (pow x (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log (sqrt 1.0)) n))) (sqrt (exp (* 1.0 (/ (log x) n)))))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 0.5 (/ (log (/ 1 x)) n)) (+ (* 0.5 (/ (pow (log NAN) 2) (pow n 2))) (* 1.0 (/ (log NAN) n))))) (+ (* 1.0 (/ (pow NAN 2) (* x n))) (* 0.125 (/ (pow (log (/ 1 x)) 2) (pow n 2)))))
  (- (+ (* 0.5 (/ (pow (log NAN) 2) (pow n 2))) (+ (* 0.5 (/ (log (/ -1 x)) n)) (+ (* 0.25 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (+ (* 1.0 (/ (log NAN) n)) (* 1.0 (/ (pow NAN 2) (* x n))))))) (+ (* 0.125 (/ (pow (log (/ -1 x)) 2) (pow n 2))) (+ (* 0.125 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1.0 (/ 1 (* x n))) (* 0.5 (/ (log -1) n))))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 1.0 (/ (log NAN) n)) 1)) (* 1.0 (/ (pow NAN 2) (* x n))))
  (- (+ (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) 1)) (* 1.0 (/ 1 (* x n))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 1.0 (/ (log NAN) n)) 1)) (* 1.0 (/ (pow NAN 2) (* x n))))
  (- (+ (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) 1)) (* 1.0 (/ 1 (* x n))))
  (exp (* 1.0 (/ (log x) n)))
  (- (+ 1 (* 0.5 (/ (pow (log (/ 1 x)) 2) (pow n 2)))) (* 1.0 (/ (log (/ 1 x)) n)))
  (- (+ 1 (+ (* 0.5 (/ (pow (log (/ -1 x)) 2) (pow n 2))) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (log -1) n))))) (+ (* 1.0 (/ (log (/ -1 x)) n)) (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2)))))
6.202 * * [simplify]: iteration  0 :  570  enodes  (cost  1199 )
6.210 * * [simplify]: iteration  1 :  1887  enodes  (cost  1156 )
6.236 * * [simplify]: iteration  2 :  5002  enodes  (cost  1145 )
6.243 * [simplify]: Simplified to:
  (exp (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (log (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (exp (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (* (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))))
  (cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3)
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
  (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3))
  (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n)))
  (neg (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (* 2 (/ 1.0 n))) (neg (pow x (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow x (/ 1.0 n)))))
  (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
  (neg (sqrt (pow x (/ 1.0 n))))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/2 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (sqrt (+ x 1.0))
  (sqrt (+ x 1.0))
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (fabs (cbrt (+ x 1.0))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/2 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (sqrt (+ x 1.0))
  (sqrt (+ x 1.0))
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (fabs (cbrt (+ x 1.0))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log x) (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (/ 1.0 n)
  (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow x (sqrt (/ 1.0 n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow x (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow x (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow x (/ (sqrt 1.0) (sqrt n)))
  (pow x (/ (sqrt 1.0) 1))
  (pow x (/ 1 (* (cbrt n) (cbrt n))))
  (pow x (/ 1 (sqrt n)))
  x
  x
  (pow x 1.0)
  (pow (* (cbrt x) (cbrt x)) (/ 1.0 n))
  (pow (cbrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  (pow (sqrt x) (/ 1.0 n))
  1
  (pow x (/ 1.0 n))
  (* (log x) (/ 1.0 n))
  (exp (pow x (/ 1.0 n)))
  (* (cbrt (pow x (/ 1.0 n))) (cbrt (pow x (/ 1.0 n))))
  (cbrt (pow x (/ 1.0 n)))
  (pow (pow x (/ 1.0 n)) 3)
  (sqrt (pow x (/ 1.0 n)))
  (sqrt (pow x (/ 1.0 n)))
  (pow x (/ (/ 1.0 n) 2))
  (pow x (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log (sqrt 1.0)) n))) (sqrt (exp (* 1.0 (/ (log x) n)))))
  (+ (+ (* 0.5 (+ (/ (log (/ 1 x)) n) (/ (pow (log NAN) 2) (pow n 2)))) (- (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) (* 0.125 (/ (pow (log (/ 1 x)) 2) (pow n 2)))))) (/ (/ 1.0 n) x))
  (- (+ (+ (* 0.5 (/ (log (/ -1 x)) n)) (* 0.25 (/ (* (log -1) (log (/ -1 x))) (pow n 2)))) (* 1.0 (+ (/ (log NAN) n) (/ (pow NAN 2) (* x n))))) (- (+ (* 0.5 (/ (log -1) n)) (+ (/ (/ 1.0 n) x) (* (/ 0.125 n) (+ (/ (pow (log (/ -1 x)) 2) n) (/ (pow (log -1) 2) n))))) (* 0.5 (/ (pow (log NAN) 2) (pow n 2)))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (+ 1 (+ (* 1.0 (/ (log NAN) n)) (* (/ 1.0 n) (- (/ 1 x) (/ (pow NAN 2) x)))))
  (+ (+ (* 1.0 (/ (log NAN) n)) 1) (* (/ 1.0 n) (- (/ (pow NAN 2) x) (/ 1 x))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (+ 1 (+ (* 1.0 (/ (log NAN) n)) (* (/ 1.0 n) (- (/ 1 x) (/ (pow NAN 2) x)))))
  (+ (+ (* 1.0 (/ (log NAN) n)) 1) (* (/ 1.0 n) (- (/ (pow NAN 2) x) (/ 1 x))))
  (pow x (/ 1.0 n))
  (+ (+ (* (/ (log x) n) 1.0) (* 0.5 (/ (pow (log (/ 1 x)) 2) (pow n 2)))) 1)
  (+ (* (/ 0.5 n) (+ (/ (pow (log (/ -1 x)) 2) n) (/ (pow (log -1) 2) n))) (+ (* 1.0 (- (/ (log -1) n) (+ (/ (log (/ -1 x)) n) (/ (* (log -1) (log (/ -1 x))) (pow n 2))))) 1))
6.244 * * * [progress]: adding candidates to table
7.601 * * [progress]: iteration 4 / 4
7.601 * * * [progress]: picking best candidate
7.635 * * * * [pick]: Picked  #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))>
7.635 * * * [progress]: localizing error
7.658 * * * [progress]: generating rewritten candidates
7.658 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
7.677 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
7.682 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
7.690 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
7.702 * * * [progress]: generating series expansions
7.702 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
7.703 * [approximate]: Approximating (- (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) in (x n) around 0
7.750 * [taylor]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) in n
7.789 * [taylor]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) in n
7.896 * [taylor]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) in n
8.159 * [taylor]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) in n
8.379 * [approximate]: Approximating (- (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) (sqrt (pow (sqrt (/ 1 x)) (* 1.0 n)))) in (x n) around 0
8.424 * [taylor]: Taking taylor expansion of (- (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) (sqrt (pow (sqrt (/ 1 x)) (* 1.0 n)))) in n
8.453 * [taylor]: Taking taylor expansion of (- (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) (sqrt (pow (sqrt (/ 1 x)) (* 1.0 n)))) in n
8.524 * [taylor]: Taking taylor expansion of (- (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) (sqrt (pow (sqrt (/ 1 x)) (* 1.0 n)))) in n
8.605 * [approximate]: Approximating (- (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) (sqrt (pow (sqrt (/ -1 x)) (* -1.0 n)))) in (x n) around 0
8.659 * [taylor]: Taking taylor expansion of (- (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) (sqrt (pow (sqrt (/ -1 x)) (* -1.0 n)))) in n
8.691 * [taylor]: Taking taylor expansion of (- (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) (sqrt (pow (sqrt (/ -1 x)) (* -1.0 n)))) in n
8.768 * [taylor]: Taking taylor expansion of (- (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) (sqrt (pow (sqrt (/ -1 x)) (* -1.0 n)))) in n
8.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
8.860 * [approximate]: Approximating (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in (x n) around 0
8.869 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
8.888 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
8.931 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
9.037 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 1.0)) (/ 1.0 n)) in n
9.134 * [approximate]: Approximating (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in (x n) around 0
9.143 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
9.163 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
9.215 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 1.0 (/ 1 x))) (* 1.0 n)) in n
9.250 * [approximate]: Approximating (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in (x n) around 0
9.261 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
9.282 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
9.335 * [taylor]: Taking taylor expansion of (pow (sqrt (- 1.0 (/ 1 x))) (* -1.0 n)) in n
9.368 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
9.368 * [approximate]: Approximating (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in (x n) around 0
9.379 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
9.408 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
9.470 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
9.623 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
9.742 * [approximate]: Approximating (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in (x n) around 0
9.751 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in n
9.763 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in n
9.782 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in n
9.795 * [approximate]: Approximating (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in (x n) around 0
9.808 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in n
9.825 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in n
9.851 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in n
9.861 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
9.861 * [approximate]: Approximating (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in (x n) around 0
9.878 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
9.904 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
9.971 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
10.127 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 1/4) (/ 1.0 n)) in n
10.237 * [approximate]: Approximating (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in (x n) around 0
10.246 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in n
10.264 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in n
10.283 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 1/4) (* 1.0 n)) in n
10.290 * [approximate]: Approximating (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in (x n) around 0
10.303 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in n
10.321 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in n
10.352 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 1/4) (* -1.0 n)) in n
10.363 * * * [progress]: simplifying candidates
10.365 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (exp (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (exp (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (log (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (exp (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (* (cbrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))) (cbrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))))
  (cbrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (* (* (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) 3) (pow (sqrt (pow (sqrt x) (/ 1.0 n))) 3))
  (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (+ (* (sqrt (pow (sqrt x) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n)))) (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))))
  (neg (sqrt (pow (sqrt x) (/ 1.0 n))))
  (- (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (* (sqrt (pow (sqrt x) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (neg (sqrt (pow (sqrt x) (/ 1.0 n))))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ 1 1))
  (pow (sqrt (+ x 1.0)) 1)
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (log (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1/2 2) (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (* (/ (/ 1 2) 2) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (sqrt (+ x 1.0))) (sqrt (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 1))
  (pow (sqrt (sqrt (+ x 1.0))) 1)
  (pow (sqrt (sqrt (+ x 1.0))) 1.0)
  (pow (* (cbrt (sqrt (sqrt (+ x 1.0)))) (cbrt (sqrt (sqrt (+ x 1.0))))) (/ 1.0 n))
  (pow (cbrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))))) (/ 1.0 n))
  (pow (sqrt (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (/ 1.0 n))
  (pow (sqrt (sqrt (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt 1)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt 1)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (log (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (exp (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))))
  (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (* (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1 (/ 1.0 n))
  (* (/ 1/2 2) (/ 1.0 n))
  (* (/ 1 2) (/ 1.0 n))
  (* (/ (/ 1 2) 2) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (sqrt (+ x 1.0))) (sqrt (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 1))
  (pow (sqrt (sqrt (+ x 1.0))) 1)
  (pow (sqrt (sqrt (+ x 1.0))) 1.0)
  (pow (* (cbrt (sqrt (sqrt (+ x 1.0)))) (cbrt (sqrt (sqrt (+ x 1.0))))) (/ 1.0 n))
  (pow (cbrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))))) (/ 1.0 n))
  (pow (sqrt (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (/ 1.0 n))
  (pow (sqrt (sqrt (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt 1)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt 1)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt 1) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow 1 (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (log (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (exp (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))))
  (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (* (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (/ (/ 1.0 n) 2)
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log (pow 1.0 1/4)) n))) (sqrt (exp (* 1.0 (/ (+ (log x) (log NAN)) n)))))
  (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 0.5 (/ (pow (log (pow (/ 1 x) -1/4)) 2) (pow n 2))) (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)))) (+ (* 0.5 (/ (pow NAN 2) (* x n))) (+ (* 0.125 (/ (pow (log NAN) 2) (pow n 2))) (* 0.5 (/ (log NAN) n)))))
  (- (+ (* 0.03125 (/ (pow (log (/ -1 x)) 2) (pow n 2))) (+ (* 0.03125 (/ (pow (log -1) 2) (pow n 2))) (+ (* 0.25 (/ 1 (* x n))) (+ (* 0.25 (/ (log -1) n)) (* 0.5 (/ (pow NAN 2) (* x n))))))) (+ (* 0.125 (/ (pow (log NAN) 2) (pow n 2))) (+ (* 0.0625 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (+ (* 0.25 (/ (log (/ -1 x)) n)) (* 0.5 (/ (log NAN) n))))))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (- (+ (* 1.0 (/ 1 (* x n))) (+ (* 1.0 (/ (log NAN) n)) 1)) (* 1.0 (/ (pow NAN 2) (* x n))))
  (- (+ (* 1.0 (/ (log NAN) n)) (+ (* 1.0 (/ (pow NAN 2) (* x n))) 1)) (* 1.0 (/ 1 (* x n))))
  (exp (* 1.0 (/ (log (pow 1.0 1/4)) n)))
  (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1))
  (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 0.25 (/ (log -1) n)) 1)) (* 0.25 (/ (log (/ -1 x)) n)))
  (exp (* 1.0 (/ (log (pow 1.0 1/4)) n)))
  (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1))
  (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 0.25 (/ (log -1) n)) 1)) (* 0.25 (/ (log (/ -1 x)) n)))
10.374 * * [simplify]: iteration  0 :  608  enodes  (cost  1765 )
10.382 * * [simplify]: iteration  1 :  1934  enodes  (cost  1699 )
10.409 * * [simplify]: iteration  2 :  5001  enodes  (cost  1692 )
10.418 * [simplify]: Simplified to:
  (exp (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (log (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (exp (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (* (cbrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))) (cbrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))))
  (cbrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (pow (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) 3)
  (sqrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (sqrt (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) 3) (pow (sqrt (pow (sqrt x) (/ 1.0 n))) 3))
  (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))) (pow (sqrt x) (/ 1.0 n)))
  (neg (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (* 2 (/ 1.0 n))) (neg (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt (sqrt x)) (/ 1.0 n))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (pow (sqrt x) (/ (/ 1.0 n) 2))))
  (+ (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2)) (sqrt (sqrt (pow (sqrt x) (/ 1.0 n)))))
  (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
  (neg (sqrt (pow (sqrt x) (/ 1.0 n))))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/2 (/ 1.0 n))
  (pow (sqrt (+ x 1.0)) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (+ x 1.0)) (sqrt (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (+ x 1.0)) (/ (sqrt 1.0) 1))
  (pow (sqrt (+ x 1.0)) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (+ x 1.0)) (/ 1 (sqrt n)))
  (sqrt (+ x 1.0))
  (sqrt (+ x 1.0))
  (pow (sqrt (+ x 1.0)) 1.0)
  (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (fabs (cbrt (+ x 1.0))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (+ x 1.0)) (/ 1.0 n))
  (* (log (sqrt (+ x 1.0))) (/ 1.0 n))
  (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n))))
  (cbrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (sqrt (pow (sqrt (+ x 1.0)) (/ 1.0 n)))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (pow (sqrt (+ x 1.0)) (/ (/ 1.0 n) 2))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/4 (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1/4 (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (sqrt (+ x 1.0))) (sqrt (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (sqrt n)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (pow (sqrt (sqrt (+ x 1.0))) 1.0)
  (pow (* (cbrt (sqrt (sqrt (+ x 1.0)))) (cbrt (sqrt (sqrt (+ x 1.0))))) (/ 1.0 n))
  (pow (cbrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (fabs (cbrt (sqrt (+ x 1.0)))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (/ 1.0 n))
  (pow (sqrt (sqrt (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (exp (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))))
  (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (pow (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (/ 1.0 n)
  (* 1/4 (/ 1.0 n))
  (* 1/2 (/ 1.0 n))
  (* 1/4 (/ 1.0 n))
  (pow (sqrt (sqrt (+ x 1.0))) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
  (pow (sqrt (sqrt (+ x 1.0))) (sqrt (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) (sqrt n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (sqrt 1.0) 1))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (* (cbrt n) (cbrt n))))
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1 (sqrt n)))
  (sqrt (sqrt (+ x 1.0)))
  (sqrt (sqrt (+ x 1.0)))
  (pow (sqrt (sqrt (+ x 1.0))) 1.0)
  (pow (* (cbrt (sqrt (sqrt (+ x 1.0)))) (cbrt (sqrt (sqrt (+ x 1.0))))) (/ 1.0 n))
  (pow (cbrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (fabs (cbrt (sqrt (+ x 1.0)))) (* 2 (* 1/2 (/ 1.0 n))))
  (pow (sqrt (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (/ 1.0 n))
  (pow (sqrt (sqrt (cbrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (pow (sqrt (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  1
  (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))
  (* (log (sqrt (sqrt (+ x 1.0)))) (/ 1.0 n))
  (exp (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (* (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))))
  (cbrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (pow (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) 3)
  (* 1/2 (/ 1.0 n))
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (sqrt (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (pow (sqrt (sqrt (+ x 1.0))) (/ (/ 1.0 n) 2))
  (- (exp (* 1.0 (/ (log (pow 1.0 1/4)) n))) (sqrt (exp (* 1.0 (/ (+ (log x) (log NAN)) n)))))
  (- (+ (* 0.5 (/ (pow (log (pow (/ 1 x) -1/4)) 2) (pow n 2))) (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n))) (- (+ (* 0.5 (+ (/ (log NAN) n) (/ (pow NAN 2) (* x n)))) (* 0.125 (/ (pow (log NAN) 2) (pow n 2)))) (/ (/ 0.25 n) x)))
  (- (- (+ (+ (* (/ 0.03125 n) (+ (/ (pow (log (/ -1 x)) 2) n) (/ (pow (log -1) 2) n))) (* 0.5 (/ (pow NAN 2) (* x n)))) (* 0.25 (+ (/ 1 (* x n)) (/ (log -1) n)))) (+ (+ (* 0.125 (/ (pow (log NAN) 2) (pow n 2))) (* 0.0625 (/ (* (log -1) (log (/ -1 x))) (pow n 2)))) (* 0.5 (/ (log NAN) n)))) (* 0.25 (/ (log (/ -1 x)) n)))
  (exp (* 1.0 (/ (log (sqrt 1.0)) n)))
  (+ 1 (+ (* 1.0 (/ (log NAN) n)) (* (/ 1.0 n) (- (/ 1 x) (/ (pow NAN 2) x)))))
  (+ (+ (* 1.0 (/ (log NAN) n)) 1) (* (/ 1.0 n) (- (/ (pow NAN 2) x) (/ 1 x))))
  (exp (* 1.0 (/ (log (pow 1.0 1/4)) n)))
  (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1))
  (+ 1 (+ (* 0.25 (- (/ (log -1) n) (/ (log (/ -1 x)) n))) (/ (/ 0.25 n) x)))
  (exp (* 1.0 (/ (log (pow 1.0 1/4)) n)))
  (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1))
  (+ 1 (+ (* 0.25 (- (/ (log -1) n) (/ (log (/ -1 x)) n))) (/ (/ 0.25 n) x)))
10.419 * * * [progress]: adding candidates to table
11.610 * [progress]: [Phase 3 of 3] Extracting.
11.610 * * [regime]: Finding splitpoints for: (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
11.615 * * * [regime-changes]: Trying 4 branch expressions: ((/ 1.0 n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) n x)
11.615 * * * * [regimes]: Trying to branch on (/ 1.0 n) from (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
11.702 * * * * [regimes]: Trying to branch on (/ 1.0 n) from (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
11.756 * * * * [regimes]: Trying to branch on (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) from (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
11.829 * * * * [regimes]: Trying to branch on n from (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
11.915 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
12.012 * * * [regime]: Found split indices: #<option (#s(si 4 41) #s(si 1 227) #s(si 3 255))>
12.013 * [binary-search]: Only using regimes for bounds on (/ 1.0 n) and (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
12.013 * [regimes]: Found splitpoints: (#s(sp 4 (/ 1.0 n) -6.244629426439058e-12) #s(sp 1 (/ 1.0 n) 2.755963325239245e-10) #s(sp 3 (/ 1.0 n) +nan.0)) , with alts (#<alt (λ (x n) (/ (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow x (/ 1.0 n)) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n)))) (pow (+ x 1.0) (* 2 (/ 1.0 n))))))> #<alt (λ (x n) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (+ (* 0.25 (/ 1 (* x n))) (+ (* 1.0 (/ (log (pow (/ 1 x) -1/4)) n)) 1)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))))))> #<alt (λ (x n) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))))> #<alt (λ (x n) (- (+ (+ (* (/ (log x) n) 1.0) 1) (/ (/ 1.0 n) x)) (pow x (/ 1.0 n))))> #<alt (λ (x n) (log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))> #<alt (λ (x n) (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (/ (- (pow (pow (sqrt (+ x 1.0)) (/ 1.0 n)) 3) (pow (sqrt (pow x (/ 1.0 n))) 3)) (+ (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))) (pow x (/ 1.0 n))))))>)
12.013 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= (/ 1.0 n) -6.244629426439058e-12) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))) (if (<= (/ 1.0 n) 2.755963325239245e-10) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))))))
12.014 * * [simplify]: iteration  0 :  56  enodes  (cost  72 )
12.015 * * [simplify]: iteration  1 :  56  enodes  (cost  72 )
12.015 * [simplify]: Simplified to:
  (if (<= (/ 1.0 n) -6.244629426439058e-12) (* (+ (log (exp (pow (sqrt (+ x 1.0)) (/ 1.0 n)))) (sqrt (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3))) (if (<= (/ 1.0 n) 2.755963325239245e-10) (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))) (* (+ (* (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (* (+ (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n)))) (- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))))))