25.495 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.036 * * [simplify]: iteration  0 :  15  enodes  (cost  5 )
0.037 * * [simplify]: iteration  1 :  22  enodes  (cost  5 )
0.038 * * [simplify]: iteration  2 :  30  enodes  (cost  5 )
0.039 * * [simplify]: iteration  3 :  52  enodes  (cost  5 )
0.041 * * [simplify]: iteration  4 :  114  enodes  (cost  5 )
0.043 * * [simplify]: iteration  5 :  322  enodes  (cost  5 )
0.050 * * [simplify]: iteration  6 :  1618  enodes  (cost  5 )
0.092 * * [simplify]: iteration  7 :  5001  enodes  (cost  5 )
0.092 * [simplify]: Simplified to:
   (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.092 * * [progress]: iteration 1 / 4
0.092 * * * [progress]: picking best candidate
0.094 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))>
0.094 * * * [progress]: localizing error
0.100 * * * [progress]: generating rewritten candidates
0.100 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.105 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.107 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.111 * * * [progress]: generating series expansions
0.111 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.111 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in (x) around 0
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.114 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.114 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.114 * [taylor]: Taking taylor expansion of 2.0 in x
0.114 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.114 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.114 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.114 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.114 * [taylor]: Taking taylor expansion of -2.0 in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of 1.0 in x
0.115 * [taylor]: Taking taylor expansion of 1.0 in x
0.165 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in (x) around 0
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.165 * [taylor]: Taking taylor expansion of 1.0 in x
0.166 * [taylor]: Taking taylor expansion of 1.0 in x
0.166 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.166 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.166 * [taylor]: Taking taylor expansion of 2.0 in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.166 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.166 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.166 * [taylor]: Taking taylor expansion of -2.0 in x
0.166 * [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.191 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.192 * [approximate]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in (x) around 0
0.192 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.192 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.192 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.192 * [taylor]: Taking taylor expansion of -2.0 in x
0.192 * [taylor]: Taking taylor expansion of x in x
0.193 * [taylor]: Taking taylor expansion of 1.0 in x
0.193 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.193 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.193 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.193 * [taylor]: Taking taylor expansion of -2.0 in x
0.193 * [taylor]: Taking taylor expansion of x in x
0.194 * [taylor]: Taking taylor expansion of 1.0 in x
0.203 * [approximate]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in (x) around 0
0.203 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.203 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.203 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.203 * [taylor]: Taking taylor expansion of -2.0 in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of 1.0 in x
0.203 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.203 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.203 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.203 * [taylor]: Taking taylor expansion of -2.0 in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.204 * [taylor]: Taking taylor expansion of 1.0 in x
0.205 * [approximate]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in (x) around 0
0.205 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.205 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.205 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.205 * [taylor]: Taking taylor expansion of 2.0 in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of 1.0 in x
0.206 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.206 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.206 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.206 * [taylor]: Taking taylor expansion of 2.0 in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of 1.0 in x
0.208 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.208 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in (x) around 0
0.208 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in x
0.208 * [taylor]: Taking taylor expansion of 2.0 in x
0.208 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.208 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.208 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.208 * [taylor]: Taking taylor expansion of -2.0 in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.209 * [taylor]: Taking taylor expansion of 1.0 in x
0.210 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in x
0.210 * [taylor]: Taking taylor expansion of 2.0 in x
0.210 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.210 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.210 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.210 * [taylor]: Taking taylor expansion of -2.0 in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of 1.0 in x
0.237 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in (x) around 0
0.237 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in x
0.237 * [taylor]: Taking taylor expansion of 2.0 in x
0.237 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.237 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.237 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.237 * [taylor]: Taking taylor expansion of -2.0 in x
0.237 * [taylor]: Taking taylor expansion of x in x
0.237 * [taylor]: Taking taylor expansion of 1.0 in x
0.237 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in x
0.237 * [taylor]: Taking taylor expansion of 2.0 in x
0.237 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.237 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.237 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.237 * [taylor]: Taking taylor expansion of -2.0 in x
0.237 * [taylor]: Taking taylor expansion of x in x
0.238 * [taylor]: Taking taylor expansion of 1.0 in x
0.241 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in (x) around 0
0.241 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in x
0.241 * [taylor]: Taking taylor expansion of 2.0 in x
0.242 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.242 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.242 * [taylor]: Taking taylor expansion of 2.0 in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of 1.0 in x
0.242 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in x
0.242 * [taylor]: Taking taylor expansion of 2.0 in x
0.242 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.242 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.242 * [taylor]: Taking taylor expansion of 2.0 in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of 1.0 in x
0.246 * * * [progress]: simplifying candidates
0.247 * [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)
  (+ (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 (exp (* -2.0 x))))
  (/ 1 (+ 1.0 (exp (* -2.0 x))))
  (/ (+ 1.0 (exp (* -2.0 x))) 2.0)
  (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))
  (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x)))))
  (- (* 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)
  (- (+ (* 2.0 (pow x 2)) 2.0) (* 2.0 x))
  (+ (exp (* -2.0 x)) 1.0)
  (+ (exp (* -2.0 x)) 1.0)
  (- (+ 1.0 (* 1.0 x)) (* 0.33333333333333337 (pow x 3)))
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
0.250 * * [simplify]: iteration  0 :  143  enodes  (cost  134 )
0.252 * * [simplify]: iteration  1 :  367  enodes  (cost  132 )
0.259 * * [simplify]: iteration  2 :  1203  enodes  (cost  127 )
0.286 * * [simplify]: iteration  3 :  5001  enodes  (cost  127 )
0.287 * [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)
  (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))
  (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))
  (- (* 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 (+ (exp (* -2.0 x)) 1.0))
  (/ (+ 1.0 (exp (* -2.0 x))) 2.0)
  (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))
  (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x)))))
  (- (* 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)
  (* 2.0 (- (+ (pow x 2) 1) x))
  (+ 1.0 (exp (* -2.0 x)))
  (+ 1.0 (exp (* -2.0 x)))
  (- (+ 1.0 (* 1.0 x)) (* 0.33333333333333337 (pow x 3)))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.287 * * * [progress]: adding candidates to table
0.326 * * [progress]: iteration 2 / 4
0.326 * * * [progress]: picking best candidate
0.333 * * * * [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.333 * * * [progress]: localizing error
0.343 * * * [progress]: generating rewritten candidates
0.343 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.356 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.358 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
0.361 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
0.364 * * * [progress]: generating series expansions
0.364 * * * * [progress]: [ 1 / 4 ] 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.409 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in (x) around 0
0.409 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in x
0.409 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) in x
0.409 * [taylor]: Taking taylor expansion of 4.0 in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.409 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.409 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.409 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.409 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.409 * [taylor]: Taking taylor expansion of -2.0 in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 1.0 in x
0.410 * [taylor]: Taking taylor expansion of 1.0 in x
0.410 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) 1.0) in x
0.410 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2))) in x
0.410 * [taylor]: Taking taylor expansion of 4.0 in x
0.410 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ -2.0 x)) 1.0) 2)) in x
0.410 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2.0 x)) 1.0) 2) in x
0.410 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.410 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.410 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.410 * [taylor]: Taking taylor expansion of -2.0 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 1.0 in x
0.411 * [taylor]: Taking taylor expansion of 1.0 in x
0.429 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in (x) around 0
0.429 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in x
0.429 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) in x
0.429 * [taylor]: Taking taylor expansion of 4.0 in x
0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.429 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.429 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.429 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.429 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.429 * [taylor]: Taking taylor expansion of 2.0 in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.430 * [taylor]: Taking taylor expansion of 1.0 in x
0.430 * [taylor]: Taking taylor expansion of 1.0 in x
0.430 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) 1.0) in x
0.430 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2))) in x
0.430 * [taylor]: Taking taylor expansion of 4.0 in x
0.430 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp (/ 2.0 x)) 1.0) 2)) in x
0.430 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2.0 x)) 1.0) 2) in x
0.430 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.430 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.430 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.430 * [taylor]: Taking taylor expansion of 2.0 in x
0.430 * [taylor]: Taking taylor expansion of x in x
0.430 * [taylor]: Taking taylor expansion of 1.0 in x
0.431 * [taylor]: Taking taylor expansion of 1.0 in x
0.449 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.449 * [approximate]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in (x) around 0
0.449 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.449 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.449 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.449 * [taylor]: Taking taylor expansion of -2.0 in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of 1.0 in x
0.450 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.450 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.450 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.450 * [taylor]: Taking taylor expansion of -2.0 in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 1.0 in x
0.459 * [approximate]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in (x) around 0
0.459 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.459 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.459 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.459 * [taylor]: Taking taylor expansion of -2.0 in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of 1.0 in x
0.460 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.460 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.460 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.460 * [taylor]: Taking taylor expansion of -2.0 in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of 1.0 in x
0.462 * [approximate]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in (x) around 0
0.462 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.462 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.462 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.462 * [taylor]: Taking taylor expansion of 2.0 in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.462 * [taylor]: Taking taylor expansion of 1.0 in x
0.462 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.462 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.462 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.462 * [taylor]: Taking taylor expansion of 2.0 in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.463 * [taylor]: Taking taylor expansion of 1.0 in x
0.464 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
0.464 * [approximate]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in (x) around 0
0.464 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.464 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.464 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.464 * [taylor]: Taking taylor expansion of -2.0 in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of 1.0 in x
0.466 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.466 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.466 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.466 * [taylor]: Taking taylor expansion of -2.0 in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of 1.0 in x
0.475 * [approximate]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in (x) around 0
0.475 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.475 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.475 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.475 * [taylor]: Taking taylor expansion of -2.0 in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of 1.0 in x
0.476 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.476 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.476 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.476 * [taylor]: Taking taylor expansion of -2.0 in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of 1.0 in x
0.478 * [approximate]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in (x) around 0
0.478 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.478 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.478 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.478 * [taylor]: Taking taylor expansion of 2.0 in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of 1.0 in x
0.478 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.478 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.478 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.478 * [taylor]: Taking taylor expansion of 2.0 in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of 1.0 in x
0.480 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
0.480 * [approximate]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in (x) around 0
0.480 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.480 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.480 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.480 * [taylor]: Taking taylor expansion of -2.0 in x
0.480 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of 1.0 in x
0.481 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.481 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.482 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.482 * [taylor]: Taking taylor expansion of -2.0 in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of 1.0 in x
0.493 * [approximate]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in (x) around 0
0.493 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.494 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.494 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.494 * [taylor]: Taking taylor expansion of -2.0 in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of 1.0 in x
0.494 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.494 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.494 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.494 * [taylor]: Taking taylor expansion of -2.0 in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of 1.0 in x
0.496 * [approximate]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in (x) around 0
0.496 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.496 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.496 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.496 * [taylor]: Taking taylor expansion of 2.0 in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of 1.0 in x
0.497 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.497 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.497 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.497 * [taylor]: Taking taylor expansion of 2.0 in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of 1.0 in x
0.499 * * * [progress]: simplifying candidates
0.499 * [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))
  (+ (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)))
  (+ (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)))
  (+ (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.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)
  (- (+ (* 2.0 (pow x 2)) 2.0) (* 2.0 x))
  (+ (exp (* -2.0 x)) 1.0)
  (+ (exp (* -2.0 x)) 1.0)
  (- (+ (* 2.0 (pow x 2)) 2.0) (* 2.0 x))
  (+ (exp (* -2.0 x)) 1.0)
  (+ (exp (* -2.0 x)) 1.0)
  (- (+ (* 2.0 (pow x 2)) 2.0) (* 2.0 x))
  (+ (exp (* -2.0 x)) 1.0)
  (+ (exp (* -2.0 x)) 1.0)
0.502 * * [simplify]: iteration  0 :  149  enodes  (cost  247 )
0.505 * * [simplify]: iteration  1 :  427  enodes  (cost  238 )
0.513 * * [simplify]: iteration  2 :  1366  enodes  (cost  220 )
0.540 * * [simplify]: iteration  3 :  5002  enodes  (cost  217 )
0.541 * [simplify]: Simplified to:
   (- (pow (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) 3) (pow (* 1.0 1.0) 3))
  (+ (pow 1.0 4) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (* 1.0 1.0)))))
  (- (* 1.0 1.0))
  (+ (- (* (pow 1.0 3) 1.0)) (/ (* (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) 2.0) (+ 1.0 (exp (* -2.0 x)))))
  (+ (/ (* 2.0 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2)) (pow 1.0 2))
  (+ (/ 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))
  (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))
  (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (- 1.0 (exp (* -2.0 x)))
  (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))
  (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (- 1.0 (exp (* -2.0 x)))
  (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))
  (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (- 1.0 (exp (* -2.0 x)))
  (+ (* (pow x 2) (- 1.0 (* x 0.666666666666667))) (* 2.0 x))
  (- (* 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)
  (* 2.0 (- (+ (pow x 2) 1) x))
  (+ 1.0 (exp (* -2.0 x)))
  (+ 1.0 (exp (* -2.0 x)))
  (* 2.0 (- (+ (pow x 2) 1) x))
  (+ 1.0 (exp (* -2.0 x)))
  (+ 1.0 (exp (* -2.0 x)))
  (* 2.0 (- (+ (pow x 2) 1) x))
  (+ 1.0 (exp (* -2.0 x)))
  (+ 1.0 (exp (* -2.0 x)))
0.541 * * * [progress]: adding candidates to table
0.600 * * [progress]: iteration 3 / 4
0.600 * * * [progress]: picking best candidate
0.605 * * * * [pick]: Picked  #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>
0.605 * * * [progress]: localizing error
0.616 * * * [progress]: generating rewritten candidates
0.616 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.621 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.623 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
0.626 * * * [progress]: generating series expansions
0.626 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.626 * [approximate]: Taking taylor expansion of (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4))) in (x) around 0
0.626 * [taylor]: Taking taylor expansion of (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4))) in x
0.626 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
0.626 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.626 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.626 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in x
0.627 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.627 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4))) in x
0.627 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
0.627 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.627 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in x
0.627 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.627 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.654 * [approximate]: Taking taylor expansion of (+ (* 5.551115123125783e-17 (/ 1 (pow x 4))) (* 0.33333333333333337 (/ 1 (pow x 3)))) in (x) around 0
0.655 * [taylor]: Taking taylor expansion of (+ (* 5.551115123125783e-17 (/ 1 (pow x 4))) (* 0.33333333333333337 (/ 1 (pow x 3)))) in x
0.655 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (/ 1 (pow x 4))) in x
0.655 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.655 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 (pow x 3))) in x
0.655 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.655 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (+ (* 5.551115123125783e-17 (/ 1 (pow x 4))) (* 0.33333333333333337 (/ 1 (pow x 3)))) in x
0.656 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (/ 1 (pow x 4))) in x
0.656 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.656 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 (pow x 3))) in x
0.657 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.657 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.693 * [approximate]: Taking taylor expansion of (- (* 5.551115123125783e-17 (/ 1 (pow x 4))) (* 0.33333333333333337 (/ 1 (pow x 3)))) in (x) around 0
0.693 * [taylor]: Taking taylor expansion of (- (* 5.551115123125783e-17 (/ 1 (pow x 4))) (* 0.33333333333333337 (/ 1 (pow x 3)))) in x
0.693 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (/ 1 (pow x 4))) in x
0.693 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.693 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 (pow x 3))) in x
0.694 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.694 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.694 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (- (* 5.551115123125783e-17 (/ 1 (pow x 4))) (* 0.33333333333333337 (/ 1 (pow x 3)))) in x
0.695 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (/ 1 (pow x 4))) in x
0.695 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.695 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.695 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 (pow x 3))) in x
0.696 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.696 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.731 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.731 * [approximate]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in (x) around 0
0.731 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in x
0.731 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.731 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in x
0.731 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.731 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.746 * [approximate]: Taking taylor expansion of (/ 5.551115123125783e-17 (pow x 4)) in (x) around 0
0.746 * [taylor]: Taking taylor expansion of (/ 5.551115123125783e-17 (pow x 4)) in x
0.746 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.746 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.747 * [taylor]: Taking taylor expansion of (/ 5.551115123125783e-17 (pow x 4)) in x
0.747 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.747 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.747 * [taylor]: Taking taylor expansion of x in x
0.758 * [approximate]: Taking taylor expansion of (/ 5.551115123125783e-17 (pow x 4)) in (x) around 0
0.758 * [taylor]: Taking taylor expansion of (/ 5.551115123125783e-17 (pow x 4)) in x
0.758 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.758 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (/ 5.551115123125783e-17 (pow x 4)) in x
0.759 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
0.759 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.770 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
0.770 * [approximate]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in (x) around 0
0.770 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
0.770 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.770 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
0.771 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.771 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.782 * [approximate]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in (x) around 0
0.782 * [taylor]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in x
0.782 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.782 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.783 * [taylor]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in x
0.783 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
0.783 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.794 * [approximate]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in (x) around 0
0.794 * [taylor]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in x
0.794 * [taylor]: Taking taylor expansion of -0.33333333333333337 in x
0.794 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.795 * [taylor]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in x
0.795 * [taylor]: Taking taylor expansion of -0.33333333333333337 in x
0.795 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.795 * [taylor]: Taking taylor expansion of x in x
0.807 * * * [progress]: simplifying candidates
0.807 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (pow (* 5.551115123125783e-17 (pow x 4)) 3) (pow (* 0.33333333333333337 (pow x 3)) 3))
  (+ (* (* 5.551115123125783e-17 (pow x 4)) (* 5.551115123125783e-17 (pow x 4))) (- (* (* 0.33333333333333337 (pow x 3)) (* 0.33333333333333337 (pow x 3))) (* (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))
  (- (* (* 5.551115123125783e-17 (pow x 4)) (* 5.551115123125783e-17 (pow x 4))) (* (* 0.33333333333333337 (pow x 3)) (* 0.33333333333333337 (pow x 3))))
  (- (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))
  (* 5.551115123125783e-17 (pow x (/ 4 2)))
  (* 0.33333333333333337 (* x x))
  (* 0.33333333333333337 (pow x (/ 3 2)))
  (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4)))
  (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4)))
  (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4)))
  (* 5.551115123125783e-17 (pow x 4))
  (* 5.551115123125783e-17 (pow x 4))
  (* 5.551115123125783e-17 (pow x 4))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
0.810 * * [simplify]: iteration  0 :  84  enodes  (cost  70 )
0.812 * * [simplify]: iteration  1 :  334  enodes  (cost  67 )
0.822 * * [simplify]: iteration  2 :  1725  enodes  (cost  65 )
0.892 * * [simplify]: iteration  3 :  5001  enodes  (cost  60 )
0.893 * [simplify]: Simplified to:
   (+ (pow (* 5.551115123125783e-17 (pow x 4)) 3) (pow (* 0.33333333333333337 (pow x 3)) 3))
  (+ (* (* 5.551115123125783e-17 (pow x 4)) (- (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))) (* 0.33333333333333337 (* 0.33333333333333337 (pow x 6))))
  (* (pow x 6) (- (* (* 5.551115123125783e-17 5.551115123125783e-17) (pow x 2)) (* 0.33333333333333337 0.33333333333333337)))
  (* (pow x 3) (- (* 5.551115123125783e-17 x) 0.33333333333333337))
  (* 5.551115123125783e-17 (pow x 2))
  (* 0.33333333333333337 (* x x))
  (* 0.33333333333333337 (pow x 3/2))
  (* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337))
  (* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337))
  (* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337))
  (* 5.551115123125783e-17 (pow x 4))
  (* 5.551115123125783e-17 (pow x 4))
  (* 5.551115123125783e-17 (pow x 4))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
0.893 * * * [progress]: adding candidates to table
0.922 * * [progress]: iteration 4 / 4
0.922 * * * [progress]: picking best candidate
0.925 * * * * [pick]: Picked  #<alt (λ (x y) (- (* (/ 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))>
0.925 * * * [progress]: localizing error
0.940 * * * [progress]: generating rewritten candidates
0.940 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
0.949 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.990 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
0.995 * * * [progress]: generating series expansions
0.995 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
0.995 * [approximate]: Taking taylor expansion of (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x)))) in (x) around 0
0.995 * [taylor]: Taking taylor expansion of (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x)))) in x
0.995 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
0.995 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.995 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.995 * [taylor]: Taking taylor expansion of -2.0 in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.997 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
0.997 * [taylor]: Taking taylor expansion of 1.0 in x
0.997 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.997 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.997 * [taylor]: Taking taylor expansion of -2.0 in x
0.997 * [taylor]: Taking taylor expansion of x in x
0.998 * [taylor]: Taking taylor expansion of (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x)))) in x
0.998 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
0.998 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.998 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.998 * [taylor]: Taking taylor expansion of -2.0 in x
0.998 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
0.999 * [taylor]: Taking taylor expansion of 1.0 in x
0.999 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.999 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.999 * [taylor]: Taking taylor expansion of -2.0 in x
0.999 * [taylor]: Taking taylor expansion of x in x
1.039 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -2.0 x)) 2) (* 1.0 (exp (/ -2.0 x)))) in (x) around 0
1.039 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -2.0 x)) 2) (* 1.0 (exp (/ -2.0 x)))) in x
1.039 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.039 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.039 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.039 * [taylor]: Taking taylor expansion of -2.0 in x
1.039 * [taylor]: Taking taylor expansion of x in x
1.039 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.039 * [taylor]: Taking taylor expansion of 1.0 in x
1.039 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.039 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.040 * [taylor]: Taking taylor expansion of -2.0 in x
1.040 * [taylor]: Taking taylor expansion of x in x
1.040 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -2.0 x)) 2) (* 1.0 (exp (/ -2.0 x)))) in x
1.040 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.040 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.040 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.040 * [taylor]: Taking taylor expansion of -2.0 in x
1.040 * [taylor]: Taking taylor expansion of x in x
1.040 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.040 * [taylor]: Taking taylor expansion of 1.0 in x
1.040 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.040 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.040 * [taylor]: Taking taylor expansion of -2.0 in x
1.040 * [taylor]: Taking taylor expansion of x in x
1.054 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 2.0 x)) 2) (* 1.0 (exp (/ 2.0 x)))) in (x) around 0
1.054 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 2.0 x)) 2) (* 1.0 (exp (/ 2.0 x)))) in x
1.054 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.054 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.054 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.054 * [taylor]: Taking taylor expansion of 2.0 in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
1.054 * [taylor]: Taking taylor expansion of 1.0 in x
1.054 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.054 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.054 * [taylor]: Taking taylor expansion of 2.0 in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 2.0 x)) 2) (* 1.0 (exp (/ 2.0 x)))) in x
1.054 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.055 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.055 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.055 * [taylor]: Taking taylor expansion of 2.0 in x
1.055 * [taylor]: Taking taylor expansion of x in x
1.055 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
1.055 * [taylor]: Taking taylor expansion of 1.0 in x
1.055 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.055 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.055 * [taylor]: Taking taylor expansion of 2.0 in x
1.055 * [taylor]: Taking taylor expansion of x in x
1.073 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.074 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) 1.0)) in (x) around 0
1.074 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) 1.0)) in x
1.074 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)))) in x
1.074 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.074 * [taylor]: Taking taylor expansion of 2.0 in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.074 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.074 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.074 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.074 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.074 * [taylor]: Taking taylor expansion of -2.0 in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of 1.0 in x
1.076 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.076 * [taylor]: Taking taylor expansion of 2.0 in x
1.076 * [taylor]: Taking taylor expansion of (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.076 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.076 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.076 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.077 * [taylor]: Taking taylor expansion of -2.0 in x
1.077 * [taylor]: Taking taylor expansion of x in x
1.078 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.078 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.078 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.078 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.078 * [taylor]: Taking taylor expansion of -2.0 in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of 1.0 in x
1.080 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) 1.0) in x
1.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.080 * [taylor]: Taking taylor expansion of 2.0 in x
1.080 * [taylor]: Taking taylor expansion of (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.080 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.080 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.080 * [taylor]: Taking taylor expansion of -2.0 in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.081 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.081 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.081 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.082 * [taylor]: Taking taylor expansion of -2.0 in x
1.082 * [taylor]: Taking taylor expansion of x in x
1.083 * [taylor]: Taking taylor expansion of 1.0 in x
1.084 * [taylor]: Taking taylor expansion of 1.0 in x
1.084 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) 1.0)) in x
1.084 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)))) in x
1.084 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.084 * [taylor]: Taking taylor expansion of 2.0 in x
1.084 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.084 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.084 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) 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.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.086 * [taylor]: Taking taylor expansion of 2.0 in x
1.086 * [taylor]: Taking taylor expansion of (/ (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.086 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.086 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.086 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.086 * [taylor]: Taking taylor expansion of -2.0 in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.087 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.087 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.087 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.087 * [taylor]: Taking taylor expansion of -2.0 in x
1.087 * [taylor]: Taking taylor expansion of x in x
1.089 * [taylor]: Taking taylor expansion of 1.0 in x
1.090 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) 1.0) in x
1.090 * [taylor]: Taking taylor expansion of (* 2.0 (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.090 * [taylor]: Taking taylor expansion of 2.0 in x
1.090 * [taylor]: Taking taylor expansion of (/ (exp (* -2.0 x)) (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.090 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.090 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.090 * [taylor]: Taking taylor expansion of -2.0 in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.091 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.091 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.091 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.091 * [taylor]: Taking taylor expansion of -2.0 in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.092 * [taylor]: Taking taylor expansion of 1.0 in x
1.093 * [taylor]: Taking taylor expansion of 1.0 in x
1.369 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) 1.0)) in (x) around 0
1.369 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) 1.0)) in x
1.369 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)))) in x
1.369 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.369 * [taylor]: Taking taylor expansion of 2.0 in x
1.369 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.369 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.369 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.369 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.369 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.369 * [taylor]: Taking taylor expansion of -2.0 in x
1.369 * [taylor]: Taking taylor expansion of x in x
1.370 * [taylor]: Taking taylor expansion of 1.0 in x
1.370 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.370 * [taylor]: Taking taylor expansion of 2.0 in x
1.370 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.370 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.370 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.370 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.370 * [taylor]: Taking taylor expansion of -2.0 in x
1.370 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.371 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.371 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.371 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.371 * [taylor]: Taking taylor expansion of -2.0 in x
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of 1.0 in x
1.372 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) 1.0) in x
1.372 * [taylor]: Taking taylor expansion of (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.372 * [taylor]: Taking taylor expansion of 2.0 in x
1.372 * [taylor]: Taking taylor expansion of (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.372 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.372 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.372 * [taylor]: Taking taylor expansion of -2.0 in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.372 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.372 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.372 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.372 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.372 * [taylor]: Taking taylor expansion of -2.0 in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.373 * [taylor]: Taking taylor expansion of 1.0 in x
1.373 * [taylor]: Taking taylor expansion of 1.0 in x
1.373 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) 1.0)) in x
1.373 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)))) in x
1.373 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.373 * [taylor]: Taking taylor expansion of 2.0 in x
1.373 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.373 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.373 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.373 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.373 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.373 * [taylor]: Taking taylor expansion of -2.0 in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of 1.0 in x
1.374 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.374 * [taylor]: Taking taylor expansion of 2.0 in x
1.374 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -2.0 x)) 2) (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.374 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.374 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.374 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.374 * [taylor]: Taking taylor expansion of -2.0 in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.374 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.374 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.374 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.374 * [taylor]: Taking taylor expansion of -2.0 in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of 1.0 in x
1.375 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) 1.0) in x
1.375 * [taylor]: Taking taylor expansion of (* 2.0 (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.375 * [taylor]: Taking taylor expansion of 2.0 in x
1.375 * [taylor]: Taking taylor expansion of (/ (exp (/ -2.0 x)) (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.375 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.375 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.375 * [taylor]: Taking taylor expansion of -2.0 in x
1.376 * [taylor]: Taking taylor expansion of x in x
1.376 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.376 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.376 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.376 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.376 * [taylor]: Taking taylor expansion of -2.0 in x
1.376 * [taylor]: Taking taylor expansion of x in x
1.376 * [taylor]: Taking taylor expansion of 1.0 in x
1.377 * [taylor]: Taking taylor expansion of 1.0 in x
1.455 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) 1.0)) in (x) around 0
1.455 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) 1.0)) in x
1.455 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)))) in x
1.455 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.455 * [taylor]: Taking taylor expansion of 2.0 in x
1.455 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.455 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.455 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.455 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.455 * [taylor]: Taking taylor expansion of 2.0 in x
1.455 * [taylor]: Taking taylor expansion of x in x
1.456 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.456 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.456 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.456 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.456 * [taylor]: Taking taylor expansion of 2.0 in x
1.456 * [taylor]: Taking taylor expansion of x in x
1.456 * [taylor]: Taking taylor expansion of 1.0 in x
1.457 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.457 * [taylor]: Taking taylor expansion of 2.0 in x
1.457 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.457 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.457 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.457 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.457 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.457 * [taylor]: Taking taylor expansion of 2.0 in x
1.457 * [taylor]: Taking taylor expansion of x in x
1.457 * [taylor]: Taking taylor expansion of 1.0 in x
1.458 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) 1.0) in x
1.458 * [taylor]: Taking taylor expansion of (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.458 * [taylor]: Taking taylor expansion of 2.0 in x
1.458 * [taylor]: Taking taylor expansion of (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.458 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.458 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.458 * [taylor]: Taking taylor expansion of 2.0 in x
1.458 * [taylor]: Taking taylor expansion of x in x
1.458 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.458 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.458 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.458 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.458 * [taylor]: Taking taylor expansion of 2.0 in x
1.458 * [taylor]: Taking taylor expansion of x in x
1.459 * [taylor]: Taking taylor expansion of 1.0 in x
1.459 * [taylor]: Taking taylor expansion of 1.0 in x
1.459 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)))) (+ (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) 1.0)) in x
1.459 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)))) in x
1.459 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.459 * [taylor]: Taking taylor expansion of 2.0 in x
1.459 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 2.0 x)) 2) (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.459 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.459 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.459 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.459 * [taylor]: Taking taylor expansion of 2.0 in x
1.459 * [taylor]: Taking taylor expansion of x in x
1.460 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.460 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.460 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.460 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.460 * [taylor]: Taking taylor expansion of 2.0 in x
1.460 * [taylor]: Taking taylor expansion of x in x
1.460 * [taylor]: Taking taylor expansion of 1.0 in x
1.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.461 * [taylor]: Taking taylor expansion of 2.0 in x
1.461 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.461 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.461 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.461 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.461 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.461 * [taylor]: Taking taylor expansion of 2.0 in x
1.461 * [taylor]: Taking taylor expansion of x in x
1.461 * [taylor]: Taking taylor expansion of 1.0 in x
1.461 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) 1.0) in x
1.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.461 * [taylor]: Taking taylor expansion of 2.0 in x
1.461 * [taylor]: Taking taylor expansion of (/ (exp (/ 2.0 x)) (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.462 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.462 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.462 * [taylor]: Taking taylor expansion of 2.0 in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.462 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.462 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.462 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.462 * [taylor]: Taking taylor expansion of 2.0 in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of 1.0 in x
1.463 * [taylor]: Taking taylor expansion of 1.0 in x
1.542 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.543 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in (x) around 0
1.543 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.543 * [taylor]: Taking taylor expansion of 2.0 in x
1.543 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.543 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) in x
1.543 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 2) 1.0) in x
1.543 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.543 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.543 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.543 * [taylor]: Taking taylor expansion of -2.0 in x
1.543 * [taylor]: Taking taylor expansion of x in x
1.544 * [taylor]: Taking taylor expansion of 1.0 in x
1.544 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
1.544 * [taylor]: Taking taylor expansion of 1.0 in x
1.544 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.544 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.544 * [taylor]: Taking taylor expansion of -2.0 in x
1.544 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.545 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.545 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.545 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.545 * [taylor]: Taking taylor expansion of -2.0 in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.547 * [taylor]: Taking taylor expansion of 1.0 in x
1.549 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ (pow (exp (* -2.0 x)) 3) 1.0))) in x
1.549 * [taylor]: Taking taylor expansion of 2.0 in x
1.549 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.549 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) in x
1.550 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 2) 1.0) in x
1.550 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.550 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.550 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.550 * [taylor]: Taking taylor expansion of -2.0 in x
1.550 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of 1.0 in x
1.551 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
1.551 * [taylor]: Taking taylor expansion of 1.0 in x
1.551 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.551 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.551 * [taylor]: Taking taylor expansion of -2.0 in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.552 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.552 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.552 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.552 * [taylor]: Taking taylor expansion of -2.0 in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.553 * [taylor]: Taking taylor expansion of 1.0 in x
1.642 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in (x) around 0
1.642 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.642 * [taylor]: Taking taylor expansion of 2.0 in x
1.642 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.642 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) in x
1.642 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 2) 1.0) in x
1.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.642 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.642 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.642 * [taylor]: Taking taylor expansion of -2.0 in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.643 * [taylor]: Taking taylor expansion of 1.0 in x
1.643 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.643 * [taylor]: Taking taylor expansion of 1.0 in x
1.643 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.643 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.643 * [taylor]: Taking taylor expansion of -2.0 in x
1.643 * [taylor]: Taking taylor expansion of x in x
1.643 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.643 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.643 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.643 * [taylor]: Taking taylor expansion of -2.0 in x
1.643 * [taylor]: Taking taylor expansion of x in x
1.644 * [taylor]: Taking taylor expansion of 1.0 in x
1.645 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (+ (pow (exp (/ -2.0 x)) 3) 1.0))) in x
1.645 * [taylor]: Taking taylor expansion of 2.0 in x
1.645 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.645 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) in x
1.645 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 2) 1.0) in x
1.645 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.645 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.645 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.645 * [taylor]: Taking taylor expansion of -2.0 in x
1.645 * [taylor]: Taking taylor expansion of x in x
1.645 * [taylor]: Taking taylor expansion of 1.0 in x
1.645 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.645 * [taylor]: Taking taylor expansion of 1.0 in x
1.645 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.645 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.645 * [taylor]: Taking taylor expansion of -2.0 in x
1.645 * [taylor]: Taking taylor expansion of x in x
1.646 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.646 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.646 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.646 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.646 * [taylor]: Taking taylor expansion of -2.0 in x
1.646 * [taylor]: Taking taylor expansion of x in x
1.646 * [taylor]: Taking taylor expansion of 1.0 in x
1.689 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in (x) around 0
1.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.689 * [taylor]: Taking taylor expansion of 2.0 in x
1.689 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.689 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) in x
1.690 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 2) 1.0) in x
1.690 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.690 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.690 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.690 * [taylor]: Taking taylor expansion of 2.0 in x
1.690 * [taylor]: Taking taylor expansion of x in x
1.690 * [taylor]: Taking taylor expansion of 1.0 in x
1.690 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
1.690 * [taylor]: Taking taylor expansion of 1.0 in x
1.690 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.690 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.690 * [taylor]: Taking taylor expansion of 2.0 in x
1.690 * [taylor]: Taking taylor expansion of x in x
1.690 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.690 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.690 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.690 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.690 * [taylor]: Taking taylor expansion of 2.0 in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of 1.0 in x
1.692 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (+ (pow (exp (/ 2.0 x)) 3) 1.0))) in x
1.692 * [taylor]: Taking taylor expansion of 2.0 in x
1.692 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
1.692 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) in x
1.692 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 2) 1.0) in x
1.692 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.692 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.692 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.692 * [taylor]: Taking taylor expansion of 2.0 in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of 1.0 in x
1.692 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
1.692 * [taylor]: Taking taylor expansion of 1.0 in x
1.692 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.692 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.692 * [taylor]: Taking taylor expansion of 2.0 in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.693 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
1.693 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.693 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.693 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.693 * [taylor]: Taking taylor expansion of 2.0 in x
1.693 * [taylor]: Taking taylor expansion of x in x
1.693 * [taylor]: Taking taylor expansion of 1.0 in x
1.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
1.730 * [approximate]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in (x) around 0
1.730 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.730 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.730 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.730 * [taylor]: Taking taylor expansion of -2.0 in x
1.730 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.731 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.731 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.731 * [taylor]: Taking taylor expansion of -2.0 in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.746 * [approximate]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in (x) around 0
1.746 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.746 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.746 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.746 * [taylor]: Taking taylor expansion of -2.0 in x
1.746 * [taylor]: Taking taylor expansion of x in x
1.746 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.746 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.746 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.746 * [taylor]: Taking taylor expansion of -2.0 in x
1.746 * [taylor]: Taking taylor expansion of x in x
1.760 * [approximate]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in (x) around 0
1.760 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.760 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.760 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.760 * [taylor]: Taking taylor expansion of 2.0 in x
1.760 * [taylor]: Taking taylor expansion of x in x
1.760 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
1.760 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.760 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.760 * [taylor]: Taking taylor expansion of 2.0 in x
1.760 * [taylor]: Taking taylor expansion of x in x
1.769 * * * [progress]: simplifying candidates
1.771 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (* (exp (* -2.0 x)) (exp (* -2.0 x))) 3) (pow (* 1.0 (exp (* -2.0 x))) 3))
  (+ (* (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* (exp (* -2.0 x)) (exp (* -2.0 x)))) (+ (* (* 1.0 (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (* (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (- (* 1.0 (exp (* -2.0 x))))
  (- (* (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* (exp (* -2.0 x)) (exp (* -2.0 x)))) (* (* 1.0 (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (+ (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))
  (- (exp (* -2.0 x)) 1.0)
  (- (exp (* -2.0 x)) 1.0)
  (- (exp (* -2.0 x)) 1.0)
  (- (exp (* -2.0 x)) 1.0)
  (- (* 1.0 (exp (* -2.0 x))))
  (- (pow (* (/ 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)))))) 3) (pow 1.0 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)))))) (* (/ 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 (+ (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 (+ (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)))))) (* (/ 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 (+ (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)
  (- (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) 1.0)
  (- (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x))))) 1.0)
  (- (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x))))) 1.0)
  (- (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (* 1.0 1.0)) 1.0)
  (- (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 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)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (- (* (- (* 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (- (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (- 1.0)
  (* 2.0 (+ (pow (* 1.0 1.0) 3) (pow (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) 3)))
  (* (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (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) (* 1.0 1.0)) (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))))
  (* (+ (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))))))
  (* (- 2.0) (+ (pow (* 1.0 1.0) 3) (pow (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) 3)))
  (* (- (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (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) (* 1.0 1.0)) (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))))
  (* (- (+ (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 (+ (pow (* 1.0 1.0) 3) (pow (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) 3)))
  (* (/ (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)) 2.0) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (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 (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))))
  (* (/ (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)) 2.0) (- (* 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))) (* 1.0 (exp (* -2.0 x)))))) (+ (pow (* 1.0 1.0) 3) (pow (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) 3)))
  (* (+ 1.0 (exp (* -2.0 x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (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))) (* 1.0 (exp (* -2.0 x)))))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (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 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (* 1.0 1.0))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 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)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 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)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (* 1.0 1.0))
  (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 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)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (- (* 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)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (- (* 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (/ 1 (+ (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))))))
  (* (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow (exp (* -2.0 x)) 3) (pow (exp (* -2.0 x)) 3)) (* (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))))))
  (* (- (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))))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (pow (* 1.0 1.0) 3) (pow (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) 3)))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))) (- (* (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))) (* 1.0 (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 (+ (* 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))) (* 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 x) 3)
  (* (log (exp (* -2.0 x))) 3)
  (* x 3)
  (* -2.0 3)
  (* (exp (* -2.0 x)) (exp (* -2.0 x)))
  (pow (exp (* -2.0 x)) (/ 3 2))
  (pow (exp (* -2.0 x)) (/ 3 2))
  (- (* 6.0 (pow x 2)) (+ (* 9.333333333333332 (pow x 3)) (* 2.0 x)))
  (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x))))
  (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x))))
  (- (+ (* 1.0 x) (* 1.7763568394002505e-15 (pow x 4))) (* 0.33333333333333304 (pow x 3)))
  (- (+ (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ 1.0 (pow (exp (* -2.0 x)) 3)))) (* 2.0 (/ 1 (+ 1.0 (pow (exp (* -2.0 x)) 3))))) (+ (* 2.0 (/ (exp (* -2.0 x)) (+ 1.0 (pow (exp (* -2.0 x)) 3)))) 1.0))
  (- (+ (* 2.0 (/ (pow (exp (* -2.0 x)) 2) (+ 1.0 (pow (exp (* -2.0 x)) 3)))) (* 2.0 (/ 1 (+ 1.0 (pow (exp (* -2.0 x)) 3))))) (+ (* 2.0 (/ (exp (* -2.0 x)) (+ 1.0 (pow (exp (* -2.0 x)) 3)))) 1.0))
  (- (+ 1.0 (* 1.0 x)) (* 0.33333333333333215 (pow x 3)))
  (* 2.0 (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ 1.0 (pow (exp (* -2.0 x)) 3))))
  (* 2.0 (/ (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (+ 1.0 (pow (exp (* -2.0 x)) 3))))
  (- (+ (* 18.0 (pow x 2)) 1) (* 6.0 x))
  (pow (exp (* -2.0 x)) 3)
  (pow (exp (* -2.0 x)) 3)
1.778 * * [simplify]: iteration  0 :  522  enodes  (cost  1119 )
1.788 * * [simplify]: iteration  1 :  2312  enodes  (cost  1014 )
1.829 * * [simplify]: iteration  2 :  5001  enodes  (cost  985 )
1.833 * [simplify]: Simplified to:
   (* (pow (exp (* -2.0 x)) 3) (- (pow (exp (* -2.0 x)) 3) (pow 1.0 3)))
  (+ (* (pow (exp (* -2.0 x)) 3) 1.0) (* (pow (exp (* -2.0 x)) 2) (+ (pow (exp (* -2.0 x)) 2) (* 1.0 1.0))))
  (- (* 1.0 (exp (* -2.0 x))))
  (* (pow (exp (* -2.0 x)) 2) (- (pow (exp (* -2.0 x)) 2) (* 1.0 1.0)))
  (* (exp (* -2.0 x)) (+ (exp (* -2.0 x)) 1.0))
  (- (exp (* -2.0 x)) 1.0)
  (- (exp (* -2.0 x)) 1.0)
  (- (exp (* -2.0 x)) 1.0)
  (- (exp (* -2.0 x)) 1.0)
  (- (* 1.0 (exp (* -2.0 x))))
  (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3))
  (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))
  (- 1.0)
  (+ (- (* 1.0 1.0)) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))))
  (+ (* (/ 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 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.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)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (- (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.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)))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (- (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 1.0)
  (- 1.0)
  (* (+ (pow (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) 3) (pow 1.0 6)) 2.0)
  (* (+ (* (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (- (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))
  (+ (* 2.0 (pow 1.0 4)) (* 2.0 (* (- (pow (exp (* -2.0 x)) 2)) (* (- (exp (* -2.0 x)) 1.0) (- (exp (* -2.0 x)) 1.0)))))
  (* (+ (- (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)) (* 1.0 (exp (* -2.0 x)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))
  (* (- 2.0) (+ (pow (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) 3) (pow 1.0 6)))
  (* (+ (* (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (- (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (- (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (- 2.0) (- (/ (pow 1.0 4) 1) (/ (* (pow (exp (* -2.0 x)) 2) (* (- (exp (* -2.0 x)) 1.0) (- (exp (* -2.0 x)) 1.0))) 1)))
  (* (+ (- (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)) (* 1.0 (exp (* -2.0 x)))) (- (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (+ (pow (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) 3) (pow 1.0 6))
  (* (+ (* (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (- (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (/ (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)) 2.0))
  (- (/ (pow 1.0 4) 1) (/ (* (pow (exp (* -2.0 x)) 2) (* (- (exp (* -2.0 x)) 1.0) (- (exp (* -2.0 x)) 1.0))) 1))
  (* (+ (- (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)) (* 1.0 (exp (* -2.0 x)))) (/ (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)) 2.0))
  (/ (+ (* 2.0 (pow 1.0 6)) (* 2.0 (pow (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) 3))) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))
  (* (+ (* (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (- (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))) (* (pow 1.0 3) 1.0)) (+ 1.0 (exp (* -2.0 x))))
  (* (- (/ (pow 1.0 4) 1) (/ (* (pow (exp (* -2.0 x)) 2) (* (- (exp (* -2.0 x)) 1.0) (- (exp (* -2.0 x)) 1.0))) 1)) (/ 2.0 (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))))
  (* (+ (- (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)) (* 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (* 1.0 1.0))
  (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.0))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x)))))
  (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.0))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (* 1.0 1.0))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (* 1.0 1.0))
  (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.0))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x)))))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (- (* 1.0 (exp (* -2.0 x)))))
  (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.0))
  (* (/ 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)) (* 1.0 1.0)) (/ 1 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (- (+ (pow 1.0 6) (pow (exp (* -2.0 x)) 6)) (* (pow 1.0 3) (pow (exp (* -2.0 x)) 3))))
  (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))
  (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (+ (* 1 (pow 1.0 6)) (* 1 (pow (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) 3))))
  (* (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- (* 1.0 1.0) (pow (exp (* -2.0 x)) 2)) (* 1.0 (exp (* -2.0 x)))))
  (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) 2.0)
  (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (- 2.0))
  (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0))
  2.0
  (* (* -2.0 x) 3)
  (* (* -2.0 x) 3)
  (* x 3)
  (* -2.0 3)
  (pow (exp (* -2.0 x)) 2)
  (pow (exp (* -2.0 x)) 3/2)
  (pow (exp (* -2.0 x)) 3/2)
  (- (* 6.0 (pow x 2)) (+ (* 9.333333333333332 (pow x 3)) (* 2.0 x)))
  (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))
  (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))
  (- (+ (* 1.0 x) (* 1.7763568394002505e-15 (pow x 4))) (* 0.33333333333333304 (pow x 3)))
  (- (- (* 2.0 (+ (/ (pow (exp (* -2.0 x)) 2) (+ 1.0 (pow (exp (* -2.0 x)) 3))) (/ 1 (+ 1.0 (pow (exp (* -2.0 x)) 3))))) (* 2.0 (/ (exp (* -2.0 x)) (+ 1.0 (pow (exp (* -2.0 x)) 3))))) 1.0)
  (- (- (* 2.0 (+ (/ (pow (exp (* -2.0 x)) 2) (+ 1.0 (pow (exp (* -2.0 x)) 3))) (/ 1 (+ 1.0 (pow (exp (* -2.0 x)) 3))))) (* 2.0 (/ (exp (* -2.0 x)) (+ 1.0 (pow (exp (* -2.0 x)) 3))))) 1.0)
  (- (+ 1.0 (* 1.0 x)) (* 0.33333333333333215 (pow x 3)))
  (/ (* (+ 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))) 2.0) (+ 1.0 (pow (exp (* -2.0 x)) 3)))
  (/ (* (+ 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))) 2.0) (+ 1.0 (pow (exp (* -2.0 x)) 3)))
  (- (+ (* 18.0 (pow x 2)) 1) (* 6.0 x))
  (pow (exp (* -2.0 x)) 3)
  (pow (exp (* -2.0 x)) 3)
1.834 * * * [progress]: adding candidates to table
2.007 * [progress]: [Phase 3 of 3] Extracting.
2.008 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.010 * * * [regime-changes]: Trying 6 branch expressions: ((* -2.0 x) (exp (* -2.0 x)) (+ 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) y x)
2.010 * * * * [regimes]: Trying to branch on (* -2.0 x) from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.042 * * * * [regimes]: Trying to branch on (* -2.0 x) from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.059 * * * * [regimes]: Trying to branch on (exp (* -2.0 x)) from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.087 * * * * [regimes]: Trying to branch on (exp (* -2.0 x)) from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))>)
2.105 * * * * [regimes]: Trying to branch on (+ 1.0 (exp (* -2.0 x))) from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.132 * * * * [regimes]: Trying to branch on (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.158 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.221 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.253 * * * [regime]: Found split indices: #<option (#s(si 0 52) #s(si 3 181) #s(si 2 255))>
2.254 * [binary-search]: Only using regimes for bounds on (* -2.0 x) and (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.254 * [regimes]: Found splitpoints: (#s(sp 0 (* -2.0 x) -714.4055638101147) #s(sp 3 (* -2.0 x) 1.0672469114343406e-10) #s(sp 2 (* -2.0 x) +nan.0)) , with alts (#<alt (λ (x y) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))))> #<alt (λ (x y) (+ (* (* 1.0 1.0) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (+ (- 1.0) (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (exp (* -2.0 x))) (- (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))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))> #<alt (λ (x y) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))))>)
2.255 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* -2.0 x) -714.4055638101147) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))) (if (<= (* -2.0 x) 1.0672469114343406e-10) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 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))))
2.256 * * [simplify]: iteration  0 :  64  enodes  (cost  96 )
2.256 * * [simplify]: iteration  1 :  64  enodes  (cost  96 )
2.256 * [simplify]: Simplified to:
   (if (<= (* -2.0 x) -714.4055638101147) (/ (+ (- (pow 1.0 3)) (pow (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) 3)) (+ (+ (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)))) (* 1.0 (* (+ (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) (* 1.0 1.0)) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))))) (* 1.0 1.0))) (if (<= (* -2.0 x) 1.0672469114343406e-10) (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 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))))
3.360 * [regime-testing]: Baseline error score: 30.0149326117854
3.361 * [regime-testing]: Oracle error score: 0.024110398127069277
3.362 * [regime-testing]: End program error score: 0.3816931416547015