27.283 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.038 * * [simplify]: iteration  0 :  15  enodes  (cost  5 )
0.039 * * [simplify]: iteration  1 :  22  enodes  (cost  5 )
0.040 * * [simplify]: iteration  2 :  30  enodes  (cost  5 )
0.042 * * [simplify]: iteration  3 :  52  enodes  (cost  5 )
0.043 * * [simplify]: iteration  4 :  114  enodes  (cost  5 )
0.046 * * [simplify]: iteration  5 :  322  enodes  (cost  5 )
0.053 * * [simplify]: iteration  6 :  1618  enodes  (cost  5 )
0.094 * * [simplify]: iteration  7 :  5001  enodes  (cost  5 )
0.095 * [simplify]: Simplified to:
   (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.095 * * [progress]: iteration 1 / 4
0.095 * * * [progress]: picking best candidate
0.097 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))>
0.097 * * * [progress]: localizing error
0.104 * * * [progress]: generating rewritten candidates
0.104 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.109 * * * [progress]: generating series expansions
0.109 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.109 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in (x) around 0
0.109 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.109 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.109 * [taylor]: Taking taylor expansion of 2.0 in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.109 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.109 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.109 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.109 * [taylor]: Taking taylor expansion of -2.0 in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of 1.0 in x
0.111 * [taylor]: Taking taylor expansion of 1.0 in x
0.111 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.111 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.111 * [taylor]: Taking taylor expansion of 2.0 in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.111 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.111 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.111 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.111 * [taylor]: Taking taylor expansion of -2.0 in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of 1.0 in x
0.113 * [taylor]: Taking taylor expansion of 1.0 in x
0.164 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in (x) around 0
0.164 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.164 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.165 * [taylor]: Taking taylor expansion of 2.0 in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.165 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.165 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.165 * [taylor]: Taking taylor expansion of -2.0 in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of 1.0 in x
0.165 * [taylor]: Taking taylor expansion of 1.0 in x
0.165 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.165 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.165 * [taylor]: Taking taylor expansion of 2.0 in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.165 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.165 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.165 * [taylor]: Taking taylor expansion of -2.0 in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.166 * [taylor]: Taking taylor expansion of 1.0 in x
0.166 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in (x) around 0
0.178 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.178 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.178 * [taylor]: Taking taylor expansion of 2.0 in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.178 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.178 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.178 * [taylor]: Taking taylor expansion of 2.0 in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of 1.0 in x
0.179 * [taylor]: Taking taylor expansion of 1.0 in x
0.179 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.179 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.179 * [taylor]: Taking taylor expansion of 2.0 in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.179 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.179 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.179 * [taylor]: Taking taylor expansion of 2.0 in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of 1.0 in x
0.180 * [taylor]: Taking taylor expansion of 1.0 in x
0.192 * * * [progress]: simplifying candidates
0.192 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (- 1.0)
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- 1.0)
  (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3))))
  (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0)
  (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0)
0.195 * * [simplify]: iteration  0 :  86  enodes  (cost  60 )
0.197 * * [simplify]: iteration  1 :  192  enodes  (cost  58 )
0.201 * * [simplify]: iteration  2 :  611  enodes  (cost  54 )
0.215 * * [simplify]: iteration  3 :  2617  enodes  (cost  54 )
0.290 * * [simplify]: iteration  4 :  5001  enodes  (cost  54 )
0.291 * [simplify]: Simplified to:
   (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0))
  (- 1.0)
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- 1.0)
  (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3))))
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.291 * * * [progress]: adding candidates to table
0.304 * * [progress]: iteration 2 / 4
0.304 * * * [progress]: picking best candidate
0.311 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>
0.311 * * * [progress]: localizing error
0.321 * * * [progress]: generating rewritten candidates
0.321 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.335 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.343 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.364 * * * [progress]: generating series expansions
0.364 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.365 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) in (x) around 0
0.365 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) in x
0.365 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) in x
0.365 * [taylor]: Taking taylor expansion of 4.0 in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
0.365 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
0.365 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.365 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.365 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.365 * [taylor]: Taking taylor expansion of -2.0 in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 1.0 in x
0.367 * [taylor]: Taking taylor expansion of 1.0 in x
0.367 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) in x
0.367 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) in x
0.367 * [taylor]: Taking taylor expansion of 4.0 in x
0.367 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
0.367 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
0.367 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.367 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.367 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.367 * [taylor]: Taking taylor expansion of -2.0 in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.369 * [taylor]: Taking taylor expansion of 1.0 in x
0.369 * [taylor]: Taking taylor expansion of 1.0 in x
0.411 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in (x) around 0
0.411 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in x
0.411 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) in x
0.411 * [taylor]: Taking taylor expansion of 4.0 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.411 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.411 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.411 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.411 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.411 * [taylor]: Taking taylor expansion of -2.0 in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of 1.0 in x
0.412 * [taylor]: Taking taylor expansion of 1.0 in x
0.412 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in x
0.412 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) in x
0.412 * [taylor]: Taking taylor expansion of 4.0 in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.412 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.412 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.412 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.412 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.412 * [taylor]: Taking taylor expansion of -2.0 in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of 1.0 in x
0.413 * [taylor]: Taking taylor expansion of 1.0 in x
0.431 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in (x) around 0
0.431 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in x
0.431 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) in x
0.431 * [taylor]: Taking taylor expansion of 4.0 in x
0.431 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.431 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.431 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.431 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.431 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.431 * [taylor]: Taking taylor expansion of 2.0 in x
0.431 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1.0 in x
0.432 * [taylor]: Taking taylor expansion of 1.0 in x
0.432 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in x
0.432 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) in x
0.432 * [taylor]: Taking taylor expansion of 4.0 in x
0.432 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.432 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.432 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.432 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.432 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.432 * [taylor]: Taking taylor expansion of 2.0 in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1.0 in x
0.433 * [taylor]: Taking taylor expansion of 1.0 in x
0.451 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.451 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in (x) around 0
0.452 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
0.452 * [taylor]: Taking taylor expansion of 4.0 in x
0.452 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
0.452 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.452 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.452 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.452 * [taylor]: Taking taylor expansion of -2.0 in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.453 * [taylor]: Taking taylor expansion of 1.0 in x
0.454 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
0.454 * [taylor]: Taking taylor expansion of 4.0 in x
0.454 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
0.454 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.454 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.454 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.454 * [taylor]: Taking taylor expansion of -2.0 in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of 1.0 in x
0.473 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in (x) around 0
0.473 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.473 * [taylor]: Taking taylor expansion of 4.0 in x
0.473 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.473 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.473 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.473 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.473 * [taylor]: Taking taylor expansion of -2.0 in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of 1.0 in x
0.474 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.474 * [taylor]: Taking taylor expansion of 4.0 in x
0.474 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.474 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.474 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.474 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.474 * [taylor]: Taking taylor expansion of -2.0 in x
0.474 * [taylor]: Taking taylor expansion of x in x
0.474 * [taylor]: Taking taylor expansion of 1.0 in x
0.484 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in (x) around 0
0.484 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.484 * [taylor]: Taking taylor expansion of 4.0 in x
0.484 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.484 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.484 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.484 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.484 * [taylor]: Taking taylor expansion of 2.0 in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.484 * [taylor]: Taking taylor expansion of 1.0 in x
0.485 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.485 * [taylor]: Taking taylor expansion of 4.0 in x
0.485 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.485 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.485 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.485 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.485 * [taylor]: Taking taylor expansion of 2.0 in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of 1.0 in x
0.495 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.498 * [approximate]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))))) in (x) around 0
0.498 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))))) in x
0.498 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) in x
0.498 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) in x
0.498 * [taylor]: Taking taylor expansion of 4.0 in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
0.498 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
0.498 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.498 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.498 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.498 * [taylor]: Taking taylor expansion of -2.0 in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of 1.0 in x
0.500 * [taylor]: Taking taylor expansion of 1.0 in x
0.500 * [taylor]: Taking taylor expansion of (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0)))) in x
0.500 * [taylor]: Taking taylor expansion of 1.0 in x
0.500 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.500 * [taylor]: Taking taylor expansion of 2.0 in x
0.500 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.500 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.500 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.500 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.500 * [taylor]: Taking taylor expansion of -2.0 in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of 1.0 in x
0.511 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))))) in x
0.511 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) in x
0.511 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) in x
0.511 * [taylor]: Taking taylor expansion of 4.0 in x
0.511 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
0.511 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
0.511 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.512 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.512 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.512 * [taylor]: Taking taylor expansion of -2.0 in x
0.512 * [taylor]: Taking taylor expansion of x in x
0.513 * [taylor]: Taking taylor expansion of 1.0 in x
0.514 * [taylor]: Taking taylor expansion of 1.0 in x
0.514 * [taylor]: Taking taylor expansion of (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0)))) in x
0.514 * [taylor]: Taking taylor expansion of 1.0 in x
0.514 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.514 * [taylor]: Taking taylor expansion of 2.0 in x
0.514 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.514 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.514 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.514 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.514 * [taylor]: Taking taylor expansion of -2.0 in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of 1.0 in x
0.614 * [approximate]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) (+ (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0)) in (x) around 0
0.614 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) (+ (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0)) in x
0.614 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in x
0.614 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) in x
0.614 * [taylor]: Taking taylor expansion of 4.0 in x
0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.614 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.614 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.614 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.614 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.614 * [taylor]: Taking taylor expansion of -2.0 in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of 1.0 in x
0.615 * [taylor]: Taking taylor expansion of 1.0 in x
0.615 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.615 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.615 * [taylor]: Taking taylor expansion of 2.0 in x
0.615 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.615 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.615 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.615 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.615 * [taylor]: Taking taylor expansion of -2.0 in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of 1.0 in x
0.615 * [taylor]: Taking taylor expansion of 1.0 in x
0.616 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) (+ (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0)) in x
0.616 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in x
0.616 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) in x
0.616 * [taylor]: Taking taylor expansion of 4.0 in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.616 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.616 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.616 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.616 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.616 * [taylor]: Taking taylor expansion of -2.0 in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of 1.0 in x
0.617 * [taylor]: Taking taylor expansion of 1.0 in x
0.617 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.617 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.617 * [taylor]: Taking taylor expansion of 2.0 in x
0.617 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.617 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.617 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.617 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.617 * [taylor]: Taking taylor expansion of -2.0 in x
0.617 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of 1.0 in x
0.618 * [taylor]: Taking taylor expansion of 1.0 in x
0.651 * [approximate]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) (+ (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0)) in (x) around 0
0.651 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) (+ (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0)) in x
0.652 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in x
0.652 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) in x
0.652 * [taylor]: Taking taylor expansion of 4.0 in x
0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.652 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.652 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.652 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.652 * [taylor]: Taking taylor expansion of 2.0 in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of 1.0 in x
0.652 * [taylor]: Taking taylor expansion of 1.0 in x
0.652 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.652 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.652 * [taylor]: Taking taylor expansion of 2.0 in x
0.652 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.652 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.652 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.652 * [taylor]: Taking taylor expansion of 2.0 in x
0.653 * [taylor]: Taking taylor expansion of x in x
0.653 * [taylor]: Taking taylor expansion of 1.0 in x
0.653 * [taylor]: Taking taylor expansion of 1.0 in x
0.654 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) (+ (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0)) in x
0.654 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in x
0.654 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) in x
0.654 * [taylor]: Taking taylor expansion of 4.0 in x
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.654 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.654 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.654 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.654 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.654 * [taylor]: Taking taylor expansion of 2.0 in x
0.654 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of 1.0 in x
0.655 * [taylor]: Taking taylor expansion of 1.0 in x
0.655 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.655 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.655 * [taylor]: Taking taylor expansion of 2.0 in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.655 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.655 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.655 * [taylor]: Taking taylor expansion of 2.0 in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of 1.0 in x
0.656 * [taylor]: Taking taylor expansion of 1.0 in x
0.691 * * * [progress]: simplifying candidates
0.693 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) 3) (pow (* 1.0 1.0) 3))
  (+ (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))))
  (- (* 1.0 1.0))
  (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (* 1.0 1.0))
  (* 2.0 2.0)
  (* (+ 1.0 (exp (* -2.0 x))) (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (- 2.0))
  (* (+ 1.0 (exp (* -2.0 x))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 1)
  (* (+ 1.0 (exp (* -2.0 x))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* (- 2.0) 2.0)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x))))
  (* (- 2.0) (- 2.0))
  (* (- (+ 1.0 (exp (* -2.0 x)))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) 1)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 1 2.0)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (+ 1.0 (exp (* -2.0 x))))
  (* 1 (- 2.0))
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 1 1)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 2.0 2.0)
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 1 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- 2.0))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1)
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))
  (- (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (* 1.0 1.0) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ 1 (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))
  (/ (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)))
  (/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))
  (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))
  (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))
  (- (+ (* 1.0 (pow x 2)) (* 2.0 x)) (* 0.666666666666667 (pow x 3)))
  (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0)
  (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0)
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0)))))
  (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0)))))
0.698 * * [simplify]: iteration  0 :  328  enodes  (cost  583 )
0.704 * * [simplify]: iteration  1 :  1358  enodes  (cost  541 )
0.735 * * [simplify]: iteration  2 :  5001  enodes  (cost  517 )
0.738 * [simplify]: Simplified to:
   (+ (- (pow (* 1.0 1.0) 3)) (pow (* (* 2.0 2.0) (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 3))
  (+ (+ (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 4) (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))) (pow 1.0 4))
  (- (* 1.0 1.0))
  (+ (- (* (pow 1.0 3) 1.0)) (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 4))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- (* 1.0 1.0))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  1
  (/ (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0) 2.0)
  (* 2.0 2.0)
  (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (+ (* 1.0 1.0) (* (- (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 2.0))
  (- (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (* (/ 2.0 (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)) (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (/ (* 1.0 1.0) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ 1 (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ 1 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)))
  1
  (* (+ (+ (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 4) (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))) (pow 1.0 4)) (+ (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0))
  (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))
  (- (+ (* 1.0 (pow x 2)) (* 2.0 x)) (* 0.666666666666667 (pow x 3)))
  (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0)
  (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0)
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0)))))
  (/ (- (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) 1.0) (+ 1.0 (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0)))))
0.738 * * * [progress]: adding candidates to table
0.862 * * [progress]: iteration 3 / 4
0.862 * * * [progress]: picking best candidate
0.870 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))>
0.870 * * * [progress]: localizing error
0.885 * * * [progress]: generating rewritten candidates
0.885 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.968 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.977 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.985 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.002 * * * [progress]: generating series expansions
1.002 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.004 * [approximate]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0) in (x) around 0
1.004 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0) in x
1.004 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) in x
1.004 * [taylor]: Taking taylor expansion of 16.0 in x
1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4)) in x
1.004 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 4) in x
1.004 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.004 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.004 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.004 * [taylor]: Taking taylor expansion of -2.0 in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of 1.0 in x
1.006 * [taylor]: Taking taylor expansion of 1.0 in x
1.006 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0) in x
1.006 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) in x
1.006 * [taylor]: Taking taylor expansion of 16.0 in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4)) in x
1.006 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 4) in x
1.006 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.006 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.006 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.006 * [taylor]: Taking taylor expansion of -2.0 in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of 1.0 in x
1.009 * [taylor]: Taking taylor expansion of 1.0 in x
1.058 * [approximate]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4))) 1.0) in (x) around 0
1.058 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4))) 1.0) in x
1.058 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4))) in x
1.058 * [taylor]: Taking taylor expansion of 16.0 in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4)) in x
1.058 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 4) in x
1.058 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.058 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.058 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.058 * [taylor]: Taking taylor expansion of -2.0 in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of 1.0 in x
1.059 * [taylor]: Taking taylor expansion of 1.0 in x
1.059 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4))) 1.0) in x
1.059 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4))) in x
1.059 * [taylor]: Taking taylor expansion of 16.0 in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 4)) in x
1.059 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 4) in x
1.059 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.059 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.059 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.059 * [taylor]: Taking taylor expansion of -2.0 in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of 1.0 in x
1.060 * [taylor]: Taking taylor expansion of 1.0 in x
1.084 * [approximate]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4))) 1.0) in (x) around 0
1.084 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4))) 1.0) in x
1.084 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4))) in x
1.084 * [taylor]: Taking taylor expansion of 16.0 in x
1.084 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4)) in x
1.084 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 4) in x
1.084 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.084 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.084 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.084 * [taylor]: Taking taylor expansion of 2.0 in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of 1.0 in x
1.085 * [taylor]: Taking taylor expansion of 1.0 in x
1.085 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4))) 1.0) in x
1.085 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4))) in x
1.085 * [taylor]: Taking taylor expansion of 16.0 in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 4)) in x
1.085 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 4) in x
1.085 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.085 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.085 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.085 * [taylor]: Taking taylor expansion of 2.0 in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of 1.0 in x
1.086 * [taylor]: Taking taylor expansion of 1.0 in x
1.109 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.110 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in (x) around 0
1.110 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
1.110 * [taylor]: Taking taylor expansion of 4.0 in x
1.110 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
1.110 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.110 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.110 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.110 * [taylor]: Taking taylor expansion of -2.0 in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of 1.0 in x
1.112 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
1.112 * [taylor]: Taking taylor expansion of 4.0 in x
1.112 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
1.112 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.112 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.112 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.112 * [taylor]: Taking taylor expansion of -2.0 in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of 1.0 in x
1.131 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in (x) around 0
1.131 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
1.131 * [taylor]: Taking taylor expansion of 4.0 in x
1.131 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
1.131 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.131 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.131 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.131 * [taylor]: Taking taylor expansion of -2.0 in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of 1.0 in x
1.131 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
1.131 * [taylor]: Taking taylor expansion of 4.0 in x
1.131 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
1.131 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.131 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.132 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.132 * [taylor]: Taking taylor expansion of -2.0 in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of 1.0 in x
1.148 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in (x) around 0
1.148 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
1.148 * [taylor]: Taking taylor expansion of 4.0 in x
1.148 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
1.148 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.148 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.148 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.148 * [taylor]: Taking taylor expansion of 2.0 in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of 1.0 in x
1.149 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
1.149 * [taylor]: Taking taylor expansion of 4.0 in x
1.149 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
1.149 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.149 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.149 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.149 * [taylor]: Taking taylor expansion of 2.0 in x
1.149 * [taylor]: Taking taylor expansion of x in x
1.149 * [taylor]: Taking taylor expansion of 1.0 in x
1.159 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.159 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in (x) around 0
1.159 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
1.159 * [taylor]: Taking taylor expansion of 4.0 in x
1.159 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
1.159 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.159 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.159 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.159 * [taylor]: Taking taylor expansion of -2.0 in x
1.159 * [taylor]: Taking taylor expansion of x in x
1.161 * [taylor]: Taking taylor expansion of 1.0 in x
1.162 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
1.162 * [taylor]: Taking taylor expansion of 4.0 in x
1.162 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
1.162 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.162 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.162 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.162 * [taylor]: Taking taylor expansion of -2.0 in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.163 * [taylor]: Taking taylor expansion of 1.0 in x
1.180 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in (x) around 0
1.180 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
1.180 * [taylor]: Taking taylor expansion of 4.0 in x
1.180 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
1.181 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.181 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.181 * [taylor]: Taking taylor expansion of -2.0 in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of 1.0 in x
1.181 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
1.181 * [taylor]: Taking taylor expansion of 4.0 in x
1.181 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
1.181 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.181 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.181 * [taylor]: Taking taylor expansion of -2.0 in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of 1.0 in x
1.191 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in (x) around 0
1.191 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
1.191 * [taylor]: Taking taylor expansion of 4.0 in x
1.191 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
1.191 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.191 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.191 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.192 * [taylor]: Taking taylor expansion of 2.0 in x
1.192 * [taylor]: Taking taylor expansion of x in x
1.192 * [taylor]: Taking taylor expansion of 1.0 in x
1.192 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
1.192 * [taylor]: Taking taylor expansion of 4.0 in x
1.192 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
1.192 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.192 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.192 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.192 * [taylor]: Taking taylor expansion of 2.0 in x
1.192 * [taylor]: Taking taylor expansion of x in x
1.193 * [taylor]: Taking taylor expansion of 1.0 in x
1.203 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.203 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in (x) around 0
1.203 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
1.203 * [taylor]: Taking taylor expansion of 4.0 in x
1.203 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
1.203 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.203 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.203 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.203 * [taylor]: Taking taylor expansion of -2.0 in x
1.203 * [taylor]: Taking taylor expansion of x in x
1.204 * [taylor]: Taking taylor expansion of 1.0 in x
1.205 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)) in x
1.205 * [taylor]: Taking taylor expansion of 4.0 in x
1.205 * [taylor]: Taking taylor expansion of (pow (+ (exp (* -2.0 x)) 1.0) 2) in x
1.205 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.205 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.205 * [taylor]: Taking taylor expansion of -2.0 in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of 1.0 in x
1.224 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in (x) around 0
1.224 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
1.224 * [taylor]: Taking taylor expansion of 4.0 in x
1.224 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
1.224 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.224 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.224 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.224 * [taylor]: Taking taylor expansion of -2.0 in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of 1.0 in x
1.225 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
1.225 * [taylor]: Taking taylor expansion of 4.0 in x
1.225 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
1.225 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
1.225 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.225 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.225 * [taylor]: Taking taylor expansion of -2.0 in x
1.225 * [taylor]: Taking taylor expansion of x in x
1.225 * [taylor]: Taking taylor expansion of 1.0 in x
1.239 * [approximate]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in (x) around 0
1.240 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
1.240 * [taylor]: Taking taylor expansion of 4.0 in x
1.240 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
1.240 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.240 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.240 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.240 * [taylor]: Taking taylor expansion of 2.0 in x
1.240 * [taylor]: Taking taylor expansion of x in x
1.240 * [taylor]: Taking taylor expansion of 1.0 in x
1.240 * [taylor]: Taking taylor expansion of (/ 4.0 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
1.240 * [taylor]: Taking taylor expansion of 4.0 in x
1.240 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
1.240 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
1.240 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.240 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.240 * [taylor]: Taking taylor expansion of 2.0 in x
1.240 * [taylor]: Taking taylor expansion of x in x
1.241 * [taylor]: Taking taylor expansion of 1.0 in x
1.251 * * * [progress]: simplifying candidates
1.255 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 3) (pow (* (* 1.0 1.0) (* 1.0 1.0)) 3))
  (+ (* (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))) (+ (* (* (* 1.0 1.0) (* 1.0 1.0)) (* (* 1.0 1.0) (* 1.0 1.0))) (* (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0)))))
  (- (* (* 1.0 1.0) (* 1.0 1.0)))
  (- (* (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* (* 1.0 1.0) (* 1.0 1.0))))
  (+ (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (- (* (* 1.0 1.0) (* 1.0 1.0)))
  (* 2.0 2.0)
  (* (+ 1.0 (exp (* -2.0 x))) (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (- 2.0))
  (* (+ 1.0 (exp (* -2.0 x))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 1)
  (* (+ 1.0 (exp (* -2.0 x))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* (- 2.0) 2.0)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x))))
  (* (- 2.0) (- 2.0))
  (* (- (+ 1.0 (exp (* -2.0 x)))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) 1)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 1 2.0)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (+ 1.0 (exp (* -2.0 x))))
  (* 1 (- 2.0))
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 1 1)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 2.0 2.0)
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 1 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- 2.0))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1)
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 2.0)
  (* (+ 1.0 (exp (* -2.0 x))) (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (- 2.0))
  (* (+ 1.0 (exp (* -2.0 x))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 1)
  (* (+ 1.0 (exp (* -2.0 x))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* (- 2.0) 2.0)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x))))
  (* (- 2.0) (- 2.0))
  (* (- (+ 1.0 (exp (* -2.0 x)))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) 1)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 1 2.0)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (+ 1.0 (exp (* -2.0 x))))
  (* 1 (- 2.0))
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 1 1)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 2.0 2.0)
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 1 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- 2.0))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1)
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 2.0)
  (* (+ 1.0 (exp (* -2.0 x))) (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (- 2.0))
  (* (+ 1.0 (exp (* -2.0 x))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 1)
  (* (+ 1.0 (exp (* -2.0 x))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* (- 2.0) 2.0)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x))))
  (* (- 2.0) (- 2.0))
  (* (- (+ 1.0 (exp (* -2.0 x)))) (- (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) 1)
  (* (- (+ 1.0 (exp (* -2.0 x)))) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 1 2.0)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (+ 1.0 (exp (* -2.0 x))))
  (* 1 (- 2.0))
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (- (+ 1.0 (exp (* -2.0 x)))))
  (* 1 1)
  (* (/ (+ 1.0 (exp (* -2.0 x))) 2.0) (/ (+ 1.0 (exp (* -2.0 x))) 2.0))
  (* 2.0 2.0)
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 1 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))))
  (* (/ 1 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 2.0)
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- 2.0))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1)
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (+ (* 6.0 (pow x 2)) (+ (* 2.6666666666666643 (pow x 3)) (* 4.0 x)))
  (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0)
  (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0)
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
1.266 * * [simplify]: iteration  0 :  279  enodes  (cost  3135 )
1.272 * * [simplify]: iteration  1 :  1099  enodes  (cost  2841 )
1.297 * * [simplify]: iteration  2 :  5002  enodes  (cost  2767 )
1.312 * [simplify]: Simplified to:
   (* (+ (pow (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)) 3) (pow (pow 1.0 4) 3/2)) (- (pow (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)) 3) (pow (pow 1.0 4) 3/2)))
  (+ (pow 1.0 8) (* (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)) (+ (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 6) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (pow 1.0 4))))))
  (* (- (pow 1.0 3)) 1.0)
  (+ (* (- (pow (* 1.0 1.0) 3)) (* 1.0 1.0)) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (pow (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) 3))))
  (+ (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (- (* 1.0 1.0)) (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (* (- (pow 1.0 3)) 1.0)
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  1
  (/ (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0) 2.0)
  (* 2.0 2.0)
  (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  1
  (/ (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0) 2.0)
  (* 2.0 2.0)
  (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (* (- 2.0) 2.0)
  (- (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* 2.0 2.0)
  (pow (+ (exp (* -2.0 x)) 1.0) 2)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  2.0
  (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)
  (- 2.0)
  (- (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
  1
  (/ (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0) 2.0)
  (* 2.0 2.0)
  (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x))))))
  (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2)))
  (/ 2.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))
  (* (- 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (* 2.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (* (- 2.0) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (+ (* x (+ 4.0 (* x 6.0))) (* 2.6666666666666643 (pow x 3)))
  (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0)
  (- (* 16.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 4))) 1.0)
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (+ (* 1.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
  (/ 4.0 (pow (+ (exp (* -2.0 x)) 1.0) 2))
1.313 * * * [progress]: adding candidates to table
1.587 * * [progress]: iteration 4 / 4
1.588 * * * [progress]: picking best candidate
1.597 * * * * [pick]: Picked  #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))>
1.597 * * * [progress]: localizing error
1.607 * * * [progress]: generating rewritten candidates
1.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.613 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.615 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.618 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.626 * * * [progress]: generating series expansions
1.626 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.626 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))) in (x) around 0
1.627 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))) in x
1.627 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in x
1.627 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.627 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.627 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in x
1.627 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.627 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.627 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))) in x
1.627 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in x
1.627 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.627 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.627 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in x
1.627 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.627 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.654 * [approximate]: Taking taylor expansion of (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 0.3333333333333335 (/ 1 (pow x 3)))) in (x) around 0
1.654 * [taylor]: Taking taylor expansion of (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 0.3333333333333335 (/ 1 (pow x 3)))) in x
1.654 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.654 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.654 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.654 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.655 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.655 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.655 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.655 * [taylor]: Taking taylor expansion of x in x
1.655 * [taylor]: Taking taylor expansion of (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 0.3333333333333335 (/ 1 (pow x 3)))) in x
1.655 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.655 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.655 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.655 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.656 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.656 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.693 * [approximate]: Taking taylor expansion of (- (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 0.3333333333333335 (/ 1 (pow x 3)))) in (x) around 0
1.693 * [taylor]: Taking taylor expansion of (- (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 0.3333333333333335 (/ 1 (pow x 3)))) in x
1.693 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.693 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.693 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.693 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.693 * [taylor]: Taking taylor expansion of x in x
1.694 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.694 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.694 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.694 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.694 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of (- (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 0.3333333333333335 (/ 1 (pow x 3)))) in x
1.695 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.695 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.695 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.695 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.695 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.695 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.695 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.695 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.695 * [taylor]: Taking taylor expansion of x in x
1.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.731 * [approximate]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in (x) around 0
1.731 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in x
1.731 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.731 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in x
1.731 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.731 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.747 * [approximate]: Taking taylor expansion of (/ 4.996003610813204e-16 (pow x 4)) in (x) around 0
1.747 * [taylor]: Taking taylor expansion of (/ 4.996003610813204e-16 (pow x 4)) in x
1.747 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.747 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.747 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (/ 4.996003610813204e-16 (pow x 4)) in x
1.748 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.748 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.758 * [approximate]: Taking taylor expansion of (/ 4.996003610813204e-16 (pow x 4)) in (x) around 0
1.758 * [taylor]: Taking taylor expansion of (/ 4.996003610813204e-16 (pow x 4)) in x
1.758 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.758 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.758 * [taylor]: Taking taylor expansion of x in x
1.759 * [taylor]: Taking taylor expansion of (/ 4.996003610813204e-16 (pow x 4)) in x
1.759 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.759 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.759 * [taylor]: Taking taylor expansion of x in x
1.770 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.770 * [approximate]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in (x) around 0
1.770 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in x
1.770 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.770 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.770 * [taylor]: Taking taylor expansion of x in x
1.770 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in x
1.770 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.770 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.782 * [approximate]: Taking taylor expansion of (/ 0.3333333333333335 (pow x 3)) in (x) around 0
1.782 * [taylor]: Taking taylor expansion of (/ 0.3333333333333335 (pow x 3)) in x
1.782 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.782 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.782 * [taylor]: Taking taylor expansion of x in x
1.783 * [taylor]: Taking taylor expansion of (/ 0.3333333333333335 (pow x 3)) in x
1.783 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.783 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.783 * [taylor]: Taking taylor expansion of x in x
1.794 * [approximate]: Taking taylor expansion of (/ -0.3333333333333335 (pow x 3)) in (x) around 0
1.794 * [taylor]: Taking taylor expansion of (/ -0.3333333333333335 (pow x 3)) in x
1.794 * [taylor]: Taking taylor expansion of -0.3333333333333335 in x
1.794 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.794 * [taylor]: Taking taylor expansion of x in x
1.795 * [taylor]: Taking taylor expansion of (/ -0.3333333333333335 (pow x 3)) in x
1.795 * [taylor]: Taking taylor expansion of -0.3333333333333335 in x
1.795 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.795 * [taylor]: Taking taylor expansion of x in x
1.805 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.806 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4)))) in (x) around 0
1.806 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4)))) in x
1.806 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.806 * [taylor]: Taking taylor expansion of 1.0 in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))) in x
1.806 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in x
1.806 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.806 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in x
1.806 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.806 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4)))) in x
1.806 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.806 * [taylor]: Taking taylor expansion of 1.0 in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))) in x
1.806 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (pow x 3)) in x
1.806 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.806 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (pow x 4)) in x
1.806 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.806 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.820 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (+ (* 0.3333333333333335 (/ 1 (pow x 3))) (* 4.996003610813204e-16 (/ 1 (pow x 4))))) in (x) around 0
1.820 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (+ (* 0.3333333333333335 (/ 1 (pow x 3))) (* 4.996003610813204e-16 (/ 1 (pow x 4))))) in x
1.820 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.820 * [taylor]: Taking taylor expansion of 1.0 in x
1.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.820 * [taylor]: Taking taylor expansion of x in x
1.820 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333335 (/ 1 (pow x 3))) (* 4.996003610813204e-16 (/ 1 (pow x 4)))) in x
1.821 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.821 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.821 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.821 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.821 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.821 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.822 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (+ (* 0.3333333333333335 (/ 1 (pow x 3))) (* 4.996003610813204e-16 (/ 1 (pow x 4))))) in x
1.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.822 * [taylor]: Taking taylor expansion of 1.0 in x
1.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.822 * [taylor]: Taking taylor expansion of x in x
1.822 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333335 (/ 1 (pow x 3))) (* 4.996003610813204e-16 (/ 1 (pow x 4)))) in x
1.822 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.822 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.822 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.823 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.823 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.823 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.823 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.823 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.838 * [approximate]: Taking taylor expansion of (- (* 0.3333333333333335 (/ 1 (pow x 3))) (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 1.0 (/ 1 x)))) in (x) around 0
1.839 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333335 (/ 1 (pow x 3))) (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 1.0 (/ 1 x)))) in x
1.839 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.839 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.839 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.839 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.839 * [taylor]: Taking taylor expansion of x in x
1.839 * [taylor]: Taking taylor expansion of (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 1.0 (/ 1 x))) in x
1.839 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.839 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.839 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.839 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.839 * [taylor]: Taking taylor expansion of x in x
1.840 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.840 * [taylor]: Taking taylor expansion of 1.0 in x
1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.840 * [taylor]: Taking taylor expansion of x in x
1.840 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333335 (/ 1 (pow x 3))) (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 1.0 (/ 1 x)))) in x
1.841 * [taylor]: Taking taylor expansion of (* 0.3333333333333335 (/ 1 (pow x 3))) in x
1.841 * [taylor]: Taking taylor expansion of 0.3333333333333335 in x
1.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.841 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.841 * [taylor]: Taking taylor expansion of (+ (* 4.996003610813204e-16 (/ 1 (pow x 4))) (* 1.0 (/ 1 x))) in x
1.841 * [taylor]: Taking taylor expansion of (* 4.996003610813204e-16 (/ 1 (pow x 4))) in x
1.841 * [taylor]: Taking taylor expansion of 4.996003610813204e-16 in x
1.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.841 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.842 * [taylor]: Taking taylor expansion of 1.0 in x
1.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.857 * * * [progress]: simplifying candidates
1.858 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (pow (* 4.996003610813204e-16 (pow x 4)) 3) (pow (* 0.3333333333333335 (pow x 3)) 3))
  (+ (* (* 4.996003610813204e-16 (pow x 4)) (* 4.996003610813204e-16 (pow x 4))) (- (* (* 0.3333333333333335 (pow x 3)) (* 0.3333333333333335 (pow x 3))) (* (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))
  (- (* (* 4.996003610813204e-16 (pow x 4)) (* 4.996003610813204e-16 (pow x 4))) (* (* 0.3333333333333335 (pow x 3)) (* 0.3333333333333335 (pow x 3))))
  (- (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))
  (* 4.996003610813204e-16 (pow x (/ 4 2)))
  (* 0.3333333333333335 (* x x))
  (* 0.3333333333333335 (pow x (/ 3 2)))
  (- (pow (* 1.0 x) 3) (pow (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) 3))
  (+ (* (* 1.0 x) (* 1.0 x)) (+ (* (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))) (* (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))))
  (- (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (- (* (* 1.0 x) (* 1.0 x)) (* (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))
  (+ (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (- (* 1.0 x) (* 4.996003610813204e-16 (pow x 4)))
  (- (* 1.0 x) (* 0.3333333333333335 (pow x 3)))
  (- (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4)))
  (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4)))
  (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4)))
  (* 4.996003610813204e-16 (pow x 4))
  (* 4.996003610813204e-16 (pow x 4))
  (* 4.996003610813204e-16 (pow x 4))
  (* 0.3333333333333335 (pow x 3))
  (* 0.3333333333333335 (pow x 3))
  (* 0.3333333333333335 (pow x 3))
  (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))))
  (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))))
1.861 * * [simplify]: iteration  0 :  151  enodes  (cost  159 )
1.865 * * [simplify]: iteration  1 :  598  enodes  (cost  156 )
1.880 * * [simplify]: iteration  2 :  2874  enodes  (cost  154 )
2.000 * * [simplify]: iteration  3 :  5001  enodes  (cost  154 )
2.001 * [simplify]: Simplified to:
   (+ (pow (* 4.996003610813204e-16 (pow x 4)) 3) (pow (* 0.3333333333333335 (pow x 3)) 3))
  (+ (* (* 4.996003610813204e-16 (pow x 4)) (- (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))) (* 0.3333333333333335 (* 0.3333333333333335 (pow x 6))))
  (+ (* (- (* 0.3333333333333335 0.3333333333333335)) (pow x 6)) (* 4.996003610813204e-16 (* 4.996003610813204e-16 (pow x 8))))
  (- (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))
  (* 4.996003610813204e-16 (pow x 2))
  (* 0.3333333333333335 (* x x))
  (* 0.3333333333333335 (pow x 3/2))
  (- (pow (* 1.0 x) 3) (pow (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) 3))
  (+ (* (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) (+ (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))
  (- (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (- (* (* 1.0 x) (* 1.0 x)) (* (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))
  (+ (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (- (* 1.0 x) (* 4.996003610813204e-16 (pow x 4)))
  (- (* 1.0 x) (* 0.3333333333333335 (pow x 3)))
  (- (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
  (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))
  (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))
  (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))
  (* 4.996003610813204e-16 (pow x 4))
  (* 4.996003610813204e-16 (pow x 4))
  (* 4.996003610813204e-16 (pow x 4))
  (* 0.3333333333333335 (pow x 3))
  (* 0.3333333333333335 (pow x 3))
  (* 0.3333333333333335 (pow x 3))
  (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))))
  (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))))
  (- (* 1.0 x) (+ (* 0.3333333333333335 (pow x 3)) (* 4.996003610813204e-16 (pow x 4))))
2.001 * * * [progress]: adding candidates to table
2.046 * [progress]: [Phase 3 of 3] Extracting.
2.046 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.049 * * * [regime-changes]: Trying 7 branch expressions: ((* -2.0 x) (exp (* -2.0 x)) (+ 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) y x)
2.049 * * * * [regimes]: Trying to branch on (* -2.0 x) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.083 * * * * [regimes]: Trying to branch on (* -2.0 x) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.102 * * * * [regimes]: Trying to branch on (exp (* -2.0 x)) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.131 * * * * [regimes]: Trying to branch on (exp (* -2.0 x)) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.151 * * * * [regimes]: Trying to branch on (+ 1.0 (exp (* -2.0 x))) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.180 * * * * [regimes]: Trying to branch on (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.207 * * * * [regimes]: Trying to branch on (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.236 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.294 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.327 * * * [regime]: Found split indices: #<option (#s(si 1 69) #s(si 2 195) #s(si 0 255))>
2.328 * [binary-search]: Only using regimes for bounds on (* -2.0 x) and (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.329 * [regimes]: Found splitpoints: (#s(sp 1 (* -2.0 x) -0.0029530562375764398) #s(sp 2 (* -2.0 x) 2.8730764077403216e-08) #s(sp 0 (* -2.0 x) +nan.0)) , with alts (#<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))))> #<alt (λ (x y) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.329 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* -2.0 x) -0.0029530562375764398) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))) (if (<= (* -2.0 x) 2.8730764077403216e-08) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
2.330 * * [simplify]: iteration  0 :  58  enodes  (cost  69 )
2.331 * * [simplify]: iteration  1 :  58  enodes  (cost  69 )
2.331 * [simplify]: Simplified to:
   (if (<= (* -2.0 x) -0.0029530562375764398) (/ (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (+ (* (* (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2)) (* (/ 2.0 (- 1.0 (exp (* -2.0 x)))) (/ 2.0 (- 1.0 (exp (* -2.0 x)))))) (* (- 1.0 (exp (* -2.0 x))) (- 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)))) (if (<= (* -2.0 x) 2.8730764077403216e-08) (- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
3.586 * [regime-testing]: Baseline error score: 29.004094680229933
3.586 * [regime-testing]: Oracle error score: 0.021330730156329396
3.587 * [regime-testing]: End program error score: 0.10810073205503277