12.914 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.049 * [progress]: [Phase 2 of 3] Improving.
0.049 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (+ x (sqrt (- (* x x) 1.0))))
0.051 * * [simplify]: iteration  0 :  11  enodes  (cost  5 )
0.053 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
0.054 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
0.054 * [simplify]: Simplified to:
   (log (+ x (sqrt (- (* x x) 1.0))))
0.054 * * [progress]: iteration 1 / 4
0.054 * * * [progress]: picking best candidate
0.057 * * * * [pick]: Picked  #<alt (λ (x) (log (+ x (sqrt (- (* x x) 1.0)))))>
0.057 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
0.069 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.075 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.082 * * * [progress]: generating series expansions
0.082 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
0.083 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in (x) around 0
0.083 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
0.083 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.083 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.086 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
0.086 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.086 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 1.0 in x
0.107 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.107 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.107 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of 1.0 in x
0.109 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.109 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of 1.0 in x
0.122 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.122 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.122 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.122 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of 1.0 in x
0.124 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.124 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.124 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.125 * [taylor]: Taking taylor expansion of 1.0 in x
0.137 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.137 * [approximate]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in (x) around 0
0.137 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
0.137 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
0.137 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.137 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [taylor]: Taking taylor expansion of 1.0 in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
0.139 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
0.139 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.139 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of 1.0 in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.150 * [approximate]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in (x) around 0
0.150 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.150 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.150 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.150 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.150 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of 1.0 in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.153 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.153 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.153 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.153 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of 1.0 in x
0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.170 * [approximate]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in (x) around 0
0.170 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.170 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.170 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.171 * [taylor]: Taking taylor expansion of 1.0 in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.172 * [taylor]: Taking taylor expansion of x in x
0.173 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.173 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.173 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.173 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.173 * [taylor]: Taking taylor expansion of x in x
0.173 * [taylor]: Taking taylor expansion of 1.0 in x
0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.175 * [taylor]: Taking taylor expansion of x in x
0.203 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.203 * [approximate]: Taking taylor expansion of (log (+ (sqrt (- (pow x 2) 1.0)) x)) in (x) around 0
0.203 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (pow x 2) 1.0)) x)) in x
0.203 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
0.203 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
0.203 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.203 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of 1.0 in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.207 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (pow x 2) 1.0)) x)) in x
0.207 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
0.207 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
0.207 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.207 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.207 * [taylor]: Taking taylor expansion of x in x
0.207 * [taylor]: Taking taylor expansion of 1.0 in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.260 * [approximate]: Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in (x) around 0
0.260 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
0.260 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.260 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.260 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.260 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of 1.0 in x
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
0.263 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.264 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.264 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.264 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of 1.0 in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.310 * [approximate]: Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in (x) around 0
0.310 * [taylor]: Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
0.310 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.310 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.310 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.310 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of 1.0 in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
0.320 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
0.320 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
0.320 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.320 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.320 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of 1.0 in x
0.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.389 * * * [progress]: simplifying candidates
0.390 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (- (* x x) 1.0)))
  (log1p (sqrt (- (* x x) 1.0)))
  (log (sqrt (- (* x x) 1.0)))
  (exp (sqrt (- (* x x) 1.0)))
  (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0))))
  (cbrt (sqrt (- (* x x) 1.0)))
  (* (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (sqrt (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (sqrt (cbrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt 1)
  (sqrt (- (* x x) 1.0))
  (sqrt (+ x (sqrt 1.0)))
  (sqrt (- x (sqrt 1.0)))
  (sqrt (- (pow (* x x) 3) (pow 1.0 3)))
  (sqrt (+ (* (* x x) (* x x)) (+ (* 1.0 1.0) (* (* x x) 1.0))))
  (sqrt (- (* (* x x) (* x x)) (* 1.0 1.0)))
  (sqrt (+ (* x x) 1.0))
  (/ 1 2)
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (expm1 (+ x (sqrt (- (* x x) 1.0))))
  (log1p (+ x (sqrt (- (* x x) 1.0))))
  (* (exp x) (exp (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (cbrt (+ x (sqrt (- (* x x) 1.0))))
  (* (* (+ x (sqrt (- (* x x) 1.0))) (+ x (sqrt (- (* x x) 1.0)))) (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3))
  (+ (* x x) (- (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (* x (sqrt (- (* x x) 1.0)))))
  (- (* x x) (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))))
  (- x (sqrt (- (* x x) 1.0)))
  (+ x (sqrt (- (* x x) 1.0)))
  (expm1 (log (+ x (sqrt (- (* x x) 1.0)))))
  (log1p (log (+ x (sqrt (- (* x x) 1.0)))))
  (log (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0))))))
  (log (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (log (sqrt (+ x (sqrt (- (* x x) 1.0)))))
  (log (sqrt (+ x (sqrt (- (* x x) 1.0)))))
  (log 1)
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log 1)
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3)))
  (log (+ (* x x) (- (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (* x (sqrt (- (* x x) 1.0))))))
  (log (- (* x x) (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)))))
  (log (- x (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log (log (+ x (sqrt (- (* x x) 1.0)))))
  (exp (log (+ x (sqrt (- (* x x) 1.0)))))
  (* (cbrt (log (+ x (sqrt (- (* x x) 1.0))))) (cbrt (log (+ x (sqrt (- (* x x) 1.0))))))
  (cbrt (log (+ x (sqrt (- (* x x) 1.0)))))
  (* (* (log (+ x (sqrt (- (* x x) 1.0)))) (log (+ x (sqrt (- (* x x) 1.0))))) (log (+ x (sqrt (- (* x x) 1.0)))))
  (sqrt (log (+ x (sqrt (- (* x x) 1.0)))))
  (sqrt (log (+ x (sqrt (- (* x x) 1.0)))))
  (- (+ (* 1/2 (/ (pow x 2) (sqrt (- 1.0)))) (sqrt (- 1.0))) (* 1/8 (/ (pow x 4) (pow (sqrt (- 1.0)) 3))))
  (- x (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))))
  (- (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))) x)
  (+ x (+ (* 1/2 (/ (pow x 2) (sqrt (- 1.0)))) (sqrt (- 1.0))))
  (- (* 2 x) (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))))
  (+ (* 0.125 (/ 1 (pow x 3))) (+ (* 0.0625 (/ 1 (pow x 5))) (* 0.5 (/ 1 x))))
  (- (+ (log (sqrt (- 1.0))) (/ x (sqrt (- 1.0)))) (* 1/6 (/ (pow x 3) (pow (sqrt (- 1.0)) 3))))
  (- (log 2) (+ (log (/ 1 x)) (+ (* 0.09375 (/ 1 (pow x 4))) (* 0.25 (/ 1 (pow x 2))))))
  (- (+ (* 0.25 (/ 1 (pow x 2))) (+ (* 0.125 (/ 1 (pow x 4))) (+ (log (- 0.5)) (log (/ -1 x))))) (* 0.0078125 (/ 1 (* (pow x 4) (pow -0.5 2)))))
0.395 * * [simplify]: iteration  0 :  339  enodes  (cost  436 )
0.401 * * [simplify]: iteration  1 :  1140  enodes  (cost  401 )
0.421 * * [simplify]: iteration  2 :  5001  enodes  (cost  389 )
0.424 * [simplify]: Simplified to:
   (expm1 (sqrt (- (* x x) 1.0)))
  (log1p (sqrt (- (* x x) 1.0)))
  (log (sqrt (- (* x x) 1.0)))
  (exp (sqrt (- (* x x) 1.0)))
  (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0))))
  (cbrt (sqrt (- (* x x) 1.0)))
  (pow (sqrt (- (* x x) 1.0)) 3)
  (fabs (cbrt (- (* x x) 1.0)))
  (sqrt (cbrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt 1)
  (sqrt (- (* x x) 1.0))
  (sqrt (+ x (sqrt 1.0)))
  (sqrt (- x (sqrt 1.0)))
  (sqrt (- (pow (* x x) 3) (pow 1.0 3)))
  (sqrt (+ (* (* x x) (* x x)) (+ (* 1.0 1.0) (* (* x x) 1.0))))
  (sqrt (- (* (* x x) (* x x)) (* 1.0 1.0)))
  (sqrt (+ (* x x) 1.0))
  1/2
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (expm1 (+ x (sqrt (- (* x x) 1.0))))
  (log1p (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (cbrt (+ x (sqrt (- (* x x) 1.0))))
  (pow (+ x (sqrt (- (* x x) 1.0))) 3)
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3))
  (- (fma x x (pow x 2)) (+ 1.0 (* x (sqrt (- (* x x) 1.0)))))
  (+ 0 1.0)
  (- x (sqrt (- (* x x) 1.0)))
  (+ x (sqrt (- (* x x) 1.0)))
  (expm1 (log (+ x (sqrt (- (* x x) 1.0)))))
  (log1p (log (+ x (sqrt (- (* x x) 1.0)))))
  (* 2 (log (cbrt (+ x (sqrt (- (* x x) 1.0))))))
  (log (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (log (sqrt (+ x (sqrt (- (* x x) 1.0)))))
  (log (sqrt (+ x (sqrt (- (* x x) 1.0)))))
  0
  (log (+ x (sqrt (- (* x x) 1.0))))
  0
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3)))
  (log (+ (* x x) (- (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (* x (sqrt (- (* x x) 1.0))))))
  (log (- (* x x) (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)))))
  (log (- x (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log (log (+ x (sqrt (- (* x x) 1.0)))))
  (+ x (sqrt (- (* x x) 1.0)))
  (* (cbrt (log (+ x (sqrt (- (* x x) 1.0))))) (cbrt (log (+ x (sqrt (- (* x x) 1.0))))))
  (cbrt (log (+ x (sqrt (- (* x x) 1.0)))))
  (pow (log (+ x (sqrt (- (* x x) 1.0)))) 3)
  (sqrt (log (+ x (sqrt (- (* x x) 1.0)))))
  (sqrt (log (+ x (sqrt (- (* x x) 1.0)))))
  (fma 1/2 (/ (pow x 2) (sqrt (- 1.0))) (- (sqrt (- 1.0)) (* 1/8 (/ (pow x 4) (pow (sqrt (- 1.0)) 3)))))
  (- x (fma 0.5 (/ 1 x) (/ 0.125 (pow x 3))))
  (- (fma 0.5 (/ 1 x) (/ 0.125 (pow x 3))) x)
  (+ (fma 1/2 (/ (pow x 2) (sqrt (- 1.0))) (sqrt (- 1.0))) x)
  (fma 2 x (- (fma 0.5 (/ 1 x) (* 0.125 (/ 1 (pow x 3))))))
  (fma 0.0625 (/ 1 (pow x 5)) (fma 0.5 (/ 1 x) (/ 0.125 (pow x 3))))
  (- (+ (log (sqrt (- 1.0))) (/ x (sqrt (- 1.0)))) (* 1/6 (/ (pow x 3) (pow (sqrt (- 1.0)) 3))))
  (+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
  (+ (fma 0.25 (/ 1 (pow x 2)) (+ (log (- 0.5)) (log (/ -1 x)))) (* (/ 1 (pow x 4)) (- 0.125 (/ 0.0078125 (pow -0.5 2)))))
0.424 * * * [progress]: adding candidates to table
0.556 * * [progress]: iteration 2 / 4
0.556 * * * [progress]: picking best candidate
0.563 * * * * [pick]: Picked  #<alt (λ (x) (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))>
0.563 * * * [progress]: localizing error
0.576 * * * [progress]: generating rewritten candidates
0.576 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.589 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.592 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.601 * * * [progress]: generating series expansions
0.601 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.602 * [approximate]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in (x) around 0
0.602 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x
0.602 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x
0.602 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.602 * [taylor]: Taking taylor expansion of 1.0 in x
0.603 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
0.603 * [taylor]: Taking taylor expansion of x in x
0.603 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.603 * [taylor]: Taking taylor expansion of 1.0 in x
0.612 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x
0.612 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x
0.612 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.612 * [taylor]: Taking taylor expansion of 1.0 in x
0.613 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.613 * [taylor]: Taking taylor expansion of 1.0 in x
0.659 * [approximate]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0
0.659 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in x
0.659 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x))) in x
0.659 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.659 * [taylor]: Taking taylor expansion of 1.0 in x
0.660 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.660 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.660 * [taylor]: Taking taylor expansion of 1.0 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in x
0.667 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x))) in x
0.667 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.667 * [taylor]: Taking taylor expansion of 1.0 in x
0.668 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.668 * [taylor]: Taking taylor expansion of 1.0 in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.700 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in (x) around 0
0.700 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
0.701 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
0.701 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
0.701 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.701 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.701 * [taylor]: Taking taylor expansion of 1.0 in x
0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.701 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
0.703 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
0.703 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.703 * [taylor]: Taking taylor expansion of 1.0 in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
0.706 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
0.706 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
0.706 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.706 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.706 * [taylor]: Taking taylor expansion of 1.0 in x
0.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
0.709 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
0.709 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.709 * [taylor]: Taking taylor expansion of 1.0 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.795 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.796 * [approximate]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in (x) around 0
0.796 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in x
0.796 * [taylor]: Taking taylor expansion of x in x
0.796 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x
0.796 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x
0.796 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
0.796 * [taylor]: Taking taylor expansion of x in x
0.796 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.796 * [taylor]: Taking taylor expansion of 1.0 in x
0.797 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.797 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.797 * [taylor]: Taking taylor expansion of 1.0 in x
0.805 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in x
0.805 * [taylor]: Taking taylor expansion of x in x
0.805 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x
0.805 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x
0.805 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
0.805 * [taylor]: Taking taylor expansion of x in x
0.805 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.805 * [taylor]: Taking taylor expansion of 1.0 in x
0.806 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
0.806 * [taylor]: Taking taylor expansion of x in x
0.806 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.806 * [taylor]: Taking taylor expansion of 1.0 in x
0.838 * [approximate]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in (x) around 0
0.838 * [taylor]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
0.838 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in x
0.838 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x))) in x
0.838 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
0.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.838 * [taylor]: Taking taylor expansion of x in x
0.839 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.839 * [taylor]: Taking taylor expansion of 1.0 in x
0.839 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.839 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.839 * [taylor]: Taking taylor expansion of 1.0 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
0.847 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in x
0.847 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x))) in x
0.847 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.847 * [taylor]: Taking taylor expansion of 1.0 in x
0.848 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.848 * [taylor]: Taking taylor expansion of 1.0 in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.888 * [approximate]: Taking taylor expansion of (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in (x) around 0
0.888 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
0.888 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
0.888 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
0.888 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.888 * [taylor]: Taking taylor expansion of 1.0 in x
0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.889 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
0.891 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
0.891 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.891 * [taylor]: Taking taylor expansion of 1.0 in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.894 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
0.894 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
0.894 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
0.894 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
0.894 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
0.894 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.894 * [taylor]: Taking taylor expansion of 1.0 in x
0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.900 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
0.900 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
0.900 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.900 * [taylor]: Taking taylor expansion of 1.0 in x
0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.902 * [taylor]: Taking taylor expansion of x in x
0.942 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.943 * [approximate]: Taking taylor expansion of (log (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))))) in (x) around 0
0.943 * [taylor]: Taking taylor expansion of (log (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))))) in x
0.943 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in x
0.943 * [taylor]: Taking taylor expansion of x in x
0.943 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x
0.943 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x
0.943 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
0.943 * [taylor]: Taking taylor expansion of x in x
0.943 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.943 * [taylor]: Taking taylor expansion of 1.0 in x
0.943 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
0.943 * [taylor]: Taking taylor expansion of x in x
0.943 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.944 * [taylor]: Taking taylor expansion of 1.0 in x
0.956 * [taylor]: Taking taylor expansion of (log (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))))) in x
0.956 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x
0.956 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x
0.956 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.956 * [taylor]: Taking taylor expansion of 1.0 in x
0.957 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.957 * [taylor]: Taking taylor expansion of 1.0 in x
1.049 * [approximate]: Taking taylor expansion of (log (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))) in (x) around 0
1.049 * [taylor]: Taking taylor expansion of (log (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))) in x
1.049 * [taylor]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
1.049 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in x
1.049 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x))) in x
1.049 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
1.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.049 * [taylor]: Taking taylor expansion of 1.0 in x
1.050 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.050 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.050 * [taylor]: Taking taylor expansion of 1.0 in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (log (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))) in x
1.061 * [taylor]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
1.061 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x)))) in x
1.061 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (sqrt 1.0) (/ 1 x))) in x
1.061 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.061 * [taylor]: Taking taylor expansion of 1.0 in x
1.062 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.062 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.062 * [taylor]: Taking taylor expansion of 1.0 in x
1.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.062 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.147 * [approximate]: Taking taylor expansion of (log (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x))) in (x) around 0
1.147 * [taylor]: Taking taylor expansion of (log (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x))) in x
1.147 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
1.147 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
1.147 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
1.147 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
1.147 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.147 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.147 * [taylor]: Taking taylor expansion of 1.0 in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.150 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
1.150 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
1.150 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.150 * [taylor]: Taking taylor expansion of 1.0 in x
1.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.150 * [taylor]: Taking taylor expansion of x in x
1.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.154 * [taylor]: Taking taylor expansion of (log (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x))) in x
1.154 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ 1 x)) in x
1.154 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
1.154 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
1.154 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
1.154 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.154 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.154 * [taylor]: Taking taylor expansion of 1.0 in x
1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.155 * [taylor]: Taking taylor expansion of x in x
1.156 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
1.157 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
1.157 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.157 * [taylor]: Taking taylor expansion of 1.0 in x
1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.159 * [taylor]: Taking taylor expansion of x in x
1.220 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.221 * [approximate]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in (x) around 0
1.221 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
1.221 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.221 * [taylor]: Taking taylor expansion of 1.0 in x
1.224 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
1.224 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.224 * [taylor]: Taking taylor expansion of 1.0 in x
1.242 * [approximate]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in (x) around 0
1.242 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
1.242 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.242 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.242 * [taylor]: Taking taylor expansion of 1.0 in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.243 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
1.244 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.244 * [taylor]: Taking taylor expansion of 1.0 in x
1.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.261 * [approximate]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in (x) around 0
1.261 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
1.261 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
1.261 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.261 * [taylor]: Taking taylor expansion of 1.0 in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.263 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
1.264 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
1.264 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.264 * [taylor]: Taking taylor expansion of 1.0 in x
1.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.264 * [taylor]: Taking taylor expansion of x in x
1.280 * * * [progress]: simplifying candidates
1.282 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (log1p (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))
  (+ (log (sqrt (+ x (sqrt 1.0)))) (log (sqrt (- x (sqrt 1.0)))))
  (log (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (exp (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (* (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) (sqrt (+ x (sqrt 1.0)))) (* (* (sqrt (- x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))))
  (* (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (* (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))
  (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))))
  (* (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))) (sqrt (+ (* x x) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))))
  (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))) (sqrt (+ x (sqrt 1.0))))
  (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))))
  (* (sqrt (- x (sqrt 1.0))) (sqrt (+ (* x x) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))))
  (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) (* (cbrt (sqrt (- x (sqrt 1.0)))) (cbrt (sqrt (- x (sqrt 1.0))))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt 1))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt 1))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) 1)
  (* (cbrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (cbrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (expm1 (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log1p (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (* (exp x) (exp (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (exp (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (* (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (* (* (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3))
  (+ (* x x) (- (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (- (* x x) (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (- x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (expm1 (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log1p (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log (* (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))))
  (log (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log 1)
  (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)))
  (log (+ (* x x) (- (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))))
  (log (- (* x x) (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log (- x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (exp (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (* (cbrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))) (cbrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))))
  (cbrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (* (* (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))) (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (sqrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (sqrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (expm1 (sqrt (+ x (sqrt 1.0))))
  (log1p (sqrt (+ x (sqrt 1.0))))
  (log (sqrt (+ x (sqrt 1.0))))
  (exp (sqrt (+ x (sqrt 1.0))))
  (* (cbrt (sqrt (+ x (sqrt 1.0)))) (cbrt (sqrt (+ x (sqrt 1.0)))))
  (cbrt (sqrt (+ x (sqrt 1.0))))
  (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) (sqrt (+ x (sqrt 1.0))))
  (sqrt (* (cbrt (+ x (sqrt 1.0))) (cbrt (+ x (sqrt 1.0)))))
  (sqrt (cbrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt 1)
  (sqrt (+ x (sqrt 1.0)))
  (sqrt 1)
  (sqrt (+ x (sqrt 1.0)))
  (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3)))
  (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0)))))
  (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0))))
  (sqrt (- x (sqrt 1.0)))
  (/ 1 2)
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (- (+ (* 1/2 (/ (pow x 2) (sqrt (* -1 (pow (sqrt 1.0) 2))))) (sqrt (* -1 (pow (sqrt 1.0) 2)))) (* 1/8 (/ (pow x 4) (pow (sqrt (* -1 (pow (sqrt 1.0) 2))) 3))))
  (- x (+ (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (* 1/2 (/ (pow (sqrt 1.0) 2) x))))
  (- (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow x 2))) (- (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- +nan.0)))))))))))
  (+ (* 1/2 (/ (pow x 2) (sqrt (* -1 (pow (sqrt 1.0) 2))))) (+ x (sqrt (* -1 (pow (sqrt 1.0) 2)))))
  (- (* 2 x) (+ (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (* 1/2 (/ (pow (sqrt 1.0) 2) x))))
  (- x (+ +nan.0 (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (* +nan.0 (/ 1 x)))))))
  (- (+ (log (sqrt (* -1 (pow (sqrt 1.0) 2)))) (/ x (sqrt (* -1 (pow (sqrt 1.0) 2))))) (* 1/6 (/ (pow x 3) (pow (sqrt (* -1 (pow (sqrt 1.0) 2))) 3))))
  (- (log 2) (+ (log (/ 1 x)) (+ (* 1/4 (/ (pow (sqrt 1.0) 2) (pow x 2))) (* 3/32 (/ (pow (sqrt 1.0) 4) (pow x 4))))))
  (- (log -1) (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (log (/ -1 x)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
  (- (+ (sqrt (sqrt 1.0)) (* 1/2 (* x (sqrt (/ 1 (sqrt 1.0)))))) (* 1/8 (* (pow x 2) (sqrt (/ 1 (pow (sqrt 1.0) 3))))))
  (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))))
  (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))))
1.290 * * [simplify]: iteration  0 :  524  enodes  (cost  1161 )
1.299 * * [simplify]: iteration  1 :  1829  enodes  (cost  1044 )
1.328 * * [simplify]: iteration  2 :  5002  enodes  (cost  1027 )
1.333 * [simplify]: Simplified to:
   (expm1 (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (log1p (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (fma x x (- 1.0))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (fma x x (- 1.0))
  (log (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (log (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (exp (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)
  (* (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)
  (fma x x (- 1.0))
  (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))))
  (* (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))) (sqrt (+ (* x x) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))))
  (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))) (sqrt (+ x (sqrt 1.0))))
  (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))))
  (* (sqrt (- x (sqrt 1.0))) (sqrt (+ (* x x) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))))
  (fma x x (- 1.0))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) (* (cbrt (sqrt (- x (sqrt 1.0)))) (cbrt (sqrt (- x (sqrt 1.0))))))
  (* (fabs (cbrt (- x (sqrt 1.0)))) (sqrt (+ x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (sqrt (+ x (sqrt 1.0)))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0)))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0)))))
  (sqrt (+ x (sqrt 1.0)))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0)))))
  (sqrt (+ x (sqrt 1.0)))
  (* (cbrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (cbrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))))
  (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- x (sqrt 1.0))))
  (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))
  (expm1 (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log1p (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (exp (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (exp (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (* (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (pow (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) 3)
  (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3))
  (- (+ (pow x 2) (fma x x (- 1.0))) (* x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (fma x x (- (fma x x (- 1.0))))
  (- x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))
  (expm1 (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log1p (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (* 2 (log (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))))
  (log (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (log (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  0
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)))
  (log (+ (* x x) (- (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))))
  (+ (log (+ x (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))) (log (- x (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))))))
  (log (- x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)
  (* (cbrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))) (cbrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))))
  (cbrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (pow (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) 3)
  (sqrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (sqrt (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))))
  (expm1 (sqrt (+ x (sqrt 1.0))))
  (log1p (sqrt (+ x (sqrt 1.0))))
  (log (sqrt (+ x (sqrt 1.0))))
  (exp (sqrt (+ x (sqrt 1.0))))
  (* (cbrt (sqrt (+ x (sqrt 1.0)))) (cbrt (sqrt (+ x (sqrt 1.0)))))
  (cbrt (sqrt (+ x (sqrt 1.0))))
  (pow (sqrt (+ x (sqrt 1.0))) 3)
  (fabs (cbrt (+ x (sqrt 1.0))))
  (sqrt (cbrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  1
  (sqrt (+ x (sqrt 1.0)))
  1
  (sqrt (+ x (sqrt 1.0)))
  (hypot (pow (sqrt 1.0) 3/2) (pow x 3/2))
  (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0)))))
  (hypot x (sqrt (* -1 (pow (sqrt 1.0) 2))))
  (sqrt (- x (sqrt 1.0)))
  1/2
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (fma 1/2 (/ (pow x 2) (sqrt (* -1 (pow (sqrt 1.0) 2)))) (- (sqrt (* -1 (pow (sqrt 1.0) 2))) (* 1/8 (/ (pow x 4) (pow (sqrt (* -1 (pow (sqrt 1.0) 2))) 3)))))
  (- (- x (/ (* 1/2 1.0) x)) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))))
  (fma (- +nan.0) (/ (/ 1.0 x) x) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (fma (- +nan.0) (/ 1 (pow x 2)) (fma +nan.0 (/ 1 x) (fma (- +nan.0) (/ (sqrt 1.0) x) +nan.0)))))
  (fma 1/2 (/ (pow x 2) (sqrt (* -1 (pow (sqrt 1.0) 2)))) (+ x (sqrt (* -1 (pow (sqrt 1.0) 2)))))
  (- (- (* 2 x) (/ (* 1/2 1.0) x)) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))))
  (+ (- x +nan.0) (* +nan.0 (- (/ (sqrt 1.0) x) (/ 1 x))))
  (- (+ (log (sqrt (* -1 (pow (sqrt 1.0) 2)))) (/ x (sqrt (* -1 (pow (sqrt 1.0) 2))))) (* 1/6 (/ (pow x 3) (pow (sqrt (* -1 (pow (sqrt 1.0) 2))) 3))))
  (- (- (log 2) (fma 3/32 (/ (pow (sqrt 1.0) 4) (pow x 4)) (/ (* 1/4 1.0) (pow x 2)))) (log (/ 1 x)))
  (+ (- (log -1) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (log (/ -1 x)))) (* +nan.0 (- (/ 1 (pow x 2)) (/ 1 x))))
  (fma (* 1/2 x) (sqrt (/ 1 (sqrt 1.0))) (- (sqrt (sqrt 1.0)) (* 1/8 (* (pow x 2) (sqrt (/ 1 (pow (sqrt 1.0) 3)))))))
  (fma (- +nan.0) (/ (sqrt 1.0) x) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (+ (fma +nan.0 (/ 1 x) (- +nan.0)) (/ (- +nan.0) (pow x 2)))))
  (fma (- +nan.0) (/ (sqrt 1.0) x) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (+ (fma +nan.0 (/ 1 x) (- +nan.0)) (/ (- +nan.0) (pow x 2)))))
1.337 * * * [progress]: adding candidates to table
1.596 * * [progress]: iteration 3 / 4
1.596 * * * [progress]: picking best candidate
1.601 * * * * [pick]: Picked  #<alt (λ (x) (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))>
1.601 * * * [progress]: localizing error
1.613 * * * [progress]: generating rewritten candidates
1.613 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.614 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.615 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
1.620 * * * [progress]: generating series expansions
1.620 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.621 * [approximate]: Taking taylor expansion of (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) in (x) around 0
1.621 * [taylor]: Taking taylor expansion of (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) in x
1.621 * [taylor]: Rewrote expression to (+ (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) x)
1.621 * [taylor]: Taking taylor expansion of (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) in x
1.621 * [taylor]: Taking taylor expansion of (sqrt (- x (sqrt 1.0))) in x
1.621 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.621 * [taylor]: Taking taylor expansion of 1.0 in x
1.627 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
1.627 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.627 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.627 * [taylor]: Taking taylor expansion of 1.0 in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) in x
1.630 * [taylor]: Rewrote expression to (+ (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) x)
1.630 * [taylor]: Taking taylor expansion of (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) in x
1.630 * [taylor]: Taking taylor expansion of (sqrt (- x (sqrt 1.0))) in x
1.630 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.630 * [taylor]: Taking taylor expansion of 1.0 in x
1.636 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
1.636 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
1.636 * [taylor]: Taking taylor expansion of x in x
1.636 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.636 * [taylor]: Taking taylor expansion of 1.0 in x
1.639 * [taylor]: Taking taylor expansion of x in x
1.758 * [approximate]: Taking taylor expansion of (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x)) in (x) around 0
1.758 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x)) in x
1.758 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))
1.758 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) in x
1.758 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (sqrt 1.0))) in x
1.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
1.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.758 * [taylor]: Taking taylor expansion of x in x
1.758 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.758 * [taylor]: Taking taylor expansion of 1.0 in x
1.760 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
1.760 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.760 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.760 * [taylor]: Taking taylor expansion of 1.0 in x
1.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.761 * [taylor]: Taking taylor expansion of x in x
1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.763 * [taylor]: Taking taylor expansion of x in x
1.763 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x)) in x
1.763 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))
1.763 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) in x
1.763 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (sqrt 1.0))) in x
1.763 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.763 * [taylor]: Taking taylor expansion of x in x
1.763 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.763 * [taylor]: Taking taylor expansion of 1.0 in x
1.765 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
1.765 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.765 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.765 * [taylor]: Taking taylor expansion of 1.0 in x
1.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.766 * [taylor]: Taking taylor expansion of x in x
1.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.768 * [taylor]: Taking taylor expansion of x in x
1.811 * [approximate]: Taking taylor expansion of (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x)) in (x) around 0
1.811 * [taylor]: Taking taylor expansion of (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x)) in x
1.811 * [taylor]: Rewrote expression to (+ (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ -1 x))
1.811 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
1.811 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
1.811 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
1.811 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.811 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.811 * [taylor]: Taking taylor expansion of 1.0 in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.814 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
1.814 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
1.814 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.814 * [taylor]: Taking taylor expansion of 1.0 in x
1.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.815 * [taylor]: Taking taylor expansion of x in x
1.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.817 * [taylor]: Taking taylor expansion of -1 in x
1.817 * [taylor]: Taking taylor expansion of x in x
1.817 * [taylor]: Taking taylor expansion of (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x)) in x
1.817 * [taylor]: Rewrote expression to (+ (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ -1 x))
1.817 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
1.817 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
1.817 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
1.817 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
1.817 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.817 * [taylor]: Taking taylor expansion of 1.0 in x
1.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.818 * [taylor]: Taking taylor expansion of x in x
1.820 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
1.820 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
1.820 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.820 * [taylor]: Taking taylor expansion of 1.0 in x
1.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.823 * [taylor]: Taking taylor expansion of -1 in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.866 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.867 * [approximate]: Taking taylor expansion of (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) in (x) around 0
1.867 * [taylor]: Taking taylor expansion of (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) in x
1.867 * [taylor]: Taking taylor expansion of (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) in x
1.867 * [taylor]: Rewrote expression to (+ (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) x)
1.867 * [taylor]: Taking taylor expansion of (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) in x
1.867 * [taylor]: Taking taylor expansion of (sqrt (- x (sqrt 1.0))) in x
1.867 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
1.867 * [taylor]: Taking taylor expansion of x in x
1.867 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.867 * [taylor]: Taking taylor expansion of 1.0 in x
1.872 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
1.872 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.873 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.873 * [taylor]: Taking taylor expansion of 1.0 in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.882 * [taylor]: Taking taylor expansion of (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) in x
1.883 * [taylor]: Taking taylor expansion of (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) in x
1.883 * [taylor]: Rewrote expression to (+ (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) x)
1.883 * [taylor]: Taking taylor expansion of (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) in x
1.883 * [taylor]: Taking taylor expansion of (sqrt (- x (sqrt 1.0))) in x
1.883 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x
1.883 * [taylor]: Taking taylor expansion of x in x
1.883 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.883 * [taylor]: Taking taylor expansion of 1.0 in x
1.888 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
1.888 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
1.888 * [taylor]: Taking taylor expansion of x in x
1.888 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.888 * [taylor]: Taking taylor expansion of 1.0 in x
1.891 * [taylor]: Taking taylor expansion of x in x
2.130 * [approximate]: Taking taylor expansion of (log (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x))) in (x) around 0
2.130 * [taylor]: Taking taylor expansion of (log (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x))) in x
2.130 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x)) in x
2.130 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))
2.130 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) in x
2.130 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (sqrt 1.0))) in x
2.130 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
2.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.130 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.130 * [taylor]: Taking taylor expansion of 1.0 in x
2.133 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
2.133 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
2.133 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.133 * [taylor]: Taking taylor expansion of 1.0 in x
2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.135 * [taylor]: Taking taylor expansion of x in x
2.137 * [taylor]: Taking taylor expansion of (log (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x))) in x
2.137 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x))) (/ 1 x)) in x
2.137 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) (/ 1 x))
2.137 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 x) (sqrt 1.0))) (sqrt (+ (sqrt 1.0) (/ 1 x)))) in x
2.137 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (sqrt 1.0))) in x
2.137 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x
2.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.137 * [taylor]: Taking taylor expansion of x in x
2.137 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.137 * [taylor]: Taking taylor expansion of 1.0 in x
2.139 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
2.139 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
2.139 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.139 * [taylor]: Taking taylor expansion of 1.0 in x
2.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.140 * [taylor]: Taking taylor expansion of x in x
2.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.141 * [taylor]: Taking taylor expansion of x in x
2.202 * [approximate]: Taking taylor expansion of (log (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x))) in (x) around 0
2.202 * [taylor]: Taking taylor expansion of (log (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x))) in x
2.202 * [taylor]: Taking taylor expansion of (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x)) in x
2.202 * [taylor]: Rewrote expression to (+ (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ -1 x))
2.202 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
2.202 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
2.202 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
2.202 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
2.202 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.202 * [taylor]: Taking taylor expansion of 1.0 in x
2.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.203 * [taylor]: Taking taylor expansion of x in x
2.205 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
2.205 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
2.205 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.205 * [taylor]: Taking taylor expansion of 1.0 in x
2.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.206 * [taylor]: Taking taylor expansion of x in x
2.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.208 * [taylor]: Taking taylor expansion of -1 in x
2.208 * [taylor]: Taking taylor expansion of x in x
2.209 * [taylor]: Taking taylor expansion of (log (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x))) in x
2.210 * [taylor]: Taking taylor expansion of (fma (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x))) (/ -1 x)) in x
2.210 * [taylor]: Rewrote expression to (+ (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) (/ -1 x))
2.210 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) (sqrt (- (sqrt 1.0) (/ 1 x)))) in x
2.210 * [taylor]: Taking taylor expansion of (sqrt (- (+ (sqrt 1.0) (/ 1 x)))) in x
2.210 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x
2.210 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
2.210 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.210 * [taylor]: Taking taylor expansion of 1.0 in x
2.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.210 * [taylor]: Taking taylor expansion of x in x
2.212 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
2.212 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
2.212 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.212 * [taylor]: Taking taylor expansion of 1.0 in x
2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.213 * [taylor]: Taking taylor expansion of x in x
2.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.215 * [taylor]: Taking taylor expansion of -1 in x
2.215 * [taylor]: Taking taylor expansion of x in x
2.282 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
2.282 * [approximate]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in (x) around 0
2.282 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
2.282 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.282 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.282 * [taylor]: Taking taylor expansion of 1.0 in x
2.286 * [taylor]: Taking taylor expansion of (sqrt (+ x (sqrt 1.0))) in x
2.286 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x
2.286 * [taylor]: Taking taylor expansion of x in x
2.286 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.286 * [taylor]: Taking taylor expansion of 1.0 in x
2.304 * [approximate]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in (x) around 0
2.304 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
2.304 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
2.304 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.304 * [taylor]: Taking taylor expansion of 1.0 in x
2.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.304 * [taylor]: Taking taylor expansion of x in x
2.306 * [taylor]: Taking taylor expansion of (sqrt (+ (sqrt 1.0) (/ 1 x))) in x
2.306 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x
2.306 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.306 * [taylor]: Taking taylor expansion of 1.0 in x
2.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.307 * [taylor]: Taking taylor expansion of x in x
2.323 * [approximate]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in (x) around 0
2.323 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
2.323 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
2.323 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.323 * [taylor]: Taking taylor expansion of 1.0 in x
2.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.324 * [taylor]: Taking taylor expansion of x in x
2.325 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x
2.325 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x
2.325 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.325 * [taylor]: Taking taylor expansion of 1.0 in x
2.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.326 * [taylor]: Taking taylor expansion of x in x
2.349 * * * [progress]: simplifying candidates
2.350 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log1p (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))))
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (exp (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (* (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (* (* (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (expm1 (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log1p (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log (* (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))))
  (log (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log 1)
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (exp (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (* (cbrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))) (cbrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))))
  (cbrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (* (* (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))) (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (sqrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (sqrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (expm1 (sqrt (+ x (sqrt 1.0))))
  (log1p (sqrt (+ x (sqrt 1.0))))
  (log (sqrt (+ x (sqrt 1.0))))
  (exp (sqrt (+ x (sqrt 1.0))))
  (* (cbrt (sqrt (+ x (sqrt 1.0)))) (cbrt (sqrt (+ x (sqrt 1.0)))))
  (cbrt (sqrt (+ x (sqrt 1.0))))
  (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) (sqrt (+ x (sqrt 1.0))))
  (sqrt (* (cbrt (+ x (sqrt 1.0))) (cbrt (+ x (sqrt 1.0)))))
  (sqrt (cbrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt 1)
  (sqrt (+ x (sqrt 1.0)))
  (sqrt 1)
  (sqrt (+ x (sqrt 1.0)))
  (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3)))
  (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0)))))
  (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0))))
  (sqrt (- x (sqrt 1.0)))
  (/ 1 2)
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (- (+ (* 1/2 (* (/ x (sqrt (- (sqrt 1.0)))) (sqrt (sqrt 1.0)))) (+ (* (sqrt (sqrt 1.0)) (sqrt (- (sqrt 1.0)))) (+ (* 1/2 (* (* x (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (sqrt 1.0))))) (+ x (* 1/4 (* (/ (pow x 2) (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (sqrt 1.0))))))))) (+ (* 1/8 (* (/ (pow x 2) (pow (sqrt (- (sqrt 1.0))) 3)) (sqrt (sqrt 1.0)))) (* 1/8 (* (* (pow x 2) (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (pow (sqrt 1.0) 3)))))))
  (- x (+ +nan.0 (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (* +nan.0 (/ 1 x)))))))
  (- x (+ +nan.0 (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (* +nan.0 (/ 1 x)))))))
  (- (+ (log (* (sqrt (sqrt 1.0)) (sqrt (- (sqrt 1.0))))) (+ (* (/ x (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (sqrt 1.0)))) (+ (* 1/2 (/ x (pow (sqrt (- (sqrt 1.0))) 2))) (* 1/2 (/ x (sqrt 1.0)))))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (+ (* 1/2 (/ (pow x 2) (* (sqrt 1.0) (pow (sqrt (- (sqrt 1.0))) 2)))) (+ (* 1/2 (* (/ (pow x 2) (pow (sqrt (- (sqrt 1.0))) 3)) (sqrt (/ 1 (sqrt 1.0))))) (+ (* 1/2 (* (/ (pow x 2) (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (pow (sqrt 1.0) 3))))) (* 1/4 (/ (pow x 2) (pow (sqrt (- (sqrt 1.0))) 4))))))))
  (- (+ (log (/ 1 x)) (- (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))))
  (- (log -1) (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (log (/ -1 x)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
  (- (+ (sqrt (sqrt 1.0)) (* 1/2 (* x (sqrt (/ 1 (sqrt 1.0)))))) (* 1/8 (* (pow x 2) (sqrt (/ 1 (pow (sqrt 1.0) 3))))))
  (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))))
  (- (+ (* +nan.0 (/ (sqrt 1.0) x)) (- (+ (* +nan.0 (/ (sqrt 1.0) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))))
2.356 * * [simplify]: iteration  0 :  423  enodes  (cost  600 )
2.363 * * [simplify]: iteration  1 :  1488  enodes  (cost  529 )
2.390 * * [simplify]: iteration  2 :  5002  enodes  (cost  511 )
2.393 * [simplify]: Simplified to:
   (expm1 (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log1p (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))))
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (exp (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (* (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (pow (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x) 3)
  (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (expm1 (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log1p (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (* 2 (log (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))))
  (log (cbrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (log (sqrt (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  0
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
  (log (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)
  (* (cbrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))) (cbrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))))
  (cbrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (pow (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) 3)
  (sqrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (sqrt (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))
  (expm1 (sqrt (+ x (sqrt 1.0))))
  (log1p (sqrt (+ x (sqrt 1.0))))
  (log (sqrt (+ x (sqrt 1.0))))
  (exp (sqrt (+ x (sqrt 1.0))))
  (* (cbrt (sqrt (+ x (sqrt 1.0)))) (cbrt (sqrt (+ x (sqrt 1.0)))))
  (cbrt (sqrt (+ x (sqrt 1.0))))
  (pow (sqrt (+ x (sqrt 1.0))) 3)
  (fabs (cbrt (+ x (sqrt 1.0))))
  (sqrt (cbrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt 1)
  (sqrt (+ x (sqrt 1.0)))
  (sqrt 1)
  (sqrt (+ x (sqrt 1.0)))
  (hypot (pow (sqrt 1.0) 3/2) (pow x 3/2))
  (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0)))))
  (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0))))
  (sqrt (- x (sqrt 1.0)))
  1/2
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (sqrt (sqrt (+ x (sqrt 1.0))))
  (+ (+ (* (sqrt (/ 1 (sqrt 1.0))) (+ (* 1/2 (* x (sqrt (- (sqrt 1.0))))) (* 1/4 (/ (pow x 2) (sqrt (- (sqrt 1.0))))))) x) (- (* (sqrt (sqrt 1.0)) (+ (* 1/2 (/ x (sqrt (- (sqrt 1.0))))) (sqrt (- (sqrt 1.0))))) (* (fma (/ (pow x 2) (pow (sqrt (- (sqrt 1.0))) 3)) (sqrt (sqrt 1.0)) (* (* (pow x 2) (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (pow (sqrt 1.0) 3))))) 1/8)))
  (+ (- x +nan.0) (* +nan.0 (- (/ (sqrt 1.0) x) (/ 1 x))))
  (+ (- x +nan.0) (* +nan.0 (- (/ (sqrt 1.0) x) (/ 1 x))))
  (- (fma (/ x (sqrt (- (sqrt 1.0)))) (sqrt (/ 1 (sqrt 1.0))) (fma 1/2 (/ x (sqrt 1.0)) (/ (* x 1/2) (- (sqrt 1.0))))) (- (+ (+ (/ (* 1/4 (pow x 2)) 1.0) (* 1/2 (+ (* (/ x (- (sqrt 1.0))) (/ x (sqrt 1.0))) (* (/ (pow x 2) (sqrt (- (sqrt 1.0)))) (+ (/ (sqrt (/ 1 (sqrt 1.0))) (- (sqrt 1.0))) (sqrt (/ 1 (pow (sqrt 1.0) 3)))))))) (* 1/4 (/ (pow x 2) (pow (sqrt (- (sqrt 1.0))) 4)))) (log (* (sqrt (sqrt 1.0)) (sqrt (- (sqrt 1.0)))))))
  (+ (+ (log x) (* (/ +nan.0 x) (- (/ (sqrt 1.0) x) (/ 1 x)))) (/ +nan.0 x))
  (- (+ (- (log -1) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (log (/ -1 x)))) (/ +nan.0 (pow x 2))) (/ +nan.0 x))
  (fma (* 1/2 x) (sqrt (/ 1 (sqrt 1.0))) (- (sqrt (sqrt 1.0)) (* 1/8 (* (pow x 2) (sqrt (/ 1 (pow (sqrt 1.0) 3)))))))
  (fma (- +nan.0) (/ (sqrt 1.0) x) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (+ (fma +nan.0 (/ 1 x) (- +nan.0)) (/ (- +nan.0) (pow x 2)))))
  (fma (- +nan.0) (/ (sqrt 1.0) x) (fma +nan.0 (/ (sqrt 1.0) (pow x 2)) (+ (fma +nan.0 (/ 1 x) (- +nan.0)) (/ (- +nan.0) (pow x 2)))))
2.394 * * * [progress]: adding candidates to table
2.541 * * [progress]: iteration 4 / 4
2.541 * * * [progress]: picking best candidate
2.544 * * * * [pick]: Picked  #<alt (λ (x) (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))>
2.544 * * * [progress]: localizing error
2.555 * * * [progress]: generating rewritten candidates
2.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
2.560 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.561 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.567 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.570 * * * [progress]: generating series expansions
2.570 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
2.570 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in (x) around 0
2.570 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.570 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.570 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.570 * [taylor]: Taking taylor expansion of x in x
2.570 * [taylor]: Taking taylor expansion of 1.0 in x
2.573 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.573 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.573 * [taylor]: Taking taylor expansion of x in x
2.573 * [taylor]: Taking taylor expansion of 1.0 in x
2.591 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
2.591 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.591 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.591 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.591 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.591 * [taylor]: Taking taylor expansion of x in x
2.592 * [taylor]: Taking taylor expansion of 1.0 in x
2.594 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.594 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.594 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.594 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.594 * [taylor]: Taking taylor expansion of x in x
2.594 * [taylor]: Taking taylor expansion of 1.0 in x
2.606 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
2.606 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.606 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.606 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.607 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.607 * [taylor]: Taking taylor expansion of x in x
2.607 * [taylor]: Taking taylor expansion of 1.0 in x
2.609 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.609 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.609 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.609 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.609 * [taylor]: Taking taylor expansion of x in x
2.610 * [taylor]: Taking taylor expansion of 1.0 in x
2.627 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.627 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in (x) around 0
2.627 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
2.627 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) 1)
2.627 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
2.627 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (pow x 2) 1.0)) x)) in x
2.627 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)))
2.627 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)) in x
2.627 * [taylor]: Taking taylor expansion of 1 in x
2.627 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
2.627 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.627 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.627 * [taylor]: Taking taylor expansion of x in x
2.627 * [taylor]: Taking taylor expansion of 1.0 in x
2.629 * [taylor]: Taking taylor expansion of x in x
2.634 * [taylor]: Taking taylor expansion of 1 in x
2.634 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
2.634 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) 1)
2.634 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
2.634 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (pow x 2) 1.0)) x)) in x
2.635 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)))
2.635 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)) in x
2.635 * [taylor]: Taking taylor expansion of 1 in x
2.635 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
2.635 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.635 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.635 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.635 * [taylor]: Taking taylor expansion of x in x
2.635 * [taylor]: Taking taylor expansion of 1.0 in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.642 * [taylor]: Taking taylor expansion of 1 in x
2.706 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in (x) around 0
2.706 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.707 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
2.707 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.707 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.707 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
2.707 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.707 * [taylor]: Taking taylor expansion of 1 in x
2.707 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.707 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.707 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.707 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.707 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.707 * [taylor]: Taking taylor expansion of x in x
2.707 * [taylor]: Taking taylor expansion of 1.0 in x
2.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.709 * [taylor]: Taking taylor expansion of x in x
2.712 * [taylor]: Taking taylor expansion of 1 in x
2.712 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.712 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
2.712 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.712 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.712 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
2.712 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.712 * [taylor]: Taking taylor expansion of 1 in x
2.712 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.712 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.712 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.712 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.712 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.712 * [taylor]: Taking taylor expansion of x in x
2.713 * [taylor]: Taking taylor expansion of 1.0 in x
2.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.715 * [taylor]: Taking taylor expansion of x in x
2.717 * [taylor]: Taking taylor expansion of 1 in x
2.738 * [approximate]: Taking taylor expansion of (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in (x) around 0
2.738 * [taylor]: Taking taylor expansion of (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.738 * [taylor]: Rewrote expression to (- (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
2.738 * [taylor]: Taking taylor expansion of (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.738 * [taylor]: Taking taylor expansion of (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.739 * [taylor]: Rewrote expression to (log (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
2.739 * [taylor]: Taking taylor expansion of (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.739 * [taylor]: Taking taylor expansion of 1 in x
2.739 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.739 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.739 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.739 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.739 * [taylor]: Taking taylor expansion of x in x
2.739 * [taylor]: Taking taylor expansion of 1.0 in x
2.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.741 * [taylor]: Taking taylor expansion of x in x
2.753 * [taylor]: Taking taylor expansion of 1 in x
2.753 * [taylor]: Taking taylor expansion of (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.753 * [taylor]: Rewrote expression to (- (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
2.753 * [taylor]: Taking taylor expansion of (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
2.753 * [taylor]: Taking taylor expansion of (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.753 * [taylor]: Rewrote expression to (log (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
2.753 * [taylor]: Taking taylor expansion of (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
2.753 * [taylor]: Taking taylor expansion of 1 in x
2.753 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.753 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.753 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.753 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.753 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.753 * [taylor]: Taking taylor expansion of x in x
2.754 * [taylor]: Taking taylor expansion of 1.0 in x
2.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.756 * [taylor]: Taking taylor expansion of x in x
2.768 * [taylor]: Taking taylor expansion of 1 in x
2.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.926 * [approximate]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in (x) around 0
2.926 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
2.926 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.926 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.926 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.926 * [taylor]: Taking taylor expansion of x in x
2.926 * [taylor]: Taking taylor expansion of 1.0 in x
2.929 * [taylor]: Taking taylor expansion of x in x
2.929 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
2.929 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.929 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.929 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.929 * [taylor]: Taking taylor expansion of x in x
2.929 * [taylor]: Taking taylor expansion of 1.0 in x
2.931 * [taylor]: Taking taylor expansion of x in x
2.940 * [approximate]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in (x) around 0
2.940 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.940 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.940 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.940 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.940 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.940 * [taylor]: Taking taylor expansion of x in x
2.941 * [taylor]: Taking taylor expansion of 1.0 in x
2.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.943 * [taylor]: Taking taylor expansion of x in x
2.943 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.943 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.943 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.943 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.943 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.943 * [taylor]: Taking taylor expansion of x in x
2.950 * [taylor]: Taking taylor expansion of 1.0 in x
2.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.953 * [taylor]: Taking taylor expansion of x in x
2.967 * [approximate]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in (x) around 0
2.967 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.967 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.967 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.967 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.967 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.968 * [taylor]: Taking taylor expansion of 1.0 in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.970 * [taylor]: Taking taylor expansion of x in x
2.970 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
2.970 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
2.970 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.970 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.970 * [taylor]: Taking taylor expansion of x in x
2.970 * [taylor]: Taking taylor expansion of 1.0 in x
2.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.972 * [taylor]: Taking taylor expansion of x in x
2.998 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.998 * [approximate]: Taking taylor expansion of (log (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x)))) in (x) around 0
2.999 * [taylor]: Taking taylor expansion of (log (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x)))) in x
2.999 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
2.999 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) 1)
2.999 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
2.999 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (pow x 2) 1.0)) x)) in x
2.999 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)))
2.999 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)) in x
2.999 * [taylor]: Taking taylor expansion of 1 in x
2.999 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
2.999 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
2.999 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.999 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.999 * [taylor]: Taking taylor expansion of x in x
2.999 * [taylor]: Taking taylor expansion of 1.0 in x
3.001 * [taylor]: Taking taylor expansion of x in x
3.006 * [taylor]: Taking taylor expansion of 1 in x
3.009 * [taylor]: Taking taylor expansion of (log (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x)))) in x
3.009 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
3.009 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) 1)
3.009 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (pow x 2) 1.0)) x))) in x
3.009 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (pow x 2) 1.0)) x)) in x
3.009 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)))
3.009 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (pow x 2) 1.0)) x)) in x
3.009 * [taylor]: Taking taylor expansion of 1 in x
3.009 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow x 2) 1.0)) x) in x
3.009 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
3.009 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
3.009 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.009 * [taylor]: Taking taylor expansion of x in x
3.009 * [taylor]: Taking taylor expansion of 1.0 in x
3.011 * [taylor]: Taking taylor expansion of x in x
3.016 * [taylor]: Taking taylor expansion of 1 in x
3.187 * [approximate]: Taking taylor expansion of (log (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))) in (x) around 0
3.187 * [taylor]: Taking taylor expansion of (log (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))) in x
3.187 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.187 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
3.187 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.187 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.187 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
3.187 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.187 * [taylor]: Taking taylor expansion of 1 in x
3.187 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
3.187 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
3.187 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.187 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.187 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.187 * [taylor]: Taking taylor expansion of x in x
3.188 * [taylor]: Taking taylor expansion of 1.0 in x
3.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.190 * [taylor]: Taking taylor expansion of x in x
3.192 * [taylor]: Taking taylor expansion of 1 in x
3.193 * [taylor]: Taking taylor expansion of (log (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))) in x
3.193 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.193 * [taylor]: Rewrote expression to (- (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
3.193 * [taylor]: Taking taylor expansion of (exp (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.193 * [taylor]: Taking taylor expansion of (log1p (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.193 * [taylor]: Rewrote expression to (log (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
3.193 * [taylor]: Taking taylor expansion of (+ 1 (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.193 * [taylor]: Taking taylor expansion of 1 in x
3.193 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
3.193 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
3.193 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.193 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.193 * [taylor]: Taking taylor expansion of x in x
3.194 * [taylor]: Taking taylor expansion of 1.0 in x
3.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.202 * [taylor]: Taking taylor expansion of x in x
3.205 * [taylor]: Taking taylor expansion of 1 in x
3.232 * [approximate]: Taking taylor expansion of (log (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))) in (x) around 0
3.233 * [taylor]: Taking taylor expansion of (log (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))) in x
3.233 * [taylor]: Taking taylor expansion of (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.233 * [taylor]: Rewrote expression to (- (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
3.233 * [taylor]: Taking taylor expansion of (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.233 * [taylor]: Taking taylor expansion of (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.233 * [taylor]: Rewrote expression to (log (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
3.233 * [taylor]: Taking taylor expansion of (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.233 * [taylor]: Taking taylor expansion of 1 in x
3.233 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
3.233 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
3.233 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.233 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.233 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.233 * [taylor]: Taking taylor expansion of x in x
3.233 * [taylor]: Taking taylor expansion of 1.0 in x
3.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.235 * [taylor]: Taking taylor expansion of x in x
3.247 * [taylor]: Taking taylor expansion of 1 in x
3.251 * [taylor]: Taking taylor expansion of (log (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))) in x
3.251 * [taylor]: Taking taylor expansion of (expm1 (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.251 * [taylor]: Rewrote expression to (- (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) 1)
3.251 * [taylor]: Taking taylor expansion of (exp (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)))) in x
3.251 * [taylor]: Taking taylor expansion of (log1p (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.251 * [taylor]: Rewrote expression to (log (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))))
3.251 * [taylor]: Taking taylor expansion of (+ 1 (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x))) in x
3.251 * [taylor]: Taking taylor expansion of 1 in x
3.251 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x
3.251 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
3.251 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.251 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.251 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.251 * [taylor]: Taking taylor expansion of x in x
3.252 * [taylor]: Taking taylor expansion of 1.0 in x
3.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.254 * [taylor]: Taking taylor expansion of x in x
3.266 * [taylor]: Taking taylor expansion of 1 in x
3.470 * * * [progress]: simplifying candidates
3.471 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (- (* x x) 1.0)))
  (log1p (sqrt (- (* x x) 1.0)))
  (log (sqrt (- (* x x) 1.0)))
  (exp (sqrt (- (* x x) 1.0)))
  (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0))))
  (cbrt (sqrt (- (* x x) 1.0)))
  (* (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (sqrt (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (sqrt (cbrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt 1)
  (sqrt (- (* x x) 1.0))
  (sqrt (+ x (sqrt 1.0)))
  (sqrt (- x (sqrt 1.0)))
  (sqrt (- (pow (* x x) 3) (pow 1.0 3)))
  (sqrt (+ (* (* x x) (* x x)) (+ (* 1.0 1.0) (* (* x x) 1.0))))
  (sqrt (- (* (* x x) (* x x)) (* 1.0 1.0)))
  (sqrt (+ (* x x) 1.0))
  (/ 1 2)
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (exp (log1p (+ x (sqrt (- (* x x) 1.0)))))
  (expm1 (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (log1p (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (exp (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (* (cbrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))) (cbrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (cbrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (* (* (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))) (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))) (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (sqrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (sqrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (expm1 (+ x (sqrt (- (* x x) 1.0))))
  (log1p (+ x (sqrt (- (* x x) 1.0))))
  (* (exp x) (exp (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (cbrt (+ x (sqrt (- (* x x) 1.0))))
  (* (* (+ x (sqrt (- (* x x) 1.0))) (+ x (sqrt (- (* x x) 1.0)))) (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3))
  (+ (* x x) (- (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (* x (sqrt (- (* x x) 1.0)))))
  (- (* x x) (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))))
  (- x (sqrt (- (* x x) 1.0)))
  (+ x (sqrt (- (* x x) 1.0)))
  (expm1 (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log1p (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log (* (cbrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))) (cbrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))))
  (log (cbrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log (sqrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log (sqrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log 1)
  (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
  (log (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (exp (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (* (cbrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))) (cbrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))))
  (cbrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (* (* (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))) (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))) (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (sqrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (sqrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (- (+ (* 1/2 (/ (pow x 2) (sqrt (- 1.0)))) (sqrt (- 1.0))) (* 1/8 (/ (pow x 4) (pow (sqrt (- 1.0)) 3))))
  (- x (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))))
  (- (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))) x)
  (+ x (+ (* 1/2 (/ (pow x 2) (sqrt (- 1.0)))) (sqrt (- 1.0))))
  (- (+ (exp (- (log 2) (log (/ 1 x)))) (* 1/2 (/ (exp (- (log 2) (log (/ 1 x)))) x))) (+ 1 (* 0.25 (/ (exp (- (log 2) (log (/ 1 x)))) (pow x 2)))))
  (+ (* 0.12499999999999999 (/ 1 (pow x 3))) (+ (* 0.0625 (/ 1 (pow x 5))) (* 0.5 (/ 1 x))))
  (+ x (+ (* 1/2 (/ (pow x 2) (sqrt (- 1.0)))) (sqrt (- 1.0))))
  (- (* 2 x) (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))))
  (+ (* 0.125 (/ 1 (pow x 3))) (+ (* 0.0625 (/ 1 (pow x 5))) (* 0.5 (/ 1 x))))
  (- (+ (log (sqrt (- 1.0))) (/ x (sqrt (- 1.0)))) (* 1/6 (/ (pow x 3) (pow (sqrt (- 1.0)) 3))))
  (- (+ (log (- (exp (- (log 2) (log (/ 1 x)))) 1)) (* 1/2 (/ (exp (- (log 2) (log (/ 1 x)))) (* x (- (exp (- (log 2) (log (/ 1 x)))) 1))))) (+ (* 0.25 (/ (exp (- (log 2) (log (/ 1 x)))) (* (pow x 2) (- (exp (- (log 2) (log (/ 1 x)))) 1)))) (* 1/8 (/ (pow (exp (- (log 2) (log (/ 1 x)))) 2) (* (pow x 2) (pow (- (exp (- (log 2) (log (/ 1 x)))) 1) 2))))))
  (- (+ (* 0.24999999999999997 (/ 1 (pow x 2))) (+ (* 0.125 (/ 1 (pow x 4))) (+ (log (- 0.5)) (log (/ -1 x))))) (* 0.007812499999999997 (/ 1 (* (pow x 4) (pow -0.5 2)))))
3.476 * * [simplify]: iteration  0 :  417  enodes  (cost  574 )
3.483 * * [simplify]: iteration  1 :  1441  enodes  (cost  518 )
3.507 * * [simplify]: iteration  2 :  5002  enodes  (cost  480 )
3.510 * [simplify]: Simplified to:
   (expm1 (sqrt (- (* x x) 1.0)))
  (log1p (sqrt (- (* x x) 1.0)))
  (log (sqrt (- (* x x) 1.0)))
  (exp (sqrt (- (* x x) 1.0)))
  (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0))))
  (cbrt (sqrt (- (* x x) 1.0)))
  (pow (sqrt (- (* x x) 1.0)) 3)
  (fabs (cbrt (- (* x x) 1.0)))
  (sqrt (cbrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt 1)
  (sqrt (- (* x x) 1.0))
  (sqrt (+ x (sqrt 1.0)))
  (sqrt (- x (sqrt 1.0)))
  (sqrt (- (pow (* x x) 3) (pow 1.0 3)))
  (sqrt (+ (* (* x x) (* x x)) (+ (* 1.0 1.0) (* (* x x) 1.0))))
  (sqrt (- (* (* x x) (* x x)) (* 1.0 1.0)))
  (sqrt (+ (* x x) 1.0))
  1/2
  (sqrt (sqrt (- (* x x) 1.0)))
  (sqrt (sqrt (- (* x x) 1.0)))
  (exp (log1p (+ x (sqrt (- (* x x) 1.0)))))
  (expm1 (+ x (sqrt (- (* x x) 1.0))))
  (log1p (+ x (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (cbrt (+ x (sqrt (- (* x x) 1.0))))
  (pow (+ x (sqrt (- (* x x) 1.0))) 3)
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (expm1 (+ x (sqrt (- (* x x) 1.0))))
  (log1p (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (exp (+ x (sqrt (- (* x x) 1.0))))
  (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (cbrt (+ x (sqrt (- (* x x) 1.0))))
  (pow (+ x (sqrt (- (* x x) 1.0))) 3)
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (sqrt (+ x (sqrt (- (* x x) 1.0))))
  (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3))
  (- (fma x x (pow x 2)) (+ 1.0 (* x (sqrt (- (* x x) 1.0)))))
  (+ 0 1.0)
  (- x (sqrt (- (* x x) 1.0)))
  (+ x (sqrt (- (* x x) 1.0)))
  (expm1 (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log1p (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (* 2 (log (cbrt (+ x (sqrt (- (* x x) 1.0))))))
  (log (cbrt (+ x (sqrt (- (* x x) 1.0)))))
  (log (sqrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (log (sqrt (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  0
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log (+ x (sqrt (- (* x x) 1.0))))
  (log (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (+ x (sqrt (- (* x x) 1.0)))
  (* (cbrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))) (cbrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))))
  (cbrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (pow (log (+ x (sqrt (- (* x x) 1.0)))) 3)
  (sqrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (sqrt (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))
  (fma 1/2 (/ (pow x 2) (sqrt (- 1.0))) (- (sqrt (- 1.0)) (* 1/8 (/ (pow x 4) (pow (sqrt (- 1.0)) 3)))))
  (- x (fma 0.5 (/ 1 x) (/ 0.125 (pow x 3))))
  (- (fma 0.5 (/ 1 x) (/ 0.125 (pow x 3))) x)
  (+ (fma 1/2 (/ (pow x 2) (sqrt (- 1.0))) (sqrt (- 1.0))) x)
  (- (+ (/ 2 (/ 1 x)) (* (* (/ 2 x) x) (- 1/2 (/ 0.25 x)))) 1)
  (fma 0.12499999999999999 (/ 1 (pow x 3)) (fma 0.0625 (/ 1 (pow x 5)) (* 0.5 (/ 1 x))))
  (+ (fma 1/2 (/ (pow x 2) (sqrt (- 1.0))) (sqrt (- 1.0))) x)
  (fma 2 x (- (fma 0.5 (/ 1 x) (* 0.125 (/ 1 (pow x 3))))))
  (fma 0.0625 (/ 1 (pow x 5)) (fma 0.5 (/ 1 x) (/ 0.125 (pow x 3))))
  (- (+ (log (sqrt (- 1.0))) (/ x (sqrt (- 1.0)))) (* 1/6 (/ (pow x 3) (pow (sqrt (- 1.0)) 3))))
  (+ (log (- (exp (- (log 2) (log (/ 1 x)))) 1)) (+ (* (/ (exp (- (log 2) (log (/ 1 x)))) (expm1 (- (log 2) (log (/ 1 x))))) (- (/ 1/2 x) (/ 0.25 (pow x 2)))) (* (- 1/8) (* (/ (/ 2 (/ 1 x)) (* (pow (expm1 (- (log 2) (log (/ 1 x)))) 2) x)) (* (/ 2 x) x)))))
  (+ (fma 0.24999999999999997 (/ 1 (pow x 2)) (+ (log (- 0.5)) (log (/ -1 x)))) (* (/ 1 (pow x 4)) (- 0.125 (/ 0.007812499999999997 (pow -0.5 2)))))
3.511 * * * [progress]: adding candidates to table
3.700 * [progress]: [Phase 3 of 3] Extracting.
3.700 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))> #<alt (λ (x) (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))>)
3.700 * * * [regime-changes]: Trying 2 branch expressions: ((+ x (sqrt (- (* x x) 1.0))) x)
3.700 * * * * [regimes]: Trying to branch on (+ x (sqrt (- (* x x) 1.0))) from (#<alt (λ (x) (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))> #<alt (λ (x) (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))>)
3.715 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)))> #<alt (λ (x) (log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0)))))))>)
3.726 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.726 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
3.727 * * [simplify]: iteration  0 :  10  enodes  (cost  8 )
3.727 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
3.727 * [simplify]: Simplified to:
   (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
5.211 * [regime-testing]: Baseline error score: 0.049256157019627454
5.211 * [regime-testing]: Oracle error score: 0.04875609451181398
5.212 * [regime-testing]: End program error score: 0.049256157019627454