14.722 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.066 * * * [progress]: [2/2] Setting up program.
0.073 * [progress]: [Phase 2 of 3] Improving.
0.073 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (exp x) (exp (neg x))) 2.0)
0.075 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.076 * * [simplify]: iteration  1 :  23  enodes  (cost  5 )
0.078 * * [simplify]: iteration  2 :  31  enodes  (cost  5 )
0.079 * * [simplify]: iteration  3 :  36  enodes  (cost  5 )
0.080 * * [simplify]: iteration  4 :  41  enodes  (cost  5 )
0.081 * * [simplify]: iteration  5 :  65  enodes  (cost  5 )
0.082 * * [simplify]: iteration  6 :  103  enodes  (cost  5 )
0.085 * * [simplify]: iteration  7 :  243  enodes  (cost  5 )
0.095 * * [simplify]: iteration  8 :  1563  enodes  (cost  5 )
0.206 * * [simplify]: iteration  9 :  5001  enodes  (cost  5 )
0.207 * [simplify]: Simplified to:
   (/ (- (exp x) (exp (neg x))) 2.0)
0.207 * * [progress]: iteration 1 / 4
0.207 * * * [progress]: picking best candidate
0.209 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp x) (exp (neg x))) 2.0))>
0.209 * * * [progress]: localizing error
0.216 * * * [progress]: generating rewritten candidates
0.216 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.221 * * * [progress]: generating series expansions
0.221 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.221 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0
0.221 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.221 * [taylor]: Taking taylor expansion of (exp x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.221 * [taylor]: Taking taylor expansion of (neg x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.221 * [taylor]: Taking taylor expansion of (exp x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.221 * [taylor]: Taking taylor expansion of (neg x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.224 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0
0.224 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.224 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.225 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
0.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.225 * [taylor]: Taking taylor expansion of -1 in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.225 * [taylor]: Taking taylor expansion of -1 in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.226 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * * * [progress]: simplifying candidates
0.226 * [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.229 * * [simplify]: iteration  0 :  100  enodes  (cost  120 )
0.231 * * [simplify]: iteration  1 :  257  enodes  (cost  106 )
0.235 * * [simplify]: iteration  2 :  785  enodes  (cost  105 )
0.255 * * [simplify]: iteration  3 :  5001  enodes  (cost  103 )
0.256 * [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.256 * * * [progress]: adding candidates to table
0.284 * * [progress]: iteration 2 / 4
0.284 * * * [progress]: picking best candidate
0.295 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0))>
0.295 * * * [progress]: localizing error
0.308 * * * [progress]: generating rewritten candidates
0.308 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
0.314 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2 1)
0.321 * * * [progress]: generating series expansions
0.321 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
0.321 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0
0.321 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.321 * [taylor]: Taking taylor expansion of 1/3 in x
0.321 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.321 * [taylor]: Taking taylor expansion of 1/3 in x
0.321 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [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 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2 1)
0.325 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0
0.325 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x
0.325 * [taylor]: Taking taylor expansion of 1/60 in x
0.325 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x
0.325 * [taylor]: Taking taylor expansion of 1/60 in x
0.325 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.326 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0
0.326 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x
0.326 * [taylor]: Taking taylor expansion of 1/60 in x
0.326 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.326 * [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 * * * [progress]: simplifying candidates
0.330 * [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.334 * * [simplify]: iteration  0 :  208  enodes  (cost  209 )
0.338 * * [simplify]: iteration  1 :  871  enodes  (cost  193 )
0.359 * * [simplify]: iteration  2 :  4636  enodes  (cost  193 )
0.510 * * [simplify]: iteration  3 :  5001  enodes  (cost  193 )
0.512 * [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.513 * * * [progress]: adding candidates to table
0.598 * * [progress]: iteration 3 / 4
0.598 * * * [progress]: picking best candidate
0.607 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) 2.0))>
0.607 * * * [progress]: localizing error
0.619 * * * [progress]: generating rewritten candidates
0.619 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.627 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.644 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.646 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.651 * * * [progress]: generating series expansions
0.651 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.651 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in (x) around 0
0.651 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.651 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.651 * [taylor]: Taking taylor expansion of (exp x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.651 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.651 * [taylor]: Taking taylor expansion of (neg x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.651 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.651 * [taylor]: Taking taylor expansion of (exp x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.651 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.651 * [taylor]: Taking taylor expansion of (neg x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.655 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in (x) around 0
0.655 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.655 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.655 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.655 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.655 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.655 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.655 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.655 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.655 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.657 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in (x) around 0
0.657 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.657 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.657 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.657 * [taylor]: Taking taylor expansion of -1 in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.657 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.657 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.657 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.657 * [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.659 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.659 * [approximate]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in (x) around 0
0.659 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x))))) in x
0.659 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt (exp (neg x)))) in x
0.659 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.659 * [taylor]: Taking taylor expansion of (exp x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (sqrt (exp (neg x))) in x
0.659 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.659 * [taylor]: Taking taylor expansion of (neg x) in x
0.660 * [taylor]: Taking taylor expansion of 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.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.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.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.667 * [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.667 * [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.667 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.667 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (sqrt (exp (neg (/ 1 x)))) in x
0.667 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.667 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt (exp (neg (/ 1 x))))) in x
0.667 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.667 * [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))))) (+ (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.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.673 * [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.673 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in x
0.673 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.673 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.673 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.673 * [taylor]: Taking taylor expansion of -1 in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.673 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.673 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.673 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.673 * [taylor]: Taking taylor expansion of -1 in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.673 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) (+ (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x))))) in x
0.673 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt (exp (/ 1 x)))) in x
0.673 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.673 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.673 * [taylor]: Taking taylor expansion of -1 in x
0.673 * [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.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.678 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.678 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.678 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.678 * [taylor]: Taking taylor expansion of (exp x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.678 * [taylor]: Taking taylor expansion of (exp x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.678 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.679 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.679 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.679 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.679 * [taylor]: Taking taylor expansion of -1 in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.680 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.680 * [taylor]: Taking taylor expansion of -1 in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.680 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.680 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.680 * [taylor]: Taking taylor expansion of (exp x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.681 * [taylor]: Taking taylor expansion of (exp x) in x
0.681 * [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.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.682 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.682 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.682 * [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 -1 in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.682 * [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 -1 in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.683 * * * [progress]: simplifying candidates
0.684 * [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 x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp 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/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
0.690 * * [simplify]: iteration  0 :  282  enodes  (cost  989 )
0.695 * * [simplify]: iteration  1 :  1217  enodes  (cost  868 )
0.717 * * [simplify]: iteration  2 :  5001  enodes  (cost  843 )
0.721 * [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 x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (pow x 1/2) 2)
  (* 1/2 x)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (pow x 1/2) 2)
  (* 1/2 x)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp 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/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
0.722 * * * [progress]: adding candidates to table
0.809 * * [progress]: iteration 4 / 4
0.809 * * * [progress]: picking best candidate
0.816 * * * * [pick]: Picked  #<alt (λ (x) (/ (cbrt (pow (- (exp x) (exp (neg x))) 3)) 2.0))>
0.816 * * * [progress]: localizing error
0.825 * * * [progress]: generating rewritten candidates
0.825 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1)
0.830 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.836 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.844 * * * [progress]: generating series expansions
0.844 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1)
0.844 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0
0.845 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.845 * [taylor]: Taking taylor expansion of (exp x) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.845 * [taylor]: Taking taylor expansion of (neg x) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.845 * [taylor]: Taking taylor expansion of (exp x) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.845 * [taylor]: Taking taylor expansion of (neg x) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.848 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0
0.848 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.848 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.848 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.849 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
0.849 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.849 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.849 * [taylor]: Taking taylor expansion of -1 in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.849 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.849 * [taylor]: Taking taylor expansion of -1 in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.850 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0
0.850 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.850 * [taylor]: Taking taylor expansion of (exp x) in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.850 * [taylor]: Taking taylor expansion of (neg x) in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.850 * [taylor]: Taking taylor expansion of (exp x) in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.850 * [taylor]: Taking taylor expansion of (neg x) in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.853 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0
0.853 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.853 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.853 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.853 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.853 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.854 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
0.854 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.854 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.854 * [taylor]: Taking taylor expansion of -1 in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.854 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.854 * [taylor]: Taking taylor expansion of -1 in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.854 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.855 * [approximate]: Taking taylor expansion of (pow (- (exp x) (exp (neg x))) 3) in (x) around 0
0.855 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (neg x))) 3) in x
0.855 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.855 * [taylor]: Taking taylor expansion of (exp x) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.855 * [taylor]: Taking taylor expansion of (neg x) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (neg x))) 3) in x
0.855 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.855 * [taylor]: Taking taylor expansion of (exp x) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.855 * [taylor]: Taking taylor expansion of (neg x) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.858 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) 3) in (x) around 0
0.858 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) 3) in x
0.858 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.858 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.858 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.858 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) 3) in x
0.859 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.859 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.859 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.864 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 3) in (x) around 0
0.864 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 3) in x
0.864 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.864 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.864 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.864 * [taylor]: Taking taylor expansion of -1 in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.864 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 3) in x
0.864 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.864 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.864 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.864 * [taylor]: Taking taylor expansion of -1 in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.867 * * * [progress]: simplifying candidates
0.868 * [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)))
  (log (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (exp (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (cbrt (pow (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) 3))
  (cbrt (pow (cbrt (- (exp x) (exp (neg x)))) 3))
  (cbrt (pow (sqrt (- (exp x) (exp (neg x)))) 3))
  (cbrt (pow (sqrt (- (exp x) (exp (neg x)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (exp x) (exp (neg x))) 3))
  (cbrt (pow (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 3))
  (cbrt (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (exp x) (exp (neg x))) 3))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (cbrt (* (cbrt (pow (- (exp x) (exp (neg x))) 3)) (cbrt (pow (- (exp x) (exp (neg x))) 3))))
  (cbrt (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (cbrt (pow (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) 3))
  (cbrt (pow (cbrt (- (exp x) (exp (neg x)))) 3))
  (cbrt (pow (sqrt (- (exp x) (exp (neg x)))) 3))
  (cbrt (pow (sqrt (- (exp x) (exp (neg x)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (exp x) (exp (neg x))) 3))
  (cbrt (pow (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 3))
  (cbrt (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (exp x) (exp (neg x))) 3))
  (cbrt (- (exp x) (exp (neg x))))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (sqrt (pow (- (exp x) (exp (neg x))) 3)))
  (cbrt (sqrt (pow (- (exp x) (exp (neg x))) 3)))
  (cbrt 1)
  (cbrt (pow (- (exp x) (exp (neg x))) 3))
  (cbrt (pow (- (exp x) (exp (neg x))) (/ 3 2)))
  (cbrt (pow (- (exp x) (exp (neg x))) (/ 3 2)))
  (cbrt (pow (- (pow (exp x) 3) (pow (exp (neg x)) 3)) 3))
  (cbrt (pow (+ (* (exp x) (exp x)) (+ (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x))))) 3))
  (cbrt (pow (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x)))) 3))
  (cbrt (pow (+ (exp x) (exp (neg x))) 3))
  (* (cbrt (cbrt (pow (- (exp x) (exp (neg x))) 3))) (cbrt (cbrt (pow (- (exp x) (exp (neg x))) 3))))
  (cbrt (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (* (* (cbrt (pow (- (exp x) (exp (neg x))) 3)) (cbrt (pow (- (exp x) (exp (neg x))) 3))) (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (sqrt (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (sqrt (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (* (log (- (exp x) (exp (neg x)))) 3)
  (* (log (- (exp x) (exp (neg x)))) 3)
  (* 1 3)
  (pow (- (exp x) (exp (neg x))) (* (cbrt 3) (cbrt 3)))
  (pow (- (exp x) (exp (neg x))) (sqrt 3))
  (pow (- (exp x) (exp (neg x))) 1)
  (pow (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) 3)
  (pow (cbrt (- (exp x) (exp (neg x)))) 3)
  (pow (sqrt (- (exp x) (exp (neg x)))) 3)
  (pow (sqrt (- (exp x) (exp (neg x)))) 3)
  (pow 1 3)
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (pow 1 3)
  (pow (- (exp x) (exp (neg x))) 3)
  (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (log (pow (- (exp x) (exp (neg x))) 3))
  (exp (pow (- (exp x) (exp (neg x))) 3))
  (* (cbrt (pow (- (exp x) (exp (neg x))) 3)) (cbrt (pow (- (exp x) (exp (neg x))) 3)))
  (cbrt (pow (- (exp x) (exp (neg x))) 3))
  (* (* (pow (- (exp x) (exp (neg x))) 3) (pow (- (exp x) (exp (neg x))) 3)) (pow (- (exp x) (exp (neg x))) 3))
  (pow (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) 3)
  (pow (cbrt (- (exp x) (exp (neg x)))) 3)
  (pow (sqrt (- (exp x) (exp (neg x)))) 3)
  (pow (sqrt (- (exp x) (exp (neg x)))) 3)
  (pow 1 3)
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (pow 1 3)
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (- (pow (exp x) 3) (pow (exp (neg x)) 3)) 3)
  (pow (+ (* (exp x) (exp x)) (+ (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x))))) 3)
  (pow (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x)))) 3)
  (pow (+ (exp x) (exp (neg x))) 3)
  (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (sqrt (pow (- (exp x) (exp (neg x))) 3))
  (sqrt (pow (- (exp x) (exp (neg x))) 3))
  (pow (- (exp x) (exp (neg x))) (/ 3 2))
  (pow (- (exp x) (exp (neg x))) (/ 3 2))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (* -1 x)))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (* -1 x)))
  (+ (* 13/15 (pow x 7)) (+ (* 8 (pow x 3)) (* 4 (pow x 5))))
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (- (exp x) (exp (* -1 x))) 3)
0.873 * * [simplify]: iteration  0 :  246  enodes  (cost  617 )
0.877 * * [simplify]: iteration  1 :  885  enodes  (cost  579 )
0.898 * * [simplify]: iteration  2 :  5001  enodes  (cost  568 )
0.901 * [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))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (pow (- (exp x) (exp (neg x))) 3)
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (- (pow (exp x) 3) (pow (exp (neg x)) 3))
  (+ (+ (exp (+ x x)) 1) (pow (exp x) -2))
  (/ -1 (exp x))
  (+ (exp (+ x x)) (neg (exp (+ (neg x) (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)))
  (/ -1 (exp x))
  (log (- (exp x) (exp (neg x))))
  (exp (- (exp x) (exp (neg x))))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  1
  (- (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  1
  (- (exp x) (exp (neg x)))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  1
  (- (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  1
  (- (exp x) (exp (neg x)))
  (cbrt (- (exp x) (exp (neg x))))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (sqrt (pow (- (exp x) (exp (neg x))) 3)))
  (cbrt (sqrt (pow (- (exp x) (exp (neg x))) 3)))
  1
  (- (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 x)) 1) (pow (exp x) -2))
  (+ (exp (+ x x)) (neg (exp (+ (neg x) (neg x)))))
  (+ (exp x) (exp (neg x)))
  (cbrt (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (pow (- (exp x) (exp (neg x))) 3)
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (log (pow (- (exp x) (exp (neg x))) 3))
  (log (pow (- (exp x) (exp (neg x))) 3))
  3
  (pow (- (exp x) (exp (neg x))) (* (cbrt 3) (cbrt 3)))
  (pow (- (exp x) (exp (neg x))) (sqrt 3))
  (- (exp x) (exp (neg x)))
  (pow (- (exp x) (exp (neg x))) 2)
  (- (exp x) (exp (neg x)))
  (pow (- (exp x) (exp (neg x))) 3/2)
  (pow (- (exp x) (exp (neg x))) 3/2)
  1
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  1
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (- (exp x) (exp (neg x))) 2)
  (log (pow (- (exp x) (exp (neg x))) 3))
  (exp (pow (- (exp x) (exp (neg x))) 3))
  (pow (- (exp x) (exp (neg x))) 2)
  (- (exp x) (exp (neg x)))
  (pow (pow (- (exp x) (exp (neg x))) 3) 3)
  (pow (- (exp x) (exp (neg x))) 2)
  (- (exp x) (exp (neg x)))
  (pow (- (exp x) (exp (neg x))) 3/2)
  (pow (- (exp x) (exp (neg x))) 3/2)
  1
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  (pow (- (sqrt (exp x)) (sqrt (exp (neg x)))) 3)
  1
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (- (pow (exp x) 3) (pow (exp (neg x)) 3)) 3)
  (pow (+ (+ (exp (+ x x)) 1) (pow (exp -1) (* 2 x))) 3)
  (pow (+ (exp (+ x x)) (neg (exp (+ (neg x) (neg x))))) 3)
  (pow (+ (exp x) (exp (neg x))) 3)
  (pow (- (exp x) (exp (neg x))) 2)
  (sqrt (pow (- (exp x) (exp (neg x))) 3))
  (sqrt (pow (- (exp x) (exp (neg x))) 3))
  (pow (- (exp x) (exp (neg x))) 3/2)
  (pow (- (exp x) (exp (neg x))) 3/2)
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (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)))
  (+ (* 13/15 (pow x 7)) (+ (* 8 (pow x 3)) (* 4 (pow x 5))))
  (pow (- (exp x) (exp (neg x))) 3)
  (pow (- (exp x) (exp (neg x))) 3)
0.902 * * * [progress]: adding candidates to table
0.967 * [progress]: [Phase 3 of 3] Extracting.
0.967 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (/ (+ (exp (+ x x)) (neg (exp (+ (neg x) (neg x))))) (+ (exp x) (exp (neg x)))) 2.0))> #<alt (λ (x) (/ (cbrt (pow (- (exp x) (exp (neg x))) 3)) 2.0))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (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))>)
0.968 * * * [regime-changes]: Trying 2 branch expressions: ((- (exp x) (exp (neg x))) x)
0.968 * * * * [regimes]: Trying to branch on (- (exp x) (exp (neg x))) from (#<alt (λ (x) (/ (/ (+ (exp (+ x x)) (neg (exp (+ (neg x) (neg x))))) (+ (exp x) (exp (neg x)))) 2.0))> #<alt (λ (x) (/ (cbrt (pow (- (exp x) (exp (neg x))) 3)) 2.0))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (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.001 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (/ (+ (exp (+ x x)) (neg (exp (+ (neg x) (neg x))))) (+ (exp x) (exp (neg x)))) 2.0))> #<alt (λ (x) (/ (cbrt (pow (- (exp x) (exp (neg x))) 3)) 2.0))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (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.034 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
1.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)
1.035 * * [simplify]: iteration  0 :  20  enodes  (cost  8 )
1.035 * * [simplify]: iteration  1 :  20  enodes  (cost  8 )
1.036 * [simplify]: Simplified to:
   (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)
3.454 * [regime-testing]: End program error score: 0.5251950824373387