9.433 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.073 * * * [progress]: [2/2] Setting up program.
0.075 * [progress]: [Phase 2 of 3] Improving.
0.076 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (exp x) (exp (neg x))) 2.0)
0.078 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.079 * * [simplify]: iteration  1 :  23  enodes  (cost  5 )
0.080 * * [simplify]: iteration  2 :  31  enodes  (cost  5 )
0.081 * * [simplify]: iteration  3 :  36  enodes  (cost  5 )
0.082 * * [simplify]: iteration  4 :  41  enodes  (cost  5 )
0.083 * * [simplify]: iteration  5 :  65  enodes  (cost  5 )
0.085 * * [simplify]: iteration  6 :  103  enodes  (cost  5 )
0.087 * * [simplify]: iteration  7 :  243  enodes  (cost  5 )
0.099 * * [simplify]: iteration  8 :  1563  enodes  (cost  5 )
0.211 * * [simplify]: iteration  9 :  5001  enodes  (cost  5 )
0.211 * [simplify]: Simplified to:
   (/ (- (exp x) (exp (neg x))) 2.0)
0.212 * * [progress]: iteration 1 / 4
0.212 * * * [progress]: picking best candidate
0.214 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp x) (exp (neg x))) 2.0))>
0.214 * * * [progress]: localizing error
0.220 * * * [progress]: generating rewritten candidates
0.220 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.225 * * * [progress]: generating series expansions
0.225 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.225 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0
0.225 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.225 * [taylor]: Taking taylor expansion of (exp x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.225 * [taylor]: Taking taylor expansion of (neg x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.225 * [taylor]: Taking taylor expansion of (exp x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.225 * [taylor]: Taking taylor expansion of (neg x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.228 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0
0.228 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.228 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.228 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.228 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.229 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
0.229 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.229 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.229 * [taylor]: Taking taylor expansion of -1 in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.229 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.229 * [taylor]: Taking taylor expansion of -1 in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.230 * * * [progress]: simplifying candidates
0.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (exp x)) (exp (exp (neg x))))
  (log (- (exp x) (exp (neg x))))
  (exp (- (exp x) (exp (neg x))))
  (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (* (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))) (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (- (pow (exp x) 3) (pow (exp (neg x)) 3))
  (+ (* (exp x) (exp x)) (+ (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x)))))
  (neg (exp (neg x)))
  (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x))))
  (+ (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (exp x) (exp (neg x)))
  (neg (exp (neg x)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (* -1 x)))
0.233 * * [simplify]: iteration  0 :  100  enodes  (cost  120 )
0.235 * * [simplify]: iteration  1 :  257  enodes  (cost  106 )
0.239 * * [simplify]: iteration  2 :  785  enodes  (cost  105 )
0.260 * * [simplify]: iteration  3 :  5001  enodes  (cost  103 )
0.261 * [simplify]: Simplified to:
   (exp (- (exp x) (exp (neg x))))
  (log (- (exp x) (exp (neg x))))
  (exp (- (exp x) (exp (neg x))))
  (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (pow (- (exp x) (exp (* -1 x))) 3)
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (- (pow (exp x) 3) (pow (exp (neg x)) 3))
  (+ (+ 1 (exp (+ x x))) (pow (exp x) -2))
  (/ -1 (exp x))
  (* (exp x) (- (exp x) (pow (exp x) -3)))
  (+ (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (exp x) (exp (* -1 x)))
  (/ -1 (exp x))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (* -1 x)))
  (- (exp x) (exp (* -1 x)))
0.261 * * * [progress]: adding candidates to table
0.294 * * [progress]: iteration 2 / 4
0.294 * * * [progress]: picking best candidate
0.299 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0))>
0.299 * * * [progress]: localizing error
0.309 * * * [progress]: generating rewritten candidates
0.309 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
0.316 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2 1)
0.323 * * * [progress]: generating series expansions
0.323 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
0.323 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0
0.323 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.323 * [taylor]: Taking taylor expansion of 1/3 in x
0.323 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.323 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.323 * [taylor]: Taking taylor expansion of 1/3 in x
0.323 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.324 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0
0.324 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x
0.324 * [taylor]: Taking taylor expansion of 1/3 in x
0.324 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.324 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x
0.324 * [taylor]: Taking taylor expansion of 1/3 in x
0.324 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.325 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0
0.325 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x
0.325 * [taylor]: Taking taylor expansion of -1/3 in x
0.325 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x
0.325 * [taylor]: Taking taylor expansion of -1/3 in x
0.325 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.326 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2 1)
0.327 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0
0.327 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x
0.327 * [taylor]: Taking taylor expansion of 1/60 in x
0.327 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x
0.327 * [taylor]: Taking taylor expansion of 1/60 in x
0.327 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.328 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0
0.328 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x
0.328 * [taylor]: Taking taylor expansion of 1/60 in x
0.328 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x
0.328 * [taylor]: Taking taylor expansion of 1/60 in x
0.328 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.329 * [approximate]: Taking taylor expansion of (/ -1/60 (pow x 5)) in (x) around 0
0.329 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x
0.329 * [taylor]: Taking taylor expansion of -1/60 in x
0.329 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x
0.329 * [taylor]: Taking taylor expansion of -1/60 in x
0.329 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.333 * * * [progress]: simplifying candidates
0.333 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/3) (* (log x) 3))
  (+ (log 1/3) (* (log x) 3))
  (+ (log 1/3) (log (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (exp (* 1/3 (pow x 3)))
  (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3)))
  (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3))))
  (cbrt (* 1/3 (pow x 3)))
  (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3)))
  (sqrt (* 1/3 (pow x 3)))
  (sqrt (* 1/3 (pow x 3)))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (pow x (/ 3 2)))
  (* (sqrt 1/3) (pow x (/ 3 2)))
  (* 1/3 (pow (* (cbrt x) (cbrt x)) 3))
  (* 1/3 (pow (sqrt x) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 (* x x))
  (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3))))
  (* 1/3 (pow (* (cbrt x) (cbrt x)) 3))
  (* 1/3 (pow (sqrt x) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 x)
  (* 1/3 (sqrt (pow x 3)))
  (* 1/3 1)
  (* 1/3 (pow x (/ 3 2)))
  (* (cbrt 1/3) (pow x 3))
  (* (sqrt 1/3) (pow x 3))
  (* 1/3 (pow x 3))
  (+ (log 1/60) (* (log x) 5))
  (+ (log 1/60) (* (log x) 5))
  (+ (log 1/60) (log (pow x 5)))
  (log (* 1/60 (pow x 5)))
  (exp (* 1/60 (pow x 5)))
  (* (* (* 1/60 1/60) 1/60) (* (* (pow x 5) (pow x 5)) (pow x 5)))
  (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5))))
  (cbrt (* 1/60 (pow x 5)))
  (* (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* 1/60 (pow x 5)))
  (sqrt (* 1/60 (pow x 5)))
  (sqrt (* 1/60 (pow x 5)))
  (* (sqrt 1/60) (pow (sqrt x) 5))
  (* (sqrt 1/60) (pow (sqrt x) 5))
  (* (sqrt 1/60) (sqrt (pow x 5)))
  (* (sqrt 1/60) (sqrt (pow x 5)))
  (* (sqrt 1/60) (pow x (/ 5 2)))
  (* (sqrt 1/60) (pow x (/ 5 2)))
  (* 1/60 (pow (* (cbrt x) (cbrt x)) 5))
  (* 1/60 (pow (sqrt x) 5))
  (* 1/60 (pow 1 5))
  (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5))))
  (* 1/60 (sqrt (pow x 5)))
  (* 1/60 1)
  (* 1/60 (pow x (/ 5 2)))
  (* (cbrt 1/60) (pow x 5))
  (* (sqrt 1/60) (pow x 5))
  (* 1/60 (pow x 5))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/60 (pow x 5))
  (* 1/60 (pow x 5))
  (* 1/60 (pow x 5))
0.337 * * [simplify]: iteration  0 :  208  enodes  (cost  209 )
0.342 * * [simplify]: iteration  1 :  871  enodes  (cost  193 )
0.362 * * [simplify]: iteration  2 :  4636  enodes  (cost  193 )
0.515 * * [simplify]: iteration  3 :  5001  enodes  (cost  193 )
0.517 * [simplify]: Simplified to:
   (log (* 1/3 (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (exp (* 1/3 (pow x 3)))
  (pow (* 1/3 (pow x 3)) 3)
  (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3))))
  (cbrt (* 1/3 (pow x 3)))
  (pow (* 1/3 (pow x 3)) 3)
  (sqrt (* 1/3 (pow x 3)))
  (sqrt (* 1/3 (pow x 3)))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (pow x 3/2))
  (* (sqrt 1/3) (pow x 3/2))
  (* (* 1/3 x) x)
  (* 1/3 (pow (sqrt x) 3))
  1/3
  (* (* 1/3 x) x)
  (* (* 1/3 x) x)
  (* (* 1/3 x) x)
  (* 1/3 (pow (sqrt x) 3))
  1/3
  (* 1/3 x)
  (* 1/3 (sqrt (pow x 3)))
  1/3
  (* 1/3 (pow x 3/2))
  (* (cbrt 1/3) (pow x 3))
  (* (sqrt 1/3) (pow x 3))
  (* 1/3 (pow x 3))
  (log (* 1/60 (pow x 5)))
  (log (* 1/60 (pow x 5)))
  (log (* 1/60 (pow x 5)))
  (log (* 1/60 (pow x 5)))
  (exp (* 1/60 (pow x 5)))
  (pow (* 1/60 (pow x 5)) 3)
  (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5))))
  (cbrt (* 1/60 (pow x 5)))
  (pow (* 1/60 (pow x 5)) 3)
  (sqrt (* 1/60 (pow x 5)))
  (sqrt (* 1/60 (pow x 5)))
  (* (sqrt 1/60) (pow (sqrt x) 5))
  (* (sqrt 1/60) (pow (sqrt x) 5))
  (* (sqrt 1/60) (sqrt (pow x 5)))
  (* (sqrt 1/60) (sqrt (pow x 5)))
  (* (sqrt 1/60) (pow x 5/2))
  (* (sqrt 1/60) (pow x 5/2))
  (* 1/60 (pow (* (cbrt x) (cbrt x)) 5))
  (* 1/60 (pow (sqrt x) 5))
  1/60
  (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5))))
  (* 1/60 (sqrt (pow x 5)))
  1/60
  (* 1/60 (pow x 5/2))
  (* (cbrt 1/60) (pow x 5))
  (* (sqrt 1/60) (pow x 5))
  (* 1/60 (pow x 5))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/60 (pow x 5))
  (* 1/60 (pow x 5))
  (* 1/60 (pow x 5))
0.517 * * * [progress]: adding candidates to table
0.602 * * [progress]: iteration 3 / 4
0.602 * * * [progress]: picking best candidate
0.605 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) 2.0))>
0.605 * * * [progress]: localizing error
0.616 * * * [progress]: generating rewritten candidates
0.616 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.623 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.640 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.644 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.652 * * * [progress]: generating series expansions
0.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.652 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in (x) around 0
0.652 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.652 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.652 * [taylor]: Taking taylor expansion of (exp x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.652 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.652 * [taylor]: Taking taylor expansion of (neg x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.652 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.652 * [taylor]: Taking taylor expansion of (exp x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.652 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.652 * [taylor]: Taking taylor expansion of (neg x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.656 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in (x) around 0
0.656 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.656 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.656 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.656 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.656 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.656 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.656 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.656 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.656 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.658 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in (x) around 0
0.658 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.658 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.658 * [taylor]: Taking taylor expansion of -1 in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.658 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.658 * [taylor]: Taking taylor expansion of -1 in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.659 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.660 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.660 * [approximate]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in (x) around 0
0.660 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in x
0.660 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.660 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.660 * [taylor]: Taking taylor expansion of (exp x) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.660 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.660 * [taylor]: Taking taylor expansion of (neg x) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.661 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.661 * [taylor]: Taking taylor expansion of (exp x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.661 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.661 * [taylor]: Taking taylor expansion of (neg x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in x
0.661 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.661 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.661 * [taylor]: Taking taylor expansion of (exp x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.661 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.661 * [taylor]: Taking taylor expansion of (neg x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.661 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.661 * [taylor]: Taking taylor expansion of (exp x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.661 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.661 * [taylor]: Taking taylor expansion of (neg x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.668 * [approximate]: Taking taylor expansion of (* (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x)))))) in (x) around 0
0.668 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x)))))) in x
0.668 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.668 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.668 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.668 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.668 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.668 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.668 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.668 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.668 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.669 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.669 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x)))))) in x
0.669 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.669 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.669 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.669 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.669 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.670 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.670 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.670 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.670 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.674 * [approximate]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in (x) around 0
0.674 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in x
0.674 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.674 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.674 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.674 * [taylor]: Taking taylor expansion of -1 in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.674 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.675 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.675 * [taylor]: Taking taylor expansion of -1 in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in x
0.675 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.675 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.675 * [taylor]: Taking taylor expansion of -1 in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.676 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.676 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.676 * [taylor]: Taking taylor expansion of -1 in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.679 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.679 * [approximate]: Taking taylor expansion of (sqrt (exp (neg x))) in (x) around 0
0.679 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.679 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.679 * [taylor]: Taking taylor expansion of (neg x) in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.680 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.680 * [taylor]: Taking taylor expansion of (neg x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [approximate]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in (x) around 0
0.680 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.680 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.680 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.680 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.680 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.681 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.681 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.681 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.681 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
0.682 * [approximate]: Taking taylor expansion of (sqrt (exp (neg x))) in (x) around 0
0.682 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.682 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.682 * [taylor]: Taking taylor expansion of (neg x) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.682 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.683 * [taylor]: Taking taylor expansion of (neg x) in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.683 * [approximate]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in (x) around 0
0.683 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.683 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.683 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.683 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.683 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.683 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.684 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.684 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.684 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.685 * * * [progress]: simplifying candidates
0.686 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (exp x))) (exp (sqrt (exp (neg x)))))
  (log (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
  (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (neg (sqrt (exp (neg x))))
  (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (neg (sqrt (exp (neg x))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (log (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (log (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (log (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (exp (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (cbrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (cbrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (cbrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (sqrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (sqrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))
  (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (exp x)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (neg (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (exp x)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (neg (sqrt (exp (neg x)))))
  (* (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (neg (sqrt (exp (neg x)))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (neg (sqrt (exp (neg x)))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 1)
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt 1))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 1)
  (* (cbrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (log (sqrt (exp (neg x))))
  (exp (sqrt (exp (neg x))))
  (* (cbrt (sqrt (exp (neg x)))) (cbrt (sqrt (exp (neg x)))))
  (cbrt (sqrt (exp (neg x))))
  (* (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (sqrt (exp (neg x))))
  (sqrt (* (cbrt (exp (neg x))) (cbrt (exp (neg x)))))
  (sqrt (cbrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt 1)
  (sqrt (exp (neg x)))
  (sqrt 1)
  (sqrt (exp x))
  (sqrt (exp 0))
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt (neg x)) 2)
  (/ (sqrt (neg x)) 2)
  (/ (neg x) 2)
  (/ x 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (/ (neg (cbrt x)) 2)
  (/ (neg (sqrt x)) 2)
  (/ (neg x) 2)
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (log (sqrt (exp (neg x))))
  (exp (sqrt (exp (neg x))))
  (* (cbrt (sqrt (exp (neg x)))) (cbrt (sqrt (exp (neg x)))))
  (cbrt (sqrt (exp (neg x))))
  (* (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (sqrt (exp (neg x))))
  (sqrt (* (cbrt (exp (neg x))) (cbrt (exp (neg x)))))
  (sqrt (cbrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt 1)
  (sqrt (exp (neg x)))
  (sqrt 1)
  (sqrt (exp x))
  (sqrt (exp 0))
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt (neg x)) 2)
  (/ (sqrt (neg x)) 2)
  (/ (neg x) 2)
  (/ x 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (/ (neg (cbrt x)) 2)
  (/ (neg (sqrt x)) 2)
  (/ (neg x) 2)
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (+ (* 1/24 (pow x 3)) (+ (* 1/1920 (pow x 5)) x))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (* -1 x)))) (- (sqrt (exp x)) (sqrt (exp (* -1 x)))))
  (- (+ (* 1/8 (pow x 2)) 1) (* 1/2 x))
  (sqrt (exp (neg x)))
  (sqrt (exp (* -1 x)))
  (- (+ (* 1/8 (pow x 2)) 1) (* 1/2 x))
  (sqrt (exp (neg x)))
  (sqrt (exp (* -1 x)))
0.692 * * [simplify]: iteration  0 :  297  enodes  (cost  1065 )
0.697 * * [simplify]: iteration  1 :  1249  enodes  (cost  940 )
0.721 * * [simplify]: iteration  2 :  5002  enodes  (cost  911 )
0.726 * [simplify]: Simplified to:
   (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (log (- (sqrt (exp x)) (sqrt (exp (* -1 x)))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (pow (- (sqrt (exp x)) (sqrt (exp (* -1 x)))) 3)
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
  (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (neg (sqrt (exp (* -1 x))))
  (- (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (neg (sqrt (exp (* -1 x))))
  (- (exp x) (exp (neg x)))
  (log (- (exp x) (exp (neg x))))
  (log (- (exp x) (exp (neg x))))
  (exp (- (exp x) (exp (neg x))))
  (pow (- (exp x) (exp (neg x))) 3)
  (* (cbrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (cbrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (cbrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (pow (- (exp x) (exp (neg x))) 3)
  (sqrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (sqrt (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))) (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (exp x) (exp (neg x))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (- (exp x) (exp (neg x))) (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (exp x) (neg (exp (neg x)))) (+ (exp x) (neg (exp (neg x)))))
  (- (exp x) (exp (neg x)))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (+ (exp x) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (neg (* (sqrt (exp x)) (sqrt (exp (neg x))))) (/ -1 (exp x)))
  (+ (exp x) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (neg (* (sqrt (exp x)) (sqrt (exp (neg x))))) (/ -1 (exp x)))
  (+ (exp x) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (neg (* (sqrt (exp x)) (sqrt (exp (neg x))))) (/ -1 (exp x)))
  (+ (exp x) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (neg (* (sqrt (exp x)) (sqrt (exp (neg x))))) (/ -1 (exp x)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x))))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (* (cbrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (+ (exp x) (neg (exp (neg x)))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (exp x) (neg (exp (neg x)))))
  (log (sqrt (exp (neg x))))
  (exp (sqrt (exp (* -1 x))))
  (* (cbrt (sqrt (exp (neg x)))) (cbrt (sqrt (exp (neg x)))))
  (cbrt (sqrt (exp (neg x))))
  (pow (sqrt (exp (neg x))) 3)
  (fabs (cbrt (exp (neg x))))
  (sqrt (cbrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  1
  (sqrt (exp (* -1 x)))
  1
  (sqrt (exp x))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt (neg x)) 2)
  (/ (sqrt (neg x)) 2)
  (* -1/2 x)
  (* 1/2 x)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* 1/2 x)
  (/ (neg (cbrt x)) 2)
  (/ (neg (sqrt x)) 2)
  (* -1/2 x)
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (log (sqrt (exp (neg x))))
  (exp (sqrt (exp (* -1 x))))
  (* (cbrt (sqrt (exp (neg x)))) (cbrt (sqrt (exp (neg x)))))
  (cbrt (sqrt (exp (neg x))))
  (pow (sqrt (exp (neg x))) 3)
  (fabs (cbrt (exp (neg x))))
  (sqrt (cbrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  1
  (sqrt (exp (* -1 x)))
  1
  (sqrt (exp x))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt (neg x)) 2)
  (/ (sqrt (neg x)) 2)
  (* -1/2 x)
  (* 1/2 x)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* 1/2 x)
  (/ (neg (cbrt x)) 2)
  (/ (neg (sqrt x)) 2)
  (* -1/2 x)
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (+ (* 1/24 (pow x 3)) (+ (* 1/1920 (pow x 5)) x))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (- (+ (* 1/8 (pow x 2)) 1) (* 1/2 x))
  (sqrt (exp (* -1 x)))
  (sqrt (exp (* -1 x)))
  (- (+ (* 1/8 (pow x 2)) 1) (* 1/2 x))
  (sqrt (exp (* -1 x)))
  (sqrt (exp (* -1 x)))
0.726 * * * [progress]: adding candidates to table
0.833 * * [progress]: iteration 4 / 4
0.833 * * * [progress]: picking best candidate
0.836 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) 2.0))>
0.836 * * * [progress]: localizing error
0.850 * * * [progress]: generating rewritten candidates
0.850 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
0.857 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
0.864 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.895 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
0.903 * * * [progress]: generating series expansions
0.903 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
0.903 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in (x) around 0
0.903 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.903 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.903 * [taylor]: Taking taylor expansion of (exp x) in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.904 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.904 * [taylor]: Taking taylor expansion of (neg x) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.904 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.904 * [taylor]: Taking taylor expansion of (exp x) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.904 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.904 * [taylor]: Taking taylor expansion of (neg x) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.907 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in (x) around 0
0.907 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.907 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.907 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.907 * [taylor]: Taking taylor expansion of x in x
0.907 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.907 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.908 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.908 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.908 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.908 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.908 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.908 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.908 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.909 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in (x) around 0
0.909 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.909 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.909 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.910 * [taylor]: Taking taylor expansion of -1 in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.910 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.910 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.910 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.910 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.910 * [taylor]: Taking taylor expansion of -1 in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.910 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.911 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
0.911 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in (x) around 0
0.912 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.912 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.912 * [taylor]: Taking taylor expansion of (exp x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.912 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.912 * [taylor]: Taking taylor expansion of (neg x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.912 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.912 * [taylor]: Taking taylor expansion of (exp x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.912 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.912 * [taylor]: Taking taylor expansion of (neg x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.915 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in (x) around 0
0.915 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.915 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.915 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.916 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.916 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.916 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.916 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.916 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.916 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.916 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.916 * [taylor]: Taking taylor expansion of x in x
0.917 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in (x) around 0
0.917 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.918 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.918 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.918 * [taylor]: Taking taylor expansion of -1 in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.918 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.918 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.918 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.918 * [taylor]: Taking taylor expansion of -1 in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.918 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.919 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.920 * [approximate]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in (x) around 0
0.920 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in x
0.920 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.920 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.920 * [taylor]: Taking taylor expansion of (exp x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.920 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.920 * [taylor]: Taking taylor expansion of (neg x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.920 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.920 * [taylor]: Taking taylor expansion of (exp x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.920 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.920 * [taylor]: Taking taylor expansion of (neg x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in x
0.920 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.920 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.920 * [taylor]: Taking taylor expansion of (exp x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.921 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.921 * [taylor]: Taking taylor expansion of (neg x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.921 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.921 * [taylor]: Taking taylor expansion of (exp x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.921 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.921 * [taylor]: Taking taylor expansion of (neg x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.927 * [approximate]: Taking taylor expansion of (* (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x)))))) in (x) around 0
0.927 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x)))))) in x
0.928 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.928 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.928 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.928 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.928 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.928 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.928 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.928 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.928 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x)))))) in x
0.928 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.928 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.928 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.929 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.929 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.929 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.929 * [taylor]: Taking taylor expansion of x in x
0.929 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.929 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.929 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.929 * [taylor]: Taking taylor expansion of x in x
0.929 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.929 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.929 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.929 * [taylor]: Taking taylor expansion of x in x
0.933 * [approximate]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in (x) around 0
0.933 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in x
0.933 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.933 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.933 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.933 * [taylor]: Taking taylor expansion of -1 in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.933 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.933 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.933 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.933 * [taylor]: Taking taylor expansion of -1 in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in x
0.934 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.934 * [taylor]: Taking taylor expansion of -1 in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.934 * [taylor]: Taking taylor expansion of -1 in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.938 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
0.938 * [approximate]: Taking taylor expansion of (sqrt (exp (neg x))) in (x) around 0
0.938 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.938 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.938 * [taylor]: Taking taylor expansion of (neg x) in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.938 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.938 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.938 * [taylor]: Taking taylor expansion of (neg x) in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.939 * [approximate]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in (x) around 0
0.939 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.939 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.939 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.939 * [taylor]: Taking taylor expansion of x in x
0.939 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.939 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.939 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.939 * [taylor]: Taking taylor expansion of x in x
0.940 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.940 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.940 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.940 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.940 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.941 * * * [progress]: simplifying candidates
0.943 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (exp x))) (exp (sqrt (exp (neg x)))))
  (log (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
  (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (neg (sqrt (exp (neg x))))
  (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (neg (sqrt (exp (neg x))))
  (/ (exp (sqrt (exp x))) (exp (sqrt (exp (neg x)))))
  (log (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
  (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (neg (sqrt (exp (neg x))))
  (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (neg (sqrt (exp (neg x))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (+ (+ (log (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (log (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (log (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (+ (log (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (log (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (log (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (exp (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (* (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (* (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (* (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (* (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (* (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (cbrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (cbrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (cbrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (* (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (sqrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (sqrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (* (cbrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (cbrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt 1))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (sqrt 1)))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt 1))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) 1)
  (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (log (sqrt (exp (neg x))))
  (exp (sqrt (exp (neg x))))
  (* (cbrt (sqrt (exp (neg x)))) (cbrt (sqrt (exp (neg x)))))
  (cbrt (sqrt (exp (neg x))))
  (* (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (sqrt (exp (neg x))))
  (sqrt (* (cbrt (exp (neg x))) (cbrt (exp (neg x)))))
  (sqrt (cbrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt 1)
  (sqrt (exp (neg x)))
  (sqrt 1)
  (sqrt (exp x))
  (sqrt (exp 0))
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt (neg x)) 2)
  (/ (sqrt (neg x)) 2)
  (/ (neg x) 2)
  (/ x 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (/ (neg (cbrt x)) 2)
  (/ (neg (sqrt x)) 2)
  (/ (neg x) 2)
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (+ (* 1/24 (pow x 3)) (+ (* 1/1920 (pow x 5)) x))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (+ (* 1/24 (pow x 3)) (+ (* 1/1920 (pow x 5)) x))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (* -1 x))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (+ (sqrt (exp x)) (sqrt (exp (* -1 x)))) (- (sqrt (exp x)) (sqrt (exp (* -1 x)))))
  (- (+ (* 1/8 (pow x 2)) 1) (* 1/2 x))
  (sqrt (exp (neg x)))
  (sqrt (exp (* -1 x)))
0.951 * * [simplify]: iteration  0 :  430  enodes  (cost  2254 )
0.960 * * [simplify]: iteration  1 :  1793  enodes  (cost  1937 )
0.992 * * [simplify]: iteration  2 :  5003  enodes  (cost  1924 )
0.999 * [simplify]: Simplified to:
   (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (log (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
  (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (neg (sqrt (exp (* -1 x))))
  (- (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (neg (sqrt (exp (* -1 x))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (log (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (exp (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
  (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (neg (sqrt (exp (* -1 x))))
  (- (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (neg (sqrt (exp (* -1 x))))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (+ (log (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (log (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (+ (log (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (log (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (+ (log (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (log (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (/ (exp (exp x)) (exp (exp (neg x))))
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (- (exp x) (exp (neg x))) 3)
  (* (cbrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))) (cbrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (cbrt (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (pow (- (exp x) (exp (neg x))) 3)
  (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))
  (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x))))))
  (* (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))) (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))) (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))))))
  (* (- (exp x) (exp (neg x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))
  (* (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (exp x) (exp (neg x))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))) (* (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))) (+ (exp x) (neg (exp (neg x))))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))) (* (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))) (+ (exp x) (neg (exp (neg x))))))
  (* (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (- (exp x) (exp (neg x)))
  (* (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (- (exp x) (exp (neg x))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))) (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))) (- (+ (exp x) (exp (neg x))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))) (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (exp x) (neg (exp (neg x))))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))) (* (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))) (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (exp x) (neg (exp (neg x))))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (* (cbrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (cbrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (fabs (cbrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (+ (sqrt (sqrt (exp x))) (sqrt (sqrt (exp (neg x)))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))))
  (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))) (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (exp x) (neg (exp (neg x))))))
  (* (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))) (* (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x))))) (+ (exp x) (neg (exp (neg x))))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))))
  (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp (neg x))) (sqrt (exp (neg x)))))))
  (* (+ (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3)) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (* (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (exp x) (neg (exp (neg x)))))
  (log (sqrt (exp (neg x))))
  (exp (sqrt (exp (* -1 x))))
  (* (cbrt (sqrt (exp (neg x)))) (cbrt (sqrt (exp (neg x)))))
  (cbrt (sqrt (exp (neg x))))
  (pow (sqrt (exp (neg x))) 3)
  (fabs (cbrt (exp (neg x))))
  (sqrt (cbrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  1
  (sqrt (exp (* -1 x)))
  1
  (sqrt (exp x))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt (neg x)) 2)
  (/ (sqrt (neg x)) 2)
  (* -1/2 x)
  (* 1/2 x)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (* 1/2 x)
  (/ (neg (cbrt x)) 2)
  (/ (neg (sqrt x)) 2)
  (* -1/2 x)
  (sqrt (sqrt (exp (neg x))))
  (sqrt (sqrt (exp (neg x))))
  (+ (* 1/24 (pow x 3)) (+ (* 1/1920 (pow x 5)) x))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (* 1/24 (pow x 3)) (+ (* 1/1920 (pow x 5)) x))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (- (+ (* 1/8 (pow x 2)) 1) (* 1/2 x))
  (sqrt (exp (* -1 x)))
  (sqrt (exp (* -1 x)))
1.000 * * * [progress]: adding candidates to table
1.121 * [progress]: [Phase 3 of 3] Extracting.
1.121 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (- (exp x) (exp (neg x))) 2.0))> #<alt (λ (x) (/ (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) 2.0))> #<alt (λ (x) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0))>)
1.121 * * * [regime-changes]: Trying 3 branch expressions: ((- (exp x) (exp (neg x))) (/ (- (exp x) (exp (neg x))) 2.0) x)
1.121 * * * * [regimes]: Trying to branch on (- (exp x) (exp (neg x))) from (#<alt (λ (x) (/ (- (exp x) (exp (neg x))) 2.0))> #<alt (λ (x) (/ (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) 2.0))> #<alt (λ (x) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0))>)
1.151 * * * * [regimes]: Trying to branch on (/ (- (exp x) (exp (neg x))) 2.0) from (#<alt (λ (x) (/ (- (exp x) (exp (neg x))) 2.0))> #<alt (λ (x) (/ (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) 2.0))> #<alt (λ (x) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0))>)
1.181 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (- (exp x) (exp (neg x))) 2.0))> #<alt (λ (x) (/ (* (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) (sqrt (- (sqrt (exp x)) (sqrt (exp (neg x)))))) 2.0))> #<alt (λ (x) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0))>)
1.210 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.210 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)
1.211 * * [simplify]: iteration  0 :  20  enodes  (cost  8 )
1.211 * * [simplify]: iteration  1 :  20  enodes  (cost  8 )
1.211 * [simplify]: Simplified to:
   (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)
3.827 * [regime-testing]: End program error score: 0.5866903887749971